以太坊重要擴容方案：Optimistic Rollup現狀報告（下）
本文是《以太坊重要擴容方案: Optimistic Rollup現狀報告》的第三部分，第一、二部分請查看我們的前期文章。
Block Production 區塊生產
大多數項目都採用開放的、免許可的區塊生產模型；即，任何一方都有權利通過提出新的區塊來發行債券並且擴展ORU 鏈。
唯一例外的是IDEX 2.0，因為IDEX 擁有生產區塊唯一的許可權。在這種情況下，如果用戶未獲取運營商許可就能夠撤回資金，這樣就可維持非信屬性（即，通過直接在母鏈上發布一項交易來撤回資金）。如果沒有這個選項，用戶在遇到惡意運營商時將會束手無策，因為運營商會審查用戶的所有撤回嘗試，實際上是將用戶的資金無限期地鎖定在rollup 鏈上。同樣，在一個許可系統中，逐漸減緩對區塊的生產甚至完全停止生產對運營商來說都不是難事；在這種情況下，用戶需要撤回資金。
IDEX 2.0 確實能為用戶提供主鏈啟動的退出選項。比較複雜的一點是：如果存在欺詐行為時，這些退出選項必須驗證/可能恢復原狀，因此必須附帶一份保證書，以防惡意破壞。但是考慮到這些退出選項是受支持的，所以IDEX 的許可模型本身並不能保證系統處於監管狀態（其它的免許可的鏈也計劃在特殊情況下採用主鏈啟動退出選項）。
這裡
這裡這裡）。
其他的，如Optimism* 和WCL，計劃使用燃燒證明拍賣模式來進行交易排序；將一組交易事項涵蓋在內後，交易權利就歸願意燃燒最多Ether 權益的一方所有。這樣做的目的是為了降低成本和公開競爭，以最大限度地減少寄生性的先發機會帶來的利潤空間，並較為理想地降低整體風險。類似方案運作方式變更請詳見“Miner Extractable Value Auctions”。
Fuel 模型具有區塊生產週期，在此週期內，有個時間窗口，一方（即：公司/團隊）可以獲得排序權利的許可。在此模型裡，團隊在獲取價值和將應用程序貨幣化方面處於優勢地位，並且不必將區塊生產限制在允許的範圍內。
最後，Celer 的Rollup 是獨一無二的，因為區塊生產本身就包含其自己獨立的共識機制。在開發rollup 之前，Celer 已經計劃開具一個Ethereum 側鏈權益證明(狀態守護網絡“State Guardian Network”)充當他們國家頻道網絡的瞭望塔。參與區塊生產是不允許的，並且需要支持Celer的代幣。側鏈會使用BFT共識---比如Tendermint或者類似。Celer計劃利用此側鏈基礎結構來提議和發布ORU區塊（更多詳情請參照here）。
信任假設
大多數項目嚴格遵守文章開頭中描述的layer2 協議的信任要求。
IDEX 2.0對數據可用性挑戰的依賴讓此協議成為一種特例，並且不在ORU 明確界定的範圍之內。當區塊生產商提出一個區塊時，他們最初僅發布Merkle 根，並隱含地假設他們將與鏈下驗證器共享相關區塊數據。例如：如果區塊數據從不與驗證器共享，驗證器可以發出數據可用性挑戰，迫使區塊提出者將數據發佈為調用數據(與最初典型的ORU 結構中所做的一樣)。如果結果證明區塊是有效的，驗證器會因無效的爭議挑戰而受到懲罰，並削減掉他們的部分權益。
當下的問題是：上面概述的分歧本質上是在爭論雙方中究竟哪一方實際擁有數據；依據碰到發送者/接收者信息差公理（speaker/listener fault equivalence）,客觀地解決這樣的爭端是不可能的。因此，鑑於對聲譽及交換生態系統中繼續參與並賺取費用動機的擔憂，需要阻止IDEX 強行惡意破壞並最終懲戒驗證器。無論其是否足以在實踐中防止惡意行為，但是這些假設都是對ORU 或以太坊本身的安全保證，因此，這種對數據可用性的挑戰和懲罰是可以作為一個附加的信任假設。
唯一（無可爭議）需要附加信任假設的另外一個項目是ZK-ORU，需要一個可信的設置來創建其snark 線路。像ZCash 和Aztec 這樣的項目通過一個精心設計的儀式（elaborate ceremony）來處理這個問題，只要n 個參與方中至少有一方的行為是誠實的，就具有加密安全性；ANON 計劃做一些與ZK-ORU 類似的舉動。
最終，一些項目，包括Fuel、Optimism 和Nutberry，已經討論給用戶提供信任型的快速支付選項；一個用戶，如果他們選擇的話，可以考慮在完成付款後再將其包含在區塊中。如果食言的話，此欺詐行為將無法向母鏈證明，但可以向任何第三方證明。至關重要的一點是：此選項不是強制的，在用戶界面上有明顯的區別；對此完全不信任的用戶仍然可以選擇等待區塊確認。同樣，Celer 計劃向用戶提供一系列的安全/信任參數，用戶可以要求所有的交易都在rollup 區塊裡即刻公佈，或者在鏈上完成之前能夠接受參數化信任窗口的側鏈變的更小、並且任務關鍵度也會降低。
營利
營利
所有的項目都計劃將它們的工作作為免費的開源軟件發布。
ANON 正計劃嚴格發布實施來作為公益成果，目前還沒有直接獲取價值的計劃。 PinkieBell（唯一支持Nutberry 的匿名開發商）也沒有實現貨幣化的計劃，但是目前正在考慮開發商費用，從區塊生產商收取一小部分費用用於支付從事該項目的開發商。
其中五個項目：Fuel Labs, Optimism, Interstate, WCL 和IDEX 正計劃從工作中實現營利，有三種方式：項目實施案例、通過收取交易費獲利、向用戶提供快速撤回資金的流動性。
儘管在Fuel, Optimism 和Interstate 的區塊生產是免許可的，但是如果他們（即：公司）是主要的區塊生產商的話，一切就沒有問題。他們計劃通過收取費用來賺錢，因為他們作為優先聚合器處於優勢地位（先前討論過）。
至少有一個項目對該公司作為支付處理商的法律地位表示不確定，目前正在等待對這個問題的進一步澄清。
Offchain 實驗室並未計劃列舉Artibrum Rollup 實例，而是計劃利用自身工作為項目提供一份企業規劃及支持，還有一些經濟、安全方面更強有力的保障來實現營利。
IDEX 的經濟方案是最詳盡的；貨幣化來源於一種加密經濟學設置，其中包括收取交換費和原生通證固有的價值。區塊生產者(IDEX)和驗證器都得到了補償，從而使IDEX 也成為唯一一個嘗試直接激勵驗證的項目。 IDEX 和Celer 是計劃合併應用通證僅有的項目。其他幾個團隊對Layer 2 系統固有的通證這一概念嗤之以鼻；另外一些人對可能存在的經濟通證模型持更加開放的態度，但是認為還需更多的研究，就項目而言也沒有具體可實施的計劃。
用戶體驗/ 驗證
大多數項目計劃通過metamask 插件支持rollup 鏈上交易，除了發布他們自己的前端接口之外，metamask 插件的基礎結構工具已經基本就緒。
如果並非所有用戶都需維護正常運行時間和驗證所有區塊，全部項目都能運行；即，他們期望有兩類用戶：普通終端用戶和高級用戶(即，驗證器)。所有ORU 的實質是，只要至少有一個誠實方在任何給定時間內驗證並發布防偽證明，所有用戶都是安全的。驗證的經濟激勵方式是直接發布獎勵(僅在IDEX 情況下)，並且有機會生產區塊並收取費用，有機會發布防偽證明並獲得獎勵。當然，防偽證明的第22條原則是，如果系統設計合理的話，還是希望欺詐盡量不要發生(如果真的發生過的話)。
驗證的另外一種直接激勵方式是：對驗證器去信任，能夠快速確保大家所關心的交易已完成；即，不必非要等待退出窗口的出現。預期結果是：從中受益的各方會涉及到交易所、錢包供應商、快速退出選項的流動資金供應商、能夠接受大筆重要轉賬的用戶、高端用戶/愛好者及項目創造者。一個團隊曾建議：礦工可以把驗證rollup 鏈當做自己的職責所在，就所使用數據第1層和第2層之間激勵的相互影響提出一些有趣的問題。
關於研究/ 討論的開放性話題
BLS簽名
輕鬆成為了當下的熱門話題；有了BLS 的簽名，區塊生產商可以從每個rollup 區塊中獲取一個簽名，並將它們替換為單個聚合簽名，從而使鏈上數據需求更接近於ZK- rollups。比較麻煩的一個問題是：如果驗證的話，驗證BLS 簽名要比典型ECDSA 簽名消耗更多的gas。 Barry Whitehat 談到：他已經確定了一個可行的結構，為ORU 聚焦區做準備，但在最佳簽名聚合方案還未達成共識。
“Post-Data”
可以想像，如果在以太坊上使用rollup 技術成為規範，當大部分鏈數據以“捲起”的形式存在時，未來會是什麼樣子；即，在實用性方面可用，但不能直接用於實施；此變更可能對以太坊客戶端實施產生重大的經濟和技術影響。一種方案就是：為這樣的未來做準備，其實就是引入一個特殊的交易數據領域，暫時稱為“post-data”，僅用於可用性，並且不能觸及state 模塊或EVM。有了這一點，客戶可以更加優化地處理和存儲數據，並且在理想情況下，gas 價格最終會降低。EIP對此方案有大致概述，但是目前正處於初期階段。
債券規模和挑戰階段參數
區塊生產和時間窗口所需債券的理想參數
由於大多數團隊還沒有確定最終的數字，所以在區塊完成之前(因此撤回到主鏈中是有可能的)仍處於公開討論階段。如果挑戰階段更長的話，更能確保用戶有更多時間來檢測欺詐行為，並能更好地給試圖審查防偽證明的礦工施壓。對一些項目來說，最好的就是幾天到一周處於安全期，因為他們會向安全靠攏，並且用戶通常會更加快速地撤回，撤回方式要不就是原子轉化至鏈上或通證化，要不就是將退出選項變賣後作為債券來用（在Plasma結構中已經探討過）。據Ed Felten分析analysis，像3個小時這樣更短的糾紛窗口足夠用了。
在layer 2 結構中，賠償無效的話，債券可以作為必要的抵押品來對用戶進行賠償，但是ORU 中的債券就不一樣了，除了抑制gas 浪費之外，僅為了抑制無效的區塊生產（或許也作為對成功指證欺詐行為者的一種獎勵）。所建議的債券需求從可以與ETH2.0 權益需求相媲美的32ETH 到1ETH 不等，但是一些人建議應該與rollup 鏈上的經濟價值額對等（鏈下實驗室計劃“1 Eth或者鏈上總價值的2%，按較多者為準”）
隱私
相對於Plasma 和通道結構，rollups 的一個缺點就是無法獲得數據完全掉鏈的隱私好處；這裡提到的能夠提供隱私好處的唯一項目就是ZK-ORU。其它的項目正在討論創建聚焦隱私的rollups, 方式有兩種：在結構上實施其它知名的隱私技術（即，Tornado Cash - esque mixers 或者Aztrec-esque隱私層）或者創造混合rollup/聯邦數據模型，這樣用戶就可以依賴大量的可用數據，進而減少在鏈上的公佈。
區塊上產模型
除了完整的EVM/應用程序特定分割之外，團隊之間其中一個主要爭議似乎是免許可區塊生產的哪種模型是可以接受的，不同的模型又會產生什麼樣的結果，也就是說：
當提前交易減少時，單一優先級聚合器模型是否只會刺激更具破壞性的提前交易。
富有一方是否會惡意破壞並有效地審查純粹權益證明--區塊生產。
市場價值怎樣能夠在燃燒證明拍賣中得到充分的體現和展示。
一些研究和建模可能會對這些問題提供一些啟發，但在看到它們接受野外測試之前，我們可能無法得出任何結論。
Optimistic Game Semantics
結論
利用Optimistic Rollup 模式的團隊從不同的角度得出結論：探索layer 2 不同結構的理論設計空間，尋找能夠在EVM 中有效運行執行引擎的方法，嘗試創建以太坊現有應用程序更具擴展性的版本等等，匯聚至ORU 進而以最小的實際複雜度獲得足夠的可擴展性好處，這是向前發展的最佳方式。
只有看到這些問題進入主網，並且看到生態系統選擇使用這些工具方式時，我們才能回答這些開放性的問題；即，項目是否會將基礎設施應用到更加廣義的rollup 解決方案中，或者設計一些更加能與實際用途接軌的東西，再加上一些關於gas 成本和驗證負擔更加具體的基準，以便在交易中給出確切的數字。但是testnet 上已經有了幾個項目，並且沒有發現任何暗中進行的研究和可用性的挑戰，可以確定的一點是，我們很快就會看到其實際應用。可擴展的自主智能合約正在應運而生。
*糾正：這篇文章先前的版本表明Optimism 計劃的區塊生產模型允將他們優先作為定位器；他們的MEV 拍賣協議實際上不會給任何人帶來特權。謝謝Ben Jones。
原文地址：
Daniel Goldman原文地址：這裡。
原文地址：https://medium.com/
