Certora、イーサリアム財団助成金を獲得 zkEVMプリコンパイル検証で協働

イーサリアム財団によると、CertoraはPowdr Labsのゼロ知識プリコンパイルを検証するため、自社のセキュリティ専門知識を適用し、イーサリアムのzkEVMシステム向け検証手法の高度化に取り組むという。

ETH

要約

2月5日、Web3セキュリティ企業のCertoraは、Powdr LabsがzkEVMプロジェクト向けに設計した自動プリコンパイルの検証のため、イーサリアム財団から非公開額の助成金を受領したと発表した。この助成金は、これらゼロ知識計算の最適化に対する暗号学的チェックを支援し、信頼性と効率の向上を目的としている。Certoraは検証ツールをオープンソース化し、進化するイーサリアムのゼロ知識エコシステムにおける透明性を高める。

用語解説
  • Zero-Knowledge Proof: ある当事者が値を明かすことなく、その値を知っていることを証明できる暗号技術手法。
  • Precompile: 特定の計算負荷の大きい処理を効率化のためにクライアント内で直接実装するイーサリアムの仕組み。
  • zkEVM: 暗号証明を用いてトランザクションを検証しつつ、イーサリアムのスマートコントラクト互換性を維持するゼロ知識イーサリアム仮想マシン。