以太坊基金会资助 Certora 提升 ZK 可扩展性

核心要点

以太坊基金会向安全公司 Certora 授予了一项战略拨款，旨在加速以太坊虚拟机 (EVM) 零知识技术的发展和安全性。这项与 Powdr Labs 的合作侧重于网络扩展的关键组成部分。

1. 战略性资助： 以太坊基金会于 2026年2月5日 向 Certora 授予了一项资助，用于 zkEVM 安全研究。
2. 技术焦点： 该倡议的目标是验证“Autoprecompiles”，这是一种经过优化的 ZK 电路，旨在提高计算性能。
3. 生态系统影响： 该项目预计将增强以太坊 Layer-2 解决方案的安全性和效率，从而巩固对其长期可扩展性路线图的信心。