LIC:金色觀察｜一文詳解Arbitrum Rollup如何工作_DALICHAIN

近日以太坊layer2擴容方案Arbitrum獲得三個重大進展：5月28日Arbitrum向開發者開放主網、UniswapV3部署到Arbitrum的提案獲得通過、Etherscan宣布正在為Arbitrum構建資源管理器。

但是ArbitrumRollup的具體工作機制，很多人可能還不了解。本文詳解，主要來自OffchainLab聯合創始人EdFelten的解讀文章。

OffchainLab聯合創始人兼首席科學家EdFelten曾這樣形容ArbitrumRollup，ArbitrumRollup是一個由以太坊鏈上合約管理的鏈下協議。為使應用能夠在ArbitrumRollup上運行，dApp開發者需要用Solidity編寫一組合約，然后將這些合約編譯成可以在Arbitrum虛擬機上運行的可執行代碼。

Rollup基礎知識

Rollup基礎知識：我們使用默克爾樹來組織虛擬機狀態，因而可以算出虛擬機狀態的密碼學哈希值。我們把這個哈希值存儲在鏈上，因此在協議的任何一個時間點，都會有一些虛擬機的狀態被完全確認和最終敲定。這些已經獲得終局性狀態的哈希值存儲在鏈上。

協議的參與者，通過提出一個爭議斷言來推進該虛擬機的狀態；該斷言聲明，從某些狀態哈希開始，基于一些技術前提，虛擬機將會執行特定數量的計算步驟，生成新的狀態哈希，并在執行期間完成相關的支付，生成相關的日志事件。爭議斷言可能是有效的，也可能是無效的。參與者在提出爭議斷言時需要為保證斷言的有效性而質押上一筆押金。

金色午報 | 7月1日午間重要動態一覽:7:00-12:00關鍵詞：央行、俄羅斯、以太坊、USDT市值、三星SDS、柬埔寨

1. 央行：大額現金管理與法定數字貨幣研發無關聯。

2. 俄羅斯數字貨幣擁有者被警告下月初之前提交納稅文件。

3. 以太坊最大客戶端Geth已失去14%節點。

4. 紐約數字投資集團完成1.9億美元的機構比特幣基金募資。

5. USDT市值不斷上升破100億美元 COMP代幣協議是重要推手。

6. 三星SDS推出數字轉型體驗服務 包括區塊鏈平臺。

7. Vether遭黑客攻擊，損失價值90萬美元的VETH。

8. 柬埔寨發布“Project Bakong”項目白皮書 詳細介紹其技術細節。[2020/7/1]

爭議斷言會使協議產生一個決策點如上圖所示，提出一個爭議斷言就會產生一個協議最終必須要解決的邏輯決策點。如果爭議斷言是有效的，則系統將進入圖中右上角的新狀態，包括由爭議斷言生成的新狀態哈希值，以及其他附帶效果。若爭議斷言是無效的，則進入右下角的分支，爭議斷言被系統拒絕，原來的狀態不會發生變化。

舊的Arbitrum協議

最開始的Arbitrum協議每次只處理一個爭議斷言。當某些參與者提出一個爭議斷言后，會有一個挑戰期，在此期間任何人都可以挑戰這個爭議斷言。如果沒有被挑戰，則該爭議斷言將被系統接受；否則就會執行糾紛解決協議，撤銷爭議斷言。

分析 | 金色盤面：BTC期貨合約持倉變化:金色盤面綜合分析： 據OKEX數據顯示，目前做多賬戶56%，做空賬戶40%，多頭持倉比例22.9%，空頭持倉比例20.20%，從數據看，目前做多賬戶呈現下降趨勢，空倉賬戶達到4%，市場面臨關口，觀望氣氛漸濃。截止發稿，季度BTC0928合約價格為6325美元，現貨價格為6379美元，貼水54美元，較之前有所收斂，但投資者對于遠期價格看淡維持不變，請投資者注意做好風控。[2018/9/13]

