以太坊重要擴容方案： Optimistic Rollup 現狀報告(中)_ROLL:Swaprol

作者：DanielGoldman自由軟件工程師、技術顧問、作家譯者：Emma、Snow?Lu校對：Samuel

完整的EVM:Layer2虛擬機

為了使Layer2智能合約計算保持無需信任，必須有一個備用方案，即以某種形式在Layer1執行這種計算。由此可見，ORU支持完整的EVM，Layer2需要自己的虛擬機，該虛擬機可在EVM基本層中執行，為此高性能的創建實現并非易事。簡而言之，EVM的設計初衷并非旨在自身運行。您可以從EIP中了解到其中的一些挑戰，它也討論了修改EVM以直接合并此功能的可能性，以及KelvinFitcher在Plamsa中對這一問題的概述。

因此，所有五個完整的EVM項目都為Layer2執行創建了自己的EVM修正版本。為了確保欺詐證明的可靠性和可預測性，VMs的執行必須是確定性的；即，在證明時必須能夠準確再現最初發現欺詐的情況。因此，非確定性操作必須完全修改或刪除，例如，檢查區塊高度，難度和時間戳。同樣，用于合約創建或銷毀的操作碼也需要刪除，因為這種邏輯是特殊的。因此，在部署到ORU鏈之前，ORU上Layer1的合約可能需要對Solidity代碼進行一些小的修改。

以太坊核心開發人員：尚未確定上海升級的具體內容:金色財經報道，以太坊核心開發人員Marius Van Der Wijden表示，核心開發人員可能會同意在接下來的“上海”升級中解決質押ETH提款問題，但是本次升級的具體內容目前仍不清楚。如果“上海”升級內容過多，可能會影響測試進度，比如‘上海’升級中有10項變化，那么就需要對每個變化進行單獨測試，而且還需要測試不同變化之間如何相互作用、相互影響，這意味著一旦‘上海’升級中包含的功能數量增多，測試工作量將會呈指數級增長，最終導致“上海”升級日期延遲。由于“上海”升級將解決質押ETH提款問題，一旦延遲，可能會影響質押者和驗證者利益。[2022/9/16 7:00:27]

欺詐證明

所有完整的EVMORUs在如何促進欺詐證明方面都具有一些基本的共性：定期排序并提交ORU鏈的狀態，計算操作的哈希值也是如此，包括執行狀態轉換。。欺詐證明在某種程度上使用了這些數據來表明，所提交的步驟實際上并未正確地將初始狀態轉換為最終狀態。

完整的EVM實踐中主要區別在于它們處理這些欺詐證明的交互程度。ORU本質上必須包含足夠的呼叫數據，這樣可以立刻發現欺詐行為，并最終得到主鏈的共識。但是，執行此欺詐證明的過程因構造而異。

Polygon以2.5億美元收購以太坊擴展解決方案Hermez:8月13日消息，以太坊擴展項目Polygon（前身為MaticNetwork）以2.5億美元收購了HermezNetwork，后者是一個基于ZK-Rollups的以太坊擴展解決方案。據悉，這兩個項目還合并了他們的原生代幣——MATIC和HEZ——這是加密領域的第一筆此類交易。Polygon稱Hermez的產品將合并到Polygon中，新項目將命名為“PolygonHermez”，作為交易的一部分，Hermez旗下26名員工也將加入Polygon的80人團隊。

Polygon聯合創始人MihailoBjelic說道：“據我們所知，這是加密史上第一次全面合并區塊鏈網絡，其中一個網絡將完全吸收另一個網絡，包括其代幣。”HermezNetwork業務開發負責人AntoniMartin表示，作為Polygon的一部分，Hermez將專注于開發zkEVM技術，以在ZK-Rollup內提供原生智能合約可擴展性。（TheBlock）[2021/8/13 1:53:42]

在單輪欺詐證明方案中，欺詐總是可以在單筆交易中證明，也可以在單方的多筆交易中證明。這樣做的好處是可以立即“解決爭議”，沒有麻煩的載體，因此不需要欺詐證明人的保證金，而且操作簡單。在多輪欺詐證明中，欺詐是顯而易見的，但是欺詐證明者和區塊生產者之間需要幾個交互步驟。這樣做的好處是Gas成本更低，鏈上數據成本也可能更低。

