ランタイム検証により MultiversX でユニバーサル ZK ロールアップが開始

NASA で先駆的に開発された正式な検証手法を適用してコンピューティング システムの安全性、信頼性、正確性を向上させるイリノイ州に本拠を置くセキュリティ監査会社 Runtime Verification は、MultiversX ブロックチェーンをコンセンサス層として使用するユニバーサル ZK ロールアップである PI Squared を開始します。

MultiversX が主催する xDay カンファレンスの 3 日目のプレミアで明らかになったが、PI Squared は、計算上の主張の検証を数学的証明の検証に減らす予定です。これは、カスタム (並列) ZK 回路として実装されたユニバーサル プルーフ チェッカーを介して行われます。

ブロックチェーン空間の急激な成長に伴い、ハッキングやスマートコントラクトの悪用が増加しており、より優れたセキュリティ標準の必要性が生じています。したがって、Runtime Verification の ZK ロールアップ ベースのソリューションは、主にレイヤー 1 ネットワークのスケーラビリティを向上させるためにこのテクノロジーを使用する代替手段とは異なり、導入を妨げるこれらの問題を排除する重要なツールとして機能します。

プログラミング言語や VM に依存しないため、ワークフローで MultiversX ブロックチェーンの機能を活用するあらゆる開発者、ユーザー、企業が、トラストレスかつプログラム的に正確性の証明を簡単に検証できるようになります。

また、この動きにより、設計段階から微妙なバグやロジックの欠陥を発見するためのアクセス可能な開発ツールキットを提供することにより、MultiversX エコシステムが、高価値のユースケースを安全に展開したいと考えているスタートアップや企業にとっての最有力候補となります。

xDayイベントは、AI、フィンテック、ゲームなどを世界で最も堅牢でスケーラブルで安全なブロックチェーン アーキテクチャと接続する大規模なパートナーシップによって促進され、Web3 分野に新たな成長のスーパーウェーブを引き起こしました。

実行時検証について

ランタイム検証は、過去 20 年間にわたってソフトウェア開発の正式な検証手法の先駆けとなってきました。これは NASA で始まり、徐々にブロックチェーン領域に浸透してきました。スマート コントラクトのコンポーザビリティとブロックチェーン アーキテクチャに伴う複雑さの増大により、おそらくブロックチェーン領域が最も必要とされています。

MultiversX について

ユーザー、ビジネス、社会、そして新しいメタバース フロンティアのための根本的に新しいアプリケーションを可能にするために作成された、拡張性が高く安全な分散型ブロックチェーン ネットワーク。