Web3 セキュリティ会社 Certora がイーサリアム財団の資金提供を受ける
2月 5, 2026 22:12:48
に共有します 
Web3 セキュリティ会社 Certora は、Ethereum 財団からの資金提供を受けたことを発表しました。具体的な金額はまだ公開されていませんが、関連資金は自動プリコンパイルの正確性を検証するために使用されます。自動プリコンパイルは、ゼロ知識計算における重要な最適化技術であり、Powdr Labs が Ethereum 財団の zkEVM プロジェクトのために開発しました。Certora は、開発した仕様、証明、および検証フレームワークをオープンソース化する計画を立てているとのことです。
関連プロジェクト
最新の速報
ブルームバーグ：バイナンスのコンプライアンスチームに人事異動、最高コンプライアンス責任者が退職する可能性あり
ChainCatcher
4月 6, 2026 23:37:03
ハセット：連邦準備制度は利下げする能力があるべきだ
ChainCatcher
4月 6, 2026 23:12:44
トム・リー：イーサリアムは中東の紛争以来、トップのヘッジ資産に次ぐ第2のパフォーマンスを示している。
ChainCatcher
4月 6, 2026 22:44:13
米国CFTCの主席：連邦規制フレームワークは、CFTCが予測市場を規制する権限を持つことを明確にしています。
ChainCatcher
4月 6, 2026 22:43:48
データ：ETH 全ネット契約ポジション量 24時間増加 10.25%
ChainCatcher
4月 6, 2026 22:42:02
