ALICE:關于 Optimistic Rollup 你需要知道的一切（下）_Frax Price Index

OptimisticRollup的激勵機制

Layer2可擴展性方案基于這樣一個事實，即，我們試圖盡可能減少鏈上執行的事務的數量。我們使用欺詐證明來取消已發生的無效狀態轉換。由于欺詐證明是鏈上事務，我們想盡可能減少在以太坊上發布的欺詐證明的數量。在理想情況下，欺詐永遠不會發生，也就不會有欺詐證明發布。

我們通過引入誠信保證金來反激勵欺詐行為。想要成為排序者的用戶必須首先在以太坊上存入一筆保證金。如果他們的欺詐行為被證明，就會失去保證金。為了激勵用戶積極發現欺詐行為，排序者的保證金會被獎勵給驗證者。

誠信保證金和爭議期

在欺詐證明激勵機制的設計中，有兩個參數需要設計：

誠信保證金金額：排序者所繳納的保證金就是驗證者所能獲得的獎勵。金額越高，對驗證者的激勵越大，對排序者作惡的激勵就越小。

爭議期持續時間：可以發布欺詐證明的時間窗口。一旦過了這個時間窗口，L2事務就會在L1上敲定。如果爭議期較長，就會提高安全性，更好地抵御審查攻擊。如果爭議期較短，用戶在將L2上的資金取出到L1時就能享有更好的用戶體驗，因為他無需等待很長時間就能在L1上使用這筆資金。

美國眾議院將審議關于薩爾瓦多采用比特幣的立法:金色財經報道，美國代表Norma J. Torres和Rick Crawford周一提出了《薩爾瓦多加密貨幣問責法》（ACES），希望減輕薩爾瓦多采用比特幣（BTC）作為法定貨幣對美國金融系統的風險。 根據新聞稿，該立法指示國務院對薩爾瓦多采用比特幣作為法定貨幣以及薩爾瓦多的網絡安全、經濟穩定和民主治理的風險進行分析，并制定一個計劃來減少對美國金融系統的潛在風險。作為風險的參考，薩爾瓦多的國內生產總值大約為250億美元，而美國的國內生產總值為21萬億美元。（Coindesk）[2022/4/6 14:06:48]

我認為，這兩個參數都沒有所謂正確的靜態值。或許10ETH的保證金和1天的爭議期就足夠了。真正的答案是，這取決于成為驗證者的激勵，以及發布欺詐證明的難度。這些都是可以手動或自動調整的。例如，EIP1559在以太坊上引入了?BASEFEE?操作碼。這個操作碼可以用來預測鏈上擁堵程度，讓爭議期的長度也變成可編程的。

正確地實施這一懲罰機制很重要，否則就有可能在實際操作中被利用。例如，這里有一個不可行的原生實現：

動態 | Coinbase關于門羅幣以及ASIC算法的研究遭到社區異議:金色財經報道，Coinbase最近發文“ Coinbase如何看待PoW安全性”，遭到門羅幣社區異議。文章提出兩個觀點：1. 挖礦操作是特定幣種挖礦硬件的主要應用，這是安全特性；2. ASIC友好算法將改善制造和所有權多樣性。后者提到，ASIC抗性算法增加進入挖礦硬件市場的障礙。“這種抵制導致挖礦硬件制造業更集中，而這是選擇ASIC抗性算法希望避免的情況！相反，目標應該是選擇廉價且易于制造ASIC的算法。”文章稱，“開發人員選擇ASIC抗性算法時，他們為芯片開發人員提供了有競爭力的護城河，最終將為其算法構建ASIC。”文章引用關于門羅幣持續六個月調整算法的案例，并評論稱這種策略“可能會產生比礦業公司集中化更嚴重的風險。”該文章遭到Reddit門羅幣社區的抨擊。社區管理員dEBRUYNE指出，六個月升級的策略雖然“是有效的批評”，但自3月以來實際上已“過時”，因為RandomX升級指日可待。“這一說法是對挖礦性質的根本誤解。挖礦遵循冪律，這意味著無論算法如何，一小群挖礦者將擁有大多數算力（想想80/20規則）。換言之，無論采用何種算法，都會存在大型和專業的礦場。“（AMBCrypto）[2019/11/11]

Alice繳納1ETH的保證金，成為了排序者

金色晨訊 | 扎克伯格：將致力于與監管方合作 妥善解決關于Libra的問題:1.幣安研究院：所有DeFi產品鎖定大約5億美元 MakerDAO占近六成。

