Rocket Protocol虚拟机技术（二）：建立标准类库

上一篇文章《RocketProtocol虚拟机技术：优化并兼容EVM》分析了EVM设计框架的缺陷以及RocketProtocol的解决方案：在兼容Solidity语言的同时，采用基于中继链技术的跨链资产解决方案，支持已有的以太坊资产在RocketProtocol中流转。根据RocketProtocol团队的规划，中继链技术将2021年第三季度落地。前文还提到EVM缺乏标准库支持，我们将在本文中聊一聊标准库的问题。什么是标准库

标准库是编程语言的每种实现中都按例提供的库。标准库的设计哲学多种多样，在不同的编程语言中，标准库的表现形式都不一样。例如：C标准库是用于完成诸如输入/输出处理、字符串处理、内存管理、数学计算和许多其他操作系统服务等任务的宏、类型和函数的集合；C++标准库是一组C++模板类，它提供了通用的编程数据结构和函数，如链表、堆、数组、算法、迭代器和任何其他能够被想到的C++组件，C++标准库包含了C标准库；Java标准库的常用表达是Java类库，Java的应用程序接口(API)以包的形式来组织，每个包提供了大量的相关类、接口和异常处理类，这些包的集合就是Java类库。Python语言的核心只包含数值、字符串、列表、字典、文件等常见类型和函数。Python标准库提供了系统管理、网络通信、文本处理、数据库接口、图形系统、XML处理等额外的功能。标准库的重要性

Synthetix：6月7日Bedrock升级期间，Optimism上所有Synthetix合约将无法访问:5月19日消息，合成资产协议Synthetix发文称，在北京时间6月7日00:00至04:00Optimism主网Bedrock升级期间，Optimism上所有Synthetix合约将无法访问。从5月30日开始，Optimism交易奖励将暂时停止。从北京时间6月5日00:00开始，现有永续合约头寸将关闭，无法开设新头寸。在Bedrock升级前10分钟，即北京时间6月6日23:50，所有永续合约市场将暂停，发行（staker铸造/销毁）将在以太坊与Optimism上暂停，synth交换将在Optimism上暂停，以太坊主网上的所有Synthetix合约都可以访问。之后继续交易奖励将取决于顺利升级与随后恢复交易的情况。在升级期间，Optimism上的所有Synthetix合约将因Optimism停机而无法访问。一旦Bedrock升级完成，所有功能和合约都将解禁并可以访问。[2023/5/20 15:14:41]

C++的设计者BjarneStroustrup认为：标准库是每一个实现者都必须提供的东西，以便让每一个程序员能够依赖于它。标准库是一门编程语言的基础，基于任何语言的应用开发，都要尽可能地基于标准库开发。首先它可以降低开发成本，不必再浪费人力和时间去进行重新开发；其次，无论是由编程语言规格直接说明还是由编程社区非正式惯例决定，标准库都是经过严格验证的，它的正确性和准确性有保证；最关键的一点，使用标准库开发的代码，其执行效率是行业认可的最高水平。EVM缺少标准库支持

DeFi协议ApeRocket官方：闪电贷共造成126万美元损失，将在BSC上发布V2以重启:官方消息，DeFi收益挖矿聚合和优化器ApeRocket发布闪电贷攻击详情和补偿方案，ApeRocket的BSC版本和Polygon版本分别在4:30 AM和8:00 AM（UTC）遭遇闪电贷攻击，分别损失26万美元和100万美元。ApeRocket表示，将尝试补偿所有受问题影响的用户以及在攻击前持有SPACE / pSPACE的用户。对于BSC版本，ApeRocket正在开发V2，计划很快在这个新版本下重新启动网站。ApeRocket将开放一个清算池，还计划建立回购和销毁来提高价格。对于Polygon版本，因为发布比较匆忙，没有其他解决方案，只能设置一个新代币，并将此新代币分配给所有持有pSPACE的用户。ApeRocket还将使用Aperocket V2在Polygon中累积的绩效费用，采用积极的回购策略。

此前消息，据PeckShield派盾预警显示，Aperocket.finance遭到闪电贷攻击，代币Space闪跌75%，请用户注意风控。[2021/7/15 0:53:42]

