众所周知，真正去中心化公链L1都会面临不可能三角（无法同时兼顾安全性、可扩展性以及去中心化），而以太坊最重要的价值根基之一去中心化，这也是以太坊一直以来在坚守的方面。以太坊一直希望最终实现普通家庭用硬件上运行，超过上万个节点，上百万的验证者级别。以太坊对去中心化的坚持，也导致其在L1性能上进展相对缓慢，并最终发展出L1和L2的架构，但目前L2存在流动性分裂以及价值捕获不足的问题。 如何来解决以太坊区块链本来的困境（安全性、可扩展性以及去中心化无法兼顾）？其中一个重要的方面是采用ZK证明的技术。ZK证明的核心是允许在链下执行大量计算或交易，之后仅在链上提交一个简洁的证明，证明这些执行是正确的，而无需透露所有细节。这样做的好处是，可以在继承安全性的同时，提升可扩展性以及增强去中心化。例如利用zkVM来扩展L1/L2，同时还利于L2流动性分裂；ZK证明是加密安全的，确保链下执行不会出错。一旦证明无效，则会被拒绝，也继承了以太坊原有的安全性；如果最后证明生成和验证高效且成本低，一是普通硬件（手机或家庭用电脑）能够参与节点验证，那么，有机会进一步增强去中心化。 最近Succinct（专注于ZK证明的基础设施项目）推出的核心产品SP1（Succinct Proofs 1）是高性能的zkVM（零知识虚拟机），它支持开发者用Rust语言编写任意程序，并生成ZK证明，用于证明程序执行的正确性，而无需重写电路。这对于以太坊生态解决不可能三角问题有重要帮助。 具体来说，Succinct可以帮到以太坊扩展的有：一是，其SP1是高性能的zkVM，支持任意LLVM编译语言的程序执行证明，可适用于Rollups、coprocessor以及zkEVM场景。Succinct的SP1支持快速生成证明，按照目前官方宣称，可以实现实时速度生成以太坊证明，也就是几乎接近于“实时证明“技术。按照目前官方测试的描述看，在对10,000个以太坊区块的基准测试中，93%以上的区块可在12秒内生成证明，基准测试采用了大约200个NVDIA RTX 4090 GPUs的集群上实现上述性能。运行完整的实时证明集群需要大约160个 RTX 4090 GPUs，目前构建成本大约30-40万美元，通过硬件优化以及证明系统的改进，后续有机会将成本降低至10万美元左右。 此外，Succinct也是一个去中心化的证明者网络，通过计算和验证的分离，可以降低以太坊验证的成本和延迟，最终目标是使得普通节点或手机可参与验证证明，支持以太坊扩展到更多验证者。最后，ZK技术也会实现更多的应用场景，例如身份验证、隐私交易、跨链操作等等。 总言之，在以太坊走向10,000tps的征程上，ZK技术是非常重要的部分之一。(蓝狐)