StarkNet Alpha 上線以太坊主網，解讀 ZK-Rollups 與以太坊的擴容之路_ROLL

原文標題：《ZK-RollupsandthePathtoScalingEthereum》

撰文：TimothyCraig

翻譯：zombit

以太坊廣受贊賞的ZKRollup擴容方案StarkNetAlpha于昨日上線以太坊主網，該解決方案有助于緩解以太坊當前高昂的手續費使用環境。目前已經有好幾個擴展解決方案被實際采用，但ZK-Rollup技術始終被視為是擴容解決方案的最佳解答，原因究竟為何呢？

以太坊可擴展性問題

高昂的gasfees已經成為以太坊的主要問題，由于交易費用是以ETH支付，當資產價格上漲時，使用網路的成本也隨之上升，ETH今年上漲了460%，這意味著以美元計算的交易成本也增加了460%。另外，交易費用也取決于網絡擁堵程度，由于目前的鏈上應用項目對以太坊區塊空間有著極大的需求，但是區塊空間是有限的，導致其網路很容易變得擁擠，使交易確認速度變慢及gasfee變高。

使用網路的高成本成為用戶參與DeFi和NFT的阻礙，甚至失去參與DAO的機會，許多加密貨幣愛好者已經遷移到其他第一層區塊鏈上，如Solana和Avalanche。

一巨鯨花費1,067枚ETH購買了308,793枚UNI:金色財經報道，據Lookonchain監測，一條巨鯨在過去24小時內花費1,067枚ETH（200萬美元）以平均價格6.44美元購買了308,793枚UNI。[2023/7/31 16:08:39]

以太坊交易gas價格中位數

在過去的幾年里，幾個擴展解決方案已經被開發出來，以幫助緩解以太坊的網路擁堵及交易成本問題。Polygon在2019年推出，可以說是第一個獲得巨大吸引力的以太坊擴容解決方案，該網路使用一個名為Plasma的擴容方案，它將交易從主要的以太坊區塊鏈轉移到一個專用的側鏈，許多以太坊原生的DeFi應用已經在Polygon上推出，如Curve和Aave。

雖然Polygon網路透過低交易成本成功吸引用戶使用，但它常被質疑安全性和中心化問題，而被認為不是一個真正的擴展解決方案，該網路使用其自身的節點驗證者管理PoS共識機制，這意味著它不使用以太坊主網來驗證交易，根據截稿前的????

?Polygon網絡前25大區塊驗證者占比

Paradigm：為避免SEC將穩定幣定義為證券，已在Terra案中提交法庭之友簡報:4月25日消息，Paradigm法律負責人Rodrigo在推特上表示：“Paradigm在美SEC對Terra和Do Kwon的訴訟中提交了一份法庭之友簡報，Paradigm并不是Terra的投資者，我們提交的簡報也不支持任何一方的動議，我們唯一的興趣是反擊SEC繼續擴大其對加密貨幣管轄權的企圖。”Rodrigo提到：“通過對Terra的執法行動，SEC試圖通過推進一種無限的理論，將穩定幣納入其職權范圍，即如果任何工具都可以被交易為所謂的“加密資產證券”，那么該工具本身就會成為“加密資產證券”。我們的簡報重點是回應SEC的新理論，即算法穩定幣UST是一種證券。SEC關于UST的理論是對訴訟中核心主張的補充。盡管如此，我們認為至關重要的是，負責此案的法官Rakoff避免無意中支持這一未經支持的理論，美國證券交易委員會可以尋求將其廣泛應用于其他穩定幣。”[2023/4/25 14:25:14]

Rollup

近期Rollup擴展解決方案在以太坊社群引起了一陣熱議，Rollup方案顧名思義就是一種將計算數據「打包」并將有效性證明送回以太坊主網的方式，這種做法可節省區塊空間，進一步減少提交給主網的數據量，由于交易被捆綁在一起，Gasfee就能讓許多用戶分攤。Rollup為用戶提供了近乎即時的交易速度，可以將費用減少50到200倍，同時保持以太坊主網的安全性和去中心化。