2.佛羅里達聯邦法官申請國際司法援助 要求審問澳本聰妻子及其商業伙伴。

3.日本加密貨幣商業協會希望對加密貨幣采用20%的申告分離課稅及小額免稅制度。

4.歐洲央行行長：G7國家對Facebook旗下加密貨幣Libra有很大的擔憂。

5.John McAfee據稱在多米尼加共和國被拘留后獲釋。

6.Morgan Creek創始人：多位大型機構的首席信息官已開始投資比特幣。

7.巴西FIESP會長：新稅制改革可能會迫使公民使用加密貨幣來逃稅。

8.扎克伯格：將致力于與監管方合作 妥善解決關于Libra的問題。

9.克羅地亞郵政試驗加密貨幣兌換法幣的交易服務。[2019/7/26]

Alice發布了一個虛假狀態更新

Bob發現了，并提出爭議。如果成功，Alice的1ETH保證金就會獎勵給Bob，虛假狀態更新也會被取消。

丹華資本Dovey Wan：關于中本聰是誰有兩個猜想:今日，在“三點鐘創始區塊鏈”社群中，丹華資本Dovey Wan就中本聰是誰做出了兩大猜想，第一是中本聰私鑰忘記了，第二是中本聰因為各種原因隱匿，她個人也更傾向于后者。[2018/2/24]

Alice發現該爭議，也提出爭議

Alice拿回了自己的1ETH，成功逃避了原本會因作惡遭到的懲罰。

Alice可以通過“搶跑事務”來發起這一攻擊，即，廣播一個跟Bob一樣的事務，但是支付更高的gas價格，讓自己的事務搶在Bob的前面執行。這意味著，Alice可以一直以極低的成本作惡。

解決這個問題很簡單：不要將作惡者的全部保證金獎勵給提出爭議者，而是將其中X%銷毀。在上述例子中，如果我們將保證金的50%銷毀，Alice只能通過搶跑事務拿回0.5ETH，這就足以嚇阻Alice在上述第2步中作惡。當然了，保證金銷毀機制也會削弱人們運行驗證者軟件的激勵，因此銷毀后剩下的部分要足以激勵驗證者才行。

獨立評級機構提醒投資者關于Tether的危險性:獨立評級機構Weiss Ratings提醒投資者關于Tether（USDT）的危險性。Weiss分析師Juan M. Villaverde表示：“最大的問題是Tether從來沒有進行過審計，且Tether背后的人一直聲稱他們的虛擬貨幣是100%被美元支持的，然而卻不能提供任何證據支持他們的說法。在社交媒體上似乎有個共識，即Tether實際上在運行一個部分準備金制度。大多數觀察家聲稱他們沒有美元來支持所有這些Tether幣。我傾向于同意，因為這太可疑了。”如果Tether確實是欺詐行為會發生什么？或者如果某一主要政府認為加密貨幣交易所正在使用像Tether這樣的加密貨幣來避免監管，會發生什么？如果這一巨大的流動性來源突然蒸發，會怎么樣？Villaverde表示：“可以想象，這可能會導致交易失敗，可能會推動投資者平倉，導致市場價格急劇下跌。”[2018/2/14]

對OptimisticRollup批評的回應

我們已經了解了OptimisticRollup的設計。現在，讓我們來聽聽人們對OptimisticRollup的批評，并做出回應。

較長的取款/爭議期不利于采用和可組合性

我們在上文提到，較長的爭議期有助于提高安全性。這里面似乎有一個內在權衡關系：較長的爭議期不利于OR采用，因為任何想要從OR中取出資金的用戶都需要等待很久。較短的爭議期會帶來較好的用戶體驗，但是這會提高未能及時對欺詐提出爭議的風險。

我們不認為這是個問題。由于取款延遲較長，我們預期將有做市商提供快速取款服務。這是有可能的，因為驗證L2狀態的人能夠正確判斷取款是否存在欺詐性，從而以略低一些的價格買下這筆取款。例如：

參與方：

Alice：在L2上有5ETH

Bob：在L1上的“做市商”智能合約中有4.95ETH，是L2的驗證者

步驟：

Alice告訴Bob說她想要快速取款，并向他支付0.05ETH的費用

Alice向Bob的“做市商”智能合約發起一筆取款事務

可能會發生兩種情況：

