詐欺証明

ChainCatcher のメッセージによると、公式の発表として、Arbitrum の開発チーム Offchain Labs は 3 月 22 日に、同チームが Optimism テストネットで発見した 2 つの深刻なセキュリティ脆弱性を OP Labs チームに開示したと発表しました。これらの脆弱性は OP Labs が展開した Optimism の詐欺証明システムに存在します。Offchain Labs は OP Labs チームに対して、攻撃用のデモ的なエクスプロイトコードを提供しました。3 月 25 日、OP Labs はこれら 2 つの問題の有効性を確認し、両者は脆弱性の開示タイミングを調整しました。OP Labs は Offchain Labs に対し、脆弱性が解決されるまでこれらの脆弱性を公開しないよう一時的に要請しました。昨日の遅い時間（4 月 25 日）、Optimism テストネットが更新され、今日 Offchain Labs はこれらの脆弱性を初めて開示しました。これらの脆弱性により、悪意のある者が OP Stack の詐欺証明メカニズムに対して詐欺のチェーン履歴を受け入れさせたり、正しいチェーン履歴を受け入れさせないように妨害したりすることが可能になります。これらの問題は、OP の詐欺証明設計がタイマーの処理に関して欠陥を抱えていることに起因しています。

ChainCatcher のメッセージ、軽量ブロックチェーンプロトコル Mina の開発チーム O(1) Labs は、Optimism に提案を提出し、同社の MIPS zkVM に基づいて構築されたゼロ知識証明技術を OP Stack の詐欺証明に適用することを提案しました。MIPS の機能には、ローカルで高性能な snarkyJS（クライアント ZKP アプリケーションを構築するための SDK）に加え、汎用言語を使用してアプリケーションを記述することができる機能も含まれています。（出典リンク）

ChainCatcher のメッセージ、Arbitrum 開発チーム Offchain Labs は、次世代プログラミング環境 Stylus のために完全で効果的な詐欺証明プログラムを作成したと発表しました。Stylus は、ユーザーが Rust、C、C++ などの好みのプログラミング言語で書かれた契約をデプロイできるようにします。さらに、Nitro を利用して WASM 内で Stylus 契約のセキュリティを強化し、EVM+ のサポートを拡大しました。Stylus は今年中に監査を受け、商業運用の準備が整う予定です。（出典リンク）

ChainCatcher のメッセージ、ゼロ知識証明スタートアップ RISC Zero は、モジュラー L2 プロトコル Layer N と共同でゼロ知識詐欺証明システムを発表しました。このシステムは、Layer N の実行環境を RISC Zero の zk 仮想マシンに移植することで、ブロックチェーンのパフォーマンスを向上させつつ、ブロックチェーンの信頼性と安全性を確保します。今後、zkVM は EVM、SVM、WASM などの他の実行層との互換性も実現する予定です。（出典リンク）