最近Uniswap和Sushiswap都在計劃使用Arbitrum的L2方案,這使得Arbitrum成為人們關注的以太坊L2方案。那么,如何簡單理解Arbitrum?
Arbitrum也是rollups系列的L2方案
以太坊Layer2方案有不少,其中最受關注的還是Rollups系列。
Arbitrum也是Rollups系列的解決方案。這些方案基本上是將安全放在以太坊鏈上,而將計算和存儲放在鏈下執行。簡單來說,參與者將其交易數據提交到以太坊鏈上,用戶可以查看交易,不過交易的計算和存儲在鏈外進行。Arbitrum會定期向以太坊發送包含Arbitrum上發生的完整狀態哈希,這個哈希作為結果放在鏈上,實現不可篡改和最終性。
相對來說,Arbitrum跟OptimisticRollups在框架思路上近似,在結果驗證方面,都屬于欺詐證明范疇,而ZKRollups則屬于加密有效性證明范疇。
在前提假設上,欺詐證明類Rollups假定提交鏈上的結果是可用的,而任何人都可以對Layer1的交易數據進行提取和執行,通過比較狀態,來檢查合約執行正確與否。加密證明類Rollups采用的是數學方法,通過零知識證明實現有效性,它本質上無法作假。由此,加密有效性證明屬于主動證明,而欺詐證明則屬于被動證明,當人們不同意結果時會出現爭議,需要仲裁。
美國眾議院通過法案 允許參議院只要簡單多數票即可提高債務上限:12月8日消息,美國眾議院周二以222票對212票通過了一項立法,該法案將允許參議院只要簡單多數票即可提高美國債務上限。根據該法案的條款,民主黨將獲得一次性的快速審批權力(fast track authority ),以提高美國債務上限,增加的金額可能足以支付到2022年的借款。通過這項立法后,降低了美國在本月份違約的風險。參議院多數黨領袖舒默和少數黨領袖麥康奈爾稍早宣布,他們已達成協議以利提高債務上限。(金十)[2021/12/8 12:58:23]
從整體上看,ZKRollups的安全性更高,且實現最終性更快,這意味著其提取時間更快,它更適合轉賬等場景。而OptimisticRollup和Arbitrum的方案都有挑戰期,需要挑戰期結束,才能最終確認,才能提幣,這是它的不足。不過,ZKRollups要生成加密有效性證明,其計算成本很高,很昂貴,且落地成熟還需要一定的時間。
從長期看,ZKRollpus有可能是最終的解決方案,但是ZKRollups成熟和落地需要更長時間,而以太坊的擴展需求更為緊急,從這次智能鏈的崛起也能看出來。ZKRollups的落地較慢,給予OptimisticRollups和Arbitrum機會。
SFIL聯合發起人Bit Gu:SFIL讓Filecoin挖礦變得簡單:2021年02月01日晚,由Gate.io主辦的直播專訪節目《酒局幣赴》邀請到SFIL聯合發起人Bit Gu直播分享近期最新發展。直播期間Bit Gu與Gate.io合伙人酒兒就用戶關心的SFIL是如何降低Filecoin挖礦門檻的以及相關事項進行了探討與交流。
Bit Gu指出,SFIL是錨定Filecoin算力的標準滿存算力通證,每一個SFIL錨定0.01T Filecoin滿存算力,用戶持有SFIL就可以獲得相對應的Filecoin挖礦收益,同時,用戶還可以在二級市場交易SFIL,隨時釋放自己的資金流動性。可以說, SFIL通過一套標準算力的機制,降低Filecoin挖礦門檻,建立Filecoin挖礦標準,擴展Filecoin挖礦行業生態,同時打開了限制新老礦工的Filecoin挖礦天花板,真正踐行“ 打破Filecoin挖礦行業的黑匣子,和優先的礦業服務商共建行業標準算力”的項目初衷,讓Filecoin挖礦這件事變得不再復雜。[2021/2/1 18:38:14]
因此,從中短期落地來看,欺詐證明類Rollups有更快的落地機會。欺詐證明本身是“樂觀派”,預設所有提交者都是好人,除非被證明有罪。只要有一位驗證者存在,就可以提交欺詐證明,就是安全的。因此,存在一位誠實的驗證者這個假設就變很重要。只需要一位驗證者即可提交在線欺詐證明,有長達一周的欺詐證明時間窗口,這也導致最終確認時間緩慢,提款時間過長。
聲音 | 萊特幣創始人李啟威:低買高賣看上去很簡單,但絕大多數人很難做到:萊特幣創始人李啟威(Charlie Lee)在做客ChainNode直播時表示,“沒想到這波行情來得這么快,雖然比特幣還沒有回到其歷史最高點,但今年上漲的程度已經讓我很驚喜了。低買高賣,聽起來還挺搞笑的,但是很遺憾的是大部分人都是高買低賣。當情緒高的時候,大家聽到比特幣、以太坊、萊特幣,就一股腦兒地買;當價格跌了80%,他們覺得這些幣要歸零了,又立馬割肉。人性決定了絕大多數人很難低買高賣,但如果真的能夠做到,你是肯定能賺到錢的。[2019/7/9]
總的來說,欺詐證明和加密有效性證明類的Rollups各有優缺點。ZKRollups是非交互式的,通過數學的方法來解決問題,而OptimisticRollups和ArbitrumRollups都是交互式的。從這個意義上,OptimisticRollups和ArbitrumRollups是類似的,不過它們在具體路徑上也存在差別。
Arbitrum是多輪交互式的Rollups方案
從上述來看,Arbitrum和Optimistic同為欺詐證明范疇的Rollups方案,兩個方案的核心問題都是:如何驗證結果的正確性?會不會有人發送惡意的證明?因此,兩者都有挑戰機制。驗證人可以向鏈上發送斷言,提出爭議。如果斷言為假,則會失去其質押的保證金資產。
聲音 | ?麥肯錫:區塊鏈必須成為可用解決方案中最簡單的:2月1日,界面刊登了題為《麥肯錫:區塊鏈為什么陷入了瓶頸?》的文章,剖析了區塊鏈陷入瓶頸的原因,并指出如果想真正成為一項革命性技術,關鍵在于,區塊鏈必須是可用解決方案中最簡單的一個。麥肯錫表示,區塊鏈面臨很多挑戰,如難以理解、技術障礙、安全問題等,如果不加以有效解決,其前景堪憂。目前在中國難有稱得上成功的區塊鏈應用,原因主要有以下幾個原因:1.頭部公司掌控大部分有價值應用,但受困于融資軍備競賽,而本應作為顛覆者存在的創業公司在產品和技術上未有大的突破。2.缺乏成功案例借鑒,“自我摸索”反成常見運維方案。3.缺乏標準統一的技術規范和概念。進入2019年,麥肯錫認為區塊鏈的實用價值主要體現在某些特定場景、數字化價值和打造創新形象。[2019/2/3]
Arbitrum和Optimistic之間的主要不同在于解決分歧的方式。當有驗證者向L1提交rollup區塊,有人認為不正確,這個時候怎么辦?
Arbitrum采用的是多輪互動協議來解決爭議,將規模大的爭議細分成小的爭議,直到找到最關鍵的那一步,然后再通過以太坊合約來確定它是否正確。通過拆分爭議,Arbitrum試圖實現更高效的解決方案。
Arbitrum中的參與者可以質押保證金,斷言某個狀態最終會被確認。如果斷言錯誤,用戶的質押保證金會罰沒。兩個用戶質押在不同的方塊上,這意味著只能其中一個是真的。為了防止有人攻擊,爭議的斷言者需要質押保證金資產,防止其作惡。
EOS意見領袖BM:目標是讓輕客戶端盡可能簡單高效:金色財經合作媒體IMEOS獨家報道:今日BM和Bart, Areg討論了簡化輕客戶端的必要性。特別是希望輕客戶端始終能夠使用15/21簽名驗證出塊者的時間表變動,而不需要復雜的DPOS證明顯示間接證據。實際上,只有少于15個可用簽名的塊才是短期網絡拆分的一部分。BM說他們的目標是讓輕客戶端盡可能簡單高效。只要固定的成本,就可能有幾乎無限多的輕客戶端能在主鏈上。[2018/4/10]
在剛開始的設計中,Arbitrum協議采用了一次處理一個爭議斷言的做法。由某個參與者提出爭議斷言,爭議斷言存在挑戰期,在這個期間任何人都可以挑戰該爭議斷言。如果沒有人挑戰,那么,該爭議斷言將被視為有效。
不過這種單線推進模式存在瓶頸。一次激活一個爭議斷言,效率低下,VM進程受限。同時,作惡者可以故意通過挑戰爭議斷言來延緩VM。即便需要付出質押資金,但也可以拖延。
因此,在新的設計中,Arbitrum可以同時處理多個爭議斷言,不是線性進行。作惡者減緩進程的實現難度更高。目前Arbitrum采用多個爭議斷言同時處理的方法,一個質押者一次一個斷言,不同的質押者則可以同時處理多個斷言。
隨著斷言被確認為有效,其VM的狀態也不斷向前推進。通常來說,人們會選擇誠實行為,因為這樣可以確保其質押保證金不會被罰沒。除非有惡意攻擊理由,人們沒有必要將其資產質押在錯誤的分支上。
為了實現無須信任的特性,在Arbitrum的設計中,任何一個誠實參與者可以推進VM正確性和進展。如果一個參與者總是在正確的分支上質押,TA會贏得所有的爭議斷言。如果其他人不同意,只會失去其質押保證金。只有誠實參與者一起,才能免遭懲罰。
如果上圖中的Alice斷言證明為正確,那么Bob質押的保證金資產會失去,而Alice則獲益。
在單輪互動的Rollups中,斷言包括每個調用結果,挑戰者指向斷言中具有錯誤結果的特定調用。鏈上合約模擬被挑戰的調用并檢查是否有錯。如果有錯,則整個斷言被取消,其斷言者失去質押的保證金。如果挑戰窗口期過后,沒有成功的挑戰,則斷言被接受,并具有最終性。
而在多輪互動的Rollups中,也有挑戰時間窗口期,斷言者和挑戰者之間存在多輪交互,鏈上合約作為裁判,由它來決定誰是錯誤。多輪交互設計的主要考慮在于,盡可能減少解決爭議的鏈上工作。通過在挑戰者和斷言者之間的多輪交互最大程度減少鏈上的工作量。
單輪交互和多輪交互本質上是對鏈上成本和解決爭議時間的平衡。單輪和多輪交互式Rollups都需要寫入所有對合約的調用及其數據上鏈,不同的地方在于它們需要將什么作為斷言一部分提交到鏈上。單輪交互模式要求模擬鏈上的完整調用,從成本上考慮的話,它會更加貴一些。而多輪交互可以通過細分,可以將爭議范圍縮小,且向鏈上寫入的數據相對更少些,使得其在鏈上執行成本更低。不過,它也并非沒有缺點,它的確定增加了輪次,增加了時間。
此外,Arbitrum多輪交互模式可能會面臨延遲攻擊。由于系統是無須信任的。惡意攻擊者可以延緩進程,當然,他們這么做也有代價,就是其質押保證金會被罰沒。還需要注意的是,惡意行為者無法阻止誠實的參與者持續構建誠實的分支,也無法阻止誠實參與者在誠實分支上獲得最終的確認。他們能做的事是通過在錯誤分支上進行質押保證金,并延緩鏈上對誠實分支的確認。他們可以制造多個爭議斷言,如果誠實參與者足夠多,它們可以同時應對這些爭議斷言,并捕獲攻擊者的質押保證金。也就是說,誠實參與者越多,攻擊者就需要越多的質押資產來進行延緩攻擊,攻擊的難度就越大。
此外,在多輪交互的Rollups中,可以實現有效的“斷言”會成為“無須信任的最終性”,任何人可以確信其最終確認是不可避免的。為了確保自己的最終確認,用戶可以參與到協議中來捍衛斷言,即便是單獨行動,也可以推動其最終確認的發生。
如果沒有挑戰,多輪和單輪交互的確認速度類似,如果有人挑戰,多輪爭議耗費的時間會更長一些。在這個方面,單輪交互有優勢。單輪交互不會允許確認延緩攻擊,而多輪交互的好處在于更小的鏈上數據,可以處理突破以太坊gaslimit的合約。
欺詐證明類的Rollups在最終確認方面存在一定的時間周期。因此,通過Arbitrum的轉賬沒有辦法像ZKRollps方案一樣達成快速的最終性。其可能的解決方案是,通過第三方的介入。第三方可以將其資金立即轉給用戶,但用戶也需要支付一筆提前提取費用。一般而言,第三方認為未確定的轉賬一定會實現,第三方會在誠實的結果上進行保證金質押。由于任何人都可以將資金轉給需要快速提取的用戶。那么,這樣也存在一個市場,會導致費用處于均衡,不會過高或過低。
Arbitrum的EVM兼容性
Arbitrum試圖跟以太坊完全兼容,兼容EVM,無須重寫程序。跟以太坊完全兼容,這個在智能鏈上我們看到了威力。這是它能夠順利嵌入以太坊當前生態的最重要的舉措。
dApp開發者使用Solidity語言編寫其智能合約,這些智能合約編譯成ArbitrumVM,可以在ArbitrumRollups上運行。
Arbitrum的進展
Arbitrum技術目前推出ArbitrumOne。Arbitrum合約在以太坊主網上部署,已經開始接納項目,目前處于主網測試階段。按照Arbitrum的說法,目前有超過250個團隊申請進入,它向所有開發者開放。接下來的幾周時間,可以看到越來越多的DeFi項目會進入Arbitrum生態。
目前一些以太坊生態的重要參與者,例如Etherscan等也在支持ArbitrumOne鏈。
以太坊與L2的落地
有意思的是,Arbitrum沒有原生代幣,采用ETH作為燃料,所有費用使用ETH支付,這對于ETH來說,也是好事,暫且不說未來它對ETH有多大需求。
就目前來說,以太坊的可擴展需要長短期結合的打法,來滿足其快速成長的需求,尤其是DeFi和NFT爆發性增長的需求。從長期看,L2可能是ZKRollups獲勝,但由于其高昂的成本和落地的滯后,可能需要較長時間來消化。而Arbitrum和OptimisticRollups可能更早落地,雖然其提取時間長,但并非無解。此外,在實踐中成長,也可能會誕生新靈感。
除了L2的逐步落地,隨著EIP-1559在今年7月份的可能推出,以及年底可能的PoS,2021年的以太坊注定是不尋常的一年。
2021年5月19日幣安智能鏈上最大借貸協議Venus發布的大額清算事件,有投資者質疑為團隊內幕交易.
1900/1/1 0:00:00Multichain.xyz是AnySwap團隊和yearn.finance(YFI)創始人AndreCronje基于AnySwapSMPCNetwork共同開發的多鏈跨鏈平臺.
1900/1/1 0:00:00來挖鴨子嗎? 這是Wavesprotocol最近推出的一個結合NFT收藏品和Farming的游戲,你可以叫它DuckHunters或者Wavesducks.
1900/1/1 0:00:00前言 2018年年中Marble首次提出了閃電貸這一概念,但在一年后閃電貸才開始慢慢發展起來,并于2020年進入區塊鏈用戶的視線中.
1900/1/1 0:00:00原標題:《黑客攻同源漏洞「團滅」Fork協議》 撰文:凱爾 2021年5月,加密資產市場頗為動蕩,BTC從5萬美元上方最低跌至29000美元,幾近腰斬,大多數加密資產最大跌幅超過50%.
1900/1/1 0:00:00本報訊?記者冉光雯報道?日前,省發展改革委官網發布了《云南省支持區塊鏈產業發展若干措施實施細則》,全省將大力支持區塊鏈新基建發展,每年擇優遴選3個應用活躍、帶動突出的區塊鏈平臺.
1900/1/1 0:00:00