使用“扫一扫”即可将网页分享至朋友圈。
金色观察｜简析Arbitrum Rollup虚拟机的设计原理
Arbitrum和Optimism是以太坊Layer2扩容的主要项目，因为两者是以Rollup为技术核心实现的二层扩容，符合以太坊未来发展方向。
但面对未来丰富的生态应用预期，需要一个虚拟机来实现可编辑能力。因为Rollp的技术核心，却让这个方向成为一个实现略难的技术需求，目前两者也限于虚拟机并不成熟。使得在这一层的可编辑能力有所限制。
今天本文中，我们将摘录资料来了解Arbitrum网络的虚拟机设计原理。
AVM设计的起点是基于以太坊虚拟机 (EVM)，因为Arbitrum目标是高效地执行为EVM编写或编译的程序，所以Arbitrum并未更改EVM设计的绝大部分。例如，AVM采用EVM的数据类型以及对EVM整数进行的操作指令等。
这样看来，AVM和EVM之间的差异源于Arbitrum的layer2需求和Arbitrum的多轮挑战协议。
执行与证明
与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 对应的代码点哈希值。
“广东财经网”的新闻页面文章、图片、音频、视频等稿件均为自媒体人、第三方机构发布或转载。如稿件涉及版权等问题，请与
我们联系删除或处理，客服邮箱1098101642@qq.com，稿件内容仅为传递更多信息之目的，不代表本网观点，亦不代表本网站赞同
其观点或证实其内容的真实性。
- 声音提醒
- 60秒后自动更新
【民政部回应何时恢复婚姻登记】民政部社会事务司二级巡视员杨宗涛表示，婚姻登记场所是人群聚集场所，部分地区暂停婚姻登记工作是对人民群众安全负责。未停止登记的地方推广用电话、网络、qq群预约登记，控制登记人数，分批分段登记，减少人员聚集和在登记机关停留时间。已停止婚姻登记地方将根据当地疫情控制情况逐渐恢复。
15:54欧洲央行副行长金多斯：欧洲央行还没有达到逆转利率。宽松政策的副作用更明显了。
15:54财经网站Forexlive分析师Justin Low评瑞士1月CPI月率：尽管通胀年率保持稳定，但核心通胀率有所下降，这一点令人更加担忧。这只是进一步巩固了瑞士央行维持现有货币政策不变，并可能在未来寻求更多宽松措施的观点。
15:54【武汉两大批发市场商户开业率超过80%】商务部市场建设司司长朱小良10日称，目前武汉生活必需品供应基本正常，除冷鲜肉、鲜叶菜等少数品种存在结构性短缺外，大部分重要生活物资供应充足，未发生明显抢购或脱销断档情况。当地白沙洲和四季美两大批发市场正常营业，商户开业率超过80%，日交易量上升至3000吨以上。（国是直通车）
15:53【日本2019年经常项目顺差增长4.4%】日本财务省10日发布的国际收支初步统计报告显示，主要受外国人入境游消费扩大影响，2019年日本经常项目顺差增长4.4%。报告显示，2019年日本经常项目顺差为20.06万亿日元（1美元约合109.8日元）。其中，商品贸易方面，由于液化天然气价格下跌等因素，进口下降5.6%至75.56万亿日元；由于汽车部件及钢铁等产品出口减少，出口下降6.3%至76.12万亿日元。货物贸易顺差减少53.8%，为5536亿日元。（新华社）
15:53欧元兑美元EUR/USD短线波动不大，现报1.0952。
15:53瑞士1月CPI年率：0.2%，前值：0.2%，预期：0.1%；瑞士1月CPI月率：-0.2%，前值：0%，预期：-0.2%。
15:52英镑兑美元GBP/USD短线走低13点，现报1.2890。
15:52【宁德时代“供电”国产特斯拉 有望拉低售价20%】全国乘联会秘书长崔东树分析认为，“随着特斯拉国产化率提升和产能爬坡，未来特斯拉国产车型的价格下探空间还是很大的。”他预计今年下半年，国产Model 3车型的售价就有望降至25万元，降幅接近20%。（新京报）
15:51【内蒙古：对不裁员或少裁员企业返还上年度50%失业保险费】据内蒙古新型冠状病毒肺炎疫情防控工作指挥部消息，疫情期间，内蒙古对不裁员或少裁员的企业返还上年度实际缴纳失业保险费的50%，对面临暂时性经营困难的中小企业，返还标准提高到上年度6个月企业及其职工缴纳社会保险费的50%。
15:51【商务部：2019年服务进出口总额54152.9亿元 同比增长2.8%】商务部新闻发言人表示，2019年，在服务贸易创新发展试点等政策的激励下，我国服务贸易总体保持平稳向上态势，逆差明显下降，结构显著优化，高质量发展成效初步显现。全年服务进出口总额54152.9亿元（人民币，下同），同比增长2.8%。其中，出口总额19564.0亿元，同比增长8.9%；进口总额34588.9亿元，同比减少0.4%。（第一财经）
15:51【振华股份：疫情导致下游客户开工推迟 产品库存上升】振华化学公告，公司目前生产经营稳定，所有产能均正常开工，原材料采购能基本满足生产需要，由于疫情导致下游客户开工推迟，公司出货量减少，产品库存有所上升。公司将根据客户需求、疫情及市场变化，适度调整生产经营策略，尽可能保持生产经营的稳定。
15:50环旭电子2月10日晚间公告，公司2020年1月合并营业收入为23.27亿元，较去年同期的合并营业收入减少27.83%，较2019年12月合并营业收入环比减少37.23%。
15:49精测电子：与京东方集团签订了多份销售合同，合同累计金额达到6.96亿元。
17:12华夏银行：银保监会同意本公司在全国银行间债券市场发行不超过100亿元人民币的金融债券，募集资金全部用于绿色信贷。
17:03