這樣做很簡單，但是有兩個缺點。首先，因為每次只處理一個爭議斷言，所以虛擬機的處理速度很受限。在每個挑戰期內，正常的處理流程基本上都將停滯。第二，惡意參與者通過故意挑戰所有的爭議斷言可以徹底凍結虛擬機。攻擊者需要付出一些押金作為代價，但是只要他們愿意，他們至少可以在某些特定場景下通過這種攻擊長時間延誤系統。

新的改進版本

新的ArbitrumRollup協議解決了上述的兩個缺點。通過“流水線化”處理多個爭議斷言，驗證節點模擬虛擬機的運算速度有多快，虛擬機的處理速度就有多快。第二，我們后面將會解釋，惡意參與者無法延阻系統，他們只能暫時延誤對最終結果的鏈上確認，但這些結果對誠實節點來說早已“無需信任地被敲定了”。

所以，到底怎么做到呢？

每個狀態后面最多可以接一個爭議斷言。如果一個狀態后面沒有爭議斷言，那么任何人都可以生成一個爭議斷言接在后面，作為一個新的分叉點。結果就是產生了一棵“可能的未來”之樹。

分析 | 金色盤面：ETH/BTC 二次探底 關注背離變化:金色盤面綜合分析： ETH/BTC 經過一波反彈之后再次陷入跌勢，目前看12小時圖中，MACD\\DMI都有形成背離的條件，短線如果沒有加速下跌，可以關注底部的形成。[2018/8/21]

“可能的未來”之樹

Staking

協議的另外一個重要的部分是Staking。任何人都可以在樹上的某個方框后面質押。對某個方框質押，意味著你在斷言該方框最終將被協議確認。換句話說，你在斷言從當前狀態到你押注的方框所在的這條分支是正確的分支。如果你錯了，可以想見你的押金將被罰沒。

質押行為不能被撤銷。你可以將你的質押向右移動——可以在分叉點后向上或向下選擇分支——但你不能向左移動質押，因為這相當于撤銷你之前作出的質押承諾。

提出爭議斷言的參與者要在“認可其斷言有效”的繼任方框上質押。通常他們可以向右移動已存在的質押到滿足條件的方框上。他們不能這樣做，他們可以額外再質押到需要的方框上。但是注意，他們將在相沖突的兩條路徑上質押，因此最終他們會損失至少一筆押金——通常自相矛盾不是明智的移動選擇）。

關于質押還有一個細節：如果你質押的方框被確認成為被接受的歷史的一部分，你可以選擇收回押金。這意味著，如果你是正確的，你可以停止移動你的質押，直到系統“追上”你，然后你就可以收回你的押金。

金色快評 | 銀行態度轉彎 加密貨幣打開傳統金融大門:韓國聯合通訊社報道稱韓國商業銀行到2017年12月份為止持有的加密貨幣達20億美元，韓國受監管的金融機構所持的數字資產占其經紀業務資產總額的8%。銀行作為傳統金融機構持有加密貨幣一事似乎是一個信號，意味著傳統金融業對加密貨幣這一新鮮事物的逐步接納。時間回到2017年9月，摩根大通CEO Jamie Dimon稱數字貨幣是“騙局”，“比郁金香泡沫更糟糕”，并稱這不會有好結果，終將破滅。他的這一態度代表著一批傳統金融領域人士對于加密貨幣行業的態度，他們質疑加密貨幣，并不看好其發展。甚至于到今天依然有銀行不愿意為加密貨幣行業相關的企業提供銀行服務，但是我們也能看到隨著加密貨幣行業的發展越來越來的傳統金融機構對其敞開了懷抱，據《華爾街日報》報道，美國Silvergate銀行的資產總額從9.78億美元增長到19億美元以上，主要是緣于對250多家加密貨幣公司的業務支持。韓國第二大商業銀行Shinhan Bank在2017年末宣布支持加密貨幣資產交易，為用戶提供虛擬銀行賬戶及系統為企業進行無縫對接。總部位于紐約的商業銀行大都會銀行（Metropolitan Bank）透露，該行超過15%的存款與加密貨幣投資者客戶相關，該行也愿意繼續支持加密貨幣資產交易者。加密貨幣所涉及到的應用場景正逐漸吸引到傳統金融業者的目光。[2018/7/9]

