以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > 波場 > Info

金色觀察|簡析Arbitrum Rollup虛擬機的設計原理_TRU:bitcoin幣app下載

Author:

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

Arbitrum和Optimism是以太坊Layer2擴容的主要項目,因為兩者是以Rollup為技術核心實現的二層擴容,符合以太坊未來發展方向。

但面對未來豐富的生態應用預期,需要一個虛擬機來實現可編輯能力。因為Rollp的技術核心,卻讓這個方向成為一個實現略難的技術需求,目前兩者也限于虛擬機并不成熟。使得在這一層的可編輯能力有所限制。

今天本文中,我們將摘錄資料來了解Arbitrum網絡的虛擬機設計原理。

AVM設計的起點是基于以太坊虛擬機(EVM),因為Arbitrum目標是高效地執行為EVM編寫或編譯的程序,所以Arbitrum并未更改EVM設計的絕大部分。例如,AVM采用EVM的數據類型以及對EVM整數進行的操作指令等。

分析 | 金色盤面:BTC期貨合約持倉變化:金色盤面綜合分析:OKEX的BTC期貨合約持倉達到BTC93735左右。做多賬戶57%,做空賬戶42%,進過一夜的殺跌,市場做多情緒有所恢復;主力多頭平均持倉比例為25.5%,主力空頭平均持倉比例為14.4%,多頭持倉在凌晨達到峰值之后有所回落。截止發稿,OKEX現貨價格為6255,期貨合約當周BTC0817價格為6229,貼水26點。[2018/8/14]

這樣看來,AVM和EVM之間的差異源于Arbitrum的layer2需求和Arbitrum的多輪挑戰協議。

金色財經獨家分析 加密貨幣產業正在被引導至正向的發展軌道上: 泰國證券交易所(SET)推出區塊鏈技術的LiVE眾籌平臺。泰國對于加密貨幣產業的態度偏向友好。雖然近期泰國對加密貨幣交易征收7%的增值稅和15%的資本利得稅,與此同時還將對處理此類資產交易的交易所實施新的監管法規。泰國政府還將要求交易所建立更嚴格的KYC程序,并為所有用戶收集身份數據。但監管的介入以及稅收的收取是在規范加密貨幣市場,也就是將加密貨幣往更為正向的方向引導。在區塊鏈產業上,泰國正積極促進區塊鏈技術與各個產業的融合,此次泰國證券交易所(SET)推出區塊鏈技術的LiVE眾籌平臺就是在證券交易中運用了區塊鏈技術。[2018/5/7]

執行與證明

金色財經訊:法國金融市場管理局負責人Robert Ophele警告:法國與歐盟監管部門需有所作為,以適應加密貨幣行業的迅速發展,且希望能邀請ICO項目發行方及監管部門進行談話。[2017/10/11]

與EVM架構不同,Arbitrum需要支持本地執行和受信證明。基于EVM的系統通過重新執行有爭議的代碼來解決爭議,而Arbitrum依賴于形成最終證明的挑戰協議解決爭議。

Arbitrum希望在本地可信環境中針對速度做優化執行,因為本地執行是常見情況。系統很少需要證明,但需要一直保持準備證明的狀態。

操作系統

Arbitrum使用2層操作系統ArbOS。ArbOS控制單獨合約的執行,以將它們彼此隔離并跟蹤它們的資源使用情況。

此外,上面這些功能是執行在2層的可信軟件中,而不是像以太坊那樣將可信添加到的1層網絡搭建的強制規則中,這樣參與者都會從2層較低的計算和存儲成本中受益,而不是必須將這些資源成本作為1層EthBridge合約的一部分進行管理,增加成本。

Merkleize

任何依賴斷言和爭議解決的2層協議都必須定義一個規則,用于對虛擬機的完整狀態進行Merkle哈希。該規則必須是架構定義的一部分,因為它依賴于解決爭議。

維護的Merkle哈希在需要重新計算時也需要保持有效。這會帶來一些構建內存的影響。任何大型且可變的存儲結構對于Merkleize來說都是較貴的,并且Merkleize的算法必須是架構規范的一部分。

AVM架構通過只有大小有限、不可變的內存對象來應對這一需求,這些對象可以通過引用包含其他元組。元組不能就地修改,但有一條指令可以復制帶有修改的元組。這允許構建樹結構,其行為類似于大型平面存儲器。通過訪問在內部使用元組的庫,應用程序可以使用諸如大型平面數組、鍵值存儲等功能。

元組的語義使得創建元組的循環結構變得不可能,因此AVM實現可以通過使用引用計數的、不可變的結構來安全地管理元組。每個元組值的哈希只需要計算一次,因為內容是不可變的。

代碼點

代碼的常規組織是存儲指令的線性陣列,并需要保持指向下一條指令的程序計數器。使用這種傳統方法,證明執行指令需要對數時間和空間,因為必須提供Merkle證明來證明當前PC下的指令。

AVM使用這種傳統的執行方法,但它增加了一個功能,使證明和證明檢查需要恒定的時間和空間。出于證明目的,“程序計數器”被替換為“當前代碼點哈希”值,它是機器狀態的一部分。

在正常執行中,實現通常只使用傳統架構上的PC值。但是,當需要證明時,證明者可以使用查找表來獲取與任何相關PC對應的代碼點哈希值。

Tags:ARBTRUBITRBISHARBIbuildyourtrustbitcoin幣app下載RBIF

波場
央行數研所副所長狄剛:已率先實現在數字人民幣研發項目中積極探索區塊鏈應用_CBD:區塊鏈

中國人民銀行數字貨幣研究所副所長狄剛12月5日在國際金融論壇第18屆全球年會上表示,區塊鏈技術在數字金融領域應用成果初現.

1900/1/1 0:00:00
熱錢包事故致AscendEX損失近8000萬美元_ASCEND:DEX

AscendEX交易所的三周年活動被熱錢包事故蒙上了陰影。12月12日,AscendEX公告稱,此前一天,「我們檢測到一些ERC-20、BSC和Polygon代幣從我們的熱錢包中未經授權而轉移.

1900/1/1 0:00:00
Web3:用數學解決信任問題_WEB:區塊鏈通俗易懂的例子有哪些

加密貨幣人是否正在關注下一件大事,你是否錯過了這個機會?在最新的快速致富計劃中,他們會失去一切嗎?外部人士看來,加密很像賭場。它的機制揭示了令人更興奮的東西:區塊鏈.

1900/1/1 0:00:00
紅杉資本是否All in Crypto不重要 VC的范式轉移很重要_NFT:PHUNK Vault (NFTX)

你想對世界產生影響,還是想參與一場金融游戲?近期,歷史最久、基金規模最大的「地表最強風投」紅杉資本頻頻發出高調AllinCrypto和Web3.0的信號.

1900/1/1 0:00:00
區塊鏈元宇宙將打開虛擬經濟的大門 DAO將成為元宇宙內商業模式的標準_NFT:元宇宙

自從全球第六大最有價值公司Facebook宣布將公司更名為Meta以來,元宇宙概念已成為主流。事實上,元宇宙并不是什么新鮮事物.

1900/1/1 0:00:00
從P2E到S2E 元宇宙商業范式的轉移_NEXT:Shopping.io Governance

2020年初的那場疫情幾乎讓全球經濟陷入停擺的境地,時至今日,短短兩年內,人們的生活發生了翻天覆地的變化,線下活動受到極大的限制.

1900/1/1 0:00:00
ads