比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

科普 | 一文讀懂以太坊擴容方案 ─ Rollup 工作原理_STAK

Author:

Time:1900/1/1 0:00:00

作者?|?Edfelten??

翻譯?|?李翰博??

ArbitrumRollup是一個鏈外協議,由鏈上Ethereum合約管理。一個dapp開發者有一組用Solidity編寫的合約,開發者將這些合約編譯成Arbitrum虛擬機,在ArbitrumRollup上運行。你希望它們能快速運行。

Rollup的基礎知識

讓我們從基礎知識開始。你的虛擬機的狀態被組織成一個Merkle樹,所以可以計算出虛擬機狀態的加密哈希。在協議中的任何一點,

虛擬機的某個狀態都是完全確認的和最終的。它的哈希值存儲在鏈上。

協議的參與者可以做出一個可爭論的斷言,該斷言聲稱,從某個狀態哈希開始,在一些技術前提條件下,虛擬機可以執行指定數量的計算步驟,從而得到指定的新狀態哈希,并且在計算過程中虛擬機進行指定的支付和發出指定的日志事件。DA可能是有效的或無效的。做出DA的一方將被要求對DA的有效性進行押金。(更多關于賭注和它們如何工作的內容將在下面介紹。)

如上圖所示,

一個可爭議的斷言創建了一個邏輯決策點,協議最終要解決這個問題。如果DA有效,系統將進入右上角的新狀態,有一個新的狀態哈希,并有DA中指定的副作用。或者在另一個分支上,DA無效,它被拒絕,狀態不變。

舊的Arbitrum協議

最初的Arbitrum協議每次處理一個可爭論的斷言。某個當事方會提出一個DA,然后會有一個質疑期,在此期間任何人都可以對DA提出質疑。如果沒有人提出質疑,則確認DA;否則將運行爭議協議,取消DA。

歐科云鏈集團正式啟動區塊鏈科普行動“星途計劃”:歐科云鏈集團于4月26日,正式宣布啟動了區塊鏈科普行動——“星途計劃”,行動包括將在全國范圍展開系列沙龍,加大力度推進區塊鏈科普進機關、進國企、進校園等,聯合政府部門、行業協會等共同構建起更加完善和有效的區塊鏈科普教育生態,與此同時,直擊區塊鏈科普現存痛點,推出簡單易懂的“秒懂區塊鏈”公益短視頻課。

該計劃旨在全維度推動社會建立對產業更清晰的認知,與“鯤鵬計劃”一道助力數字經濟及區塊鏈產業本身健康發展夯實“人才”和“產業認知”兩大基礎。[2021/4/26 20:59:37]

這很簡單,但有兩個缺點。首先,由于一次只能有一個訴訟請求,虛擬機的進展速度將受到限制。本質上,在每個挑戰期內都必須停止進展。第二,惡意方可以通過故意挑戰為該虛擬機制作的所有DA來凍結該虛擬機。這將使攻擊者付出一系列的賭注,但如果他們愿意付出這個代價,他們可以至少在某些情況下長時間地保持進度。

新的和改進的

我在這篇文章中介紹的新的ArbitrumRollup協議解決了上述兩個缺點。多個DA可以被"管道化",這樣一個虛擬機的進度就像驗證節點可以模擬虛擬機的計算一樣快。其次,正如我們在下面會看到的那樣,一

惡意

行為者不能減慢進度,他們只能暫時延遲鏈上對結果的認可,而這些結果對誠實的各方來說已經是"不可信的最終結果"。

那是怎么做到的呢?讓我們來挖掘一下新協議......

每個狀態最多可以有一個DA跟隨它。如果一個DA沒有跟隨狀態,那么任何人都可以創建一個跟隨它的DA,創建一個新的分支點。結果將是一棵可能的未來樹。

TRON數字錢包科普資料《波場錢包的現在過去與未來》已上線:據最新消息顯示,由TokenPocket聯合波場TRON官方,以及 TokenPocket 社區志愿者共同撰寫的《波場錢包的現在過去與未來》已正式上線。《波場錢包的現在過去與未來》又稱為波場錢包小白書,詳細介紹了當前TRON錢包與TRON生態密切結合的實例,是目前市面上最為詳細的TRON數字錢包科普資料。波場錢包作為波場公鏈生態中極為重要的入口,是波場生態的重要構成要素。波場錢包從一開始只提供權限管理、轉賬收款、節點投票等基礎功能,到如今不僅可以為用戶提供法幣交易、閃兌和去中心化交易所等方便快捷的交易服務,還能讓用戶直接在錢包上體驗波場上DApp,挖礦、DeFi、Staking等資產增值服務。詳情見原文鏈接。[2020/8/20]

