以太坊基金會資助 Certora 提升 ZK 可擴展性

核心要點

以太坊基金會向安全公司 Certora 授予了一項戰略撥款，旨在加速以太坊虛擬機 (EVM) 零知識技術的發展和安全性。這項與 Powdr Labs 的合作側重於網路擴展的關鍵組成部分。

1. 戰略性資助： 以太坊基金會於 2026年2月5日 向 Certora 授予了一項資助，用於 zkEVM 安全研究。
2. 技術焦點： 該倡議的目標是驗證「Autoprecompiles」，這是一種經過優化的 ZK 電路，旨在提高計算性能。
3. 生態系統影響： 該項目預計將增強以太坊 Layer-2 解決方案的安全性和效率，從而鞏固對其長期可擴展性路線圖的信心。