Web3安全公司Certora获得以太坊基金会资助
正在加载实时行情...
WEB3笔记锐评:
Certora拿到以太坊基金会的钱，核心是给zkEVM的自动预编译做形式化验证。这钱投得很精准，说明坎昆升级后，以太坊L2的ZK-Rollup赛道进入了“拼安全、拼证明效率”的深水区。基金会不直接下场写代码，而是资助Certora这样的专业安全公司来为底层基础设施做审计和验证框架，这是把安全作为公共品来建设。开源其框架更是关键，能降低整个ZK生态的开发门槛和信任成本。这笔资助看似金额未明，但战略意图很清晰：为ZK堆栈的可靠性和模块化铺路。
背景参考：
Web3 安全公司 Certora 宣布获得以太坊基金会资助，具体金额暂未披露，相关资金将用于支持其验证自动预编译的正确性，自动预编译是零知识计算中的一项关键优化技术，由 Powdr Labs 为以太坊基金会的 zkEVM 项目开发，据悉 Certora 计划开源其开发的规范、证明和验证框架。（Chainwire）
Web3笔记是一个专注于数字资产价格走势与区块链行情观察的知识类网站。每日更新比特币、以太坊、BNB、OKB、Solana等主流代币的行情分析，提供简洁、客观、数据驱动的市场观察笔记，帮助读者快速了解加密市场动态。
还没有评论，来说两句吧...