鼓狮财经快讯:Web3 领域迎来重要里程碑,知名形式化验证专家 Certora 宣布获得以太坊基金会的专项资助。这笔资金将专门用于深入验证“自动预编译”技术的正确性,这对于推动以太坊 Layer 2 扩容方案——zkEVM 的安全落地至关重要。

此次合作聚焦于由 Powdr Labs 为以太坊基金会 zkEVM 计划所开发的核心组件。自动预编译作为 zkEVM 执行引擎中的关键环节,其性能表现直接决定了零知识证明计算的效率与速度。通过优化这一环节,不仅能大幅提升 ZK 计算性能,更是实现以太坊网络高效、可扩展性突破的关键一环。

在获得资助后,Certora 将携手 Powdr Labs 共同研发全新的验证技术方案。作为行业领先的安全审计机构,Certora 将利用其卓越的形式化验证能力,为 zkEVM 执行引擎构建坚不可摧的安全防线。更为重要的是,双方承诺将此次开发出的相关规范、证明及验证框架进行开源,旨在为整个 ZK 协议研究社区和实施者提供一套标准化的工具与参考。

这一举措将对以太坊生态系统产生深远影响。通过开源验证框架,开发者可以更安全、更高效地部署 zkEVM,加速 ZK 技术在各类应用场景中的普及。这不仅增强了用户对以太坊扩容技术的信任,也为构建更加去中心化、高性能的未来互联网奠定了坚实基础。

相关代币资讯

2026年05月26日

10:26
鼓狮财经:全球上市公司对加密货币的布局正呈现出前所未有的活跃态势,尤其是比特币的持有量实现了显著突破。 据韩国 News1 最新报道,截至 5 月 19 日,全球上市公司持有的比特币总量已攀升至约 124.2 万枚。按当前市场行情估算,其总价值高达 956 亿美元,这一数字较一年前的 74.29 万枚激增了 67%,显示出机构投资者对这一“数字黄金”的信心与...
10:03
鼓狮财经快讯:据 BBX 数据监测,企业比特币储备正面临巨大压力,叠加现货 ETF 资金持续净流出的双重打击,加密概念股整体情绪趋于谨慎,市场核心动态如下: 特朗普媒体集团近期的大额比特币操作引发市场热议。5 月 22 日,该公司将 2,650 枚比特币(约合 2.05 亿美元)转入 Crypto.com 交易所地址。尽管官方声明强调此举仅为“扩展交易策略的...
09:31
鼓狮财经:加密货币市场在过去24小时内经历了剧烈的震荡,全网爆仓总额高达1.95亿美元。在这场剧烈的市场洗牌中,多空双方均遭受重创,具体数据显示多单爆仓1.05亿美元,空单爆仓9,003.94万美元。这种大规模的强制平仓现象,充分暴露了当前市场情绪的极度脆弱与博弈的惨烈程度。 在主流币种方面,比特币与以太坊成为了重灾区。数据显示,比特币多单爆仓2,511.6...
08:44
鼓狮财经快讯:加密货币市场今日迎来剧烈震荡,主流数字资产普遍承压下行。根据Gate行情数据显示,比特币价格走势出现明显回调,成功跌破77,000美元这一重要心理关口。在过去的24小时内,比特币跌幅达0.49%,显示出市场多空博弈的激烈程度。 与此同时,以太坊价格同样面临下行压力,价格跌破2100美元支撑位。数据显示,以太坊在24小时内跌幅为0.75%,跑输比...
08:36
鼓狮财经快讯:KelpDAO 官方正式宣布,备受瞩目的 rsETH 恢复计划操作阶段已圆满收官。据最新披露的信息显示,KelpDAO 团队已于近日将最后一批共计 20,373.72 枚 rsETH 成功转入至 rsETH OFT 适配器中。这一关键节点的达成,标志着困扰市场的流动性问题得到了实质性解决,rsETH 生态系统的运作正全面回归正轨。 作为以太坊质...
08:31
鼓狮财经快讯:据 Coinglass 数据监测显示,以太坊(ETH)当前正处于关键的价格博弈窗口期,主流中心化交易所(CEX)的清算强度数据揭示了潜在的市场风险与机会。根据最新统计,一旦 ETH 价格跌破 2,009 美元这一关键支撑位,市场将面临大规模的多头清算潮,主流 CEX 累计多单清算强度预计将高达 7.37 亿美元。这一巨额清算规模可能引发连锁反应...
08:10
鼓狮财经快讯:据链上分析师 Onchain Lens 监测,一名在市场沉寂了 8 个月的巨鲸账户近期终于现身,此前该账户已清仓手中的 HYPE 代币,并迅速开启了新的交易布局。 该巨鲸目前的交易策略呈现出显著的“一多一空”特征。一方面,其开立了 2,839 枚 ETH 的 2 倍做多仓位,意在押注以太坊的上涨空间;另一方面,同时挂出 94,101 枚 HYP...
07:57
鼓狮财经:DeFi 领域近期迎来了一项备受瞩目的创新提案。知名区块链项目 Babylon Labs 正式在 Aave 社区发起了一项关于温度检查的提议,旨在探索将原生比特币作为抵押品集成至 Aave V4 协议的可能性。这一举措标志着去中心化借贷领域在资产多元化方面迈出了关键一步,为用户提供了更安全、更高效的比特币资产利用方式,有望重塑比特币在以太坊生态中的...
04:00
鼓狮财经快讯:加密货币市场近期波动剧烈,据 Coinglass 数据显示,过去 24 小时内,全球市场遭遇重创,全网累计爆仓金额高达 1.79 亿美元。这场爆仓潮波及范围极广,共有 71,540 名交易者账户受到冲击,市场多空双方均面临严峻考验。 在多空对决中,数据显示空单爆仓金额略高于多单,分别为 9,946.79 万美元和 7,941.21 万美元。这一...
02:31
鼓狮财经快讯:市场波动加剧,以太坊(ETH)价格走势牵动着无数投资者的神经。据最新数据监测,若 ETH 成功跌破关键支撑位 2,024 美元,主流中心化交易所(CEX)上累计的多单清算强度将飙升至 8.82 亿美元。这一巨额清算金额预示着一旦价格下挫,市场将面临剧烈的踩踏效应,多头阵营将遭遇重创,行情可能瞬间急转直下。 若 ETH 能够顽强突破 2,227 ...