本文轉自:去中心化金融社區;作者:ChinaDeFi;星球日報經授權轉載。ArbitrumRollup是一種由鏈上以太坊合約管理的鏈下協議。dApp開發者有一組用Solidity編寫的合約,開發者將合約編譯到一個Arbitrum虛擬機(VM)中,以便在ArbitrumRollup上運行。我們希望他們跑得快。Rollups的基礎
讓我們從基礎開始。VM的狀態組織為默克爾樹,因此可以計算VM狀態的加密哈希。在協議的任何一點上,VM的某些狀態都是被完全確認。它的哈希存儲在鏈上。協議的參與者可以做出一個有爭議的斷言(DA),該斷言聲稱以某種狀態哈希開始,在一些技術前提下,VM可以執行指定數量的計算步驟,從而產生指定的新狀態哈希,并且VM在該計算期間進行指定的付款并發出指定的日志事件。DA可能是有效的(即真實的)或無效的。制定DA的一方將被要求為DA的有效性押金。
一個有爭議的斷言為協議創建一個決策點如左側所示,有爭議的斷言創建了協議最終必須解析的邏輯決策點。如果DA有效,系統將在右上角輸入一個新的狀態,帶有一個新的狀態哈希,以及DA中指定的副作用(支付和日志)。或者在另一個分支中,DA是無效的;它被拒絕了,狀態保持不變。之前的Arbitrum協議
Beosin解析Reaper Farm遭攻擊事件:_withdraw中owner地址可控且未作任何訪問控制:8月2日消息,據 Beosin EagleEye 安全輿情監控數據顯示,Reaper Farm 項目遭到黑客攻擊,Beosin 安全團隊發現由于_withdraw 中 owner 地址可控且未作任何訪問控制,導致調用 withdraw 或 redeem 函數可提取任意用戶資產。攻擊者(0x5636 開頭)利用攻擊合約(0x8162 開頭)通過漏洞合約(0xcda5 開頭)提取用戶資金,累計獲利 62 ETH 和 160 萬 DAI,約價值 170 萬美元,目前攻擊者(0x2c17 開頭)已通過跨鏈將所有獲利資金轉入 Tornado.Cash。[2022/8/2 2:54:18]
原來的Arbitrum協議一次處理一個爭議斷言。DA將會被某些人聲明,然后一個挑戰期就會過去,在此期間任何人都可以挑戰DA。如果沒有異議,DA將得到確認;否則將運行爭議協議并取消DA。這很簡單,但有兩個缺點。首先,因為一次只能有一個DA是處于活動狀態的,所以VM的進程速度將受到限制。從本質上講,進程必須在每個挑戰期間停止。第二,惡意行為者可以通過故意挑戰該VM創建的所有DA來凍結VM。這將使攻擊者付出一系列代價,但如果他們愿意支付這種費用,至少在某些情況下,他們可以在很長一段時間內拖延進展。新的,已經改進的Arbitrum協議
ENS開發負責人:以太坊已支持CCIP讀取與ENS通配符解析解決方案:3月14日,ENS開發負責人Nick Johnson在推特上表示,以太坊已支持CCIP讀取與ENS通配符解析解決方案。據悉,跨鏈互操作協議(CCIP)為ENS采用的跨鏈解決方案,旨在支持在二層網絡上發行鏈上的域名。[2022/3/14 13:55:55]
新ArbitrumRollup協議解決了這兩個缺點。多個DA可以被“流水線化”,這樣VM就可以像驗證節點模擬VM的計算一樣快速地進行。第二,正如我們將在下面看到的,一個“惡意行為者不能減緩進展,他們只能暫時推遲鏈上對結果的識別,對于誠實行為者來說,這些結果已經是“去信任的結果”。這是怎么做到的呢?每個狀態最多可以有一個DA跟隨它。如果一個DA沒有跟隨狀態,那么任何人都可以創建一個跟隨它的DA,從而創建一個新的分支點。其結果可能將會是一棵可能的未來樹。
可能的未來樹質押
協議的另一個重要部分是質押。任何人都可以在樹上的一個方盒子上質押。通過對一個方格進行質押,用戶可以斷言這個方格最終會被協議確認。用戶斷言在從當前狀態到自己所放置的方格的路徑上的每個DA處都采用了正確的分支。如果錯了,用戶可能會失去你的質押保證金。質押操作不能被撤銷。用戶可以把自己的保證金移到右邊——在每個分支點選擇上或下——但是不能移到左邊,因為那將等于撤銷自己之前做出的質押承諾。提出爭議主張的一方必須在該DA的“DA有效”繼任者上進行質押。通常,他們可以通過將現有的移到右邊,以將其放到所需的后繼方塊上來滿足這一要求。(在極少數情況下,他們無法做到這一點,他們可以在所需的方格上押下額外保證金。但請注意,他們將被押在兩條不一致的路徑上,因此他們最終將不得不失去至少兩個質押中的一個——自相矛盾并非明智之舉。)關于質押的另一個細節是:如果用戶所質押的方塊被確認并成為被接受的歷史記錄,用戶可以選擇收回自己的質押保證金。這意味著,如果用戶是正確的,就可以保持自己的本金,并等待系統“追上”自己,然后用戶就能夠收回自己的本金。
動態 | 以太坊域名服務ENS將加入多代幣支持,未來可解析至比特幣地址:go-ethereum和以太坊域名服務(ENS)核心開發者Nick Johnson今天在Twitter 宣布,已經提交了ENS以太坊域名的多代幣支持,該提議通過后ENS以太坊域名將支持解析域名到多個區塊鏈地址,其中甚至可以包括比特幣地址。這也意味著,ENS以太坊域名將可能成為跨鏈的域名系統,用戶可以通過一個域名在多個區塊鏈間互通,未來只需要向其他人展示自己的ENS以太坊域名即可。目前已經有多個數字加密貨幣錢包支持ENS以太坊域名,在使用以太坊錢包進行轉賬時,不需要再輸入冗長的以太坊0x 地址,而只需要輸入短地址即可。[2019/9/9]
一個更典型的狀態樹-一系列真實的斷言此時,用戶可能會擔心可能性樹可能變得非常大和其分支。這種情況在實踐中不太可能發生,因為它需要多方在相互不一致的結果上進行質押。只有一個可能是正確的,其他所有人都會失去他們的質押保證金。更有可能的是,“樹”實際上是一個有效的DA鏈,一個接一個,所有的質押都在相同的結果上。質押的截止日期
我們需要系統在時間過長之前對每個爭議斷言做出決定。因此,當一個DA被添加到鏈中,創建一個分支點時,一個截止日期就與這個DA相關聯。在未來,當截止日期足夠長時,每個人都有時間檢查DA是否有效,如果他們選擇這樣做,就可以在DA的結果上獲得鏈上交易。如果任何人想要承擔支持或反對該DA有效性,他們必須在截止日期之前這樣做。(截止日期后仍然可以引入質押保證金,但他們不參與決定是否支持該DA。)一旦截止日期到了,所有與決定DA有關的質押保證金都將被知曉。爭議
動態 | EOSCanada 解析 B1 源代碼解釋相關期權兌現計劃:據 IMEOS 報道,EOSCanada 發布文章解析 B1 源代碼,以解釋相關期權兌現計劃。文中經過源代碼分析得出結論,截至2019年1月1日,Block.one 可以贖回共計5879120個代幣。分析結果認為,如果 Block.one 想要以小于其全部權重的票數進行投票,則他們必須贖回當前最大數量的代幣。然后,他們必須將這些代幣轉移到一個單獨的帳戶,抵押,然后投票。截至撰寫該文時(2019年3月中旬),這筆金額約為785萬美元。因此,雖然 Block.one 以外的任何人都不知道他們投票的想法或他們想要用他們的代幣做什么,但我們現在都能理解實際存在的限制。[2019/3/21]
如果Alice和Bob被押在不同的方格上,那么兩件事之一將是真的。要么會有一條向右移動的路徑,從它們中的一個到另一個——這意味著它們的主張相互一致——要么就沒有這樣一條路徑。如果沒有一條向右移動的路徑連接Alice和Bob的方格,那么它們一定在某些方面存在分歧。它們之間總會有一個獨特的爭議點——一個獨特的DA,其中一個被質押在此DA是有效的,而另一個被質押在它上是無效的。
摩根士丹利分析師深度報告全解析:比特幣“見底”規律及六大必讀趨勢:摩根士丹利分析師Sheena Shah 19日發表最新研報。主要觀點包括:今天正在經歷的比特幣熊市早就在2000年的納斯達克市場上演過,只不過是以15倍速度在“快進”;熊市看到唯一交易量增加的數字貨幣可能就是USDT,盡管USDT的可靠性遭遇廣泛質疑,因為交易員們面對各種幣的大跌只能暫時先買回USDT;日元升值可能促使日本散戶增加對比特幣的投資;千幣齊跌,但區塊鏈行業依舊火熱,對于傳統VC來說,參與ICO也有三大好處;比特幣與其它幣之間的相關性隨價格下跌而上升,市場上漲時,它們的相關性反而下降;比特幣在不同交易所的價差顯示,價格觸底反彈的日子,價差會有規律的突然拉大。[2018/3/20]
Alice和Bob正準備爭議當雙方發生爭議時,系統可以在雙方之間啟動一個交互式的爭議解決協議。爭議解決協議的結果是,將發現一方是不正確的。該方將失去他們的質押保證金。質押保證金將從它所在的方格上被清除。一部分將交給爭議的另一方,其余的將被燒毀。多個爭議可以同時進行,但每個要質押的人一次最多只能卷入一個爭議。因為輸家的質押保證金將被抹去,每一次爭議都會減少系統中分歧數量。失去質押保證金的當事人如果愿意,可以重新質押,但新的質押保證金將無法影響已經過了質押期限的DA。這樣做的結果是,在DA的質押期限過去后,爭議將逐漸消除關于如何對待DA的任何分歧。確認結果
一旦一個DA的質押截止日期已經過去,并且所有剩余的及時(在定質押截止日期之前)的質押都位于該DA的同一分支上,系統就可以確認該DA的結果。DA要么被接受,要么被拒絕,當前狀態移動到DA右側的適當方塊。如果DA被確認為有效,其副作用將在鏈上實現,這就是VM的狀態如何前進。通常情況下,各方都會誠實行事,因為他們不想因為質押于虛假聲明而失去自己的利益。在單個鏈中,只有有效的DA將被斷言,沒有人將在任何DA的無效分支上質押。在這種情況下,每個DA都可以在其質押期限到期時立即被確認。為什么它是去信任的
ArbitrumRollup的一個重要屬性是它是去信任的——誠實的一方可以迫使VM正確運行并取得進展。為什么呢?想象一下,Alice總是在每個DA的真實分支上進行質押,如果樹是空的,她就斷言DA。因為Alice被質押在了真正的分支上,她會贏得她加入的每一場爭議。如果其他人不同意Alice,他們(a)要么在與第三方不相關的糾紛中失去他們的質押保證金,(b)要么最終與Alice發生爭議,并將他們的保證金輸給她。不管怎樣,所有不同意Alice的人最終都將失去他們的質押保證金。只有認同Alice的才能存活下來,因此Alice穿過樹的路徑最終將是唯一一個及時對其進行質押的人——Alice的路徑也將得到確認。
如果Alice是誠實的,不管其他人怎么做,綠色方塊最終都會被確認因為系統在這種情況下是去信任的,如果Alice質押在一個正方形上并且她知道到達那個正方形的路徑是真實的,Alice可以確定她所在的那個正方形最終會被確認。對Alice來說,這條路徑與最終路徑一樣好。即使用戶沒有在一條路徑上質押,但如果看到有幾個人質押在這條路徑上,并且用戶本人相信這些人中至少有一個是誠實的——這條路徑與最終路徑一樣好。去信任結果的好處
為什么去信任的結果是有價值的?這個經典的例子來自以前關于其他rollup協議的討論。假設一個VM要向Alice支付一筆錢。支付事件是在誠實的路徑上進行的,但在支付發生的方格上進行鏈上確認還需要一段時間。去信任的結果給了Alice可以立即拿到自己的錢。如果Bob有一筆沒有質押的錢,他可以立即把它給Alice,作為交換,Alice將未來尚未確認的款項分配給Bob(加上付給Bob一筆最低費用)。Bob可以通過質押誠實的結果來確保這一點——然后他就會信心十足的等待付款最終會被確認。不只是Bob能這么做。任何有保證金的人都可以以同樣的方式借給Alice和其他像她一樣的人。這些人可以通過提供更低的費用來相互競爭,降低Alice獲得保證金的成本。關鍵在于,這種市場機制的可行性依賴于去信任的最終結果。如果“每個人”都已經知道某件事最終會被確認,那么鏈上確認的延遲就不那么麻煩了。這不僅適用于支付,也適用于VM所做的其他事情。如果VM將發出一個日志項,宣布發生了一些事情,那么去信任的結果意味著任何人都可以確信該日志項將在鏈上被識別。延遲攻擊
因為這個系統是去信任的,惡意行為者不能強迫產生一個不正確的結果。他們所能做的就是減緩進程。這樣做需要他們犧牲質押保證金,如果質押保證金很大的話,這將付出昂貴的代價。假設有人想要發起延遲攻擊,他們愿意犧牲質押保證金。它們能造成的最嚴重傷害是什么?首先要注意的是,惡意行為者不能阻止誠實行為者繼續建立樹的誠實分支。他們也不能阻止誠實信任者在最終確認誠實的分支時獲得去信任的信任。攻擊者所能做的就是在虛假分支上質押,以延遲對誠實路徑的鏈上確認。他們放置的每一質押都會對誠實行為者造成更多的爭議,誠實行為者會拿走攻擊者的一大部分質押保證金。一旦攻擊者的所有質押保證金都被拿走,鏈上進程將繼續。如果攻擊者在錯誤的結果上設置多個風險怎么辦?那么這些質押保證金將在爭議中一個接一個地被拿走。如果有多個人參與到誠實的結果中,那么這些人都可以與攻擊者展開爭議,并行地拿走攻擊者的質押保證金。請注意,每個人都將清楚地看到正在發生的事情,許多人將想要參與到行動中,把質押保證金放在真實的結果上,這樣他們就可以加入到人們利用爭議來搶奪攻擊者的質押保證金的狂熱之中。如果有K個人在誠實的一方質押,攻擊者將花費K個質押保證金來購買一段爭議延遲。如果攻擊者下了更多的質押保證金,這可能會吸引更多誠實的質押者。這對攻擊者來說是一個糟糕的動態。優化
各種優化都有可能減少操作協議所需的鏈上記賬量,降低鏈上gas成本。
有讀者留言問了下面這個問題:“道兄,有個地方我沒明白,你分析牛市仍在關鍵在于美聯儲尚未加息,這點我非常認同,只要還在放水,必然會部分流向加密貨幣市場.
1900/1/1 0:00:00播報數據由Greeks.live和Skew.com提供。市場經歷了12日,19日和23日三次大幅下跌后,市場情緒比較悲觀,Skew一度從明顯負偏轉為明顯正偏,虛值Put的價格快速上升.
1900/1/1 0:00:00作者|秦曉峰編輯|Mandy出品|Odaily星球日報 上周六晚23點,一條短視頻在加密從業者的朋友圈廣泛流傳,一眾KOL紛紛轉發,并配文:一個時代的終結.
1900/1/1 0:00:00DeFi的爆發改變了公鏈競爭的格局。經歷了早期僅靠想象力估值的階段,如今生態的發展狀況已成為了判斷公鏈網絡價值的首要指標.
1900/1/1 0:00:00波卡生態觀察,是我們針對Polkadot生態內的項目,以不同生態位的視角來觀察和分析的一個專題欄目.
1900/1/1 0:00:00昨天和大家介紹了關于元宇宙中提供活動空間的項目。實際上除了我介紹的那幾個項目之外,還有其它一些知名項目比如thesandbox等.
1900/1/1 0:00:00