Web3 セキュリティ会社 Certora がイーサリアム財団の資金提供を受ける
2026-02-05 22:12:48
に共有します 
Web3 セキュリティ会社 Certora は、Ethereum 財団からの資金提供を受けたことを発表しました。具体的な金額はまだ公開されていませんが、関連資金は自動プリコンパイルの正確性を検証するために使用されます。自動プリコンパイルは、ゼロ知識計算における重要な最適化技術であり、Powdr Labs が Ethereum 財団の zkEVM プロジェクトのために開発しました。Certora は、開発した仕様、証明、および検証フレームワークをオープンソース化する計画を立てているとのことです。
関連プロジェクト
最新の速報
米連邦準備制度理事会のローガン：昨年の利下げは労働市場の冷却に対する「保険」だった。
ChainCatcher
2026-02-11 02:04:21
ロゲン：インフレはほぼ5年間、2%の目標水準を上回っています。
ChainCatcher
2026-02-11 02:04:00
米連邦準備制度理事会のロゲン：今後数ヶ月でインフレが落ち着けば利下げは必要ない
ChainCatcher
2026-02-11 02:02:38
ロガン：より懸念されるのはインフレが高止まりすることです。
ChainCatcher
2026-02-11 02:02:25
米連邦準備制度理事会のローガン：利下げは労働市場の冷却に適したタイミングかもしれない
ChainCatcher
2026-02-11 02:02:14
