AltLayer：欺詐證明如何實現無信任的跨域信息傳遞？_ROL

在過去的幾年里，區塊鏈專家和愛好者們一直在討論側鏈、Rollup和L2之間的區別。核心爭論是，一個系統只有在從底層L1“獲得安全性”時，才能被稱為L2或Rollup。這導致了關于從鏈條中獲得安全性究竟是什么意思的進一步討論。在這篇文章中，我們討論OptimisticRollup設計以及底層鏈如何驗證Rollup的正確性，從而允許Rollup與底層鏈之間進行無需信任的跨域通信。

Sovereignvs智能合約Rollup

根據與底層鏈的關聯程度，Rollup設計有不同類型。讓我們看幾個例子。

報告：到2028年，意大利的NFT市場估值預計將達到36億美元:金色財經報道，據Research and Market的最新報告《意大利NFT市場情報和未來增長動態數據手冊》數據顯示，到2022年底，該國的NFT市場預計將增長47.6%，意大利NFT市場的估值在6.71億美元左右徘徊，此外，在未來五年內，意大利NFT行業預計將以34.6%的復合年增長率穩步上升。到2028年，意大利的NFT市場估值預計將達到36億美元。[2022/12/26 22:08:51]

Sovereign(主權)rollup僅使用底層鏈來提供數據可用性和交易排序。主權rollup不需要L1等外部網絡來驗證rollup的正確性。在這種情況下，L1無需信任地驗證獨立rollup的狀態，因此L1無法獨立驗證來自rollup的任何橋接式消息。例如，僅僅因為rollup如此說，L1就無法信任地允許解鎖L1上的資產。相反，像Optimism和Arbitrum這樣的智能合約rollup確實允許以太坊驗證者通過通常稱為驗證橋來獨立驗證rollup狀態的正確性。例如，當用戶希望從rollup提取資產到以太坊時，以太坊網絡驗證者需要確信提款請求是有效的，才能在以太坊上釋放資金。

安全團隊：dydx的SDK用了一個惡意的第三方組件，可能導致用戶憑據泄露:9月24日消息，據Beosin EagleEye平臺輿情監測顯示，Maciej Mensfeld發現的服務器異常文件http://api.circle-cdn.com/setup.py，通過對比代碼，發現與樣某樣本庫中的一份惡意代碼樣本一致 https://dwz.win/azUF

Beosin安全團隊深入分析發現攻擊者通過在本機執行以下代碼獲取系統敏感信息：接著利用socket庫函數gethostname提取dns解析，同時獲取當前用戶基本信息并進行數據封裝。然后將組裝好的信息利用curl命令以文件格式發到api.circle-cdn.com的服務器上，以隨機數字命名的txt格式，執行上傳之后并做了清理工作，沒有留下生成的臨時文件。

Beosin安全團隊總結：此腳本目的是獲取用戶計算機上的敏感配置文件，有些配置文件可能會導致重要的賬戶憑證信息失竊，會帶來較大的風險。[2022/9/25 7:19:25]

OptimisticRollup設計及其驗證過程

Wom音樂開啟預約活動，發放10000枚虛擬形象:據官方消息，Wom音樂正式開啟上線預約活動，官方將面向所有預約用戶空投稀有虛擬形象，限量10000枚。此前汪峰在直播中認為Wom音樂將給予創作者應有的回報。Wom音樂此次發放的“虛擬形象”是綁定虛擬權益的身份象征，并將為用戶提供豐富的玩法，虛擬形象持有者可獲得創世樂迷專屬特權和空投獎勵。

據悉，官方將在2022年8月23日活動結束后把虛擬形象空投至用戶賬戶。[2022/8/2 2:52:40]

要理解欺詐證明，我們首先要了解OptimisticRollup的工作原理。OptimisticRollup有兩個主要的網絡參與者：排序器和驗證者。

Coinbase CEO回應內幕交易事件：該案是對Coinbase及加密行業的一次警醒:7月22日消息，Coinbase CEO Brian Armstrong 在其社交網站上表示，Coinbase 積極監控非法活動。今年 4 月，公司發現問題并對涉嫌內幕交易的相關人員進行調查，進而確定三名嫌疑人涉嫌內幕交易，其中一人為 Coinbase 已解雇的員工。公司已將相關信息提供給執法人員。

Armstrong 還表示，這起事件對 Coinbase 和整個加密領域都是一次警醒。內幕交易是非法的，并且會侵蝕用戶對你的信任。我們將繼續調查操守不端者并將其移交給執法部門，他們將面臨真正的法律后果，包括服刑。

據此前消息，前加密貨幣交易平臺 Coinbase 經理因美國加密貨幣內幕交易案被捕。[2022/7/22 2:30:40]

排序器負責聚合交易，對它們進行排序并將交易數據發布到提供數據可用性和最終排序的以太坊上；驗證者讀取交易數據，執行交易，產生新的rollup全局狀態，并在以太坊上提交狀態。如上所述，Arbitrum和Optimism并非設計為主權Rollup，因此，以太坊網絡應該能夠信任地驗證rollup狀態的有效性。實際上，OptimisticRollup設計認為，以太坊應該樂觀地假設Rollup狀態總是正確的，除非有人聲稱反對并能夠證明。以太坊上的一個合約將審議所述聲稱的正確性，從而使聲稱獲得以太坊網絡的安全性。

實際操作中，這是通過允許其他驗證者質疑在以太坊上發布的狀態根的有效性來實現的。這個“挑戰過程”涉及生成一個欺詐證明，最終在以太坊合約中得到驗證。

欺詐證明機制

生成欺詐證明有兩種方法：

第一種方法是在以太坊合約中直接重新執行Rollup交易，然后驗證結果狀態是否與驗證者的提交相匹配。雖然這個想法很簡單，但不幸的是，事實證明這種方法效率很低，而且實際操作起來相當困難。另一個解決方案是由Arbitrum提出的稱為二分協議，該協議涉及在合約中執行單個EVM指令以證明整批交易的無效性。鑒于二分協議的實用性，它已成為目前欺詐證明的首選方法。

欺詐證明在實際應用中的實現

到目前為止，應該很明顯，在沒有有效的欺詐證明實現的情況下，以太坊無法信任地驗證Rollup的狀態，這意味著無法在Rollup和底層鏈之間進行無需信任的跨域通信。因此，沒有實現欺詐證明的智能合約Rollup與僅使用以太坊進行數據可用性和排序需求的主權Rollup沒有什么區別。

盡管有許多OptimisticRollup的實現，如Arbitrum、Optimism、Metis等，但到目前為止，只有Arbitrum實現了欺詐證明。

AltLayer在其Rollup解決方案中實現欺詐證明

今天，這種情況發生了變化。我們很高興地宣布，AltLayer已經使用二分協議實現了欺詐證明——一種高效解決L1紛爭的方法。

我們的欺詐證明實現是獨特的，可以集成到通過AltLayer的Rollups-as-a-Service產品創建的任何rollup中。

我們很快會發布后續文章，其中將概述AltLayer欺詐證明的設計原則，以及其實現如何完美地與我們的Rollups-as-a-Service產品服務相匹配。敬請關注！

Tags：ROLLROL以太坊IMITROLL BNBroll幣能出坐騎嗎以太坊銀行幣值錢嗎Dimitra

區塊鏈