採訪 StarkWare PM Gal Ron

擴容以太坊無疑是過去幾個月最熱門的話題之一。 該網絡在 2022 年 XNUMX 月過渡到權益證明共識算法是這方面的一個巨大里程碑，因為它為實施許多不同的擴展解決方案打開了大門。

雖然以太坊開發人員正在研究本地擴展網絡的方法，但第二層解決方案的力量才剛剛開始顯現。

零知識證明等概念現在正在成為現實，但對許多人來說，它們仍然是非常陌生的想法。 為了幫助我們更多地了解以太坊擴展的未來，Gal Ron 是 StarkWare 的產品經理和區塊鏈研究員，該公司主要專注於此。

以太坊的問題

在我們深入了解一些細節之前，重要的是要了解什麼 擴展以太坊 實際上意味著。 通俗地說，這是擴展網絡處理能力的過程，使其每個節點都可以處理更高的交易吞吐量。

有這樣一種說法，它規定鏈條的強度取決於它最薄弱的環節。 這是因為只有一個鏈接需要中斷整個鏈條才會失敗。 這也限制了鏈條的強度，因為它只能處理其最薄弱的鏈接能夠處理的負載——不管所有其他鏈接有多強大。

以太坊在當前狀態下也是如此。 這樣做的必要性來自以太坊必須滿足“信任”要求這一事實。

談到此事，羅恩解釋說：

為了滿足所有信任假設和信任要求，所有節點（在以太坊上）都必須做同樣的事情。 根據定義，這限制了系統的吞吐量，因為如果我們將 TPS 或塊大小增加到某個閾值以上，我們將開始阻止較小（讀取：計算能力較小）的節點參與。

從本質上講，這使得以太坊，根據定義，其能力受到限制。

StarkWare 的方法：什麼是 ZK 證明？

Ron 解釋說，有幾個選項可以解決以太坊的限制問題。 其中之一是發明其他東西。

然而，StarkWare 採取了一種不同的方法，即“從以太坊擴展以太坊，而不是創建另一條鏈”。 他們通過 StarkNet 和 StarkEx 這樣做，讓我們來看看。

StarkNet 被描述為“無需許可的去中心化有效性匯總，也稱為 ZK-Rollup” 它作為以太坊上的 L2（第二層）網絡運行，旨在使任何去中心化應用程序 (dApp) 能夠實現無限的計算規模。 這是在不犧牲主要層（以太坊）的安全性和可組合性的情況下完成的，因為 StarkNet 依賴於稱為 STARK 的加密證明系統。

這裡有很多東西要解壓，所以讓我們從零知識證明的概念開始。

“使用以太坊，所有節點都必須重新運行所有交易。 在 ZK（零知識）之前，沒有其他方法可以相信其他人以完整性運行計算。 如果我是以太坊上的一個節點，我會看到其他節點向我報告的系統狀態應該是什麼。 除了重新運行他們剛剛運行的相同計算之外，我沒有辦法相信他們。

ZK 的神奇之處在於它創建了一種新的範例，可以信任其他實體，而無需重新運行他們剛剛完成的計算。” ——羅恩說。

從本質上講，像 StarkNet 這樣的 ZK rollups 大大減少了以太坊節點必須投入的計算工作量，從而增加了網絡的吞吐量。

所有這些都是在不犧牲主層安全性的情況下完成的。 為此，StarkWare 發明了 ZK-STARKs，它允許區塊鏈將計算轉移到單個鏈下 STARK 證明者，然後使用鏈上 STARK 驗證器驗證這些計算的完整性。

Gal Ron 解釋了 Prover 和 Sequencer 的工作原理，因此有關這方面的更多詳細信息，請觀看上面的視頻。

我們還仔細研究了 rollups 到底是什麼，StarkEx 是什麼，以及 StarkWare 未來的計劃是什麼。