???????????????????????????????這個樹狀圖表示了未來的多種可能性

stake

協議的另一個重要部分是staking。任何人都可以放一個stake在樹上的一個方格上。通過在一個方格上staking,你是在斷言這個方格最終會被協議所確認。換句話說,你是在斷言你已經在從當前狀態到你所staking的方格的路徑上的每一個DA采取了正確的分支。如果你錯了,你可以預期失去你的stake資產。

staking的行動不能被撤銷。你可以將你的stake向右移動--在每個分支點選擇向上或向下--但你不能向左移動,因為這相當于撤銷你之前做出的stake承諾。

現場 | 火幣中國推出數字經濟及區塊鏈產業科普新書:金色財經現場報道,12月6日,由海南省工業和信息化廳主辦,南南合作金融中心協辦,海南生態軟件園、火幣中國承辦的“海南自貿港數字經濟和區塊鏈國際合作論壇”在海口舉行,這是全球首次區塊鏈部長級論壇。

在本次論壇上,火幣中國舉行了“數字經濟及區塊鏈產業科普系列新書發布”儀式,希望通過教材、專業教育、培訓等多種方式,幫助從業者、高校、研究機構深入了解區塊鏈,從而建立起區塊鏈全局性知識模型,真正推動區塊鏈應用落地。火幣中國CEO袁煜明介紹,將聯合機械工業出版社面向普通高等教育推出《區塊鏈導論》、《區塊鏈系統設計與應用》和《區塊鏈新商業模式分析》系列教材,這是國內最早推動的區塊鏈教材之一;火幣中國還積極參與數字經濟的研究,由中信出版社出版的新書《讀懂Libra》已經上市;由火幣中國負責編寫的區塊鏈技術科普讀物《區塊鏈技術進階指南》將于12月面世;首本行業內最全的區塊鏈應用案例集《區塊鏈產業應用100例》在本次論壇進行了首次刊印。[2019/12/6]

做出可爭論斷言的一方需要在該DA的"DA有效"繼承人上staking。通常情況下,他們可以通過將現有的賭注移動到右邊,將其放在所需的繼承方格上來滿足這一要求。在極少數情況下,如果他們不能做到這一點,他們可以在所需的方格上放置一個額外的stake。但要注意的是,他們就會在兩條不一致的道路上staking,這樣他們最終至少要失去兩個stakes中的一個--自相矛盾可不是明智之舉)。)

關于賭注還有一個細節:如果你所賭的方塊被確認并成為公認的歷史,你可以選擇收回你的賭注。這意味著,如果你是正確的,你可以將你的賭注保留在原地,等待系統"趕上"你,然后你就可以收回你的賭注。

動態 | 浙江衛視節目科普支付寶區塊鏈防偽溯源產品:昨日,在浙江衛視播出的科普綜藝欄目《智造將來》現場,支付寶首次展示了支付寶區塊鏈防偽溯源產品,以接地氣的方式公開向大眾展示區塊鏈在生活中的應用。[2019/3/4]

在這一點上,你可能會擔心,可能性的樹狀圖會變得非常大,而且‘枝繁葉茂’。這在實踐中是不可能發生的,因為這需要多方對相互不一致的結果進行押注。他們中只有一個人可以是正確的,而其他人都會失去他們的利益。更有可能的是,這棵"樹"實際上是一個有效的DA鏈,一個接一個,而且所有的賭注都在同一個結果上。

staking期限

我們需要系統在時間過長之前,對每個可爭議斷言做出決定。所以,當一個DA被添加到鏈上,創建一個分支點時,會有一個deadline與該DA相關聯。這個deadline在未來足夠遠,如果大家選擇這樣做的話,就有時間檢查這個DA是否有效,并在鏈上得到一個交易來押注這個DA的結果。如果有人想承諾支持或反對該DA的有效性的賭注,他們必須在截止日期之前這樣做。(在截止日期后,仍然可以引入利害關系,但他們不參與決定支持或反對該DA。)一旦到了最后期限,所有與決定該訴訟請求有關的利害關系都將被告知。

爭議

如果Alice和Bob分別位于不同的位置,那么有兩種情況之一是真的。要么是有一條從其中一個到另一個的向右移動的路徑--這意味著他們的主張是一致的--要么就沒有這樣的路徑。如果沒有一條向右移動的路徑連接Alice和Bob的方塊,那么他們一定是在某些事情上有分歧。他們之間總會有一個獨特的爭議點--一個獨特的DA,

