Odaily星球日报讯 Web3 安全公司 Certora 宣布获得以太坊基金会资助，具体金额暂未披露，相关资金将用于支持其验证自动预编译的正确性，自动预编译是零知识计算中的一项关键优化技术，由 Powdr Labs 为以太坊基金会的 zkEVM 项目开发，据悉 Certora 计划开源其开发的规范、证明和验证框架。（Chainwire）
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
价格预测 3/25：BTC、ETH、BNB、XRP、SOL、DOGE、HYPE、ADA、BCH、LINK
比特币 (BTC) 在 $72,000 关卡继续面临重大阻力，但多头一直在保持压力。交易员 Daan Crypto Trades 在 X 上的一篇帖子中表示，BTC 必须突破并保持在 $72,000 阻力位上方以"再次测试 $80Ks "。
市场往往讨厌不确定性，但
Cointelegraph1小时前
隐私稳定币项目Payy完成600万美元种子轮融资，FirstMark Capital领投
稳定币初创公司Payy完成600万美元种子轮融资，计划通过零知识证明实现隐私支付，推出自托管钱包和支持Visa的支付卡，未来将拓展企业客户，推动稳定币应用。
区块律动4小时前
