采访 StarkWare PM Gal Ron

扩容以太坊无疑是过去几个月最热门的话题之一。 该网络在 2022 年 XNUMX 月过渡到权益证明共识算法是这方面的一个巨大里程碑，因为它为实施许多不同的扩展解决方案打开了大门。

虽然以太坊开发人员正在研究本地扩展网络的方法，但第二层解决方案的力量才刚刚开始显现。

零知识证明等概念现在正在成为现实，但对许多人来说，它们仍然是非常陌生的想法。 为了帮助我们更多地了解以太坊扩展的未来，Gal Ron 是 StarkWare 的产品经理和区块链研究员，该公司主要专注于此。

以太坊的问题

在我们深入了解一些细节之前，重要的是要了解什么 扩展以太坊 实际上意味着。 通俗地说，这是扩展网络处理能力的过程，使其每个节点都可以处理更高的交易吞吐量。

有这样一种说法，它规定链条的强度取决于它最薄弱的环节。 这是因为只有一个链接需要中断整个链条才会失败。 这也限制了链条的强度，因为它只能处理其最薄弱的链接能够处理的负载——不管所有其他链接有多强大。

以太坊在当前状态下也是如此。 这样做的必要性来自以太坊必须满足“信任”要求这一事实。

谈到此事，罗恩解释说：

为了满足所有信任假设和信任要求，所有节点（在以太坊上）都必须做同样的事情。 根据定义，这限制了系统的吞吐量，因为如果我们将 TPS 或块大小增加到某个阈值以上，我们将开始阻止较小（读取：计算能力较小）的节点参与。

从本质上讲，这使得以太坊，根据定义，其能力受到限制。

StarkWare 的方法：什么是 ZK 证明？

Ron 解释说，有几个选项可以解决以太坊的限制问题。 其中之一是发明其他东西。

然而，StarkWare 采取了一种不同的方法，即“从以太坊扩展以太坊，而不是创建另一条链”。 他们通过 StarkNet 和 StarkEx 这样做，让我们来看看。

StarkNet 被描述为“无需许可的去中心化有效性汇总，也称为 ZK-汇总” 它作为以太坊上的 L2（第二层）网络运行，旨在使任何去中心化应用程序 (dApp) 能够实现无限的计算规模。 这是在不牺牲主要层（以太坊）的安全性和可组合性的情况下完成的，因为 StarkNet 依赖于称为 STARK 的加密证明系统。

这里有很多东西要解压，所以让我们从零知识证明的概念开始。

“使用以太坊，所有节点都必须重新运行所有交易。 在 ZK（零知识）之前，没有其他方法可以相信其他人以完整性运行计算。 如果我是以太坊上的一个节点，我会看到其他节点向我报告的系统状态应该是什么。 除了重新运行他们刚刚运行的相同计算之外，我没有办法相信他们。

ZK 的神奇之处在于它创建了一种新的范例，可以信任其他实体，而无需重新运行他们刚刚完成的计算。” ——罗恩说。

从本质上讲，像 StarkNet 这样的 ZK rollups 大大减少了以太坊节点必须投入的计算工作量，从而增加了网络的吞吐量。

所有这些都是在不牺牲主层安全性的情况下完成的。 为此，StarkWare 发明了 ZK-STARKs，它允许区块链将计算转移到单个链下 STARK 证明者，然后使用链上 STARK 验证器验证这些计算的完整性。

Gal Ron 解释了 Prover 和 Sequencer 的工作原理，因此有关这方面的更多详细信息，请观看上面的视频。

我们还仔细研究了 rollups 到底是什么，StarkEx 是什么，以及 StarkWare 未来的计划是什么。