科普時報:區塊鏈與云計算長期發展目標不謀而合:據《科普時報》今日報道,區塊鏈與云計算兩項技術的結合,從宏觀上來說,一方面,利用云計算已有的基礎服務設施或根據實際需求做相應改變,實現開發應用流程加速,滿足未來區塊鏈生態系統中初創企業、學術機構、開源機構、聯盟和金融等機構對區塊鏈應用的需求。另一方面,對于云計算來說,“可信、可靠、可控制”被認為是云計算發展必須要翻越的“三座山”,而區塊鏈技術以去中心化、匿名性,以及數據不可篡改為主要特征,與云計算長期發展目標不謀而合。[2018/5/4]

對于這個DA,他們中的一個人以這個DA有效為賭注,而另一個人則以它無效為賭注。

每當雙方發生爭議時,系統可以啟動雙方之間的交互式爭議解決協議。我沒有篇幅在這里描述爭議解決協議--我只想說,這是一個類似于我們在其他Arbitrum文件中描述的二段式互動協議。

爭議解決協議的結果是,

有一方將被認定為不正確。該方將喪失其利

。賭注將被從其所在的

上抹去。其中一部分將交給爭端中的另一方,其余的將被

毀。

多個糾紛可以同時進行,但每個賭注者一次最多只能參與一個糾紛。因為輸家的賭注會被抹去,所以每次糾紛都會減少系統中的分歧量。輸掉賭注的當事人如果愿意可以重新賭注,但新的賭注將無法影響賭注期限已經過去的DA。這樣做的效果是,在一個DA的賭注期限過后,爭端將逐步消除關于如何處理該DA的任何分歧。

確認結果

當一個DA的下注截止日期過后,所有剩余的及時下注都在該DA的同一分支上,系統可以確認該DA的結果。該DA被接受或拒絕,當前狀態移動到該DA右側的相應方格。

如果DA被確認為有效,例如如支付,就會在鏈上生效。虛擬機的狀態就是這樣向前移動的。

在一般情況下,當事人會誠實地行事,因為他們不想因為押注在虛假的索賠上而失去自己的賭注。只有有效的DA才會被斷言,在一個單一的鏈條上,沒有人會在任何DA的無效分支上押注。在這種情況下,每一個DA都可以在其押注期限到期后立即得到確認。

為什么它是

去信任的

ArbitrumRollup的一個重要屬性是它是

信任的--一個誠實的一方可以迫使虛擬機表現正確并取得進步。要知道為什么,想象一下,Alice總是在每個DA上押在真實的分支上,如果樹曾經空了,她就會斷言DA。

因為Alice是在真實的樹狀圖上staking,所以她會贏得她所陷入的每一場糾紛。如果其他人不同意Alice的觀點,他們要么在與第三方的無關糾紛中失去自己的股權,要么最終與Alice發生糾紛,并將股權輸給她。無論哪種情況,所有與Alice意見相左的人最終都會失去自己的股權。只有與Alice意見一致的stake才會存活,所以Alice在樹上的路徑最終將是唯一一條有及時stake的路徑--而Alice的路徑將被確認。

因為這種方式的系統是不可信的,如果Alice被押在一個方塊上,并且她知道通往那個方塊的路徑是真實的,那么Alice就可以確定自己所在的方塊最終會被確認。

對于

Alice

來說,那條路徑就如同最終的一樣。

即使你沒有被押在一條路上,如果你看到有好幾個人被押在這條路上,而且你相信這些人中至少有一個人是誠實的,那么你可以肯定那條路最終會被確認--就你而言,那條路就是最終的路。

信任最終性的好處

為什么說結果的去信任性是有價值的?經典的例子來自于之前對其他rollup協議的討論。假設一個虛擬機要向Alice進行支付。支付事件是在誠實的路徑上,但要在鏈上確認支付發生的方塊,還需要一段時間。

信任性的結果就是給

Alice

提供了一個馬上拿到錢的方法。如果Bob有立即支付的錢,他可以馬上把錢給Alice,作為交換,Alice把未來尚未確認的付款轉讓給Bob。Bob只有在他能確定付款會真正發生的情況下才會想這么做。Bob可以通過押注誠實的結果來確定這一點--那么他就會對付款最終會發生充滿信任的信心。不僅僅是Bob能做到這一點,任何有資金的人都可以借給他。任何有資金的人都可以用同樣的方式把資金借給Alice和其他像她一樣的人。這些人可以通過提供更低的費用來相互競爭,促使Alice馬上獲得資金的成本降低。

