木星链 木星链
Ctrl+D收藏木星链
首页 > AAVE > 正文

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

作者:

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

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

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

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

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

金色财经行情播报丨BTC预计提前减半,需做好控制风险准备:据火币行情显示,在昨日BTC大跌以后,今日整体处于震荡行情,市场观望情绪浓郁。但从17时以后,BTC的行情开始加大波动程度,4小时图上MA5构成支撑,MA10构成压力,但局部行情在1小时图小双底形态构筑以后,多头有发力的后劲。今日晚间BTC预计提前减半,行情或有剧烈波动,需要做好准备,控制风险。截至18:30,主流币的具体表现如下:[2020/5/11]

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

金色晨讯 | 消息人士:杨作兴被报案调查是詹克团遭罢免前直接下令执行:1.以太坊2.0测试网发布至少还需两周时间。

2.消息人士:杨作兴被报案调查是詹克团遭罢免前直接下令执行。

3.欧洲央行官员:欧洲央行已在研究数字货币的技术。

4.联想发布《区块链供应链协同应用白皮书》。

5.信通院发布《区块链白皮书(2019年)》,中国区块链专利申请数量居全球第一。

6.金山云一次性通过2019可信区块链测试,排名第一。

7.百度宣布“区块链智慧城市”规划,智能医疗、智能司法、智能交通、智能政务四大试点已在落地当中。

8.顺丰应用区块链技术为羊肉溯源。

9.京东推出“宙斯盾2.0”系统,运用区块链等技术实现SKU管理。

10.央行上海总部:将运用区块链技术提高企业整体融资效率。

11.中国集团公司促进会区块链分会正式发布《2018-2019世界500强企业布局区块链白皮书》。

12.央行前行长周小川:央行数字货币主要聚焦于中国,首先选择在票据交易、贸易融资两个系统做试点。

13.蚂蚁金服开放联盟链正式进行公测。

14.俄罗斯央行行长:正研究多国的数字货币,但不支持任何私人形式的加密货币。[2019/11/9]

执行与证明

分析 | 金色盘面:HSR短线上扬 注意关注5.0美元阻力:金色盘面分析师表示:HSR反弹至阻力位5.0美元附近,注意阻力突破情况,破位才能结束偏空局面,不然还有下跌风险。[2018/8/4]

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

标签:ARBBIT区块链TRUgearbox币有潜力吗BNbitcoin怎么做区块链Arbitrum

AAVE热门资讯
NYM:读懂 a16z 青睐的WEB3.0隐私基础设施:NYM

Nym是新一代的全球隐私基础设施,像Tor一样,使用中继节点提供隐私。他们的目标是能够扩大网络规模,成为整个互联网的隐私中枢,并通过奖励运行网络的节点,提高网络的效率.

1900/1/1 0:00:00
REA:前元宇宙时代 谷歌VR是怎么失败的

当微软和Facebook更名后的Meta都高调宣布进军元宇宙领域时,Google相对低调许多,但也同时悄悄的重组了内部专门研发创新的神秘实验室GoogleLabs.

1900/1/1 0:00:00
区块链:最高人民法院联合举办“区块链在司法领域应用研讨会”

近日,由最高人民法院、最高人民检察院、科学技术部、司法部、中国科学院、中国工程院联合举办的“区块链在司法领域应用研讨会暨信息技术与法治建设科学与技术前沿论坛”在最高人民法院举行.

1900/1/1 0:00:00
MEKA:如何给头像类NFT估值:以泡沫破碎的MekaVerse NFT为例

其地板价已从近10ETH跌至目前的1ETH。编译者按:NFT赛道仍在持续增长。在应用层,我们每天都会认识很多新项目,却同时告别或遗忘更多“老项目”.

1900/1/1 0:00:00
NFT:金色观察 | 奢侈品牌扎堆发行NFT 纪梵希通过NFT宣传新品

过去一段时间,包括LVMH、纪梵希等在内的奢侈品牌似乎迷上了发行NFT。11月23日外媒消息指出,法国时尚品牌纪梵希与数字艺术家Chito合作推出NFT系列,包含15个不同版本,以宣传该品牌的2.

1900/1/1 0:00:00
POC:CPOC共识机制是什么?一文秒懂创新机制

在区块链底层技术中,共识机制是关键,众所周知的BTC创建出了POW,随后从POS、POA、POC到CPOC,区块链网络的底层设施在不断的更新迭代.

1900/1/1 0:00:00