实时证明

本文分析了以太坊向零知识证明（ZKP）技术转型的战略意义，旨在通过将验证模式从“执行区块”转变为“验证证明”，实现L1层每秒1Gigagas的吞吐量，并在此基础上构建一个拥有每秒1Teragas总吞吐量的L2生态系统。文章重点介绍了实时证明（Real-Time Proving）技术突破、以太坊基金会的战略调整，以及RISC-V架构在提升效率和简化协议中的作用，并探讨了该转型对以太坊生态系统的影响。

Vitalik Buterin提出了一种结合预确认和Based Rollups的以太坊L1与L2同步可组合性设计方案。

ZEROBASE是一个模块化的基础设施堆栈，用于构建实时的、保护隐私的零知识应用程序。通过集成Ingonyama的ICICLE库，ZEROBASE显著加快了证明生成速度，降低了基础设施开销，并改善了跨应用程序的用户体验。ICICLE帮助ZEROBASE实现了多个生产级别的实时ZK用例，并在Solana SIM、zkLogin和Staking Network等应用中取得了显著的性能提升。

SP1 Hypercube是新一代的zkVM，为以太坊提供实时证明，它基于多线性多项式的新型证明系统构建，在延迟和成本方面实现了最先进的结果，比SP1 Turbo提升高达5倍，并且可以在12秒内证明超过93%的以太坊区块。它结合了新的密码学技术和强大的性能工程，成为第一个实现这一目标的团队。

本文深入探讨了零知识证明（ZKP）技术在区块链领域的重要性，特别是在以太坊的扩展性和实时证明方面的应用。文章详细介绍了zkVM的工作原理、关键组件以及Succinct的SP1 Hypercube如何通过Jagged PCS技术实现接近实时的证明速度，并分析了实现以太坊实时证明标准的意义和挑战。

本文提出了一种通过实时证明实现 Rollup 间同步组合的方法，允许一个链上的智能合约直接调用另一个链上的智能合约，并在同一执行上下文中获得结果，就像它们位于同一链上一样。该方案通过代理合约、执行表以及在L1上验证的有效性证明来实现跨链调用，从而恢复了以太坊 DeFi 生态系统中强大的可组合性模型。

SP1 Hypercube 是 Succinct 团队推出的最先进的 zkVM，现已主网上线。

以太坊正全力投入 ZK 技术，目标是在所有层面上使用 ZK 证明，首要步骤是实现 L1 zkEVM。通过让验证者选择运行验证多个 ZK 证明的客户端，并标准化实时证明的定义，以太坊基金会希望在一年内实现 L1 zkEVM，并鼓励 zkVM 团队朝着实时家庭证明方向创新。

文章讨论了Succinct实现实时证明的突破性进展及其对以太坊的影响，当前以太坊对ZK技术的巨大投入正在获得回报。文章还探讨了在扩大L1 gas限制的同时，如何平衡去中心化目标，以及在未来几年内，对于Prover的去中心化限制可以适当放宽，以便抓住大规模证明带来的机遇，不重蹈过去在L1扩容方面保守策略的覆辙。

Succinct团队宣布SP1 Hypercube zkVM在16块NVIDIA RTX 5090 GPU上实现了以太坊L1区块的实时证明，99.7%的区块在12秒内完成，95.4%在10秒内。

以太坊计划在一年内推出L1 zkEVM，通过让验证者选择运行ZK客户端来验证多个zkVM生成的证明，而不是重新执行区块。文章提出了实时证明的定义：延迟≤10秒（P99主网区块）、硬件成本≤10万美元、功耗≤10千瓦、完全开源、安全≥128位、证明大小≤300KiB且无可信设置。目标是实现家庭证明，增强抗审查性。