宇宙链 宇宙链
Ctrl+D收藏宇宙链

金色观察|简析Arbitrum Rollup虚拟机的设计原理

作者:

时间:1900/1/1 0:00:00

Arbitrum和Optimism是以太坊Layer2扩容的主要项目,因为两者是以Rollup为技术核心实现的二层扩容,符合以太坊未来发展方向。

但面对未来丰富的生态应用预期,需要一个虚拟机来实现可编辑能力。因为Rollp的技术核心,却让这个方向成为一个实现略难的技术需求,目前两者也限于虚拟机并不成熟。使得在这一层的可编辑能力有所限制。

今天本文中,我们将摘录资料来了解Arbitrum网络的虚拟机设计原理。

AVM设计的起点是基于以太坊虚拟机(EVM),因为Arbitrum目标是高效地执行为EVM编写或编译的程序,所以Arbitrum并未更改EVM设计的绝大部分。例如,AVM采用EVM的数据类型以及对EVM整数进行的操作指令等。

Crypto.com:将建立全球创新实验室:金色财经报道,加密货币公司Crypto.com表示将建立全球创新实验室,推动区块链、Web3和人工智能项目的发展。[2023/6/27 22:02:44]

这样看来,AVM和EVM之间的差异源于Arbitrum的layer2需求和Arbitrum的多轮挑战协议。

执行与证明

与EVM架构不同,Arbitrum需要支持本地执行和受信证明。基于EVM的系统通过重新执行有争议的代码来解决争议,而Arbitrum依赖于形成最终证明的挑战协议解决争议。

BlueSnap与BitPay合作提供加密货币接受和支付:金色财经报道,B2B和B2C全球支付平台BlueSnap宣布与全球最大的比特币和加密货币支付服务提供商BitPay建立新的合作伙伴关系。该产品合作伙伴关系将使企业能够在全球范围内接受多达 15 种不同的加密货币和七种法定货币并获得付款。[2022/10/14 14:26:51]

Arbitrum希望在本地可信环境中针对速度做优化执行,因为本地执行是常见情况。系统很少需要证明,但需要一直保持准备证明的状态。

操作系统

Arbitrum使用2层操作系统ArbOS。ArbOS控制单独合约的执行,以将它们彼此隔离并跟踪它们的资源使用情况。

BlockSec检测到针对Invest Finance的攻击:6月16日消息,BlockSec攻击检测系统检测到针对Invest Finance的攻击。攻击者利用价格操纵使得Invest Finance对于抵押物的价值计算错误,从而能借出更多的资产。[2022/6/16 4:32:41]

此外,上面这些功能是执行在2层的可信软件中,而不是像以太坊那样将可信添加到的1层网络搭建的强制规则中,这样参与者都会从2层较低的计算和存储成本中受益,而不是必须将这些资源成本作为1层EthBridge合约的一部分进行管理,增加成本。

Merkleize

任何依赖断言和争议解决的2层协议都必须定义一个规则,用于对虚拟机的完整状态进行Merkle哈希。该规则必须是架构定义的一部分,因为它依赖于解决争议。

维护的Merkle哈希在需要重新计算时也需要保持有效。这会带来一些构建内存的影响。任何大型且可变的存储结构对于Merkleize来说都是较贵的,并且Merkleize的算法必须是架构规范的一部分。

AVM架构通过只有大小有限、不可变的内存对象来应对这一需求,这些对象可以通过引用包含其他元组。元组不能就地修改,但有一条指令可以复制带有修改的元组。这允许构建树结构,其行为类似于大型平面存储器。通过访问在内部使用元组的库,应用程序可以使用诸如大型平面数组、键值存储等功能。

元组的语义使得创建元组的循环结构变得不可能,因此AVM实现可以通过使用引用计数的、不可变的结构来安全地管理元组。每个元组值的哈希只需要计算一次,因为内容是不可变的。

代码点

代码的常规组织是存储指令的线性阵列,并需要保持指向下一条指令的程序计数器。使用这种传统方法,证明执行指令需要对数时间和空间,因为必须提供Merkle证明来证明当前PC下的指令。

AVM使用这种传统的执行方法,但它增加了一个功能,使证明和证明检查需要恒定的时间和空间。出于证明目的,“程序计数器”被替换为“当前代码点哈希”值,它是机器状态的一部分。

在正常执行中,实现通常只使用传统架构上的PC值。但是,当需要证明时,证明者可以使用查找表来获取与任何相关PC对应的代码点哈希值。

来源:金色财经

标签:BITARBArbitrumTRUBit Castle WarArbitrage Tokenarbitrum币圈名称trustwallet如何添加usdt

芝麻开门交易所热门资讯
Polygon以4亿美元收购Mir团队

Polygon以4亿美元收购了ZK技术佼佼者Mir以推动以太坊扩容这笔交易是Polygon的10亿美元用于以太坊扩容战略的关键一步,该战略旨在将一流的零知识开发团队引入Polygon,使其得到广泛的采用.

1900/1/1 0:00:00
Paradigm创始人Matt Huang:18年的熊市有许多令我们怀念的元素

原标题:《Paradigm’sMattHuangontheBiggestCryptoFund》 翻译:董一鸣 资金继续快速涌入加密货币领域。机构、风险投资公司、私人投资者似乎都在去年发现了这个问题.

1900/1/1 0:00:00
链安访谈65期丨解析Flokimooni元宇宙边玩边赚

元宇宙可以说是2021最热门的板块,层出不穷的元宇宙相关项目涌现,其中,Flokimooni近期在社区热度颇高,在全球各大社区都有Flokimooni的影子,社区成员也很好奇Flokimooni究竟有什么魅力? 今天.

1900/1/1 0:00:00
金色观察 | 美元现紧缩预期 BTC获利者退出 加密市场再现大回调

自11月10日比特币达到69000美元高位后,加密市场便持续震荡下跌。在刚刚的过去的周末,加密市场迎来大回调。比特币一度跌破42000美元关口,其他加密币种呈现不同程度下跌,多数币种下调幅度超10%,甚至一度跌超20%.

1900/1/1 0:00:00
五分钟读懂元宇宙两大龙头The Sandbox 和 Decentraland

原文标题:《继林俊杰后,阿迪达斯"买地"深度入局,区块链元宇宙两大龙头浮出水面》 作者|Leno 近期.

1900/1/1 0:00:00
Element BSC P2E游戏盲盒计划正式启动,为链游提供新赋能

官方消息,去中心化多链NFT交易平台Element宣布将于12月份正式上线BSC版本,支持盲盒、交易、打新及全链资产查看功能.

1900/1/1 0:00:00