一棵更標準的狀態樹——由一連串的有效斷言組成在這一點上，你可能會擔心，“可能的未來”之樹會變得非常大，而且枝繁葉茂。這在現實中是不可能發生的，因為這需要多方質押不一致的結果。只要他們中有一個是誠實的，其他所有人都會損失他們的押金。更有可能的是，這棵樹實際上是一個由有效DA串成的鏈，一個接一個，所有的質押都在同一條分支上。

金色財經現場報道 火幣生態正在孵化一些重大項目 火幣的生態伙伴是“原材料”:金色財經6月6日現場報道，在“金融鏈變——火幣集團全球品牌升級發布會”上，火幣生態總經理王潤在會上對火幣全產業鏈品牌戰略進行了分享。王潤說：”火幣生態正在孵化一些重大的項目。我們會去做很多后續的工作，如果我們把所謂的建生態簡單的比喻為炒菜的話，首先第一步買很多原材料，所有的合作伙伴可能是原材料，更重要的下一步怎么樣去炒菜，只有深入做這件事情才能把生態建起來，所以我們發布了火幣的生態伙伴計劃，我們希望把火幣深度的合作伙伴綁定進來，讓他們成為火幣整個業務鏈條上面的真正的生態伙伴，讓我們投過的所有公司在火幣的業務當中發揮非常重要的作用，這個才是我們真正想達到建生態的目的。“[2018/6/6]

質押期限

我們需要系統在盡可能短的時間內對每個爭議斷言做出決定。所以當一個爭議斷言被添加上鏈、產生一個分叉點的時候，會有一個期限與之關聯。這個期限足夠長，任何人如果愿意，都有足夠的時間檢查這個爭議斷言是否有效，以及產生一筆質押交易上鏈。任何要質押的人都必須在期限結束之前完成操作。一旦期滿，所有可以決定爭議斷言的質押都將可知。

糾紛

如果Alice和Bob質押不同的方框，那么以下兩件事件中，必有一件為真。要么其中一個質押可以向右移動到另一個——意味著他們的斷言是一致的——要么找不到這樣的路徑。如果沒有一條向右移動的路徑可以連接Alice和Bob的方框，則他們必然有分歧。他們之間一定可以找到一個唯一的分叉點——一個唯一的爭議斷言，某個人押注這個斷言是有效的，而另一個押注其無效。

Alice和Bob之間存在爭議當兩個參與者之間出現糾紛時，系統可以啟動一個交互式糾紛解決協議。我在這里沒有足夠的篇幅來描述這個糾紛解決協議——我只想說，這是一個類似我們在其他Arbitrum文檔中描述過的二分法交互協議。

糾紛解決協議的結果是一個參與者將被發現是錯誤的。這個參與者的押金會被罰沒。質押會從所在的方框上刪除。部分押金會給到糾紛的另一方，剩下的被燒掉。

多個糾紛可以同時解決，但是每個質押者一次最多只能參與一個糾紛。因為輸家的押注將被刪除，每解決一個糾紛都會減少整個系統的分歧數量。損失押金的參與者可以繼續質押，但是新的押注無法影響質押期限已過的爭議斷言。這樣做的效果是，一個爭議斷言的質押窗口結束后，一切有關如何處理該斷言的分歧都將被消除。

結果確認

某個爭議斷言的質押期限到期后，如果所有及時提交的質押，都存在于從該斷言產生的同一條分支上，那么系統就可以肯定該斷言的結果為真。爭議斷言要么被接受要么被拒絕，當前狀態會移動到爭議斷言右邊正確的方框上。如果爭議斷言被確認有效，則其附帶效果，如支付等，也會在鏈上生效。虛擬機的狀態就是這樣向前移動的。

一般情況下，參與者都會誠實守矩，誰也不想因為質押錯誤而損失押金。只有有效的爭議斷言會被斷言，構成一條鏈，沒有人會在任何爭議斷言的無效分支上質押。在這種情況下，所有的爭議斷言都會在質押期限一過后立即被確認。

何以無需信任

