以太坊的擴容無疑是過去幾個月最熱門的話題之一。2022 年 9 月，以太坊網絡向權益證明共識算法的過渡是這方面的一個重大里程碑，因爲它爲實施許多不同的擴容解決方案打開了大門。
雖然以太坊開發人員正在研究本地擴展網絡的方法，但第二層解決方案的威力纔剛剛開始顯現。
零知識證明等概念現在正成爲現實，但對許多人來說，它們仍然是非常陌生的想法。爲了幫助我們更好地瞭解以太坊擴容的未來，Gal Ron 是 StarkWare 的產品經理和區塊鏈研究員，該公司主要專注於此。
以太坊的問題
在深入討論具體細節之前，我們有必要了解以太坊擴容的真正含義。通俗地說，擴容就是擴展網絡處理能力的過程，以便每個節點都能處理更高的交易吞吐量。
有句俗話說，鏈條的強度和威力取決於其最薄弱的環節。這是因爲只要有一個環節斷裂，整個鏈條就會斷裂。這也限制了鏈條的強度，因爲它只能承受最薄弱環節能夠承受的負載——無論其他環節有多強。
以太坊目前的狀況也是如此。這樣做的必要性來自於以太坊必須滿足“信任”的要求。
談到此事，羅恩解釋道：
爲了滿足所有信任假設和信任要求，以太坊上的所有節點都必須做同樣的事情。根據定義，這會限制系統的吞吐量，因爲如果我們將 TPS 或區塊大小增加到某個閾值以上，我們就會開始阻止較小（即計算能力較弱）的節點參與。
從本質上來說，這使得以太坊的容量在定義上受到限制。
StarkWare 的方法：什麼是 ZK-Proof？
Ron 解釋說，有幾種方法可以解決以太坊的限制問題。其中之一就是發明其他東西。
然而，StarkWare 採取了不同的方法，“從以太坊擴展以太坊，而不是創建另一條鏈”。他們通過 StarkNet 和 StarkEx 來實現這一點，讓我們來看看。
StarkNet 被描述爲“無需許可的去中心化有效性彙總，也稱爲 ZK-Rollup”。它作爲以太坊上的 L2（第二層）網絡運行，旨在使任何去中心化應用程序 (dApp) 能夠實現無限的計算規模。這是在不犧牲主層（以太坊）的安全性和可組合性的情況下實現的，因爲 StarkNet 依賴於稱爲 STARK 的加密證明系統。
這裏有很多內容需要解開，所以讓我們從零知識證明的概念開始。
“在以太坊中，所有節點都必須重新運行所有交易。在 ZK（零知識）之前，沒有其他方法可以相信其他人以誠實的方式運行計算。如果我是以太坊上的一個節點，我會看到其他節點向我報告系統狀態應該如何。除了重新運行他們剛剛運行的相同計算之外，我沒有其他辦法可以信任他們。
ZK 的神奇之處在於它創建了一種信任其他實體的新範式，而無需重新運行他們剛剛進行的計算。” – Ron 說道。
本質上，像 StarkNet 這樣的 ZK Rollup 大大減少了以太坊上節點必須投入的計算工作量，從而提高了網絡的吞吐量。
所有這些都是在不犧牲主層安全性的情況下完成的。爲此，StarkWare 發明了 ZK-STARK，它允許區塊鏈將計算轉移到單個鏈下 STARK 證明器，然後使用鏈上 STARK 驗證器驗證這些計算的完整性。
Gal Ron 解釋了 Prover 和 Sequencer 的工作原理，有關更多詳細信息，請觀看上面的視頻。
我們還仔細研究了彙總到底是什麼、StarkEx 是什麼以及 StarkWare 的未來計劃是什麼。
爲什麼 ZK-Rollups 是以太坊擴展的未來：對 StarkWare PM Gal Ron 的採訪首先出現在 CryptoPotato 上。