在《RocketProtocol虚拟机技术》提到，REVM在兼容EVM的同时，也继承了EVM的Solidity语言。在具有编写程序简单、兼容性强、非常高效这些优点以外，REVM也同时具有Solidity与生俱来的缺陷：缺少标准库支持。Solidity语言没有自己的标准代码库，它本身内置的只有一些非常简单的函数，开发者只能自己不停地对简单函数进行组合复用，例如字符串拼接、切割、查找等都需要开发者自己去实现，使得开发者开发复杂应用的难度较大。这种方式带来的后果是开发者需要关注很多非本身业务的零碎细节而不是开发应用本身，无端增加开发成本。同时，用这种方式编写出的代码，会比根据拥有健全标准库的虚拟机开发出来的代码更长。代码越长，上传到区块链环境中时产生的GAS费就越高，运行代码所需的步骤也会越多，增加虚拟机运算代码的时长，执行效率低下的同时也不能保证最终结果的正确性和准确性。有的开发者为了节省GAS费，会直接从一些开源软件中调用代码或者写出不是特别周全的代码，导致代码本身的安全性得不到保证，加重合约代码审计的难度。REVM建立了标准类库

Rococo已经开始平行链卡槽拍卖测试:Rococo已经开始平行链卡槽拍卖测试，Phala和ChainX已经参与拍卖。Phala、Zenlink、ChainX、Acala等5个项目已经开始众贷（Crowdloan）。[2021/3/25 19:16:48]

RocketProtocol技术团队认为，优秀的虚拟机除了要在架构设计上展现大方优雅的特点，也需要具有易用性和可操作性。因此，REVM在兼容EVM的基础上，建立了自己的标准类库——以太坊原有的智能合约不仅可以直接迁移到RocketProtocol上使用，无需重新编译，同时也能通过REVM添加的智能合约内置函数来将降低开发门槛。除此之外，REVM还引入了RocketProtocol自定义的关键字，支持用一条语句完成跨链、NFT协议等功能，开发者在智能合约中使用这些关键字，即可享受到RocketProtocol带来的独有的可组合性与可操作性。对于使用了这些关键字的合约，必须要通过REVM的编译，才能生成可用的字节码。针对用户编程，RocketProtocol目前已经添加了更直观的NFT操作函数。下一阶段，RocketProtocol也将在奖池、空投、DeFi等层面添加相应的内置函数，以提高智能合约的编写效率。功能拓展方面，由于RocketProtocol的中继链是基于智能合约功能实现和拓展的，所以也将添加中继相关的智能合约内置函数，以扩展基于REVM智能合约的功能。总结

波卡：Rococo已连接Plasm、Phala等8个平行链:波卡官推今日发布了Rococo技术更新。主要内容包括：1.Rococo V1分支已于1月27日更新，PoV现在已压缩，以适应更大的PoV区块大小；重用Wasmtime编译的代码，以避免每次执行平行链区块时重新编译该代码。2.在平行链上运行Rococo的最低要求：至少操作2个验证者节点和1个collator节点；在提交提案之前，在本地测试链配置。3.已连接8条平行链，分别是Tick、Trick、Track、Plasm Network、Acala Network、Kilt protocol、Phala Network和polkaBTC。正在调查一些平行链的缓慢生产时间。修复后，将继续添加更多的平行链。[2021/2/6 19:02:05]

DeFi和NFT近两年相继爆发，各类上层复杂应用的层出不穷对基础设施的要求会越来越高。标准库的建立并非一朝一夕就可完成，它需要随着开发者和用户真实需求的增加而不断完善，甚至需要随着行业的不断拓展而开发出更优于标准库的机制来提高开发者者效率和支持复杂应用落地。虚拟机的优化方案也绝非仅限于完善标准库，如何解决缺乏成熟工具集这个问题，将是我们下一个需要讨论的重点。关于RocketProtocolRocketProtocol是由MixMarvel孵化的面向未来虚拟世界的区块链基础设施。目前RocketProtocol已升级至2.0版本。作为可以实现EVM体系多链合约互操作的高性能链群，RocketProtocol2.0融合了跨链协议、NFT协议以及EVM协议，并在此基础上进行了扩展，使得开发者能够自由的创建适配各种场景的复杂去中心化应用，同时给予用户近似互联网应用般的体验。

标签：ROCROCKKETROCKETBURNROCKETROCKIPolkamarketsSKYROCKETING

AVAX热门资讯