作者:DanielGoldman?
來源:Medium
本文是《以太坊重要擴容方案:OptimisticRollup現狀報告》的第三部分。
BlockProduction區塊生產
大多數項目都采用開放的、免許可的區塊生產模型;即,任何一方都有權利通過提出新的區塊來發行債券并且擴展ORU鏈。
唯一例外的是IDEX2.0,因為IDEX擁有生產區塊唯一的許可權。在這種情況下,如果用戶未獲取運營商許可就能夠撤回資金,這樣就可維持非信屬性。如果沒有這個選項,用戶在遇到惡意運營商時將會束手無策,因為運營商會審查用戶的所有撤回嘗試,實際上是將用戶的資金無限期地鎖定在rollup鏈上。同樣,在一個許可系統中,逐漸減緩對區塊的生產甚至完全停止生產對運營商來說都不是難事;在這種情況下,用戶需要撤回資金。
IDEX2.0?確實能為用戶提供主鏈啟動的退出選項。比較復雜的一點是:如果存在欺詐行為時,這些退出選項必須驗證/可能恢復原狀,因此必須附帶一份保證書,以防惡意破壞。但是考慮到這些退出選項是受支持的,所以IDEX的許可模型本身并不能保證系統處于監管狀態。
另外也有大多數操作包含一些將區塊生產拆分為兩步的見解:交易內含和交易排序的單獨投入。這些模型解決了關于審查阻力和減控提前交易機會的問題。
在Arbitrum模型中,任何一方都可以將交易添加到隊列中;區塊生產者被迫從隊列的末尾提取交易事項,并將其放入下個區塊中。僅涵蓋無效交易,但不進行狀態轉換。無論是進行無效交易還是有效交易失敗了,都可以通過防偽證明將其判斷為懲罰性的犯罪行為,從而排除簡單的審查事宜。
以太坊dapp開發框架Truffle發布VS Code Extension:4月20日消息,以太坊 dapp 開發框架 Truffle 發布 VS Code Extension,該擴展將支持 Microsoft VS Code 用戶開發、構建、調試和部署以太坊智能合約,并提供調試器、樹視圖和命令面板等原生 IDE 功能來增強開發者的開發體驗。[2022/4/20 14:35:24]
其他的,如Optimism*?和?WCL,計劃使用燃燒證明拍賣模式來進行交易排序;將一組交易事項涵蓋在內后,交易權利就歸愿意燃燒最多Ether權益的一方所有。這樣做的目的是為了降低成本和公開競爭,以最大限度地減少寄生性的先發機會帶來的利潤空間,并較為理想地降低整體風險。類似方案運作方式變更請詳見“MinerExtractableValueAuctions”。
Fuel模型具有區塊生產周期,在此周期內,有個時間窗口,一方可以獲得排序權利的許可。在此模型里,團隊在獲取價值和將應用程序貨幣化方面處于優勢地位,并且不必將區塊生產限制在允許的范圍內。
最后,Celer的Rollup是獨一無二的,因為區塊生產本身就包含其自己獨立的共識機制。在開發rollup之前,Celer已經計劃開具一個Ethereum側鏈權益證明(狀態守護網絡“StateGuardianNetwork”)充當他們國家頻道網絡的瞭望塔。參與區塊生產是不允許的,并且需要支持Celer的代幣。側鏈會使用BFT共識---比如Tendermint或者類似。Celer計劃利用此側鏈基礎結構來提議和發布ORU區塊。
信任假設
以太坊未確認交易為106,885筆:金色財經消息,據OKLink數據顯示,以太坊未確認交易106,885筆,當前全網算力為251.71TH/s,全網難度為3.34P,當前持幣地址為49,178,816個,同比增加174,856個,24h鏈上交易量為3,156,480.47ETH,當前平均出塊時間為12s。[2020/10/28]
大多數項目嚴格遵守文章開頭中描述的layer2協議的信任要求。
IDEX2.0對數據可用性挑戰的依賴讓此協議成為一種特例,并且不在ORU明確界定的范圍之內。當區塊生產商提出一個區塊時,他們最初僅發布Merkle根,并隱含地假設他們將與鏈下驗證器共享相關區塊數據。例如:如果區塊數據從不與驗證器共享,驗證器可以發出數據可用性挑戰,迫使區塊提出者將數據發布為調用數據(與最初典型的ORU結構中所做的一樣)。如果結果證明區塊是有效的,驗證器會因無效的爭議挑戰而受到懲罰,并削減掉他們的部分權益。
當下的問題是:上面概述的分歧本質上是在爭論雙方中究竟哪一方實際擁有數據;依據碰到發送者/接收者信息差公理,客觀地解決這樣的爭端是不可能的。因此,鑒于對聲譽及交換生態系統中繼續參與并賺取費用動機的擔憂,需要阻止IDEX強行惡意破壞并最終懲戒驗證器。無論其是否足以在實踐中防止惡意行為,但是這些假設都是對ORU或以太坊本身的安全保證,因此,這種對數據可用性的挑戰和懲罰是可以作為一個附加的信任假設。
唯一需要附加信任假設的另外一個項目是ZK-ORU,需要一個可信的設置來創建其snark線路。像ZCash和Aztec這樣的項目通過一個精心設計的儀式來處理這個問題,只要n個參與方中至少有一方的行為是誠實的,就具有加密安全性;ANON計劃做一些與ZK-ORU類似的舉動。
動態 | 監測:以太坊鏈上近440萬枚PAX被銷毀:Whale Alert監測數據顯示,北京時間22:34,以太坊鏈上4392461.5 PAX被銷毀。[2020/1/13]
最終,一些項目,包括Fuel、Optimism和Nutberry,已經討論給用戶提供信任型的快速支付選項;一個用戶,如果他們選擇的話,可以考慮在完成付款后再將其包含在區塊中。如果食言的話,此欺詐行為將無法向母鏈證明,但可以向任何第三方證明。至關重要的一點是:此選項不是強制的,在用戶界面上有明顯的區別;對此完全不信任的用戶仍然可以選擇等待區塊確認。同樣,Celer計劃向用戶提供一系列的安全/信任參數,用戶可以要求所有的交易都在rollup區塊里即刻公布,或者在鏈上完成之前能夠接受參數化信任窗口的側鏈變的更小、并且任務關鍵度也會降低。
如果和/當無法兌現支付承諾時,可通過讓區塊生產商大幅削減抵押品來進行去信任即時確認;幾個團隊正在考慮發布實施并將此功能落實到位。
營利
所有的項目都計劃將它們的工作作為免費的開源軟件發布。
ANON正計劃嚴格發布實施來作為公益成果,目前還沒有直接獲取價值的計劃。PinkieBell也沒有實現貨幣化的計劃,但是目前正在考慮開發商費用,從區塊生產商收取一小部分費用用于支付從事該項目的開發商。
其中五個項目:FuelLabs,Optimism,?Interstate,?WCL和?IDEX正計劃從工作中實現營利,有三種方式:項目實施案例、通過收取交易費獲利、向用戶提供快速撤回資金的流動性。
盡管在Fuel,Optimism和Interstate的區塊生產是免許可的,但是如果他們是主要的區塊生產商的話,一切就沒有問題。他們計劃通過收取費用來賺錢,因為他們作為優先聚合器處于優勢地位。
聲音 | 以太坊聯合創始人:V神觀點過于悲觀 數字貨幣市場才剛剛開始:據newsbtc報道,以太坊聯合創始人Joseph Lubin不贊成V神關于數字貨幣市場規模再也沒有增長空間觀點,稱其觀點過于悲觀,數字貨幣市場才剛剛開始,將會有許多演變,技術仍然相當不成熟,而且在這個領域已經有很多進化。[2018/9/12]
至少有一個項目對該公司作為支付處理商的法律地位表示不確定,目前正在等待對這個問題的進一步澄清。
Offchain實驗室并未計劃列舉ArtibrumRollup實例,而是計劃利用自身工作為項目提供一份企業規劃及支持,還有一些經濟、安全方面更強有力的保障來實現營利。
IDEX的經濟方案是最詳盡的;貨幣化來源于一種加密經濟學設置,其中包括收取交換費和原生通證固有的價值。區塊生產者(IDEX)和驗證器都得到了補償,從而使IDEX也成為唯一一個嘗試直接激勵驗證的項目。IDEX?和?Celer是計劃合并應用通證僅有的項目。其他幾個團隊對Layer2系統固有的通證這一概念嗤之以鼻;另外一些人對可能存在的經濟通證模型持更加開放的態度,但是認為還需更多的研究,就項目而言也沒有具體可實施的計劃。
用戶體驗/驗證
大多數項目計劃通過metamask插件支持rollup鏈上交易,除了發布他們自己的前端接口之外,metamask插件的基礎結構工具已經基本就緒。
如果并非所有用戶都需維護正常運行時間和驗證所有區塊,全部項目都能運行;即,他們期望有兩類用戶:普通終端用戶和高級用戶(即,驗證器)。所有ORU的實質是,只要至少有一個誠實方在任何給定時間內驗證并發布防偽證明,所有用戶都是安全的。驗證的經濟激勵方式是直接發布獎勵(僅在IDEX情況下),并且有機會生產區塊并收取費用,有機會發布防偽證明并獲得獎勵。當然,防偽證明的第22條原則是,如果系統設計合理的話,還是希望欺詐盡量不要發生(如果真的發生過的話)。
咨詢公司DeVere:2018年底以太坊將達到2500美元:據btcmanager消息,獨立咨詢公司deVere的首席執行官Nigel Green告訴MarketWatch,預計以太坊的價格今年會大幅上漲,預計到2018年底將達到創紀錄的2500美元,2019年和2020年則會進一步上漲。[2018/4/28]
驗證的另外一種直接激勵方式是:對驗證器去信任,能夠快速確保大家所關心的交易已完成;即,不必非要等待退出窗口的出現。預期結果是:從中受益的各方會涉及到交易所、錢包供應商、快速退出選項的流動資金供應商、能夠接受大筆重要轉賬的用戶、高端用戶/愛好者及項目創造者。一個團隊曾建議:礦工可以把驗證rollup鏈當做自己的職責所在,就所使用數據第1層和第2層之間激勵的相互影響提出一些有趣的問題。
關于研究/討論的開放性話題
BLS簽名
輕松成為了當下的熱門話題;有了BLS的簽名,區塊生產商可以從每個rollup區塊中獲取一個簽名,并將它們替換為單個聚合簽名,從而使鏈上數據需求更接近于ZK-rollups。比較麻煩的一個問題是:如果驗證的話,驗證BLS簽名要比典型ECDSA簽名消耗更多的gas。BarryWhitehat談到:他已經確定了一個可行的結構,為ORU聚焦區做準備,但在最佳簽名聚合方案還未達成共識。
“Post-Data”
可以想象,如果在以太坊上使用rollup技術成為規范,當大部分鏈數據以“卷起”的形式存在時,未來會是什么樣子;即,在實用性方面可用,但不能直接用于實施;此變更可能對以太坊客戶端實施產生重大的經濟和技術影響。一種方案就是:為這樣的未來做準備,其實就是引入一個特殊的交易數據領域,暫時稱為“post-data”,僅用于可用性,并且不能觸及state模塊或EVM。有了這一點,客戶可以更加優化地處理和存儲數據,并且在理想情況下,gas價格最終會降低。?EIP對此方案有大致概述,但是目前正處于初期階段。
債券規模和挑戰階段參數
區塊生產和時間窗口所需債券的理想參數
由于大多數團隊還沒有確定最終的數字,所以在區塊完成之前(因此撤回到主鏈中是有可能的)仍處于公開討論階段。如果挑戰階段更長的話,更能確保用戶有更多時間來檢測欺詐行為,并能更好地給試圖審查防偽證明的礦工施壓。對一些項目來說,最好的就是幾天到一周處于安全期,因為他們會向安全靠攏,并且用戶通常會更加快速地撤回,撤回方式要不就是原子轉化至鏈上或通證化,要不就是將退出選項變賣后作為債券來用(在?Plasma
?結構中已經探討過)。據EdFelten分析?analysis
,像3個小時這樣更短的糾紛窗口足夠用了。
在layer2結構中,賠償無效的話,債券可以作為必要的抵押品來對用戶進行賠償,但是ORU中的債券就不一樣了,除了抑制gas浪費之外,僅為了抑制無效的區塊生產。所建議的債券需求從可以與ETH2.0權益需求相媲美的32ETH到1ETH不等,但是一些人建議應該與rollup鏈上的經濟價值額對等
隱私
相對于Plasma和通道結構,rollups的一個缺點就是無法獲得數據完全掉鏈的隱私好處;這里提到的能夠提供隱私好處的唯一項目就是ZK-ORU。其它的項目正在討論創建聚焦隱私的rollups,方式有兩種:在結構上實施其它知名的隱私技術或者創造混合rollup/聯邦數據模型,這樣用戶就可以依賴大量的可用數據,進而減少在鏈上的公布。
區塊上產模型?
除了完整的EVM/應用程序特定分割之外,團隊之間其中一個主要爭議似乎是免許可區塊生產的哪種模型是可以接受的,不同的模型又會產生什么樣的結果,也就是說:
當提前交易減少時,單一優先級聚合器模型是否只會刺激更具破壞性的提前交易。
富有一方是否會惡意破壞并有效地審查純粹權益證明--區塊生產。
市場價值怎樣能夠在燃燒證明拍賣中得到充分的體現和展示。
一些研究和建模可能會對這些問題提供一些啟發,但在看到它們接受野外測試之前,我們可能無法得出任何結論。
OptimisticGameSemantics
Optimism團隊對layer2結構理論性質的研究最終得出了?OptimisticGameSemantics
的概念,嘗試著闡述欺詐/爭議統一語義框架下的layer2不同結構。旨在layer2的不同類型應用程序之間創建共享的契約邏輯和基礎設施。Optimism和加密經濟實驗室都嘗試著在這樣一個大統一的框架內開發工具。
結論
利用OptimisticRollup模式的團隊從不同的角度得出結論:探索layer2不同結構的理論設計空間,尋找能夠在EVM中有效運行執行引擎的方法,嘗試創建以太坊現有應用程序更具擴展性的版本等等,匯聚至ORU進而以最小的實際復雜度獲得足夠的可擴展性好處,這是向前發展的最佳方式。
只有看到這些問題進入主網,并且看到生態系統選擇使用這些工具方式時,我們才能回答這些開放性的問題;即,項目是否會將基礎設施應用到更加廣義的rollup解決方案中,或者設計一些更加能與實際用途接軌的東西,再加上一些關于gas成本和驗證負擔更加具體的基準,以便在交易中給出確切的數字。但是testnet上已經有了幾個項目,并且沒有發現任何暗中進行的研究和可用性的挑戰,可以確定的一點是,我們很快就會看到其實際應用。可擴展的自主智能合約正在應運而生。
*糾正:這篇文章先前的版本表明Optimism計劃的區塊生產模型允將他們優先作為定位器;他們的MEV拍賣協議實際上不會給任何人帶來特權。謝謝BenJones。
感謝所有參加采訪的團隊,謝謝你們大有裨益的探討。
截止,本報告全部內容已全部放出。
Tags:ROLLROL以太坊IDEXThe Troller Coinroll幣可以roll坐騎嗎以太坊幣怎么挖礦Tidex Token
本文來源:小蔥 比特幣在2月13號突破10,497美元創下2020年的新高,自年初以來上漲了42%.
1900/1/1 0:00:00目前,兩家礦池控制了門羅幣網絡60%的算力,但這個問題到底有多嚴重? 圖片來源:visualhunt門羅幣容易受到51%的攻擊嗎?門羅幣,這個曾經由RiccardoSpagni領導的隱私幣.
1900/1/1 0:00:00來源:cryptoslate 編譯:小蔥區塊鏈 加密貨幣監管在全球范圍有抓緊趨勢,盡管一位SEC專員為加密貨幣項目提出了“避風港”,美國財政部長宣布了“重大”新法規.
1900/1/1 0:00:00本文來源:中國銀行保險報 實習記者于晗 受新冠肺炎疫情影響,近來,移動支付越發成為貨幣流通的主渠道,與此同時,現金支付則進一步被壓縮。這一趨勢,使得M0與現金支付越發疏遠.
1900/1/1 0:00:00來源:證券日報網 對于當前受疫情影響比較大的企業,有哪些政策或者舉措支持復工復產,以及對于非疫情防控重點領域的企業,又有哪些支持舉措.
1900/1/1 0:00:00原文來源:?Yahoo!Finance,作者:DannyNelson編譯:Odaily星球日報Moni 對于“央行的央行”——國際清算銀行研究人員來說.
1900/1/1 0:00:00