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

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

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

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

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

金色财经挖矿数据播报 | ETH今日全网算力上涨3.62%:金色财经报道,据蜘蛛矿池数据显示:

BTC全网算力124.603EH/s,挖矿难度15.78T,目前区块高度638375,理论收益0.00000836/T/天。

ETH全网算力194.698TH/s,挖矿难度2439.37T,目前区块高度10422480,理论收益0.00875570/100MH/天。

BSV全网算力2.231EH/s,挖矿难度0.31T,目前区块高度642869,理论收益0.00040345/T/天。

BCH全网算力2.732EH/s,挖矿难度0.38T,目前区块高度643100,理论收益0.00032946/T/天。[2020/7/9]

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

金色晨讯 | 4月30日隔夜重要动态一览:21:00-7:00关键词:经济日报、日本、CME、浙江

1. 经济日报:充分利用区块链等推动金融产品和服务创新应用;

2. 以比特币为主题的漫画在日本推出;

3. CME比特币期货5月合约收涨超13%;

4. 解放军报:强化运用区块链等推动军队改革建设的能力;

5. 美国SEC专员:央行数字货币存在信任和隐私问题;

6. 观点:股东大会等场合可以利用区块链实现电子投票;

7. 浙江省数字服务贸易云展会运用区块链等提升产品体验;

8. Caitlin Long:美元贬值将使加密货币获得采用;

9. BTC现报8785.41美元,日内涨幅5.12%,市值前十币种均出现上涨。[2020/4/30]

执行与证明

金色财经现场报道,天驰君泰律师事务所高级合伙人孙志勇:区块链生态是Token运用的土壤:金色财经现场报道,天驰君泰律师事务所高级合伙人孙志勇在GoldenBlock 共识·链上未来论坛上表示,区块链生态是Token运用的土壤,土壤越广阔,越肥沃,Token越茁壮;而Token的价值与其商业应用生态直接相关,这来源于Token的货币属性。[2018/4/10]

与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 对应的代码点哈希值。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

ICP金色早报 | 法国央行:数字货币监管比CBDC更迫切

头条 ▌法国央行:数字货币监管比CBDC更迫切12月3日消息,法兰西银行(法国央行)第一副行长Beau在巴黎的一次会议上发表讲话时表示:法国央行必须考虑的是法国支付系统的稳定性不仅仅依赖于银行提供CBDC的能力.

FilecoinErgo与头部做市商Kairon Labs达成合作

Ergo已与著名做市商Kairon?Labs达成合作,Kairon Labs是加密货币做市领域的行业领导者。通过这项新的合作,Ergo开启了谋求在头部加密货币交易所上线的下一阶段.

[0:0ms0-2:478ms