Web3 セキュリティ会社 Certora がイーサリアム財団の資金提供を受ける
2026-02-05 22:12:48
に共有します 
Web3 セキュリティ会社 Certora は、Ethereum 財団からの資金提供を受けたことを発表しました。具体的な金額はまだ公開されていませんが、関連資金は自動プリコンパイルの正確性を検証するために使用されます。自動プリコンパイルは、ゼロ知識計算における重要な最適化技術であり、Powdr Labs が Ethereum 財団の zkEVM プロジェクトのために開発しました。Certora は、開発した仕様、証明、および検証フレームワークをオープンソース化する計画を立てているとのことです。
関連プロジェクト
最新の速報
BASED のトークンエコノミクスの発表によると、トークンの総供給量は 10 億で、そのうち 36% がコミュニティに割り当てられます。
ChainCatcher
2026-02-08 21:52:03
Arweave コミュニティ メンバー: キャッシュの問題により、AR が実際のネットワーク ブロックを表示できません。チームは解決に取り組んでいます。
ChainCatcher
2026-02-08 10:17:49
趙長鵬：バイナンスによるビットコイン準備金調整のタイミングは非常に理想的でした。
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