Bob在L2上驗證這筆取款是有效的，并同意Alice的快速取款請求。做市商合約中的4.95ETH立即發送至Alice在L1的地址。等爭議期結束，Bob就能獲得5ETH，獲得一筆不菲的利潤。

Bob在驗證時發現這筆取款是無效的。Bob對這筆事務的狀態轉換提出爭議，取消該狀態轉換，并得到了試圖作惡的排序者的保證金作為獎勵。

如果Alice是誠實的，就能立即完成取款；如果她想要做惡，就會遭到懲罰。我們預期，如果真的存在對快速事務服務的需求，支付給做市商的服務費會逐漸降低，最終讓用戶完全感受不到這一過程。

快速事務服務帶來的最重要影響是，可以實現與L1合約的可組合性，無需等待整個爭議期結束。

注：該技術首次出現于《簡單的快速事務》一文。

礦工會受賄審查取款事務，破壞OR的安全性

《OptimisticRollup上幾乎零成本的攻擊場景》指出，排序者可以輕而易舉地賄賂以太坊礦工來審查爭議事務。對于OptimisticRollup系統來說，這會是致命的，因為整個系統的安全性源自爭議機制。

我們不認同這個觀點。我們認為誠實一方會出與惡意一方同樣乃至更多錢的來賄賂礦工。此外，礦工每次助紂為虐時都會產生額外的成本。這會影響以太坊的價值，從而影響礦工自身的利益。

事實上，已經有學術文獻研究過這一場景，結果證明“這種反擊的威脅會產生一種子博弈精煉納什均衡，因此攻擊從一開始就不會發生”。

感謝Hasu向我們推薦了這篇文章。

驗證者的兩難困境會帶來反向激勵，降低OR的安全性

關于驗證者的兩難困境，EdFelten已經在他的雄文中分析過了，并提出了解決方案。我們總結如下：

如果系統的激勵機制如預期般運行，沒人會做惡

如果沒人作惡，運行驗證者軟件就沒有意義，因為無法帶來收益

如果沒人運行驗證者軟件，排序者就會有機會做惡

如果排序者做惡，系統就不會再如預期般運行

這個問題看起來很重要，而且似乎是一個悖論！假設總的獎勵金額是固定的，驗證者人數越多，每個驗證者的預期收益越低。另外，如果驗證者人數增多，總的獎勵金額有可能減少，因為欺詐行為會減少，導致驗證者的收益更低。在接下來的分析中，Felten提出了如何解決驗證者兩難困境的方法。

我要提出反對意見，我認為驗證者兩難困境不像批評者說的那么嚴重。實際上，驗證者靠的不是經濟激勵。假設你在rollup上構建了一個大型應用，或者你是持幣者。如果這個系統被破壞，你的應用就無法運作，你的代幣就會喪失價值。此外，對快速取款的需求會催生做市商服務，這與是否存在欺詐行為無關。舉個現實的例子，比特幣就沒有通過經濟激勵的方式來鼓勵節點運營者存儲完整的區塊鏈事務史，或將本地數據提供給對等節點，但是人們還是會無私地做這些事情。

即使不為運行驗證者提供經濟激勵是激勵不兼容的，但是它可以保障系統的安全性，這對于投資該系統的實體來說是很重要的。因此，我們認為，OptimisticLayer2系統不需要通過設計機制來解決驗證者兩難困境問題。

總結

就像文章標題說的那樣，我們分析了2021年對以太坊來說最重要的技術之一：OptimisticRollup。

OR的優點包括：它是對以太坊的擴展，集成了以太坊的安全性和可組合性，以及開發者優勢。與此同時，它還能提高以太坊的性能，而且幾乎不會增加以太坊用戶的成本或信任需求。我們探索了讓OR可行的激勵機制，并對常見的批評觀點提出了反駁。

我們想要強調的是，OR的性能上限是L1上能夠承載的數據量。因此，我們最好能做到兩點：1）盡可能壓縮你在L1上發布的數據，2）擁有一個大且低成本的數據層。

如需補充閱讀，我們推薦Vitalik的《Rollup不完全指南》和《信任的模式》。我們還建議你了解一下另一個rollup方案ZKRollup。我們的朋友StarkWare正在構建ZKRollup方案。最后，還有其它方法可以實現去中心化可擴展性，如，分片和狀態通道。它們都有各自的優缺點。

Tags：ETHALIALICEICEtogetherbnb能睡幾個ALINKChalice FinanceFrax Price Index

以太坊價格今日行情