boundless @boundless_xyz 协议背后的zkvm团队RISC Zero 正在构建实时证明集群。 同时之前分享过的zkvm，zkmips项目，已经在btc 二层项目GOAT Network @GOATRollup上启动实时证明。实时zk证明将是zk趋势中一个新的重要特征。各家都在争相实现实时证明。 boundless的RISC Zero团队技术目标： -硬件投资约 12 万美元（保持硬件成本可控，确保去中心化的指标） -性能模型预测端到端证明生成时间约为 9.25 秒 为什么这两个指标重要： -以太坊基金会 (EF) 的路线图将证明生成功能纳入了区块提案中。如果价值数百万美元的闭源矿机能够跟上，以太坊很快就会中心化。可访问性是去中心化的关键 -只有当区块的有效性证明在区块被提出的同一 12 秒时间段内到达时，以太坊才能在第L1层采用零知识证明。 实时证明可以解锁： -100-1000x gas 限制：由于证明可以在恒定时间内验证，无论被证明的计算大小如何，以太坊不再需要限制 gas 大小的限制。 -跨 Rollup 的同步可组合性： Rollup 的主要痛点在于管理链间的互操作性。实时证明功能实现了Rollup 之间的原子可组合性。 -更安全的轻客户端：目前，轻客户端会检查验证器签名，但实际上并不检查 EVM 状态更新的有效性。使用 RTP（实时证明），轻客户端可以确认状态更新的完整性，而无需信任验证器。(头雁)