Gate News 消息，据2026年5月26日Gate官方公告 Gate即将上线Citrea (CTR) 现货交易与闪兑交易。现货交易将于2026年5月26日21:00 (UTC+8)开始，闪兑交易于同日22:00 (UTC+8)启动，预计于2026年5月27日21:00 (UTC+8)开启提现。交易对为CTR/USDT。 CTR是Citrea网络的协调代币，Citrea作为比特币的应用层，

根据以太坊基金会 zkEVM 团队提交给 All Core Devs（ACD）会议的团队提案，EIP-8025 已被提议纳入 Hegota 分叉。该提案引入可选执行证明，使以太坊节点能够通过验证零知识证明来确认区块，而不是直接重新执行所有交易。 目前，以太坊节点必须重新执行交易以确认区块有效性。EIP-8025 增加了一种可选择的替代方案：节点可以验证正确区块执行的 ZK 证明，而无需进行重复计算。尽管该可选项最初不会影响共识规则，该提案仍代表向基于 ZK 的验证模型迈出的基础性一步，可能降低节点运营成本，并使更大的区块以及更复杂的执行成为可能。

Gate News 消息，5 月 22 日，据 Gate 行情显示，截至发稿时，BOB（BOB）现报 0.008美元，24 小时内上涨 37.91%，最高触及 0.0084美元，最低回落至 0.00588美元，24 小时交易量达 113.38 万美元。当前市值约为 1777.11 万美元。 BOB 正在构建通往比特币 DeFi 的大门，为全球最重要的资产解锁真正的实用价值。通过将比特币无与伦比的安全性与以太坊的灵活性相融合，BOB 打造了比特币流动性、应用和机构资金的首选目的地。BOB 的混合链独特地将 ZK 零知识证明与 BTC 质押相结合，创建了同时通往以太坊和比特币（BitVM）的原生

根据一则官方公告，由基于 ZK 的可验证计算平台 Brevis 开发的媒体真实性验证工具 Brevis Vera 现已向公众开放。用户可以使用任何兼容 C2PA 的相机或智能手机进行拍摄。C2PA 使设备能够在捕获媒体内容的同时对其进行加密签名，将其绑定到硬件，并生成抗篡改的源元数据。

据 BlockBeats 报道，以太坊联合创始人维塔利克·布特林（V 神）在 5 月 19 日概述了 AI 增强的形式化验证将如何成为“软件开发的终极形态”，并成为抵御先进 AI 威胁的关键防线。维塔利克解释称，形式化验证会将代码正确性转换为可通过数学方式验证的定理，从而通过数学证明来确保软件安全，而不是依赖传统的测试或审计。 维塔利克强调，这种方法特别适用于以太坊的下一阶段升级，包括抗量子签名、STARK 证明系统、拜占庭容错共识以及 ZK-EVM。他表示，在日益严峻的 AI 安全挑战下，以太坊将成为“安全核心”架构的重要组成部分：在该架构中，关键系统通过形式化方法加固，而外围组件则在沙箱中运行，并且权限最小。

据 ChainCatcher 称，Vitalik 今天发布了一篇题为《对形式化验证的浅层探索》的文章，讨论了形式化验证如何在以太坊开发中同时提升安全性和效率。开发者可以使用 Lean、以太坊虚拟机（EVM）字节码或汇编语言来编写代码，并通过可自动检查的数学证明来验证其正确性。Vitalik 指出，形式化验证尤其适用于 STARKs、拜占庭容错共识、ZK-EVM 和后量子签名等复杂系统，尽管它也有局限性，包括规格说明错误、代码覆盖不完整以及硬件层面的攻击。

据 BlockBeats 称，以太坊联合创始人维塔利克·布特林（V 神）将于 5 月 18 日晚 11 点（UTC+8）与 Consensys 联合创始人 Joseph Lubin 以及 Lighter 创始人 Vlad Novakovski 共同参加炉边谈话。讨论将聚焦以太坊生态中的高性能应用，包括 ZK Rollups 的落地进展、扩容路线图以及去中心化金融（DeFi）的未来。

根据 5 月 14 日的一则公告，Tezos 生态系统发布了 TzEL，一个旨在在保护免受未来量子计算威胁的同时实现私密支付的测试网。该原型使用 zk-STARK（Zero-Knowledge Scalable Transparent Arguments of Knowledge，零知识可扩展透明知识论证）加密来用于加密交易元数据与支付信息，同时保持区块链验证能力。与 zk-SNARK 系统不同，zk-STARK 不需要受信任设置机制，并被认为对潜在的量子计算攻击更具抵抗力。该测试网仍处于原型阶段，尚未部署到 Tezos 主网。

Gate News 消息，5 月 13 日，据 Gate 行情显示，截至发稿时，MAIGA（Maiga）现报 0.0055 美元，24 小时内上涨 148.44%，最高触及 0.0088 美元，最低回落至 0.0028 美元，24 小时交易量达 4.73 万美元。当前市值约为 154.11 万美元。 Maiga.ai 是一个人工智能驱动的去中心化金融（DeFi）和加密货币交易平台。它结合了模型上下文协议（MCP）、可信执行环境（TEE）、多模态输入和零知识证明（ZK-proofs）等技术，构建透明且安全的自主 AI 代理。其核心是基于交易量的"交易证明"（PoT）共识模型，将代币分配和价值累

据 BlockBeats 报道，ZKsync 于 5 月 12 日推出 ZK Fee Flow System 方案。该系统由治理服务提供商 ScopeLift 开发，是一种智能合约机制，允许 ZKsync Governance 通过链上机制对协议收入和费用进行路由与分配。