如果不是因為這篇研究報告是受MolochDAO之托而作,我想DAOSquare應該不會翻譯如此“技術性”的學術論文。不過,以太坊的擴展性的確是一個重要且熱門的話題,現有的解決方案包括OptimisticRollup、ZkRollup,而OptimisticRollup則是一個提出時間并不長的新興方案,它被認為是最有前途的擴容方案。那么時至今日它的發展情況如何?前景又如何?本文作者DanielGoldman通過大量的調研完成了此份報告,現在,DAOSquare將這份成果分享給大家!不過由于篇幅過于“宏大”,我們將分三期奉上,本篇為第一部分。作者:DanielGoldman自由軟件工程師、技術顧問、作家譯者:Emma、SnowLu校對:Samuel以太坊新興OptimisticRollup生態系統的技術概覽
OptimisticRollerball(DanielGoldmanoriginal,2020)以下報告由MolochDAO授權制作,JohnAdler提供相關意見/復審;但此篇所有觀點均代表本人。此外,項目評估僅為該報告發稿時的狀態簡況。事事均在變化,不做過度承諾。籠罩以太坊擴容社區的陰霾--OptimsitcRollup2019下半年,OptimisticRollups(ORU或Optiroll)作為以太坊Layer2擴容協議迅速興起大熱。本文旨在概述新興ORU的開發生態系統至發稿時的簡況。我們先將ORU理論屬性放于Layer2設計空間大背景下,之后比較不同項目的方法和技術設計決策以及其中的各種取舍。9個項目包括:FuelLabsANONWhitehat,Cellani,Lim(hereby“WCL”)PinkiebellOffchainLabsInterstateNetworkOptimismIDEXCeler點擊此處回顧他們的差異性。最后,我們將深入探討一些定性問題,這些問題將圍繞以上項目如何在空間中發揮自己的作用。背景&理論
以太坊網絡當前已銷毀188.95萬枚ETH:金色財經報道,據Ultrasound數據顯示,截止目前,以太坊網絡總共銷毀1889594.31枚ETH。其中,OpenSea銷毀229951.65枚ETH,ETHtransfers銷毀180115.51枚ETH,UniswapV2銷毀124580.76枚。
注:自以太坊倫敦升級引入EIP-1559后,以太坊網絡會根據交易需求和區塊大小動態調整每筆交易的BaseFee,而這部分的費用將直接燃燒銷毀。[2022/2/23 10:09:33]
盡管美名在外,但開放且未授權的區塊鏈也有很多問題:網絡中的所有完整節點必須可見,并驗證系統處理的每筆交易;超低效率是加密貨幣備受爭論的擴容挑戰的核心。Layer2協議是減輕此類負擔的一類方法。將所有的節點全部驗證所有交易,變為僅由感興趣的各方對交易的某些子集進行本地驗證,以此來轉移這種負擔。重要的是,他們保留基本層無需信任的安全模型,同時無需依賴用戶自己運行的軟件以外的資源。數據可用性:解決
在以太坊Layer2研發的早期階段,研發人員計劃在隱含假設下運作,即基礎層“減輕驗證負擔”就是完全將交易數據隔離在區塊鏈之外。。加密貨幣協議有其內在的經濟屬性,可以激勵區塊生產者及時地、廣泛地共享區塊;區塊鏈基礎層有時被稱為“數據可用性引擎”。確保數據是公開的,可以保證其能夠進行驗證,并且無效交易幾乎無法通過。因此,在Layer2的場景中,如果要將數據完全隔離在鏈外,將不再能保證我們有這種數據可用性;因為那些擔心數據有效性的人可能會隱瞞數據。因此,我們必須弄清楚,在這種極端情況下,如何以某種方式確保不會發生無效的狀態更新。對于Layer2系統,數據隱瞞問題始終是最難最壞的情況;因為最糟糕的就是在沒有信息的情況下去探尋事實。如果我們的定義足夠寬松,針對該數據隱瞞問題的所有解決方案都可以分為兩大類:狀態通道和Plasma。如果兩方在一個通道中,雙方一致同意后,鏈下數據的更新才真正有效。因此,如果Alice選擇保留Bob的數據,Alice將處于最新狀態;保留數據對她沒有好處。相比之下,Plasma則沒有雙方一致同意的這一要求。這直接導致在Plasma中,如果用戶沒有任何直接證據,則可能發生無效更新。即使在這種情況下,Plasma仍可以保證用戶持有必要的鏈下數據,在交互質疑期中證明并確保其資產所有權。就實際結果而言,狀態通道已成為第一個Layer2構造。人們很容易理解,且狀態通道確實解決了一些基礎的研究挑戰,我們的確也看到狀態通道在比特幣和以太坊上的應用。狀態通道具有一些實用屬性,例如即時交易,這些屬性非常契合一些特定應用程序的需求。盡管是較通用的擴容方案,但在某種程度上仍受限制。從本質上講,通道之間是彼此獨立的,且免信任的連接將導致資本效率低下,及/或受制于可用的流動路徑。Plasma有望提供一種用途更廣,側鏈式擴容方案,使參與者之間可以更輕松地進行信息交互,但是它的發展路程卻更艱難。有關Plasma技術挑戰的細節不在本文討論范圍之內。但是,簡單來說,不能保證數據可用性的這種特質,讓很多特性難以立刻保留,例如:支持任意計價支付,用戶的驗證/存儲要求最小化,避免大批量退出方案,以及支持智能合約邏輯。雖然可以緩解這些問題,但是解決一個障礙的代價往往是加劇另一個障礙。簡而言之,很難做到完全正確,即使這些構造足夠可行,其復雜性也會讓實踐變得困難而緩慢。。即使有人認為這種說法還為時過早,但是毫無疑問,Plasma比預期設想的更加困難復雜,而且傳輸結果的空間速度比最初希望的要慢。隨著Plasma的停滯,以太坊社區渴望類似非監管下的、具有側鏈特性的事物。此時,就研究和實施狀態而言,OptimisticRollup出現了。數據可用性:讓步
以太坊開發者駁回摩根大通關于 DeFi 主導地位結束的警告:金色財經報道,摩根大通表示,分片的延遲可能會使以太坊未來難以與競爭對手的鏈競爭 DeFi 市場份額。以太坊開發人員和貢獻者表示,他們對安全性的關注為網絡提供了發展的堅實基礎。現在匯總是實時的,分片將降低它們的成本,但該技術有效并且現在已經被大規模降低風險,當你查看數據時,以太坊仍然是最常用的鏈。(decrypt)[2022/1/7 8:31:09]
我們可以在各種先前的提案中發現目前OptimisticRollup的構造痕跡,比如Shadowchains,Coinwitness,bulkvalidationwithZK-SNARKS(現在稱之為ZK-Rollup),以及2015年初的一場關于Arbitrum的學生演講等。就目前了解而言,JohnAdler和MikerahQuintyne-Collins將協議基礎稱為“合并共識MergedConsensus”。先前的PlasmaGroup團隊在一篇博客文章中描述了類似原理,并在OptimisticLayer2游戲語義分析中將其定為框架,命名為OptimisticRollup,并最終確定。OptimicticRollup采用前一段中所述的框架并把它翻轉過來;ORU并不打算在數據隱瞞的情況下保留非監管性,而是采取了一種更直接的方法,即直接要求將交易數據發布在鏈上,更具體地說,要求將足夠的數據發布在鏈上,以便任何運行以太坊節點的人都可以重建ORU的狀態。擴容的好處在于,Layer1僅需發現數據并將其Merkle樹化為區塊根,無需執行任何操作;計算僅在Layer2執行。因此,交易數據作為呼叫數據發布在鏈上,并且不存儲在狀態中;因為狀態容量增長和計算成本是以太坊擴容的核心瓶頸,這具有不小的增長空間。與Plasma一樣,基礎層無法直接驗證交易就意味著會有一些無效交易。在ORU下,任何當事方都將見證無效交易的更新,然后通過欺詐證據向基礎層展示欺詐證明,欺詐證明將還原欺詐性區塊以及及后續的區塊更新。一旦過了足夠的時間而沒有提交欺詐證明,就可以確定并匯總區塊,從這些區塊中啟動的提款就可以完成。為了抑制故意發布無效區塊的行為對社區的惡意破壞,區塊提交人會發布一個保證金,如果欺詐證明有效,將大幅削減保證金。這種防欺詐處理的精確方式是任何特定ORU結構的核心。與Plasma相比,ORU有一個不可避免的根本性缺點,那就是它的擴容性相對較低。假設鏈上數據與ORU塊中的數據成正比,則ORU構造會受到基礎層最大數據量的限制。不過在其他方面ORU也有很多益處,包括:更輕松/更廣泛地支持智能合約更容易地支持任意付款面額無需許可的區塊生產更簡單的博弈退出機制相對簡單的操作正如我們預料,即使是上述因素也需要在不同的ORU結構中相互權衡。ProjectsOverview項目概覽
以太坊EIP-1559進展更新:DoS風險仍是落地最大障礙:近日,ConsenSys高級產品經理Tim Beiko發文更新以太坊EIP-1559提案進展。文中稱,EIP-1559所面臨的最大落地障礙依然是DoS風險問題,但目前已經有了一些解決方案。
此外他表示:1.Besu和Nethermind客戶端正同步到1559測試網,正在調試Geth共識問題,大量研發工作正在進行當中;下一步,在GethBesuNethermind測試網上有更多進展,希望通過啟動一個PoW網絡來測試支持EIP-1559的挖礦;2.主網就緒檢查表上線;3.社區中以太坊貓牧人(Ethereum Cat Herders)已發布關于EIP-1559提案的社區調查報告;下一步,以太坊貓牧人將與錢包商和交易所進行更多的聯系,以收集有關1559的反饋。4.下一步可以期待一系列EIP,用于在JSON-RPC規范中添加對1559的支持。[2020/10/19]
Linktospreadsheet本報告采訪了9個使用ORU設計模式的項目,其中一個項目選擇在發布時保持偽匿名狀態。僅考慮OptimisticRollup范圍內的項目,也就是說,它們必須都是“Optimistic”,包括某種假設,即“假設有效,除非或者直到提交欺詐證明”并包括“Rollup”,即,鏈上發布了足夠的數據,任何觀察者都可以重建狀態并檢測無效性。大多數所討論的大多數項目都嚴格符合這些參數,唯一的例外是IDEX2.0,其詳細信息將在下面討論。基于Plasma或與Plasma相鄰的構建上工作的其他各種項目,都屬于研究ORU的初期階段,包括Matic,LeapDAO和CryptoeconomicsLab。智能合約支持和欺詐證明互動性
動態 | FairWin躋身以太坊DApp前列,過去一周Gas消耗占比達39.99%:據 DAppTotal 09月23日數據顯示,過去一周,綜合對比ETH、EOS、TRON、IOST四大公鏈的DApp生態情況發現:總用戶量(個): ETH(292,271) > EOS(189,107) > TRON(59,034) > IOST(20,088);總交易次數(筆):EOS(34,957,643) > TRON(4,880,517) > IOST(2,837,113) > ETH(1,145,116);總交易額(美元):ETH(59,946,310) > EOS(57,343,801) > TRON(38,180,672) > IOST(9,317,979);跨四條公鏈按用戶量TOP3 DApps為:Hash Baby(EOS)、Dice(EOS)、Endless Game(EOS);按交易次數TOP3 DApps分別為:Hash Baby(EOS)、Dice(EOS)、Gako Binary Option(EOS);按交易額TOP3 DApps分別為:FairWin(ETH)、NEST(ETH)、WINk(TRON)。過去一周,以太坊現象級DApp FairWin交易額排名躋身第一位,同時其消耗以太坊的Gas費占比達到了39.99%,造成了以太坊網絡的持續擁堵。[2019/9/23]
ORU項目之間的核心區別在于它們對智能合約腳本的支持程度,以及它們所需要的驗證和欺詐證明的性質。在本次調研的9個項目中,有5個項目在其Rollup中實現了完整的以太坊虛擬機功能,其中rollup側鏈具有Solidity智能合約支持,其支持程度與以太坊基礎層的智能合約支持程度相當,而其余項目則更偏向于支持更有限的、受限的功能。廣義上講,除了智能合約功能本身之外,支持完整的EVM能夠保證rollup和主鏈之間的技術一致性,有望與基礎架構工具更輕松地集成,并且讓開發人員更容易過渡,他們已習慣在Layer1上使用Solidity編譯的智能合約。相反,那些更偏向于支持更有限的、受限的功能項目具有以下優點:成本更低的欺詐證明,驗證更容易,可以針對特定用戶直接實現優化以及總體上的簡化。以上是報告的第一部分,剩下兩部分將于近日陸續發布,內容包括:完整的EVM:Layer2虛擬機應用特定的Rollups信任假設營利用戶體驗/驗證關于研究/討論的開放性話題另外,你也可以進入我們的媒體平臺閱讀完整內容!
動態 | 有數據顯示僅30%的以太坊交易與交易平臺關聯:據Trustnodes消息:Santiment提供的數據顯示,大約30%的以太坊交易是與交易所關聯的,而以太坊每天的交易量占其總量的2%。Santiment首席技術官Valentin Mihov對此做出分析稱,這表明大多數的以太坊交易和轉移與投機無關,他們很可能是被發送到dapps,或者在錢包間移動,也有可能是從Coinbase Commerce的商家那里購買物品。[2018/8/15]
完整的EVM:Layer2虛擬機為了使Layer2智能合約計算保持無需信任,必須有一個備用方案,即以某種形式在Layer1執行這種計算.
1900/1/1 0:00:00一、行業動態1.美國CFTC召開公開會議討論穩定幣據Cointelegraph報道,上周三美國商品期貨交易委員會技術咨詢委員舉行公開會議對穩定幣、加密貨幣保險、監管和網絡安全進行討論.
1900/1/1 0:00:00作為受全網認可的最長鏈,比特幣共識版本的升級一直以來都是通過軟分叉來完成,除了其中發生意外的兩次。而哈希派今天要講的是引起社區短時恐慌的版本0.8.0.
1900/1/1 0:00:00編者按:本文來自區塊律動BlockBeats,作者:0x66,Odaily星球日報經授權轉載。「沉默就是最大的不道德.
1900/1/1 0:00:00文|棘輪 疫情之下,如何拯救小微企業,成為了一大社會焦點。金融是經濟的血脈。如何在防范金融風險的基礎上,讓企業貸得到錢,成為了政府與金融監管部門的當前要務.
1900/1/1 0:00:00在上一個故事里面我們講到被部分人稱作“51%攻擊預演”的突發硬分叉事件;而這次要說一說的是,真正讓社區感受到51%攻擊威脅的超大型比特幣礦池——http://Ghash.io.
1900/1/1 0:00:00