Web3 安全公司 Certora 获得以太坊基金会资助
2026-02-05 22:12:48
分享至 
ChainCatcher 消息，Web3 安全公司 Certora 宣布获得以太坊基金会资助，具体金额暂未披露，相关资金将用于支持其验证自动预编译的正确性，自动预编译是零知识计算中的一项关键优化技术，由 Powdr Labs 为以太坊基金会的 zkEVM 项目开发。据悉 Certora 计划开源其开发的规范、证明和验证框架。
相关项目
最新快讯
数据：ETH 突破 2100 美元
ChainCatcher
2026-02-08 00:05:42
彭博社分析师：误判比特币 ETF 可降低市场波动性，高波动高风险资产属性仍将持续
ChainCatcher
2026-02-07 23:37:37
预测市场 Kalshi 披露 NBA 球星“字母哥”持股比例不到 1%
ChainCatcher
2026-02-07 22:58:28
赵长鹏：币安为 Bithumb 乌龙空投事件恢复工作提供帮助
ChainCatcher
2026-02-07 22:37:57
安永高管：钱包正成为下一代金融关键入口，掌控钱包者将赢得客户关系
ChainCatcher
2026-02-07 22:24:41
