Aptos 比较评论：Move 语言和资源模型

Aptos 比较评论：Move 语言和资源模型

kkui区块链小土豆

2022-09-15 15:06 广东

打开网易新闻查看精彩图片

近期，基于Move语言的区块链项目Aptos受到广泛关注。 截至今日（09.13）Aptos，社区成员已突破10万用户，生态项目涵盖Wallet、DEX、DeFi、Web3、NFT、MemeCoin、Game&Metaverse等领域； 据统计，生态项目已达250+。

自以太坊以来，出现了许多新的layer1区块链，旨在解决现有公链尚未解决的问题。 区块链努力平衡去中心化、可扩展性和安全性的三难困境。 其中大部分是为可扩展性而设计的，以方便使用。 Aptos 旨在解决困扰现有第 1 层的可靠性、可扩展性和可用性问题，同时具有基于 EVM 的区块链所缺乏的安全功能。

Aptos以其高性能着称，基于Move智能合约编程语言。 对于 Move，众说纷纭。 有人称其为智能合约发展的未来，也有人持谨慎态度，认为其没有太多创新点。 在众多公链的竞争中，我们可以看到应用最广泛的Solidity语言和基于Move语言的高性能Rust语言能否胜出？

Solana/Rust 和 Sui/移动

《智能合约开发：Move与Rust的比较研究1》一文将Solana/Rust与Sui/Move进行了比较。 要点如下：

智能合约是关于数字资产的编程，现有的编程语言和编程模型并不适用。 我们希望有一种语言模型可以自然地处理资源，但同时可以与不受信任的代码进行交互。

基于 Rust 的 Solana 在这里做出了妥协，使得智能合约在去信任环境中具有必要的可编程性，但其编程模型并不自然。 字节码验证使得同时拥有这两个属性成为可能。 在某种程度上，它将不受信任的代码变成了受信任的代码。

基于 Move 的 Sui，核心创新在于字节码，它被刻意设计成可验证的。 虽然字节码校验本身并不是一个新概念，但是Move做的校验确实是一个创新。 Move通过其字节码和验证，实现了智能合约编程模型，支持和保证资源在去信任环境下的安全编程。

Move之于智能合约开发就像React之于前端开发。 说“可以在 Move 中完成的可以在 Rust 中完成”就像在说“可以在 React 中完成的可以在 jQuery 中完成”。 当然可以实现一个基于 jQuery 的应用程序来媲美 React 应用程序，但这并不实用。 React 引入了虚拟 DOM 的概念，开发人员完全可以理解它，但它使前端开发更快、可扩展且更简单。 同样，Move 的字节码验证是一种底层技术，对于开发者来说也很容易理解，但它提供了更符合人体工程学、可组合且更安全的智能合约开发。 由于其安全性和更直观的编程模型，Move 还大大降低了智能合约开发人员的进入门槛。

将威胁转移到 Solana

基于 Move 智能合约的开发时间要快得多。 在 Move 中从头开发智能合约比在 Rust 中快 2-5 倍。 因此，Move生态系统的发展可以超越Solana。 由于区块链的开放和无需许可的特性，不存在严重的锁定效应。 Solana 开发者可能纯粹出于经济考虑而被迫采用 Move——要么转向 Move，要么被 Move 开发者超越。 Move 的进入门槛比 Rust 或 Solidity 低得多。 因为 Move 语法更简单，编程模型更直观。 一些开发人员无法在 Rust 或 Solidity 中进行智能合约开发，但在 Move 中可能可以。 因为要学的概念少，非智能合约开发者进入Move比进入Rust（Rust本身是一门复杂的语言，再加上Solana的概念，比如PDA，会给初学者带来很多困惑）或者Solidity（你需要熟悉语言的非常精细的细节，比如重入才能开发安全的智能合约）要容易得多。 即使现有的 Solana 和 Solidity 开发人员不转向 Move，尚未进入该领域的开发人员市场也比该领域现有开发人员的数量大几个数量级。 由于 Move 的进入门槛较低且开发速度较快，因此它比 Rust 或 Solidity 具有更好的产品市场契合度，并且可以分得更大的一块蛋糕。

智能合约简史：比特币和以太坊