Aave V3部署至StarkNet的提案已通過溫度檢查投票:4月11日消息，關于“將Aave V3部署至StarkNet”提案以99.98%的支持率通過溫度檢查投票。根據該提案，Aave與StarkNet的集成計劃分兩個階段進行，其中第一階段為在以太坊和StarkNet之間為aTokens部署跨鏈橋，第一階段已獲社區投票通過。而此次提案旨在完成第二階段，即在StarkNet上全面部署Aave協議。[2023/4/11 13:55:58]

目前Rollup方案的兩種類型分別為OptimisticRollup和Zero-KnowledgeRollup。

什么是OptimisticRollup？

OptimisticRollup方案假設發回主鏈的交易是合法的，只有當驗證人能夠透過提交詐欺證明來證明交易是詐騙性的，交易才會被拒絕，換句話說，OptimisticRollups采取「在證明有罪之前是無罪的」的方法來驗證交易。

目前OptimisticRollup已經能看到實際采用情形，部分原因是開發者在該網路上開發應用程式較容易，OptimisticRollup可以直接支援完整的智能合約功能，開發人員可以使用以太坊的程式語言Solidity編寫應用程式。根據L2beat的數據顯示，目前最大的OptimisticRollup網路Arbitrum已經在DeFi應用程式當中吸引了超過25億美元的總鎖倉價值，它承載了以太坊上許多受歡迎的DeFi應用。

EMURGO Ventures宣布投資AID:Tech:金色財經報道，Cardano區塊鏈官方商業部門EMURGO的風險投資部門EMURGO Ventures今天宣布投資AID:Tech，以加速其Web3產品和服務的擴展。這筆資金將部分支持 AID:Tech 開發創新的 Web3“志愿者賺錢”錢包和生態系統，利用基于區塊鏈的去中心化標識符 (DID) 和 NFT 為人們創建數字身份解決方案以建立鏈上聲譽合并 Web2 和 Web3。[2022/8/25 12:48:44]

然而，由于OptimisticRollup驗證交易的方法，它們面臨著一些挑戰，傳送回以太坊主網的資金要經歷長達一周的挑戰期，這給用戶帶來了不便，并破壞了可組合性。雖然OptimisticRollups已經改進了基于Plasma的解決方案，如Polygon，但他們通常被認為是不如ZK-Rollups的，OptimisticRollups提供高達77倍的可擴展性提升，而ZK-Rollups提供了高達500倍的提升，并且無挑戰期。

什么是ZK-Rollup？

ZK-Rollup方案在交易打包至主網時產生加密證明以證明交易是合法的，只有在加密證明被驗證后，交易才會在以太坊上被接受，與OptimisticRollup不同，ZK-Rollup采取了「在證明無罪之前有罪的」的驗證方式。

Klaytn基金會創始人：減少人為因素可防止黑客入侵:8月11日消息，韓國公鏈項目Klaytn基金會創始人Sam Sangmin Seo接受采訪時表示，鑒于去中心化應用頻繁遭遇高調攻擊，區塊鏈行業安全性急需得到提高，而最大限度地減少人為錯誤可能是關鍵。

Sam Sangmin Seo表示，這些跨鏈橋在安全方面面臨兩個問題，“實施中的缺陷”或者“運營商的問題”，例如運營商的私鑰被盜。Klaytn已經意識到這些風險，并且正在研究基于零知識證明技術的跨鏈橋，它可以在沒有操作員的情況下提供證明。事實上，很多黑客攻擊都是由人為錯誤引起的。如果能減少這種情況，減少協議層面的人為干預，就有可能建造一座更安全的跨鏈橋。（Forkast）[2022/8/11 12:18:02]

然而，ZK-Rollup還沒有達到與OptimisticRollup同類產品相同的兼容性水平，因為ZK-Rollup在每筆交易中要伴隨著有效性證明，所以它們在技術發展上更難，目前ZK-Rollup的開發上已經能執行一些簡單的任務，例如直接轉帳和交易，雖然整合智能合約功能是有可能的，但比OptimisticRollup更加困難。

就在今年，以太坊聯合創始人VitalikButerin預測，開發完全可組合的ZK-Rollup將需要幾年時間，然而，開發人員已經提前完成了計劃，幾個ZK-Rollups項目正在準備部署解決方案，這些解決方案是兼具可組合性和互操作性，甚至能讓多個Rollups互通。

