从 0 到 ZK 概念简述 #6：冗余问题 上次我们讨论了简洁性，ZK 证明如何将大量计算压缩成小而便宜的可验证包。这次，让我们看看这个特性在区块链实际运作的最基本层面上为何重要。 每当一个新的以太坊区块被生成时，成千上万的验证者独立地重新执行其中的每一笔交易。相同的添加、相同的转账、相同的智能合约逻辑，整个网络都在重复。 这就是以太坊如何维持无信任性：如果每个人独立得出相同的结果，就不需要信任其他人。 这种保证的成本是巨大的。单个区块的计算量被成千上万次地重复。它有效且安全，但这也是区块链仍然缓慢且昂贵的核心原因。 网络永远无法超越单台机器，因为每台机器都在运行相同的工作负载。🔁 ZK 证明提供了一种根本不同的模型：一方执行计算并生成证明，证明工作是正确完成的，网络上的每个验证者只需验证该证明，而不是重新进行工作。得益于简洁性，无论原始计算多复杂，该验证都是微不足道的便宜。 架构从“每个人都做所有事情”转变为“计算一次，验证到处”。🔑 但要使这一模型在以太坊的基础层成为现实，必须有一个关键部分到位：证明方必须足够快，以跟上实时区块生产，并且成本足够低，不需要巨额硬件投资来运行。 如果证明需要数小时或花费数百万基础设施费用，这个模型仍然停留在理论阶段。 这就是 Pico Prism 的作用。⚡ 最近，我们宣布 Pico Prism 现在可以在仅使用 16 个 GPU 和两台机器的情况下，实现 99% 实时以太坊区块证明，平均每个区块 6.91 秒。总硬件成本：约 10 万美元，正好符合以太坊基金会的目标。 几个月前，相同的结果需要 64 个 GPU 和 12.8 万美元的 GPU 成本。 这种减少使得证明方的方程在实际可及范围内。随着证明可靠地跟上以太坊每 12 秒的区块时间，使用可负担的硬件，基于证明的验证在协议层的整合路径变得具体。 当这发生时，成千上万的验证者将从冗余地重新执行每个区块转变为简单地验证一个小证明，根本改变以太坊的扩展方式。🧱 ...