PANewsは5月14日、イーサリアム財団の公式サイトによると、ブロックチェーンセキュリティ機関CertiKが最近、2025年第1四半期にイーサリアム財団から2つの研究助成金を獲得し、開発者ツールとzkVM回路検証の正式な手段に焦点を当てた研究を行ったと報じた。

1. Verus ツールの評価: CertiK は、Rust で記述された回路と EVM プリコンパイル モジュールを検証するための Rust 検証ツールである Verus の有用性を評価します。

2. zkVM 回路検証の簡素化: このプロジェクトは、モジュラー演算と複数の値が単一のドメイン要素にパックされるケースに焦点を当てて、zkVM 回路検証を簡素化する戦略を開発することを目的としています。

CertiK の形式検証テクノロジーは、zkWasm、TON メインチ​​ェーン コントラクト、Cosmos SDK、さらには Ant Group の HyperEnclave TEE、Asterinas OS など多くのトップ Web3 プロジェクトで広く使用されていると報告されています。