ZK-Rollups的發展將允許以太坊主網和多個第2層網路之間共享通訊框架，網路可以共享流動性并克服第1層區塊鏈面臨的最大的采用挑戰，基于ZK-Rollup的網路將不需要為了讓去中心化交易所上擁有高效率交易而爭奪流動性，而是能夠以合作的方式擴展以太坊。

ZK-Rollup還具有另一個獨特的功能，越多人交易會使交易費用變得更便宜，發送一個批次的費用不會有太大的變化，隨著更多的交易被打包在一個批次中，交易成本可以在更多的用戶中分攤，ZK-Rollups可以打包幾乎無限量的交易，因此當有足夠的用戶時，交易的gasfee可以減少到只要幾分錢，這個功能被稱為「有效性證明攤銷」。

雖然以太坊仍然面臨著可擴展性問題，但一些開發者已經在部署第二層ZK-Rollup網路，承諾在智能合約、其他第二層解決方案和以太坊虛擬機之間實現完全可組合性和兼容性。

ZK-Rollup的類型

目前有兩種不同類型的ZK-Rollup被用于以太坊的擴展解決方案中，第一種是最被廣泛使用的類型ZK-SNARKs，全名為簡潔的非交互式知識論證，也是第一個被發現的零知識證明類型，專注于隱私保護的區塊鏈項目Zcash早在2016年就采用ZK-SNARKs，該技術構成了ZK-Rollup大部分開發者的資料庫和代碼，并被認為是以太坊擴展項目的一個強有力的選擇。

但SNARKs有一個缺陷，它們需要一個初始創建事件的密鑰，這些密鑰用于創建交易所需的證明，如果可信設置事件中的密鑰沒有被銷毀，它們可以被用來憑空創造新的代幣或偽造交易。

目前備受矚目的SNARK擴展解決方案是MatterLab的zkSync，該項目于2020年6月啟動，在其目前的迭代中宣稱每秒可處理2000筆交易，并希望在未來實現更高的吞吐量，今年5月時，該平臺開始致力于在兼容EVM的環境中部署智能合約，推出了zkEVM測試網。

zkSync目前著重于讓Ethereum主網的過渡盡可能容易，那些想在zkEVM上開發的人可以使用以太坊程式語言Solidity編寫智能合約。MatterLabs最近在a16z領投的B輪融資中籌集了5000萬美元，以幫助zkSync的發展，此外，該公司已與幾個以太坊DeFi應用合作，如Curve、Aave和1inch。

STARKs

另一種ZK-Rollup方案為STARKs，全名為可擴展的透明知識論證，STARKs比SNARKs更有優勢，因為STARKs完全依賴哈希函數，不需要可信的設置，這意味著STARKs在理論上比SNARKs更安全。

StarkWare是第一家使用STARKs來擴展以太坊的公司，是目前開發基于STARK技術的主要推動者，該公司的兩位聯合創始人EliBen-Sasson和MichaelRiabzev共同發明了這項技術，StarkWare為基于STARK的ZK-Rollups創造了一種圖靈完備的編程語言，稱為Cairo，「StarkEx協議」是以Cairo語言創造的第一個產品。

StarkEx是一種針對特定應用的擴展解決方案，目前正被幾個以太坊項目使用，包括dYdX、ImmutableX、Sorare和DeversiFi。StarkWare即將發布的StarkNet是一個無權限的ZK-Rollup網路，可以讓開發者直接在第二層建構并啟動應用程式，StarkNet的目標是成為一個真正去中心化的多應用擴展解決方案。

StarkNet發展示意圖

ZK-Rollup即將改變加密貨幣社群使用以太坊的方式，隨著zkSync和StarkNet等高速、低成本網路的實現，更多以太坊主網上的交易將被外包至第二層，這應該會讓以太坊更接近其成為一個可擴展、安全和去中心化的區塊鏈網路的愿景。

注：在撰寫此功能時，作者擁有ETH和其他幾種加密貨幣。?

Tags：ROLLROL以太坊ARKTROLL幣TROLLBNB以太坊價格幣走勢圖DMarket

中幣交易所