プレスリリースのポイント
- Certoraがイーサリアム財団からzkEVM技術強化のための研究助成金を獲得
- Powdr Labsと共同で「autoprecompiles」の正確性を検証し、zkEVMの安全性を高める研究を推進
- オープンソース化を通じて、Web3の分散型インフラ開発を支援
Certora、イーサリアム財団からzkEVM技術強化のための研究助成金を獲得
【アメリカ・ニューヨーク 2026年2月5日】
フルスタック・セキュリティ保証プラットフォームの「Certora」は、autoprecompiles（自動プリコンパイル）の正確性を検証するため、イーサリアム財団から研究助成金を授与されたことを発表しました。
今回の助成金は、イーサリアム財団のzkEVMイニシアチブの一環として、Powdr Labsが開発した「autoprecompiles」というZK計算の最適化技術の正確性を検証するためのものです。
この助成金によりzkEVMの安全性と信頼性がさらに強化されます。
zkEVMとは？Ethereumの未来を支える新アーキテクチャ
zkEVM（Zero Knowledge Ethereum Virtual Machine）は、Ethereumネットワークのスケーラビリティを大幅に向上させる技術として注目されています。
従来のスマートコントラクト実行モデルをZK対応の最適化モデルに置き換えることで、より低いガスコスト・高速処理・高セキュリティを実現します。
この技術の基盤となる実行エンジンの正確性を保証することが、Ethereumエコシステム全体の成功に不可欠とされています。
autoprecompilesによる処理最適化と安全性向上
autoprecompilesは、自動的に生成される低レベルのZK回路コンポーネントであり、暗号計算や算術演算の高速化を目的としています。
この最適化によりzkEVM上でより高性能な処理が可能になります。
CertoraとPowdr Labsは、この最適化技術の正確性を保証する新しい検証技術の開発に共同で取り組み、この最適化手法の正確性を保証するための新しい検証技術を開発します。
zkEVMは、より安価なガス代、より高い速度、より強固なセキュリティ、そして大規模なスケーラビリティを備えた、EVMのゼロ知識証明の未来の基盤となります。
CertoraのCEOであるSeth Hallem氏は、次のようにコメントしています。
「autoprecompilesはzkEVM実行レイヤーを実用的なものにしますが、同時にツールチェーン全体の正確性を検証する重要性も高めます。数学的検証をZK計算の基盤そのものに導入するこの取り組みを支援してくれたイーサリアム財団に感謝します。CertoraのZKにおける専門知識とPowdr Labsとの協力により、安全性や正確性を損なうことなく、この最適化技術がzkEVMツールチェーンにおいて重要な役割を果たすことを保証します。」
Certoraは、このイニシアチブを通じて開発された仕様、証明、および検証フレームワークをオープンソース化し、すべてのzkEVM実装者、ロールアップ構築者、およびZKプロトコル研究者が再利用できるインフラとして提供します。
イーサリアム財団の研究者であるAlexander Hicks氏は、次のようにコメントしています。
「プリコンパイルはzkEVMのパフォーマンスにおいて重要でしたが、autoprecompilesはこれらの最適化が生成される際に自動検証を行うことで、さらに一歩先へ進めることができます。手動のプリコンパイルを検証する必要性が減り、他のユースケースにも適用可能な、一般的に有用な検証技術が開発されることを期待しています。」
Certoraについて
Certoraは、Web3におけるフルスタックのセキュリティ保証プラットフォームを提供する企業で、2018年に設立されました。
Lido、Aave、Uniswap、Compoundなどの主要プロトコルの安全運用を支援し、数十億ドル規模の資産を守っています。
イーサリアム財団について
イーサリアム財団は、Ethereumとその関連技術を支援する非営利団体であり、助成金や研究を通じてオープンソースの分散型インフラ開発を推進しています。
Powdr Labsについて
Powdr Labsは、高水準のプログラムから効率的にゼロ知識証明を生成するためのコンパイラ技術を研究・開発しており、ZK回路のパフォーマンスと使いやすさを両立させるソリューションを提供しています。
Cryptide AIがポイントを解説
ここからは、Cryptide AIが分かりにくい部分をピックアップして解説します！
分かりにくい用語などを解説
- zkEVMとは？
- Ethereumの仕組みをゼロ知識証明という暗号技術と組み合わせた新しい実行環境です。
- autoprecompilesとは？
- ゼロ知識証明を使った計算をより速く、効率的に行うために自動で生成される部品のようなものです。
- ゼロ知識証明（ZK）とは？
- ゼロ知識証明とは、「答えが正しい」ことだけを証明し、途中の情報は一切見せない暗号技術です。これにより、プライバシーを守りながら正確な検証ができます。
気になる点をピックアップ解説
「zkEVMの正確性をどのように保証するのか？」という部分をピックアップ解説します。
形式検証（Formal Verification）という数学的手法を用いて保証されます。
Certoraがこの形式検証の専門知識を活かし、Powdr Labsが開発したautoprecompilesが「仕様どおりに正しく動作するか」を厳密に検証すると説明されています。
総合的なまとめ
zkEVMはEthereumのスケーラビリティを飛躍的に高める技術として注目されており、CertoraとPowdr Labsの協力による形式検証の導入が信頼性向上の鍵となります。
今回の助成金は、ZK計算の最適化と安全性確保を両立させる重要なステップであり、その成果をオープンソースとして公開することで、Ethereumエコシステム全体の発展に寄与することが期待されます。
参考URL：