Reddit與以太坊基金會建立技術合作伙伴關系:金色財經報道，Reddit與以太坊基金會建立了技術合作伙伴關系。根據Reddit管理員jarins撰寫的帖子，該伙伴關系標志著Reddit將如何“增加對區塊鏈的承諾，推動以太坊生態系統的擴容和資源，并將區塊鏈技術的價值和獨立性帶給社區和數百萬的Reddit用戶。”[2021/1/28 14:10:45]

單輪欺詐證明

Nutberry，Optimism和Celer的ORU都支持單輪欺詐證明。這就要求每筆交易都必須提交到序列化的后狀態根。在Optimism的模型中，Celer也直接受到影響，如果檢測到欺詐，欺詐證明者會發布交易的初始狀態和最終狀態的時間，并讓主鏈完全執行交易。。理想情況下，交易只需要最少的狀態時間即可證明欺詐。但是原則上，交易可能需要讀取大量狀態數據。如果欺詐證明需要大量數據和/或計算，很難將其放在主鏈區塊上，那么Optimism可將證明拆分為多個交易

Nutberry的方法與此類似，但使用“門控計算”模型執行合約。智能合約被修補以包含檢查點。在此模型中，交易會提交多個更細化的中間狀態根，可能需要更多數據，但在較小的數據塊中執行欺詐證明。

以太坊2.0信標鏈主網已出現首個被剔除的驗證人:12月2日，根據Ethermine礦池母公司Bitfly公布的內容，以太坊2.0信標鏈主網（Beacon Chain）已出現第一個節點驗證人被剔除的情況。該被剔除的驗證人所在Epoch為208。[2020/12/2 22:54:03]

多輪欺詐證明

證明者需要與欺詐證明者之間進行多個步驟的交互才能決定多輪欺詐證明是否屬實。按照ORU的定義，關鍵是要發布足夠的數據，讓任何一個誠實的參與者或觀察者都可以從一開始就確定哪一方在說真話，從而預測了質疑期的結果。

在InterstateOne的例子中，交易包含狀態根，且發布時提交Merkle根至對應執行的步驟，而不是提交至步驟本身。從某種意義上說，這種提交是一種二級“optimistic”的假設。只有驗證者提出問題時，操作員才會將EVM消息棧張貼在呼叫數據中，驗證者可以使用該信息簡要證明欺詐。在最壞的情況下，此過程總共進行3輪，并且要求呼叫數據與所涉及的交易中的步驟數量成線性關系。

在互動性增強方面最先進的是OffchainLabs的ArbitrumRollup，可以最大程度地減少鏈上的足跡。使用Arbitrum，只有區塊，而非交易，需要提交狀態根。與Interstate一樣，這些也包括了提交哈希值的計算。如果雙方提出了相互矛盾的主張，則他們將進入爭端；在該爭端中，他們會交互式地找出無效執行的單個計算步驟。

前Messari分析師：非美元穩定幣將是超越以太坊的唯一方法:7月5日消息，針對以太坊在智能合約加密領域斷層式領先的現象，前Messari分析師，加密貨幣交易員Qiao Wang發推特表示，非美元穩定幣將是“殺死”以太坊的唯一方法，因為以太坊生態明顯缺少非美元穩定幣的支持。（CryptoSlate）[2020/7/5]

他們通過在棧中進行有效的二進制搜索直到欺詐已隔離：即，欺詐證明者通過棧，在中途的一個點請求狀態哈希，然后將棧二等分并重復已知無效的一半。此過程將不斷重復，直到只剩下一個無效的操作，然后在鏈上執行該操作。因此，在最壞的情況下，此過程需要個日志步驟，并且需要最少的Layer1計算。

這種方法的一個令人驚訝的特性是，盡管爭議正在進行，但無需暫停系統的其余部分。用戶和區塊生產者可以繼續照常進行交易。可以將“爭議”視為可能性樹中的分枝。誠實的用戶可以驗證且確定哪一方是誠實的，并在此基礎上繼續發展，了解爭端最終將以何種方式解決。因此，爭議的持續時間不會讓系統的其余部分延遲。有關更多信息，請參見HowArbitrumRollupWorks。

應用特定的Rollups

ORU項目支持更受限制的功能，同時尋求圍繞更特定的案例進行優化：通證支付、去中心化交易、私人支付和大規模遷移。這四個協議都各不相同，也將分別進行探討。

Fuel

Fuel正在實施以支付為中心的、基于UTXO的ORU側鏈，其數據模型類似于比特幣。這種設計需要平衡智能合約的一些功能，以利于實現簡便性以及更便宜的驗證和欺詐證明。實際上，關于Fuel與完整EVMORU的權衡，許多想法與比特幣與和以太坊的權衡相似。

