火星链 火星链
Ctrl+D收藏火星链
首页 > 区块链 > 正文

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

作者:

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

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

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

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

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

Chaos Labs 与 Uniswap基金会合作推出Uniswap V3 TWAP预言机风险门户网站:5月26日消息,区块链风险分析公司 Chaos Labs 与 Uniswap 基金会合作推出 Uniswap V3 TWAP 预言机风险门户网站,该网站强调了 V3 池中 TWAP 操纵的实时成本。该 TWAP 市场风险应用程序利用资金池数据(包括流动性深度和耗尽价格)对所有 V3 资金池和部署的实时操纵风险进行量化,用户可以查看所有池中的操纵成本。该门户将实时集中的流动性分配纳入量化操纵成本,并量化了移动当前现货价格的资本要求以及量化在 30 分钟窗口内移动 TWAP 的资本要求,允许用户模拟额外的流动性在特定时段内如何增加操纵的资本需求。[2023/5/26 9:44:19]

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

Borderless Capital等联合发起5000万美元Wormhole跨链生态基金:5月18日消息,超过20个区块链团队和风险基金联合发起一个5000万美元的跨链生态系统基金,专注于支持和发展利用Wormhole跨链消息传递协议的新创业公司。跨链生态系统基金由Web3领域风险投资机构Borderless Capital管理和运营。[2023/5/18 15:11:32]

执行与证明

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

《富爸爸穷爸爸》作者:比特币是商品,将购入更多比特币:金色财经报道,畅销书《富爸爸穷爸爸》作者 Robert Kiyosaki 近日发文表示,其正在投资比特币,因为它和黄金、白银和石油一样被归类为商品。他补充说,大多数加密货币都被归类为证券,SEC 的法规将会粉碎其中的大部分。他将购入更多比特币。[2023/1/1 22:19:24]

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

操作系统

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

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

Merkleize

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

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

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

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

代码点

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

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

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

来源:金色财经

标签:ARBBITARBIArbitrumCarbonEcobitmart夏尔特真名arbi币总量arbitrum币交易所

区块链热门资讯
GAME:GameFi中的代币经济学:GameFi的经济模型应该如何设计?

译者注:U本位打金游戏CryptoMines的平台通证ETERNAL从11月30日凌晨1点(UTC+8)开始出现闪崩,随后一路暴跌.

1900/1/1 0:00:00
区块链:区块链100问区块链能改变世界 (波场助手)

对标美元的USDTUSDT是Tether公司推出的对标美元的代币TetherUSD。1USDT=1美元,用户可以随时使用USDT与USD进行1:1兑换.

1900/1/1 0:00:00
QUA:Square更名为Block 重点转向区块链

数字支付公司Square宣布,其已将公司名称改为Block,似乎是在向区块链技术转变。在周三的一条推文中,Square表示,更名后的支付公司将与CashApp、去中心化比特币交易所项目tbDEX.

1900/1/1 0:00:00
EFI:ADAMoracle预言机助力GameFi构建可信经济生态

元宇宙应用,DeFi和NFT的结合——Gamefi最近一个月,GameFi之上的元宇宙以及个别概念币种,仿佛接过了去年DeFi点燃整个市场行情的大棒,让大家意识到了其背后的潜力.

1900/1/1 0:00:00
UNC:谋篇布局!斯塔克科技联办区块链大会重塑新格局

谋篇布局,撬动万亿蓝海;顺势而为,勇立风口潮头。在万物互联的时代,随着5G、云计算、人工智能等技术的涌现和逐渐成熟,如何开创属于自身的里程碑,构建多元价值生态,是斯塔克科技一直全力以赴在做的事.

1900/1/1 0:00:00
LOC:Footprint:你购买的NFT受到法律保护了吗?

笔者在上文《花式购买NFT就拥有了版权吗?》里提到了NFT买家在交易时得到该NFT作品所附的权利中智能合约载明的权利,并不能享有对映射作品的任何权利.

1900/1/1 0:00:00