STARK:以太坊擴容圣杯之爭：zkRollup vs Validium_ARK

編者按：本文來自巴比特資訊，作者：AlexGluchowski，譯者：灑脫喜，星球日報經授權發布。寫在前面：隨著穩定幣等應用的繁榮趨勢，以太坊Layer2擴容之爭近期已箭在弦上，而爭對DeversiFi最近采用的Validium解決方案，MatterLabs創始人AlexGluchowski撰文提到了該解決方案存在的兩大問題：1、可凍結用戶資金，2、可沒收用戶資金，因此，其認為Validium方案可能會適用于傳統的高頻交易或具有較低信任假設的游戲，相比之下，完全無需信任的zkRollup方案則非常適合擴展去中心化的加密支付。以下是譯文：DeversiFi最近推出了一個新版本的交易所，其底層動力是由StarkEx提供的。這是一項令人難以置信的技術成就，它提高了加密交易所的安全級別。這也標志著一個歷史性的轉折點：這是史上第一次在生產系統中應用STARKs。在后臺，StarkEx實際是一個Validium，其所有交易的有效性都是通過零知識證明來實現的，而數據的可用性仍然保持在鏈外。這可以防止Validium中的資金被盜，因為來自給定用戶帳戶的每一次價值轉移，都必須經過該用戶的授權。

以太坊L2網絡總鎖倉量突破45億美元:金色財經報道，L2BEAT數據顯示，截至10月24日，以太坊Layer2上總鎖倉量為46億美元。其中鎖倉量最高的為擴容方案Arbitrum，約27.2億美元，占比59.21%。其次是dYdX，鎖倉量10.1億美元，占比22.08%。Optimism鎖倉量4.59億美元，占比9.97%。[2021/10/31 6:22:41]

Validium的機制與zkRollup非常相似，唯一的區別是zkRollup中的數據可用性是在鏈上的，而Validium則將其保持在鏈外。這允許Validium獲得更高的吞吐量，但它是需要付出代價的：代價1：StarkExValidium的運營商可以凍結用戶的資金

金融博客零對沖：以太坊急速下跌是由NFT熱潮轉移向Solana引發的:金融博客零對沖（Zero Hedge）表示，一些人認為，以太坊的急速下跌是由NFT熱潮轉移向加密貨幣Solana引發的。周一，加密衍生品平臺FTX首席執行官Sam Bankman-Fried宣布將Solana整合到FTX即將推出的NFT市場，這個新的市場將使非功能性藝術創作者和所有者能夠使用Solana和以太坊跨鏈交易他們的數字藝術。有趣的是，加密貨幣的這種快速下跌符合摩根大通分析師Nick Panigirtzoglou上周的評論，他認為一些泡沫預計將在短期內離開市場。（金十）[2021/9/8 23:07:47]

“Thepeoplewhocandestroyathing,theycontrolit.”——弗蘭克·赫伯特,《沙丘》沒有zkRollup的數據可用性保證，Validium的運營商(或者更準確地說，是數據可用性管理者)能夠拒絕任何用戶轉移資金的權利。它是這樣工作的：運營商對默克爾化狀態進行了微小的更改，而無需向用戶透露狀態更改。由于缺乏這些信息，用戶無法為自己的帳戶創建默克爾所有權證明。

以太坊客戶端OpenEthereum發布v3.2.4版本:據官方消息，以太坊客戶端OpenEthereum發布v3.2.4版本，包括一個修復程序，以正確廣播交易。[2021/4/17 20:30:23]

說明：如果運營商更改了帳戶d3，則帳戶d1的所有者在證明其帳戶所有權時，將缺少所需節點m的信息。在Validium中是否有方法可以防止數據預扣攻擊？自2016年Plasma概念被提出以來，這一問題一直被廣泛討論，而zkRollup就是解決該問題的研究成果。相比之下，非rollup嘗試以不可靠的方式確保數據可用性，這將導致Validium失去大部分競爭優勢。雖然這一問題并不能完全解決，但StarkEx通過引入一個許可數據可用性委員會來緩解這個問題。DAC必須通過其成員的法定人數簽署對狀態的每次更新，來確認它已接收到數據。在StarkEx中，DAC由8位參與者組成，而這些參與方也都是聲譽很高的組織。他們不太可能會濫用自己的權力，但自相矛盾的是，知名度高、聲譽好、居住在一個強大的司法管轄區，正是使它們脆弱的原因。一個可能出現的情況是：運營商必須執行KYC/AML法規，并有義務凍結交易歷史超過1萬美元賬戶的所有資金。隨著我們深入研究，問題也變得更加有趣。StarkEx實施了驗證者合約升級機制，該機制允許運營商立即將新item添加到驗證者合約鏈中，而這個過程無需延遲。這不能使任何舊邏輯失效。相反，它允許添加額外的約束。這是一個很好的安全特性：如果在StarkEx的STARK電路邏輯中發現任何丟失的約束，它可以在不引入任何新漏洞的情況下快速修復。然而，這一功能理論上也可以被用作隱藏的審查后門。簡而言之，StarkEx運營商總是可以將擴展部署到引入黑名單的合約邏輯，而無需事先向用戶發出警告。從他們的文檔中還不能完全清楚，但是看起來執行新規則不需要獲得DAC的同意。如果你將StarkEx視為完全去中心化的交易所協議，這就沒有多大意義。另一方面，如果你將StarkEx視為是加密交易所的安全增強功能，那么它是完全有意義的。代價2：StarkExValidium的運營商可以沒收用戶的資金

