Web3 セキュリティ会社 Certora がイーサリアム財団の資金提供を受ける
2026-02-05 22:12:48
に共有します 
Web3 セキュリティ会社 Certora は、Ethereum 財団からの資金提供を受けたことを発表しました。具体的な金額はまだ公開されていませんが、関連資金は自動プリコンパイルの正確性を検証するために使用されます。自動プリコンパイルは、ゼロ知識計算における重要な最適化技術であり、Powdr Labs が Ethereum 財団の zkEVM プロジェクトのために開発しました。Certora は、開発した仕様、証明、および検証フレームワークをオープンソース化する計画を立てているとのことです。
関連プロジェクト
最新の速報
趙長鵬：バイナンスによるビットコイン準備金調整のタイミングは非常に理想的でした。
ChainCatcher
2026-02-07 18:23:49
Multicoin Capital’s Investment Thesis
Multicoin Capital
2026-02-07 15:17:25
XRP at center as Ripple lays out institutional DeFi blueprint for XRPL
Coindesk
2026-02-07 15:14:33
Ondo wants to rebuild prime brokerage on-chain — and perps are the first step
Coindesk
2026-02-07 15:12:10
データ：BTCが69000ドルを下回る
ChainCatcher
2026-02-07 14:57:13
