觀點 | 交互式欺詐證明：Arbitrum 的秘密武器_Arbitrum

ArbitrumOne已經在主網開放，我們計劃推出一系列的文章，講解Arbitrum的內部構件。本文摘自InsideArbitrum，該原文深入講解了Arbitrum的工作原理。

圍繞optimisticrollups，最主要的設計抉擇是，如何解決爭議。假設Alice斷言Rollup會的運行會產生某個結果，而Bob不同意，那協議該如何定奪，選擇誰提交的結果呢？

處理的方法基本可分兩類：交互式證明，或者重執行交易。Arbitrum選擇了交互式證明，我們認為這種辦法效率更高，也更靈活。Arbitrum的其它設計也基本上遵循這個原則。

從2014年以來，我們一直在開發交互式欺詐證明。基本的機制我們寫在了2018年出版的論文里，雖然現在我們又做了大量的升級。

觀點：比特幣將重新測試40000美元并在周期中達到30萬美元:加密分析師Michael van de Poppe近日給出了當前牛市期間比特幣和以太坊的價格預測。 他表示，由于受到不可預見的市場因素的影響，很難在短期內預測比特幣的價格。然而他預計，比特幣將在新的沖動行動之前繼續盤整。Michael van de Poppe預測比特幣價格將重新測試40000美元，并創下歷史新高，然后在周期中達到30萬美元或更高。 此外，Michael van de Poppe對當前市場周期中以太坊的前景持樂觀態度，其價格上漲幅度可能與比特幣不相上下。他預測在CME期貨上市后，以太坊價格將上漲。他還表示希望市場在比特幣或以太坊反彈至周期高點之前能經歷40％的修正。（Cryptoglobe）[2021/2/5 18:57:52]

交互式證明

觀點：Defi項目遲早將脫離以太坊網絡并轉移到中心化平臺上:9月8日消息，比特幣開發者Udi Wertheimer日前表示，Defi項目脫離以太坊并轉移到中心化平臺上只是時間問題。他為平臺緩慢的交易速度，高昂的手續費和復雜的MetaMask感到遺憾，但他對聯合創始人Vitalik Buterin和Joe Lubin沒什么好說的。Wertheimer建議DeFi不需要以太坊，他說：“在我看來，整個DeFi代表去中心化金融。實際上，并沒有真正去中心化的內容，因為總有人控制這些項目。”Wertheimer預測，DeFi在以太網絡上的時間不會太長。他說：“在我看來，它的發展方向是，如果它生存下來，它將離開以太坊，進入集中式平臺，因為它們更便宜，速度更快。”Udi Wertheimer說，雖然使用比特幣有金融和經濟利益，但他也對區塊鏈持懷疑態度。按照Wertheimer的說法，區塊鏈的好處是創建不受他人控制的數字資產。（Beincrypto）[2020/9/8]

交互式證明的思路是讓Alice和Bob參與一個由L1合約引導的回合制協議，使用任何L1合約所需的最小開銷來解決他們之間的分歧。

觀點：若SEC贏得Kik訴訟案，將不利于希望發行代幣的加密公司:據此前報道，周五SEC和Kik均對對方提出的簡易判決申請提出反對意見。雙方重申各自在本案中的論點，以及各自對迄今為止在法庭之爭中收集到的證詞是否完整和準確的看法。

Decrypt文章稱，如果法院認為此案已經結案，它將在5月8日做出裁決，等待敗訴方的上訴。否則，案件可能會進入審判階段。但這一案件的后果將對那些通過未來代幣簡單協議（SAFT）籌集資金的加密公司產生巨大的后果。

安德森·基爾律師事務所合伙人Preston Byrne表示，人們希望，當代幣最終被交付時，它們會“失去證券的特性”。但SEC并不認為SAFT規避了證券法。上個月，紐約一家法院下達針對Telegram的初步禁令，SEC稱Telegram的ICO代幣是非法籌集的。Telegram的ICO和Kik一樣是基于SAFT出售。Byrne表示，SEC正在以相同的方式處理Kik訴訟案。如果法院的裁決對SEC有利，這將是另一個強烈信號，表明美國不是啟動代幣項目的地方。

據悉，Kik最近解雇80%員工，因為法律費用已把公司帶到破產的邊緣。有了這個先例，任何想推出代幣的公司都會三思而行。（Decrypt）[2020/4/26]

Arbitrum的方法基于對爭議的剖析。如果Alice的斷言涉及了N個執行步驟，那就讓她曝光出兩個各涉及N/2個步驟的斷言，然后讓Bob選擇一個來挑戰。這樣一來，爭議的規模就縮小了一半。這個過程持續進行，每一回合都將爭議的規模縮小一半，直到爭議的范圍變成一個執行步驟。注意，直到此時為止，L1引導合約都不必考慮實際上執行了什么。僅當爭議被縮小到單個執行步驟時，L1引導合約才需要理解這一步要執行什么指令，以及Alice對該步的斷言是否為真，以此解決爭議。

