《从零知识到零知识》第7部分已上线。 每笔Ethereum交易都会在超过800,000台计算机上触发相同的计算。这不是为了处理它，而是为了验证一个区块提议者是否正确地完成了它。 这就是区块链如何实现无信任的方式。不幸的是，这也是极其低效的。🧵

冗余的存在是因为没有值得信任的权威。每个人都独立检查一切，这就是安全模型。 但这也是为什么存在燃气限制。区块必须保持足够小，以便普通硬件能够跟上。

ZK 证明提供了一种解决方案。证明区块执行正确一次，然后让其他人以毫秒级的速度验证该证明。 困难的部分是快速生成足够的证明，以跟上每 12 秒生成一个区块的链。

这是真实时间证明。 Pico Prism 是世界上最快的之一，以平均 6.9 秒的速度证明 99.6% 的 Ethereum 区块。 我们正在朝着 Ethereum 社区的所有目标及更远的方向努力。 阅读第 7 部分：