Certora获以太坊基金会资助开展zkEVM预编译验证

2月5日，Web3安全公司Certora宣布获得以太坊基金会一笔未披露金额的资助，用于验证Powdr Labs为zkEVM项目设计的自动化预编译。该资助将支持对这些零知识计算优化的密码学检查，旨在提升可靠性与效率。Certora计划将其验证工具开源，以增强以太坊不断发展的零知识生态的透明度。