Layer 2 可擴展性方案基于這樣一個事實,即,我們試圖盡可能減少鏈上執行的事務的數量。我們使用欺詐證明來取消已發生的無效狀態轉換。由于欺詐證明是鏈上事務,我們想盡可能減少在以太坊上發布的欺詐證明的數量。在理想情況下,欺詐永遠不會發生,也就不會有欺詐證明發布。
我們通過引入誠信保證金(fidelity bond)來反激勵欺詐行為。想要成為排序者的用戶必須首先在以太坊上存入一筆保證金。如果他們的欺詐行為被證明,就會失去保證金。為了激勵用戶積極發現欺詐行為,排序者的保證金會被獎勵給驗證者。
在欺詐證明激勵機制的設計中,有兩個參數需要設計:
誠信保證金金額:排序者所繳納的保證金就是驗證者所能獲得的獎勵。金額越高,對驗證者的激勵越大,對排序者作惡的激勵就越小。
爭議期持續時間:可以發布欺詐證明的時間窗口。一旦過了這個時間窗口,L2 事務就會在 L1 上敲定。如果爭議期較長,就會提高安全性,更好地抵御審查攻擊。如果爭議期較短,用戶在將 L2 上的資金取出到 L1 時就能享有更好的用戶體驗,因為他無需等待很長時間就能在 L1 上使用這筆資金。
TreasureDAO關于降低流動性挖礦獎勵的提案已獲投票通過:1月3日消息,TreasureDAO關于降低流動性挖礦獎勵的提案以99.99%的支持率獲得投票通過,該提案建議將SushiSwap上對MAGIC/ETH池流動性提供者的獎勵減少30%,以減少不必要的通脹。[2023/1/3 22:23:26]
我認為,這兩個參數都沒有所謂正確的靜態值。或許 10 ETH 的保證金和 1 天的爭議期就足夠了。真正的答案是,這取決于成為驗證者的激勵(運行驗證者軟件的成本),以及發布欺詐證明的難度(L1 上的擁堵程度)。這些都是可以手動或自動調整的。例如,EIP 1559 在以太坊上引入了?BASEFEE?操作碼。這個操作碼可以用來預測鏈上擁堵程度,讓爭議期的長度也變成可編程的。
正確地實施這一懲罰機制很重要,否則就有可能在實際操作中被利用。例如,這里有一個不可行的原生實現:
Alice 繳納 1 ETH 的保證金,成為了排序者
Alice 發布了一個虛假狀態更新
Uniswap社區發起關于為監管委員會提供資金的提案:金色財經報道,Uniswap創始人Hayden Adams發布推文稱,Uniswap社區發起了關于為/監管委員會提供資金的提案。該計劃被稱為DeFi防御基金,將由UNI社區財政部提供資助,用于為去中心化金融生態系統的監管和防御提供資金。提案建議利用100萬UNI代幣為DeFi防御基金提供資金,并希望委員會在4-5年內分配這些資金。如果共識檢查獲得通過,下一步將進行一個完整的鏈上投票 。[2021/6/2 23:03:02]
Bob 發現了,并提出爭議。如果成功,Alice 的 1 ETH 保證金就會獎勵給 Bob,虛假狀態更新也會被取消。
Alice 發現該爭議,也提出爭議(挑戰她自己!)
Alice 拿回了自己的 1 ETH,成功逃避了原本會因作惡遭到的懲罰。
Alice 可以通過 “搶跑事務” 來發起這一攻擊,即, 廣播一個跟 Bob 一樣的事務,但是支付更高的 gas 價格,讓自己的事務搶在 Bob 的前面執行。這意味著,Alice 可以一直以極低的成本作惡。
關于XMR錢包升級完成開放充提的公告:歐易OKEx官方公告,已完成XMR錢包升級,將于2021年4月19日17:00 (HKT) 開放XMR的充提。[2021/4/19 20:36:24]
解決這個問題很簡單:不要將作惡者的全部保證金獎勵給提出爭議者,而是將其中 X% 銷毀。在上述例子中,如果我們將保證金的 50% 銷毀,Alice 只能通過搶跑事務拿回 0.5 ETH,這就足以嚇阻 Alice 在上述第 2 步中作惡。當然了,保證金銷毀機制也會削弱人們運行驗證者軟件的激勵(因為成功提出爭議所能獲得的獎勵會減少),因此銷毀后剩下的部分要足以激勵驗證者才行。
我們已經了解了 Optimistic Rollup 的設計。現在,讓我們來聽聽人們對 Optimistic Rollup 的批評,并做出回應。
我們在上文提到,較長的爭議期有助于提高安全性。這里面似乎有一個內在權衡關系:較長的爭議期不利于 OR 采用,因為任何想要從 OR 中取出資金的用戶都需要等待很久(如 7 天)。較短的爭議期會帶來較好的用戶體驗,但是這會提高未能及時對欺詐提出爭議的風險。
關于在下次升級中向Cosmos Hub添加流動性模塊的提案發布:3月2日消息,Cosmos信息提供商和節點驗證者B-Harvest提交關于在Cosmos Hub中采用流動性模塊的提議Cosmos Prop 38,旨在評估社區對在下一次升級期間向Cosmos Hub添加流動性模塊的支持情況。如果Cosmos Prop 38獲得通過,B-Harvest計劃在2021年3月中旬提交第二份提案,建議為激勵性測試網中的交易競賽提供獎金,獎勵形式為社區資金中的ATOM,預計該活動將于4月機進行。一旦完成所有測試和安全審計,B-Harvest將提交第三項治理建議,以啟動包括流動性模塊在內的CosmosHub的鏈升級。[2021/3/2 18:06:04]
我們不認為這是個問題。由于取款延遲較長,我們預期將有做市商提供快速取款服務。這是有可能的,因為驗證 L2 狀態的人能夠正確判斷取款是否存在欺詐性,從而以略低一些的價格買下這筆取款。例如:
參與方:
Alice:在 L2 上有 5 ETH
澳大利亞區塊鏈資產投資管理公司關于近期比特幣現金市場受挫的現象發表看法:澳大利亞區塊鏈資產投資管理公司聯金國際對關于近期比特幣現金市場受挫的現象發表看法,聯金國際表示,對于那些一直在考慮比特幣現金的投資準確時間的人來說,這可能一個難得的投資機會。比特幣在歷史上平均需要幾個月的時間恢復,并在崩潰后突破新高。眾所周知的事實是,當比特幣上漲時,其他加密貨幣也隨之上漲。從更高的角度來看市場波動,雖然市場過熱了,但只是短暫的休息。考慮另外一個有趣的因素,要注意最近的崩潰;1 月份加密貨幣貶值已經是多年來的一個反復出現的主題,因為人們為了迎接中國農歷新年而傾向于將他們的加密貨幣換成法定貨幣。也許我們應該開始用比特幣發紅包。[2018/1/30]
Bob:在 L1 上的 “做市商” 智能合約中有 4.95 ETH,是 L2 的驗證者
步驟:
Alice 告訴 Bob 說她想要快速取款,并向他支付 0.05 ETH 的費用
Alice 向 Bob 的 “做市商” 智能合約發起一筆取款事務
可能會發生兩種情況:
(1)Bob 在 L2 上驗證這筆取款是有效的,并同意 Alice 的快速取款請求。做市商合約中的 4.95 ETH 立即發送至 Alice 在 L1 的地址。等爭議期結束,Bob 就能獲得 5 ETH,獲得一筆不菲的利潤。
(2)Bob 在驗證時發現這筆取款是無效的。Bob 對這筆事務的狀態轉換提出爭議,取消該狀態轉換,并得到了試圖作惡的排序者的保證金作為獎勵。
如果 Alice 是誠實的,就能立即完成取款;如果她想要做惡,就會遭到懲罰。我們預期,如果真的存在對快速事務服務的需求,支付給做市商的服務費會逐漸降低,最終讓用戶完全感受不到這一過程。
快速事務服務帶來的最重要影響是,可以實現與 L1 合約的可組合性,無需等待整個爭議期結束。
注:該技術首次出現于《簡單的快速事務》一文。
《Optimistic Rollup 上幾乎零成本的攻擊場景》指出,排序者可以輕而易舉地賄賂以太坊礦工來審查爭議事務。對于 Optimistic Rollup 系統來說,這會是致命的,因為整個系統的安全性源自爭議機制。
我們不認同這個觀點。我們認為誠實一方會出與惡意一方同樣乃至更多錢的來賄賂礦工。此外,礦工每次助紂為虐時都會產生額外的成本。這會影響以太坊的價值,從而影響礦工自身的利益。
事實上,已經有學術文獻研究過這一場景,結果證明 “這種反擊的威脅會產生一種子博弈精煉納什均衡,因此攻擊從一開始就不會發生”。
感謝 Hasu 向我們推薦了這篇文章。
關于驗證者的兩難困境,Ed Felten 已經在他的雄文中分析過了,并提出了解決方案。我們總結如下:
如果系統的激勵機制如預期般運行,沒人會做惡
如果沒人作惡,運行驗證者軟件就沒有意義,因為無法帶來收益
如果沒人運行驗證者軟件,排序者就會有機會做惡
如果排序者做惡,系統就不會再如預期般運行
這個問題看起來很重要,而且似乎是一個悖論!假設總的獎勵金額是固定的,驗證者人數越多,每個驗證者的預期收益越低。另外,如果驗證者人數增多,總的獎勵金額有可能減少,因為欺詐行為會減少,導致驗證者的收益更低。在接下來的分析中,Felten 提出了如何解決驗證者兩難困境的方法。
我要提出反對意見,我認為驗證者兩難困境不像批評者說的那么嚴重。實際上,驗證者靠的不是經濟激勵。假設你在 rollup 上構建了一個大型應用,或者你是持幣者。如果這個系統被破壞,你的應用就無法運作,你的代幣就會喪失價值。此外,對快速取款的需求會催生做市商服務(正如我們上文提到的那樣),這與是否存在欺詐行為無關。舉個現實的例子,比特幣就沒有通過經濟激勵的方式來鼓勵節點運營者存儲完整的區塊鏈事務史,或將本地數據提供給對等節點,但是人們還是會無私地做這些事情。
即使不為運行驗證者提供經濟激勵是激勵不兼容的(not incentive compatible),但是它可以保障系統的安全性,這對于投資該系統的實體來說是很重要的。因此,我們認為,Optimistic Layer2 系統不需要通過設計機制來解決驗證者兩難困境問題。
就像文章標題說的那樣,我們分析了 2021 年對以太坊來說最重要的技術之一:Optimistic Rollup。
OR 的優點包括:它是對以太坊的擴展,集成了以太坊的安全性和可組合性,以及開發者優勢。與此同時,它還能提高以太坊的性能,而且幾乎不會增加以太坊用戶的成本或信任需求。我們探索了讓 OR 可行的激勵機制,并對常見的批評觀點提出了反駁。
我們想要強調的是,OR 的性能上限是 L1 上能夠承載的數據量。因此,我們最好能做到兩點:1)盡可能壓縮你在 L1 上發布的數據(例,通過 BLS 簽名聚合),2)擁有一個大且低成本的數據層(例,ETH 2.0)。
如需補充閱讀,我們推薦 Vitalik 的《Rollup 不完全指南》(中文譯本)和《信任的模式》(中文譯本)。我們還建議你了解一下另一個 rollup 方案 ZK Rollup。我們的朋友 StarkWare 正在構建 ZK Rollup 方案。最后,還有其它方法可以實現去中心化可擴展性,如,分片和狀態通道。它們都有各自的優缺點。
本來都準備睡了,深夜一則消息讓我瞬間清醒了,《防范和處置非法集資條例》(以下簡稱“《條例》”)已經2020年12月21日國務院第119次常務會議通過,現予公布,自2021年5月1日起施行.
1900/1/1 0:00:00B2Broker 最近啟動了其白標保證金交易平臺,該平臺已經被多個新客戶采用。眾所周知,B2Margin 一直是 2020 年開發團隊的重點工作,他們在熱烈歡迎中交付了期待已久的解決方案.
1900/1/1 0:00:00非同質化代幣(NFT)去年夏季交易額猛增 57%, 總產值超過 1 億美元。支付及加密貨幣管理平臺 Crypto.com 在其年度市場回顧中重新審視了 2020?年的加密貨幣亮點.
1900/1/1 0:00:00以太坊聯合創始人 Vitalik Buterin 「強調 Optimism 和 Offchain Labs 即將在 3 月上線」引發了中國社區對「Rollup 早鳥應用」的關注.
1900/1/1 0:00:00頭條 ▌V神提出以太坊信標鏈第一個硬分叉提案“HF1”以太坊創始人V神剛剛在推特上提出了以太坊信標鏈第一個硬分叉(暫定名為“HF1”)提案.
1900/1/1 0:00:002月3日,波場TRON 2021全球Defi Hackathon開發者千萬美金賞金大賽正式拉開帷幕,高達1000萬美金的高額獎池讓各界的開發者躍躍欲試.
1900/1/1 0:00:00