Web3安全公司Certora于2月5日宣布获得以太坊基金会的资金支持，具体金额未公开。
此项资助将用于支持Certora验证自动预编译的正确性。该技术是零知识计算中的一项关键优化，由Powdr Labs为以太坊基金会的zkEVM项目开发。
Web3安全公司Certora于2月5日宣布获得以太坊基金会的资金支持，具体金额未公开。
此项资助将用于支持Certora验证自动预编译的正确性。该技术是零知识计算中的一项关键优化，由Powdr Labs为以太坊基金会的zkEVM项目开发。
请备注姓名以及联系方式，方便感谢