乐趣区

关于虚拟机:虚拟机专栏Rust智能合约的应用

【导读】

往期“智能合约执行引擎的前世今生”、“相熟的新敌人 – 链上 JVM”中,咱们介绍了智能合约的起源,以及自研的能够执行 Java 智能合约的执行引擎 HVM。尽管 HVM 相比于 EVM,性能曾经有了很大的晋升,然而因为其字节码数量很大,在解释执行的场景下执行性能非常受限。另一方面,合约破绽 (不思考业务逻辑破绽) 引发的平安问题,每年都在产生,所造成的经济损失都非常重大,那么有没有一种计划能让使用者抛开集体因素,尽量写出平安的合约?

为了解决这两个迫切的问题,咱们引入了 wasm 虚拟机 FVM,以及 Rust 合约编写框架。上面本文将具体介绍这两个局部在智能合约畛域的利用。

【安全性】

家喻户晓,solidity 语法在更新时出于一些考量并没有做好兼容工作,导致不同版本的语法差别很大,开发人员在不同版本的语法之间来回切换,着实节约精力。另外,因为区块链区别于传统的互联网技术有着“不可篡改”的个性,一旦产品公布,无奈以补丁的模式修复现存在的问题,也无奈在原有的根底上进行版本迭代。这就须要合约开发者能一次就写出没有任何问题的合约,否则容易造成巨额的经济损失。然而事件一旦适度依赖于 ” 人 ”,往往会带来量子学的色调,最好是有另外一套机制来确保合约的正确性。

Rust 作为高效、牢靠的通用语言毫无疑问是现有的最好解决方案。

Rust 语言的可靠性依靠于丰盛的类型零碎和所有权模型,以及弱小的编译器,在编译期就能捕捉经典谬误。这迫使开发者在编写合约过程中,思考本人所写的每行代码是否精确,并通过编译器来确认,保障通过编译器查看的合约代码肯定是平安的,极大的进步了合约的安全性以及可靠性。

此外,咱们自研的合约框架提供了一个运行时的测试框架,让开发者能模仿合约运行,无需部署就能在链下找到合约中存在的问题。这无疑是给上链的合约减少了一重保险。

另外,咱们的合约框架利用 rust 的宏开展技术,将操作放在宏注解外面。这样能让开发者在应用过程中更多的关注本人合约的业务逻辑,从某种程度上保障了合约逻辑平安,毕竟只须要专一一个局部而没有其余因素的烦扰,能让开发者更加投入的去打磨逻辑的细节。

【执行效率】

EVM 在实质上是脚本程序,是基于栈的虚拟机,须要由编译程序翻译成指令后执行,即解释执行,这导致 EVM 的执行效率非常低。与之绝对,wasm 应用了编译执行的形式,采纳了虚拟机 / 字节码技术,并定义了紧凑的二进制格局,领有更高更快的智能合约执行速度。因而咱们引入 wasm 极大的进步了整个合约的运行效率。

WASM(WebAssembly) 依照字面意思就是 web 汇编,是为 web 浏览器定制的汇编语言。这里尽管说是定制,但随着灵性的倒退,它不仅仅只实用于 web,其《外围标准》更是与平台无关。既然号称汇编,那它显然具备汇编语言的特点:

1)档次低,靠近于机器语言,进步运行效率;

2)适宜作为指标代码,由其余高级语言 (C/C++/Rust/Go 等) 编译器生成,扩充适用性;

另外模块是 wasm 程序编译、传输和加载的单位。wasm 定义了两种模块格局:

二进制格局:是 wasm 模块的次要编码格局,文件以 .wasm 为后缀。因为其格局设计的十分紧凑,能够放大二进制体积,领有更快的传输和执行效率。

文本格式:文件以.wat 为后缀,此处不具体开展。

模块的划分使得 wasm 的组织构造更加清晰,解析更为不便,极大地晋升了解析的效率。

【FVM 详解】

那么除了应用 Rust 来编写合约,以及将合约编译成 wasm 字节码,真正要将合约运行起来,仍然须要为 wasm 提供一个运行环境,也就是 FVM 做的事。

从语义上讲,一个 wasm 模块从二进制格局到最终被执行能够分为 3 个阶段:解码,验证,执行。解码阶段把二进制模块解码为内存格局;验证阶段对模块进行动态剖析,确保模块的构造满足标准要求,且函数的字节码没有不良行为;执行阶段又能够分为实例化和函数调用两个局部。

(1)FVM 组成
显然,FVM 残缺的性能该当是蕴含下面提及到的解码、验证、实例化以及函数调用等局部。咱们依照整个流程实现了 FVM,然而在理论运行中,发现执行过程会耗费大量的性能在内存的读写及调配上。为了进一步提高 FVM 的执行性能,咱们新增了一层编译模块,将 wasm 的栈式内存转为基于寄存器式内存,对内存进行标记并加以反复利用,防止了频繁的分配内存,极大的晋升了整体执行效率。

(2)FVM 与平台的账本交互
在 rust 智能合约中,咱们对数据是否上链做了明确的辨别,只有标定特定宏注解的字段数据才会上链交互。在合约部署时,对于初始化的字段写入账本;在调用合约办法时,如果应用到合约的长久化字段,合约执行引擎会调用账本读取的办法从账本中获取其数据。对于存在有数据写入操作 (即更新) 的字段,待合约执行完结后,若账本还未存在此字段则将其写入账本,若此字段已存在,则对相应的账本数据进行更新。
图片

(3)整体流程

整个介绍下来,置信大家对 Rust 智能合约的应用有了个大略的印象。这里对整个流程做个梳理:

step1: 用户通过 Rust 合约框架编写智能合约 (肯定要测试)

step2: 编译合约为 wasm 文件

step3: 将 wasm 合约文件部署到 FVM

实现以上步骤你就胜利的运行了一个合约❤。

【将来瞻望】
目前的合约都只是针对绝对简略的业务,在咱们的布局中,FVM 既能利用在现有的合约场景,又能利用在业务简单以及对合约执行速度有较高要求的场景。同时给了非区块链行业技术人员一种“零学习老本”的上链办法——应用他们相熟的编程语言来编写合约。扩充了区块链技术的利用场景以及影响范畴,以便探寻更多的区块链技术落地计划。
目前 FVM 在性能上的体现曾经很好的达到了预期,然而咱们不会满足于眼前的现状停滞不前。在后续的布局中,咱们将持续探寻一些优化计划,比方:

1) 虚拟机缓存的优化;

2) 引入 AOT(Ahead-of-Time),即事后编译的形式,替换现有的字节码解释执行,将 wasm 模块间接编译成 go 代码,利用 go 的插件机制间接加载运行,失去极致的性能体验。

技术在一直的新陈代谢,优化工作将始终继续上来,“放弃先进”是咱们的指标。

【小结】

本文从「安全性」以及「效率的晋升」两个角度,引出了对 rust 智能合约反对的 FVM,探讨了 rust 与 wasm 在智能合约上为什么会有如此体现,以及咱们应用 FVM 的意义。接下来咱们还会对反对区块链上 SQL 执行的 KVSQL 进行具体介绍,敬请期待!

作者简介
李凯
趣链科技根底平台部区块链虚拟机钻研小组
参考文献
[1] rust 程序设计语言

[2]《WebAssembly 原理与核心技术》

退出移动版