與比特幣一樣，Fuel鏈的狀態被隱式定義為所有未花費的交易輸出的集合；不需要狀態根序列化。支持簡潔欺詐證明的模型與GregMaxwell在2014年GregMaxwellin2014?最初為比特幣提出的模型相似;交易與比特幣交易非常相似，但是包含一個額外的數據區，用于指定每個輸入的處理位置。有了這個數據區，就可以在一個回合中用一個或兩個包含證明來證明所有欺詐案件。除了低成本的欺詐證明之外，UTXO模型還有望實現更高性能的驗證-更好的狀態訪問模式和并行空間。

Fuel將使用一種模型來支持ERC20和ERC721傳輸，該模型可以反映比特幣彩色硬幣提案。它還支持某些特殊的交易類型，包括HTLCs的原子互換。該計劃最終支持一種更強大的無狀態謂語腳本語言，其功能類似于比特幣腳本。?

ANON的ZK-Optimistic-Rollup

另一個獨特的ORU項目是ANON的ZK-Optistic-Rollup，它支持ERC-20和ERC-721支付交易，并具有與ZCash隱私地址相同的隱私保證。該設計與ZCash本身有很多共同點；資金索賠采用UTXO式的“簽發”形式；支付產生的新簽發和創建的“廢止通知”，記錄該簽發是用于防止未來重復支出。交易也包括ZK-SNARK，可證明其滿足所有有效性條件，且沒有向觀察者實際透露任何細節。

為了維護簡潔的欺詐證明，ZK-ORU擁有ZCash中沒有的功能：廢止通知存儲在SparseMerkle樹中，并隨每個新的ORU塊進行更新。這樣可以輕松證明成員資格和非成員資格。與所有其他ORU一樣，計算被樂觀地延遲了，包括SNARKS本身的驗證。所有的欺詐情況，包括無效的SNARK，只需一步就能證明。

注意，生成SNARK的重任落在用戶身上；ANON預計一個客戶會花費10-30秒生成SNARK。

WCL的ORUHub

該ORU操作旨在成為rollup鏈之間的批交易標準，是讓用戶自愿將其資金遷移到升級合約的一種手段。

該操作本身是一條簡單的，僅基于帳戶支付的鏈，與Fuel一樣，它提供廉價的欺詐證明和數據驗證。這種構造的主要目的是建立一種標準架構，以便能夠直接在不同鏈之間進行轉移，即，不必從一條鏈中取出款后再重新存到到另一條鏈上。這可以通過支持批量存款和建立單向鏈間的交叉連接實現。只要目的鏈上的驗證者發現出發鏈上的欺詐行為，就可以將付款視為最終付款，而不會產生任何額外的延遲。這與圍繞ETH2.0交叉分片通信的研究ETH2.0crossshardcommunication邏輯相類似。

雖然主要的計劃用例是可升級性，但此機制潛在的其他用例是在單獨的、不同的、實時rollup鏈之間遷移，我們需要對此進行更多研究。關于rollup鏈間遷移的精確協議，以及需要確認的規范鏈，更多詳細信息尚未公開，日后會在此處附上鏈接。

IDEX2.0

IDEX的獨特之處在于，他們將ORU作為已經投入生產的項目的最佳擴容版本，IDEX合約當前已在主網運行，IDEX合約使用的狀態模塊比任何以太坊其他應用程序都要多。

IDEX2.0的rollup鏈支持登記訂單式去中心化交易功能，并且圍繞此特定用例構建而成。該鏈負責執行訂單，維護用戶余額，允許設置發生其他功能，例如更高級的訂單類型，自動交易引擎等。

IDEX的ORU中的驗證者必須有IDEX通證。驗證者提交收據證明已發布的區塊，并根據他們在有效區塊上的簽名和有效欺詐證明的簽發而受到獎勵和/或懲罰。獎勵是使用一部分的交易費用和自己的通證支付的。

在協議中，區塊生產者僅上傳區塊的Merkle根作為初始投入，僅在質疑時將區塊內容發布到呼叫數據中。由于無法在鏈上保證rollup區塊數據的可用性，因此，這并不完全符合上述“OptimisticRollup”的定義；實際上，他們將其稱為“優化的OptimiziedRollup”。一旦發布呼叫數據后，就可以通過一兩個附加步驟來證明欺詐行為。下面將討論此方法對信任/安全的影響。

第三部分內容將于近日推出。

Tags：以太坊ROLROLLHER以太坊交易幣怎么交易Swaprolroll幣在哪換2gather

中幣下載