脱中心化金融(DeFi)运动决心使金融世界平等，使其更加公平和透明。但是，DeFi要在全球范围内实现这一点，以太网等集中式块链必须扩展吞吐量！这意味着我们必须使用新的加密证明程序。

　　密码学证明系统(如Zk-STARK)不是唯一的解决方案。其他方法包括Plasma、Ethernet square 2.0、所谓的“Ethernet square”提出的许多方案，以及最近的Optimistic Rollup方案。

　　非中心和吞吐量扩展，我们生活的时代是计算机系统吞吐量不断增加的时代。带宽、存储空间和屏幕上的像素点数都在不断增加。那么，为什么提高按TPS“每秒事务处理”衡量的比特币和以太网的事务处理速度那么困难呢？答案是，我们也想确保集中化。区块链保留了所有使用一般笔记型电脑的使用者都可以验证交易历史记录完整性的先决条件。这里有一个我们称为“包容的追赶性”的核心原则。这意味着我们不能过快提高系统的处理能力，否则会变成只有少数财阀控制的那种“现在的金融系统”。

　　我们必须打破区块链的三个困境，创建一个与传统系统不同的以脱中心的金融系统。

　　因此，所有扩展方案(包括Plasma、Optimistic Rollup)和我们的方法(加密证明系统，通常称为ZK Rollup方案)都被介绍为两类“强大”参与者，它们需要投入大量资源来执行密集计算。此外，还有一个大型节点组，用于验证交易并确保由强大参与者产生的计算结果可审核。

　　如何在确保脱中心化的同时扩展吞吐量？然后，强大的参与者通过计算和弱参与保证，确保可审计性。强大的参与者，恶意并不重要。重要的是只有微弱的参与才能保证可追溯性！

　　仔细看之前，先看一下密码学证明系统。我需要知道密码学证明系统。加密证明系统始于1980年。由于对不可访问区块链的巨大价值，近年来区块链领域发生了新的理论建设和新协议的寒武纪大爆炸。以下重点仅针对STARK:这是Dell StarkWare团队准备向市场提供的一种证明方案。加密证明系统通常包括两种类型的角色：证明者和证明者。

　　证明者：证明者希望证明者是正确计算的陈述，例如“已处理此10，000个事务，结果数据库中的散列值x”。证明人对该计算型陈述提出证据，并一并发给证明人。

　　证明人：证明人不天真地重复计算过程，而是验证证据——，如果证据——能通过验证，证明人相信证明人的陈述是真的。

　　注意！在像斯塔克这样的密码学证明系统中，证明者和证明者的计算负担不对称！

　　证明者的计算成本比仅执行原始计算过程要高得多。另一方面，验证器已经承担了大量成本，执行的计算比传统计算过程少得多，例如，如果最初需要执行10，000个事务，则只需支付10个事务计算的费用。