除了上面的比较，我们可以回顾一下比特币和以太坊。 比特币的出现向世界展示了分布式账本技术是如何工作的，以及人们如何建立一个完全基于密码学的金融系统。 比特币很强大，但它只完成一个功能：记账。 为了扩展这种分布式账本模型以获得更多实用性，必须构建另一个区块链网络。 例如：加密传输网络、内容网络、音乐共享网络等。这就是以太坊作为可编程区块链平台发挥作用的地方，允许构建和部署称为智能合约的链上程序。 开发人员部署不同的智能合约来创建加密货币或 NFT，或构建共享相同底层基础设施的 DeFi 平台或 NFT 市场。

当以太坊于 2015 年推出时，几乎不可能看到它能做什么，或者在它之上构建什么样的智能合约。 现在，经过七年多的时间，从业者对 dApps 和区块链有了更好的理解。 几乎所有更好地利用区块链特性的 dApp 都与资产或所有权有关。 不同的编程语言用于不同的功能。 例如，SQL 或结构化查询语言与 JavaScript 不同。 前者对跨多个数据库的结构化数据进行操作，而后者则用于开发交互式网页的跨平台应用程序。 但是，虽然区块链的透明性、去中心化和防篡改使交易更加安全，但在数据存储方面，它比传统的中心化金融系统更慢、更昂贵。 此外比特币采用的账户模型是什么，以太坊的智能合约语言和虚拟机（VM）大多基于集中式编程语言，尽管也有一些量身定制的链上数据存储机制。 它对待数字资产和所有权等高价值数据与对待客户星座等低价值数据没有区别。 由于大多数dApps处理的都是高价值资产，这促使黑客寻找区块链智能合约的漏洞，并发生了多起安全事件，造成大量资产损失。 有些是蓄意攻击，例如 The DAO 的重入黑客攻击； 有些是偶然的，例如 Parity 钱包的锁。

打开网易新闻查看精彩图片

Aptos资源模型

Apots和Sui都是基于Move的变种，使用不同的机制实现相同的功能。 Aptos的资源模型是如何解决上述问题的？ 本文回顾了 Aptos 的新特性。

在 Move 语言中，有价值的资产作为资源单独处理。 受 Haskell 和 Rust 中的线性类型以及 Rust 的所有权模型的影响，Move 中的资源有些受限：

资源被保证是安全的，因为它们永远不会被复制或丢弃，并且总是只传递一次； 只有特定的指令才能创建或销毁资源，所以开发者只需要多关注这些创建和销毁过程并正确实现即可； 这些资源存储在用户的存储帐户中。 除了更高的安全保证外，资源的使用方式与其他原生类型相同。 它们可以存储为数据结构并作为参数传递给函数或从函数返回。

由于这些特点，Move模块（基于资源模型的智能合约）有很多好处：

安全性：用资源构建智能合约更安全。 以太坊常见的攻击，如重入，几乎不可能发生在作为资源存储的资产上； 性能：由于资源存储在用户账户中比特币采用的账户模型是什么，而不是像以太坊的 EVM 那样存储在共享智能合约存储中，因此并行运行多个事务要容易得多。 例如，以太坊上的所有 USDC 传输都必须按顺序运行。 相比之下，Aptos 上的 USDC 转账只对发送方和接收方的账户存储进行操作，这使得并行交易成为可能。 公平性：在区块链上存储数据是昂贵的，因为它需要多个账本（也称为矿工）来保存数据记录。 在 Aptos 上，用户的资源存储在账户中，这使得收取存储租金成为可能。 用户存储的资源越多，他们支付的租金就越多。 这不仅在收取存储费用方面是公平的，而且还鼓励用户删除无用的数据。

此外，Move 的语法使得可以使用形式验证来证明一个函数完全按照它应该做的去做，并且永远不会产生意想不到的结果。

综上所述

具有资源模型的区块链与其他区块链相比具有许多优势。 它们支持安全性、性能和公平性，如果您想将下一个十亿用户带入区块链，这些都是至关重要的。 Move的历史并不长，但我们有理由相信它是一项伟大的技术，将彻底改变智能合约的发展。

打开网易新闻查看精彩图片

打开网易新闻查看精彩图片