以太坊2.0客戶端Nimbus發布v1.0.12版本:官方消息，以太坊2.0客戶端Nimbus發布v1.0.12版本，支持信標鏈測試網Prater，該測試網現已向公眾開放。[2021/3/30 19:29:08]

讓我們擴展思想實驗。出于任何假設原因，許多用戶的資產現在已被凍結了。那接下來的問題是，用戶在StarkEx上的資金，可以被沒收嗎？事實上，這是可能發生的。StarkEx與很多其它加密項目一樣，實現了一種最先進的升級機制。用戶在新版本部署前28天會得到通知，任何不喜歡它的人都可以選擇退出。但是，那些資金遭到凍結的人，卻沒有辦法退出。寬限期結束后可以部署新的合約邏輯，將凍結的資金轉移到指定方的托管錢包中。不幸的是，沒有任何受影響的用戶，能夠對此采取反對行動。還存在一些合理的擔憂，即升級通知期限本身，可能不足以允許每位不同意更改的用戶退出。但這個問題是一個通用合約可升級性的問題，而不是Validium所獨有的。

動態 | 以太坊未確認交易37545筆:據Etherscan.io數據顯示，當前以太坊未確認交易為37545筆，與昨日相比未確認筆數略有減少，網絡較為擁堵。[2019/1/24]

zkRollup的數據可用性可保護用戶的資金免遭扣押和審查

理論上，只要有一個以太坊全節點處于在線狀態，zkRollup用戶就可以訪問rollup的狀態。工作原理：對于每個zkRollup區塊，重構狀態更改所需的信息，必須作為以太坊交易的調用數據提交，否則zkRollup智能合約將拒絕進行狀態轉換。zkRollup上的狀態更改會導致每筆交易的少量gas開銷，該開銷會隨交易數呈線性增長。有了Merkle樹數據，被審查的用戶總是能夠直接從主網上的zkRollup合約中申領資金。他們所需要做的，就是提供一份他們賬戶所有權的Merkle證明。因此，鏈上數據可用性可以保證沒有人可以凍結或獲取用戶的資金。然而，數據可用性的鏈上存儲，導致了吞吐量的限制——zkRollup在當前的以太坊主網上有嚴格的實際上限，即每秒2000筆交易，而StarkExValidium則聲稱有9000+TPS。這種差異可能會在確定兩種技術的應用領域和用例中扮演重要角色。例如，zkRollup非常適合擴展去中心化的加密支付，以及適合有嚴格的無需信任要求的不可變智能合約。另一方面，Validium可能更適合傳統的高頻交易或具有較低信任假設的游戲。結論

我們已經表明，zkRollup和Validium(StarkEx)在工作方式上有些相似，它們的主要區別在于數據是鏈上可用還是鏈下可用，這對于理解它們適合哪些應用是至關重要的。這種差異意味著，zkRollup是一個無需信任的去中心化擴展協議，而Validium則顯示了托管PoA系統的更多屬性，盡管其安全性大大提高了。每一項減少信任，并為用戶提供對其資產更多控制權的技術發展，都是朝著增強個人能力邁出的一步。為了繼續前進，我們總是需要做出權衡。盡管如此，加密社區越來越一致地認為，技術已經邁過了“don’tbeevil”的階段，現在是“can’tbeevil”的時候了。我們可通過自我保管、審查抵制、隱私和消除單點失敗來達到這一目的。這些想法構成了我們正在努力建立的系統的基本價值觀。完全無需信任的可擴展性時代已經到來！

Tags：ROLSTASTARKARKROLLStarbaseUniverseStarkMetaBARK

以太坊交易所