【虚拟机专栏】Rust智能合约的应用

【导读】

往期“智能合约执行引擎的前世今生”、“熟悉的新朋友 - 链上JVM”中，我们介绍了智能合约的起源，以及自研的可以执行Java智能合约的执行引擎HVM。虽然HVM相比于EVM，性能已经有了很大的提升，但是由于其字节码数量很大，在解释执行的场景下执行性能十分受限。另一方面，合约漏洞(不考虑业务逻辑漏洞)引发的安全问题，每年都在发生，所造成的经济损失都十分严重，那么有没有一种方案能让使用者抛开个人因素，尽量写出安全的合约？

为了解决这两个迫切的问题，我们引入了wasm虚拟机FVM，以及Rust合约编写框架。下面本文将详细介绍这两个部分在智能合约领域的应用。

【安全性】

众所周知，solidity语法在更新时出于一些考量并没有做好兼容工作，导致不同版本的语法差异很大，开发人员在不同版本的语法之间来回切换，着实浪费精力。另外，由于区块链区别于传统的互联网技术有着“不可篡改”的特性，一旦产品发布，无法以补丁的形式修复现存在的问题，也无法在原有的基础上进行版本迭代。这就需要合约开发者能一次就写出没有任何问题的合约，否则容易造成巨额的经济损失。然而事情一旦过度依赖于"人"，往往会带来量子学的色彩，最好是有另外一套机制来确保合约的正确性。

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

Rust语言的可靠性依托于丰富的类型系统和所有权模型，以及强大的编译器，在编译期就能捕获经典错误。这迫使开发者在编写合约过程中，思考自己所写的每行代码是否准确，并通过编译器来确认，保证通过编译器检查的合约代码一定是安全的，极大的提高了合约的安全性以及可靠性。

此外，我们自研的合约框架提供了一个运行时的测试框架ÿ