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

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

Sovereignvs智能合約Rollup

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

美國財政部正在研究如何使用數字美元來保護隱私:金色財經報道，負責金融機構的助理部長Graham Steele表示，美國財政部一直在研究如何使潛在的數字美元的零售交易盡可能保持私密和匿名，盡管他說美國還沒有決定是否推進中央銀行數字貨幣（CBDC）的發展。

然而，Steele也指出了零售業CBDC可能存在的風險，特別是運行的危險。最近的美國銀行業動蕩表明，\"使存款流動的技術只會越來越快，\"這增加了高速、恐慌性的資金流動的危險。斯蒂爾說，一個由財政部領導的小組正在研究建立美國中央銀行數據中心的可能性，\"該小組正在評估與全球金融領導地位、國家安全、隱私、非法金融和金融包容性有關的政策目標。[2023/6/14 21:34:44]

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

比特幣協議Ordinals已上線遞歸銘文，可讓銘文大小突破4MB限制:6月12日消息，比特幣協議Ordinals新任首席維護者Raph近日在Github上，將比特幣協議Ordinals創建者Casey Rodarmor提出的遞歸銘文2167號更新合并到Ordinals代碼中。根據開發者Leonidas.og的解讀，銘文現在可以使用特殊的/-/content/:inscription_id語法來請求其他銘文的內容。這個簡單的改變解鎖了許多強大的用例。

例如，與其單獨為一個PFP集合銘刻10,000個JPEG文件(這將非常昂貴)，不如從集合中銘刻200個特征，然后再制作10,000個銘刻，每個銘刻使用少量代碼請求特征并通過編程呈現圖像。藝術品只是以一種更有效的方式存儲在鏈上，在Bitcoin Apes的情況下，這可以節省100多萬美元的交易費用。此外，可以實現將許多代碼包完全刻錄在在比特幣鏈上，因調用的是代碼（文字形式），因此體積很小，這可以讓銘文大小可以突破比特幣區塊大小4MB的限制，可以將復雜的3D視頻游戲完全上鏈到比特幣上。[2023/6/12 21:31:55]

OptimisticRollup設計及其驗證過程

DAO薪酬支付系統Utopia推出首款紀念NFT:2月23日消息，DAO 薪酬支付系統 Utopia 宣布推出首款免費鑄造紀念 NFT，將開放 24 小時，多重簽名用戶、Utopia 客戶及更廣泛的 Safe 社區等所有鏈上組織有資格鑄造。

此前報道，Utopia 于 2022 年 6 月宣布完成 2300 萬美元 A 輪融資，Paradigm 領投，Kindred Ventures 、Circle Ventures、Gusto、Coinbase Ventures 等參投。[2023/2/23 12:24:39]

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

價值約3795萬美元的ETH從未知錢包轉入Coinbase:金色財經報道，據Whale Alert監測，31979枚ETH于今日07:06從未知錢包轉移至Coinbase，價值約3795萬美元，交易哈希為：0xb7f2cae8972ca517350c6b9b9b31304c4bf2d99d742334da741ebbcf293f3c07。[2022/12/29 22:14:02]

排序器負責聚合交易，對它們進行排序并將交易數據發布到提供數據可用性和最終排序的以太坊上；驗證者讀取交易數據，執行交易，產生新的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：ROLROLL以太坊PTIROLS價格TROLL以太坊交易所在哪下載Optimus AI

BNB