Web3安全公司Certora获得以太坊基金会资助

时间：2026-02-05 22:47:30

　　消息，Web3 安全公司 Certora 宣布获得以太坊基金会资助，具体金额暂未披露，相关资金将用于支持其验证自动预编译的正确性，自动预编译是零知识计算中的一项关键优化技术，由 Powdr Labs 为以太坊基金会的 zkEVM 项目开发，据悉 Certora 计划开源其开发的规范、证明和验证框架。

上一篇：六个月后：投资美元安全吗？返回首页

下一篇：857枚比特币转入Antpool矿池

热点推荐

1 新账户投入5万美元预测「四大头部AI应用

消息，据 PolyBeats 监测，在预测市场 Polymarket 上，一个新账户投入 $50k 买入「ChatGPT、Claude、G...

2 香港致力打造全球最友好Web3监管环境

消息，据吴说区块链发推称：香港投资推广署表示，正致力于打造全球最友好的 Web3 监管环境...

3 合约系统升级已于 3月8日完成

消息，MEXC 已于 2026年3月8日完成合约升级，提升了系统性能、稳定性和响应速度，旨在为用户...

4 “1011 崩盘内幕巨鲸”代理人：若供应冲

消息，1011 崩盘内幕巨鲸代理人 Garrett Jin在 X 平台发文表示，历史上石油供应缺口与油价上涨之...

5 Solana 755% 的激增表明用户正在回归。