相关新闻
Taiko：6 月安全事件源于链下签名密钥泄露及验证流程遗漏
以太坊 Layer 2 网络 Taiko 发布 6 月 21 日安全事件复盘。官方表示，此次攻击始于链下，攻击者利用泄露的签名密钥和漏检机制伪造证明，绕过其证明者白名单，零知识证明加密也未受影响。其防御措施发挥了作用。资金桥的每日限额减缓了资金流失，安全委员会在数小时内暂停了资金桥和金库的运行，阻止了更多资金的流动。Taiko 表示，所有用户均未蒙受任何损失。攻击者从跨链桥和金库中窃取了约 175 万美元，但超过 1100 万美元的资金受到保护，自恢复网络以来，Taiko 上的所有余额均已得到 1:1 的备份。
Boundless 首次网络升级 Surge 正式上线
隐私基础设施项目 Boundless 首次全网升级 Surge 已正式上线。本次升级并非单纯的证明者（Prover）节点更新，而是面向整个网络的性能与成本优化。核心升级亮点包括证明能力提升（全网证明容量最高提升 25%）、证明成本下降（各类工作负载证明成本最高降低 50%）、RPC 成本骤降（证明者 RPC 成本最高减少 99%）、迈向多链时代（Boundless 正式支持多链证明，首批接入 Taiko 与 Base）。依靠 Boundless 的开放市场机制，供给侧的性能提升与成本下降将直接传导至需求侧。所有证明请求方（Requestor）都将获得更高性能、更低价格的证明服务。
Aztec 新路线图：Alpha 网络代码已就绪，将开展链上投票
Aztec 发布最新路线图更新，宣布 Alpha 网络代码已全面完成。Aztec 表示，Alpha 网络是以太坊上支持完全可编程隐私智能合约的版本，是团队八年研发工作的成果汇聚。Alpha 网络治理提案目前已在论坛上线，待社区讨论后将进行链上投票。此次更新覆盖四个核心方向：执行层已实现完整的「私有 + 公有」双状态模型，并上线 Aztec.js SDK 与原生账户抽象；证明系统推出专为手机和浏览器端设计的 CHONK（Client-side Highly Optimized ploNK），降低客户端生成零知识证明所需的时间和内存；隐私编程语言 Noir 1.0 即将完成，编译器审计工作正在推进；去中心化层面，Ignition Chain 自上线以来保持零宕机运行，目前网络已有 3500 余个 Sequencer 和 50 余个 Prover 分布在五大洲。
行情惨淡，还有哪些低成本「薅羊毛」机会？
在低迷行情中，以更小的「阵痛」把握未来的可能性。
GOAT Network 成立基金会，7% 的代币 GOATED 将用于空投
比特币原生 ZK Rollup GOAT Network 宣布成立基金会，并将发布代币 GOATED。GOATED 总量 10 亿，其中 39.42% 用于矿池奖励（涵盖 Sequencer、Prover、Challenger 等多角色激励），7% 用于空投，15% 用于金库支持生态激励与流动性，15.58% 分配给早期支持者，23% 分配给团队、顾问。GOATED 可用于质押提升收益、激励开发者和用户、增强节点排序权，并赋予持有者治理权。GOAT Network 是比特币原生 zkRollup，通过 Gas 费、MEV 与矿工奖励构建可持续收益模型，避免依赖通胀型代币。GOAT 基金会将作为协调者，确保 ZK 证明验证与角色轮换机制顺利执行，使收益分配透明且均衡。
观点：L2 由以太坊提供安全保障，已经名不副实
三分之二 L2 资产已脱离以太坊安全保障。
Succinct 与 Tandem 达成一年独家合作，将为 Arbitrum 提供 ZK 证明
Succinct 在 X 发文表示，其与 Offchain Labs 旗下创业工作室 Tandem 达成为期一年的独家战略合作，将为 Arbitrum 生态引入零知识（ZK）证明。Succinct 表示，Arbitrum 链占据约 50% 二层网络总锁仓价值，此举有望显著扩大 Succinct Prover Network 的市场规模，并为生态创造可观收入。该合作将推动 Arbitrum 链实现快速终结性、增强安全性与互操作性，Succinct 称 ZK 未来将普及至所有 Rollup。
从 zkVM 到开放证明市场：RISC Zero 与 Boundless 解析
ZK 技术正在从单一扩容工具演进为区块链可信计算的通用基石。
Flow Traders 为 PROVE 做市商，收到的 250 万枚 PROVE 已转入交易所
据 @ai_9684xtpa 监测，Flow Traders 为 PROVE 做市商，其于 14 小时前从项目方地址处收到 250 万枚 PROVE（流通代币总量的 1.28%），目前已全部充值进币安、Gate、Kucoin 和 Bitvavo 等各大交易所。Flow Traders 还曾是 WLD、STRK、BIGTIME、BLAST 的做市商。
2025 下半场空投宝藏清单｜60+ 项目大盘点
60 + 潜力空投机会，帮助你更高效筛选适合自己的潜力空投机会。
Succinct 将推出 zkVM 「SP1 Hypercube」，可实现实时以太坊证明
据 The Block 报道，ZK 证明软件 Succinct 宣布将推出 zkVM SP1 Hypercube，可在 12 秒内生成以太坊区块的零知识证明。该系统在 1 万个以太坊主网区块的内部测试中使用 200 个 Nvidia RTX 4090 GPU 集群，并实现 93% 的实时证明，平均证明时间 10.3 秒。Succinct 已开源 SP1 Hypercube 验证器和以太坊证明器代码，并计划在即将进行的审计后全面部署。Foresight News 此前消息， Succinct 拟推出 Succinct Prover Network 架构及 PROVE 代币。该网络通过协调分布式证明者，为各类应用生成证明。PROVE 为支付代币，初始供应量为 10 亿枚，通过质押、治理及拍卖机制激励证明者提供竞争价格。
RISC Zero 推出新版本零知识虚拟机 R0VM 2.0，现已开放体验
零知识证明软件开发商 RISC Zero 于近日发布了其最新版本的零知识虚拟机（zkVM）R0VM 2.0，R0VM 2.0 现已开放体验，提供集中式 Private Prover 和去中心化 Boundless 协议两种服务模式，助力开发者构建高性能 ZK 应用。R0VM 2.0 将单个以太坊区块的证明时间从 35 分钟大幅缩短至 44 秒，并将 OP 链的证明成本降低 5 倍，单笔交易成本可低至 0.0012 美元，提升性能和效率。此外，R0VM 2.0 引入了 3GB 用户内存和全面的预编译支持，支持更复杂的应用场景，如大规模 EVM 证明和可验证媒体。RISC Zero 计划在 2025 年 7 月实现 12 秒内的实时证明，进一步推动零知识技术的应用与发展。
Succinct 推出 SP1-2FA，通过 TEE 对 SP1 提供第二层保护
ZK 证明软件 Succinct 宣布推出 Succinct Prover Network 上的新功能 SP1-2FA，通过可信执行环境 (TEE) 为 SP1 增加了第二层保护。SP1-2FA 的工作原理是将零知识证明（ZK）与程序执行的可信执行环境（TEE）签名进行比较。只有当它们匹配时，证明验证才会成功。SP1-2FA 已在 Succinct Prover Network 上提供私人测试版。
让比特币不再是「价值孤岛」，GOAT Network 如何成为那个突破口？
作为首个结合 zkMIPS 虚拟机、BitVM2 验证协议和无许可排序器网络的创新方案，GOAT Network 为比特币生态的革新打开了一扇大门。
ZK 证明软件 Succinct 向公众开放其 Prover Network 测试网
ZK 证明软件 Succinct 宣布其 Prover Network 测试网向公众开放，向测试网存入 10 USDC 的用户可以通过生成证明来赚取「stars」，以帮助该网络进行压力测试。此外，Succinct 将在约 1 至 2 个月发布测试网 Level 2，约 3 至 4 个月后推出主网，开放「stars」兑换。Succinct 表示，此前，其测试网已封闭运行了几个月，生成了超过 8 万个证明和 100T RISC-V cycles。
Lagrange X 账号疑似被盗，发布关于代币 LGR 的诈骗链接
去中心化证明网络 ZK Prover 开发商 Lagrange 的 X 账号疑似被盗，发布关于代币 LGR 的诈骗链接。
StarkWare 预计将于 2025 年第一季度推出下一代 prover Stwo
Starknet 发推称，其接下来的计划包括优化 Starknet 堆栈，提高吞吐量和成本效益；推出 Stwo，即其下一代 prover，以降低成本和延迟，同时提高所有 Starknet 驱动链的吞吐量（预计 2025 年第一季度推出）；继续致力于通过质押和治理实现 Starknet 去中心化；成为比特币和以太坊链上排名第一的 L2。
Hack VC 领投 2000 万美元融资，Aligned 如何打造 ZK 验证层？
Aligned 已于 3 月上线基于 Cosmos SDK 的简单测试网，并将迁移到 EigenLayer 测试网。
zkSync 公布 Prover Network 里程碑，并邀请硬件团队加入该网络
zkSync 公布 Prover Network 里程碑，今年第三季度初进行测试集成，第三季度中后期进入第一阶段完成证明验证，第三季度末进入第二阶段完成实时证明验证，第四季度初进入第三阶段完成 Live 测试验证，第四季度完成 Live 验证。同时，zkSync 邀请硬件团队加入 Prover Network。
Vitalik 回应「以太坊缺乏整体规划」：社区对 L1 发展有坚实共识，仍需资源执行
Vitalik Buterin 在回复用户 Emmanuel Awosika 有关「2024 年的以太坊就像一场科学实验室实验，缺乏整体规划」的言论时表示，「我认为挑战更微妙。我们对 L1 的发展方向有一个非常坚实的共识。我们所缺乏的是对超越 L1 生态范围内基础设施的类似共同理解。 如果您重新看自己给出的示例，就会发现其中 75% 并非基于 L1，这是一个更高级别的生态构建和标准化挑战。Enshrined bridging、rollup 去中心化技术、multi provers 等，不具备 L1 特征。仅仅有路线图是不够的，我们还需要资源来执行它。ERC-7683 是一个很好的进步，Waku 也是一个很好的进步，但我们需要 10 多个类似的创新，并且要有一个连贯的蓝图，知道哪些东西缺失了，谁在构建它们，并确保他们有资源和动力去做这些事。」