Web3 安全公司 Certora 获得以太坊基金会资助
2026-02-05 22:12:48
分享至 
ChainCatcher 消息，Web3 安全公司 Certora 宣布获得以太坊基金会资助，具体金额暂未披露，相关资金将用于支持其验证自动预编译的正确性，自动预编译是零知识计算中的一项关键优化技术，由 Powdr Labs 为以太坊基金会的 zkEVM 项目开发。据悉 Certora 计划开源其开发的规范、证明和验证框架。
相关项目
最新快讯
李林回应市场传言：非易理华或 Garrett Gin 投资人，本轮未减持 BTC 或 ETH
ChainCatcher
2026-02-08 12:08:05
杜均：李林不会卖出比特币兑换以太坊，其家族办公室为 IBIT 在亚洲最大持仓机构
ChainCatcher
2026-02-08 12:06:43
Scam Sniffer：一月签名式网络钓鱼共计 4741 名受害者，合计损失 627 万美元
ChainCatcher
2026-02-08 11:59:52
Arthur Hayes：市场崩盘没有秘密阴谋，未来将只涨不跌
ChainCatcher
2026-02-08 11:31:42
易理华旗下 Trend Research 已彻底清仓 ETH
ChainCatcher
2026-02-08 11:01:07