關鍵的一點是,這種市場機制的可行性取決于

信任的結果。如果"每個人"都已經知道這件事最終會被確認,那么一件事在鏈上確認的延遲就不會有那么多不便。

不僅對于支付是如此,對于虛擬機做的其他事情也是如此。如果虛擬機要發出一個日志項,宣布某件事情已經發生,那么去信任的結果意味著任何人都可以肯定地行動,該日志項將在鏈上得到確認。

延遲攻擊

因為這個系統是有

信任性的,所以壞人不能強行制造錯誤的結果。他們可以嘗試做的是減緩進展。這樣做需要他們犧牲利害關系,如果利害關系的金額很大,那么代價就會很高。

讓我們想象一下,有人有動機發動延遲攻擊,而且他們愿意犧牲利害關系。他們能造成的最壞的損失是什么?

首先要注意的是,壞人無法阻止誠實的當事人繼續建立出誠實的路徑。而且他們也無法阻止誠實方在最終確認誠實分支的過程中獲得去信任的信心。

攻擊者能做的就是在假分支上staking,以延遲誠實路徑的鏈上確認。他們每放一個stake,就會對誠實方多產生一次糾紛,在這種情況下,誠實方就會拿走攻擊者的一大塊stake。

一旦攻擊者的所有stake都被拿下,鏈上進度將繼續進行。

如果攻擊者將多個賭注放在虛假的結果上呢?那么這些賭注就必須在糾紛中逐一拿下。如果有多人押注在誠實的結果上,這些人都可以對攻擊者進入糾紛,同時努力拿下攻擊者的賭注。而且注意,大家都會很清楚發生了什么事,很多人都會想參與進來,押注在真實的結果上,這樣他們就可以加入到利用糾紛搶奪攻擊者股權的喂養狂潮中。如果有K人在誠實的一方下注,那么攻擊者將花費K個賭注來購買一個爭端期的延遲。如果攻擊者下更多的賭注,那很可能會吸引更多的老實人賭注。這對攻擊者來說是個不好的動態。

優化

可以進行各種優化,以減少操作協議所需的鏈上記賬量,降低鏈上氣體成本,并使針對延遲攻擊者的有益喂養狂潮更容易上演。我不會在這里鉆研這些優化,這篇文章已經夠長了。

前進的道路

我們正在Offchain實驗室構建這個協議。預計這個ArbitrumRollup協議將很快被推送到我們的開源代碼庫中。

Tags:區塊鏈STAKSTAICE區塊鏈的五大應用領域Liquid Staking DerivativeSTAND幣Not Financial Advice

中幣交易所
巴比特專欄丨谷燕西:字節跳動應該如何開展數字銀行業務?_SDT

據媒體報道,字節跳動公司正在新加坡申請數字銀行牌照。我認為目前是字節跳動這樣的公司進入金融服務領域的非常好的機會。現在的金融市場正在向基于分布式記賬技術的生態遷移.

1900/1/1 0:00:00
巴比特公開課 | 孟巖:DeFi崛起,將與產業區塊鏈殊途同歸_DEF

8月18日晚,巴比特學院第5期公開課正式開講。本期課程邀請了數字資產研究院副院長、通證思維實驗室發起人孟巖,以“DeFi的現實、邏輯和趨勢”為主題進行分享.

1900/1/1 0:00:00
Pantera合伙人:自動調整供應量的AMPL是更好的比特幣_MPL

本文作者為PanteraCapital合伙人PaulVeradittakit,授權金色財經翻譯發表。利益相關:PanteraCapital是Ampleforth早期投資者.

1900/1/1 0:00:00
波卡生態大揭秘_TPS

在前天波卡項目代幣DOT100倍拆分后,市場又掀起了一陣波卡熱。 看似價格下來了,卻是100倍拆分,只是看起來單價降了。其實價格還是漲的.

1900/1/1 0:00:00
Vitalik Buterin : 區塊鏈驗證的哲學

注:原文作者是以太坊聯合創始人VitalikButerin。區塊鏈最強大的特性之一,就是可獨立驗證區塊鏈執行的每個部分.

1900/1/1 0:00:00
Plan B:以太坊的價值在于其效用而非稀缺性_以太坊

據U.Today8月22日報道,因比特幣Stock-to-Flow比率模型而廣為人知的交易員和金融分析師PlanB在Twitter上分享了他對以太坊的看法.

1900/1/1 0:00:00
ads