聲音 | 觀點：學術機構應在規范Libra方面發揮作用:多倫多大學羅特曼管理學院的創業加速器Creative Destruction Lab（CDL）是Libra協會唯一的學術創始合作伙伴。CDL與Libra的合作旨在通過為初創企業群體提供更多機會，鞏固CDL的孵化作用。根據羅特曼管理學院教授和CDL首席經濟學家Joshua Gans的說法，這種合作關系旨在為加入區塊鏈領域的CDL初創企業提供更多機會。Joshua Gans表示，從長遠來看，Libra為整個創業社區提供了一個機會。“在創造更好的創業生態系統的過程中，我們將完成我們的使命。”Gans還討論了這種伙伴關系將如何造福于大學社區，“對大學來說，這是一個大膽的創新舉措——一系列挑戰通常不在大學的操舵范圍內，但其領導層可以在這些挑戰的基礎上發展，并標志著超越日常學術生活的愿景。”羅特曼管理學院和UTM管理系金融學副教授Andreas Park在接受采訪時表示，學術機構應在規范Libra方面發揮作用。（The Varsity）[2019/10/28]

交互式證明背后的關鍵原理是，如果Alice和Bob有所爭議，Alice和Bob應盡可能做鏈下的工作來解決爭議，而不是讓L1合約承擔負擔。

重執行交易

另一個方案是，讓一個Rollup區塊在區塊內每一筆交易后附帶一個狀態哈希值斷言。然后，在爭議情形中，L1引導合約將模擬一整筆交易的執行，看結果是否與Alice的斷言一致。

為什么說交互式證明更好？

我們堅決認為，交互式證明是個更好的方法，理由如下。

在樂觀情形下，交互式證明效率更高。因為交互式證明可以解決大于一筆交易的爭議，因此，一個rollup區塊可以僅包含一個斷言，斷言整條鏈在這一個區塊的所有內容執行完之后的結果狀態。相反，重執行方法需要區塊內的每個交易后面都附帶一個狀態斷言。如果一個rollup區塊里面有成百上千筆交易，這兩種方法在對L1區塊的空間占用上將出現顯著的區別——而這種占用正是rollup成本的主要部分。

在悲觀情形下，交互式證明的效率也更高：如果出現了爭議，L1引導合約只需檢查Alice和Bob的操作“在往正確的方向走”，比如Alice確實把N步驟的斷言拆成了兩個針對一半步驟的斷言。只需要重新執行一個指令。相反，在重執行交易模式下，L1引導合約需要模擬一整筆交易的執行。

更高的交易級gaslimit：交互式證明可以擺脫以太坊對單筆交易GasLimit的限制；即使一筆交易gas消耗量太大、無法放進以太坊區塊內，也仍有可能可以放進Arbitrum的區塊內。Rollup的GasLimit當然也不可能是無限的，但仍可以做到比以太坊主鏈所容許的大得多。就以太坊而言，大gas容量的Arbitrum交易的唯一缺點是它可能需要運行更多的交互步驟。相反，重執行模式下的rollup交易，gaslimit必須小于以太坊的區塊GasLimit，否則就沒法在一筆以太坊交易內模擬執行完這筆交易了。

合約大小沒有限制：交互式證明無需為每一個L2合約創建一個以太坊合約，所以也不要求合約符合以太坊合約的限制。對于Arbitrum的爭議合約來說，在L2上部署一個合約的操作也是一系列計算過程的組合，與別的操作沒有區別。相反，重執行模式下，L2合約的大小比以太坊主鏈上所能容許的還要小，因為要模擬一個合約的執行需要能夠仿制這個合約，而仿制的代碼必須能夠放進一個以太坊合約內。

更大的實現彈性。交互式證明允許實現上的更大靈活性，舉個例子，加入EVM中還不存在的指令。必要的功能無非是能在以太坊上驗證一個單步執行的證據。而重執行模式就嚴格受限于EVM。

交互式證明方法是Arbitrum的設計核心

Arbitrum的大部分設計都是由交互式證明方法所開啟的機會驅動的。如果你在學習Arbitrum的特性時疑惑于為什么這種它們要存在，這里有兩個簡單的思考方向：“這個特性是用來支持交互式證明的嗎？”以及“這個功能是是如何利用交互式證明得以實現的”？大部分關于Arbitrum的“為什么”都跟交互式證明有關。

想了解更多？看看InsideArbitrum。

原文鏈接:

https://medium.com/offchainlabs/interactive-fraud-proofs-arbitrums-secret-sauce-debc3b019418

作者:OffchainLabs

翻譯:阿劍

Tags：以太坊TRUArbitrumARBI以太坊價格今日行情走勢分析TRUMPINUarbitrum幣圈名稱Arbidex

幣安app官方下載最新版