ArbitrumRollup的一個重要性質就是無需信任——只要有一個誠實參與者就可以確保虛擬機狀態正確向前推進。為什么呢，想象一下Alice總是在正確的分支上質押，如果沒有爭議斷言，她就自己斷言。

因為Alice總是在正確的分支上質押，所以她會贏下每一次糾紛。如果有任何人不同意Alice，他們要么(a)與一個無關的第三方產生糾紛并損失押金，或者(b)最終和Alice產生糾紛并輸給Alice押金。無論哪種情況，所有與Alice不一致的人都將失去押金。只有同意Alice的質押才能存活下去，所以Alice在樹上的路徑最終會成為唯一一個有及時質押的分支——并且Alice的路徑會被確認。

只要Alice是誠實的，無論別人怎么做，綠色方框都會得到確認因為按這種方式系統是無需信任的，如果Alice質押某個方框，她一定知道到這個方框的路徑是可信的，Alice可以確定這個方框最終一定會被確認。對于Alice來說，這條路徑就跟被敲定了一樣。

即使你沒有質押某條路徑，如果你看到有好幾個人對它質押，只要你相信其中至少有一個誠實的人，你就可以肯定這條路徑最終一定會被確認——對你來說，這條路徑就跟被敲定了一樣。

無需信任的終局性的好處

為什么說無需信任的終局性有價值？經典的例子來自于之前對其他rollup協議的討論。假設一個虛擬機要向Alice進行支付。支付事件發生在誠實的路徑上，但是包含這筆支付的方框還需要等待一些時間被鏈上確認。

無需信任的終局性讓Alice可以立即拿到錢。如果Bob有余錢，可以立即付給Alice，以交換Alice尚未被確定的收款。Bob只有在他能確定Alice的這筆收款一定會發生，才會想和Alice交易。Bob可以通過質押誠實的結果來確保這一點——這樣他對這筆支付最終一定會發生抱有無需信任的信心。不僅僅是Bob可以這樣做。任何有點錢的人，都可以用這樣的方式借錢給Alice或者有她這樣需求的人，這些人通過提供更低的費用相互競爭，使Alice立即拿到錢的成本大大降低。

關鍵是，這種市場機制的可行性取決于無需信任的終局性。如果“每個人”都知道這件事最終會被確認，那么鏈上確認的延遲就不會帶來那么多的不便。

不僅對于支付，虛擬機能做的其他事情也是如此。如果虛擬機要生成一個日志事件記錄發生了什么事情，無需信任的終局性意味著任何人都可以肯定地采取行動，因為這個日志事件最終一定會被鏈上承認。

延遲攻擊

因為這個系統是無需信任的，壞人無法強行制造錯誤的結果。他們能做的只能是延緩系統。這樣做需要他們付出押金，如果押金數額巨大，則代價高昂。

想象一下，如果有人寧愿付出押金也要發動延遲攻擊，他們能造成的最壞的情況是怎樣的？

首先要注意的是，壞人無法阻止好人繼續構筑誠實的分支。而且他們也無法阻止好人獲得對“誠實的分支終將被確認”的無需信任的信心。

攻擊者能做的只是在錯誤的分支上質押，以延遲誠實路徑的鏈上確認。他們每次的質押都會產生一起和誠實參與者的糾紛，而誠實的參與者會從糾紛中拿走攻擊者的一大部分押金。等到攻擊者的全部押金被拿走了，鏈上確認還會繼續向前推進。

如果攻擊者多筆質押錯誤的結果會怎樣？那么這些押金會在一個接一個的糾紛中被拿走。如果有多人質押誠實的結果，這些人都可以進入糾紛解決，并行拿走攻擊者的押金。而且需要注意，所有人都很清楚發生了什么，很多人都想加入進來分一杯羹，質押正確的結果從攻擊者手上搶奪押金。如果誠實方有K個人質押，則在一次糾紛延遲期內，就要消耗攻擊者K份押金。如果攻擊者下更多的質押，那很可能會吸引更多的誠實質押者。這對攻擊者來說是個災難。

Tags：ALICEALIICELICALICE幣Bali CoinJuiiceDALICHAIN

BNB價格