Aptos 理性分析:Move 是亮点 但仍缺乏创新_MOV:SOLA

原文作者:0xFishylosopher

编译:白泽研究院

随着Aptos最近主网的发布以及它在Binance和其他加密货币交易平台的代币发布,现在正是对这个久负盛名的项目进行理性分析的最佳时机。作为Meta尝试创建加密货币项目Libra的“遗孤”,Aptos继承了Libra的愿景,即成为未来数百万加密用户使用的区块链。

Aptos的首要重点是提供可扩展、安全和可靠的区块链。为此,Aptos依赖于一种新的智能合约语言Move,它表面上是一种比当前以太坊的“黄金标准”Solidity更“安全”的语言。当然,Aptos并不是第一个将自己标榜为“可扩展、安全和可靠”的L1区块链。其他L1,尤其是Solana,过去也曾尝试将其作为他们的口号,也取得了不同程度的成功。

在本文中,我将努力从Move语言的基本属性入手,在其他类似项目的背景下分析Aptos的技术基础,并对这个热门新链的潜力和局限性进行评估。

Move语言

如果不分析Move语言,就无法分析Aptos。事实上,这可以说是Aptos大部分潜力的来源。

Move最初由Meta的Libra团队开发,旨在提供与其他智能合约语言相比在范式上不同的智能合约编程模型;Move没有采用基于交易的方法,而是采用基于资源的方法来定义智能合约模型。

那么这一切意味着什么呢?从比特币开始,绝大多数的区块链都采用了“交易优先”的方法,区块中的每个条目都是一笔交易。交易是相对的对象。要进行交易,需要存在Alice和Bob地址。为了确保Alice不会“双重花费”代币,我们需要检查这笔交易与所有其他交易没有冲突,这不可避免地会减慢交易速度。

然而,Move“基于资源”的方法却截然不同。Move不记录A到B的交易,而是记录对象的易手情况,并相应地更新属性。重要的是,资源是原子实体——资源X的存在不依赖于任何其他现有的资源。因此,使用基于资源的方法支持针对并行执行的更加独立的结构。

Move中的“资源”本质上是具有某些属性的对象。用技术术语来说,它们是容器数据结构。此时,有以太坊编程背景的人可能会提出一个问题:Solidity也有结构体,还有其他数据结构体。是什么让Move的结构特别?我认为最重要的区别在于,虽然Solidity中的结构在语言中具有相对外围的部分,但结构是Move中一切的基础。此外,Move的结构具有不同的“功能”,包括“复制”、“删除”、“存储”,它们定义了对象是否可复制、可存储、可删除等。这种结构与Solidity或绝大多数常见编程语言完全不同。然而,这些不同的“能力”是非常直观的。有些东西你可以“复制”,比如代币。有些东西你可以“丢掉”。

现在思考一下Move上“资源”的官方定义:

“如果结构值无法复制且无法删除,我们通常将其称为资源。”?—结构和资源,Move语言文档

因此,“资源”本质上是独一无二的“结构”,将永远存在于你身边。

Move对“结构”的完全重新定义允许它使用一种数据结构简洁地定义代币、NFT、智能合约和其他数字资产。这是以太坊的EVM根本无法比拟的;任何有EVM开发经验的人都知道Solidity中的处理结构是多么令人沮丧。

至关重要的是,Move的基于资源的方法为其安全性提供了保障。正如Move的白皮书所提到的,在许多程序中存在资产的间接表示,这意味着稀缺性和访问、控制是不可扩展的。例如,虽然ETH代币的稀缺性被EVM硬编码和保护,但其他ERC-20代币“不继承这些保护,它们必须小心不要引入允许复制、重用或资产丢失的错误”,例如经典的重入攻击。这是长期困扰EVM项目的问题,经常导致它们损失数百万美元。由于Move的基于资源的方法,重入攻击是不可行的。因此,Move编码的入门门槛可以说比EVM更容易获得——这是大规模采用的一个关键因素。

Aptos的技术原理

可以说,Aptos最大的成就是将Move作为一种语言推向市场。事实上,Aptos的大部分设计都直接取自Meta开发的Diem(Libra)区块链。回想一下,Aptos是一个强调可扩展性和安全性的区块链。有两种主要的技术用于实现这一点。首先是在它的共识层,即AptosBFT共识机制。第二个是它的执行层,即Block-STM执行引擎。

首先,AptosBFT是一种拜占庭容错共识机制,这本质上意味着只要网络上不超过1/3的节点是恶意行为者,它就可以继续保证安全性。这是一种标准做法:比特币的工作量证明、以太坊的权益证明等都是拜占庭容错的。那么AptosBFT究竟是如何实现其共识机制的呢?与所有其他权益证明链一样,Aptos依赖于“质押”节点。它实现了HotStuff共识算法的变体,HotStuff是一种PoS算法,与早期模型相比,它通过让节点与“轮换领导者”通信,而不是与所有其他节点进行通信,从而在节点之间提供更简洁的通信协议。虽然AptosBFT在HotStuff之上引入了多项优化,最显著的优化是“密钥轮换机制”和减少开销,但HotStuff的PoS设计没有重大的结构变化。

另一方面,Block-STM并行执行引擎是一个更具原创性的设计,可以说是该项目的主要技术突破点。回想一下,资源是原子的——某个资源X的易手不依赖于任何其他资源。通过将交易分组,我们可以在执行资源交易时利用大规模并行性,与以太坊相比,计算速度提高了20倍。

但这与Solana和其他并行执行引擎相比如何?Solana的主要创新是对其所有智能合约依赖项进行硬编码,以使其能够并行执行。有了预先知道的所有依赖项,Solana执行引擎就可以在运行前锁定必要的依赖项。但Aptos是动态管理依赖关系,首先“乐观地”运行所有事务,然后在失败的情况下重新运行那些失败的特定事务。

让我们用一个简单的类比来解释上面的内容:

以太坊是一条单车道的道路,所有的汽车都必须排成一条线。而Solana和Aptos都是四车道的高速公路,这显然加快了速度。但问题是,汽车如何在高速公路上行驶?在Solana的情况下,每辆车基本上都被分配了一个特定的车道,并且总是沿着车道行驶。在最好的情况下,这是非常快速和有效的,但是如果分配过程出错,那么你就会遇到非常糟糕的最坏情况。在Aptos的情况下,首先为汽车分配一些车道,但如果这不起作用,则允许汽车转向其他车道以防止发生事故。因此,即使Aptos在最佳情况下运行速度可能不如Solana,但它比Solana更可靠,并且具有面对最坏情况时的应对方法。

评估——潜力和局限

Aptos是目前第一个也是唯一一个推出主网的基于Move的L1链。因此,Aptos的主网发布是一个非常具有象征意义的事件。Aptos所吸引的资金和媒体关注不一定与其内在的技术创新相匹配。

如上所述,Aptos自身的主要技术创新在于其Block-STM并行执行引擎。大多数其他技术方面,包括其共识机制和Move语言的使用,都是从Meta继承的略微改进的遗留产品。关于Block-STM并行执行引擎,目前尚不清楚这是否会导致Aptos上的用户体验与Solana上的用户体验之间存在本质上的差异,但如果用户体验是相同的,那么用户不会关心它在技术层面是如何实现的。

与任何L1一样,Aptos的长期成功将取决于在其之上构建的项目。目前,其生态系统中的项目,如LiquidswapDEX、TopazNFT市场和Aptos域名服务,虽然是任何区块链生态系统中的必要产品,但对于Aptos的设计来说还不够独特。这些项目就像一个小村庄的杂货店、学校和医院,虽然对村庄的运作是必要的,但它们并没有赋予村庄任何其他村庄所没有的独特特征。

回顾过去,Solana的部分成功可能要归功于StepN等项目,这些项目实际上利用了Solana的并行优势。这些GameFi和SocialFi项目往往涉及大量相对孤立的并行数据。因此,这些应用程序特别适合并行执行引擎,例如Aptos和Solana,同时还能够带来庞大的用户、消费者基础和高交易量。事实上,在某一时刻,仅StepN就占Solana付费用户的约20%。

因此,要让Aptos作为L1取得成功,需要有一系列独特的项目来充分利用Aptos的并行执行引擎,而这些项目无法在以太坊甚至Solana上完成。借助Aptos新颖的Block-STM设计,这些项目可能会以一种新的SocialFi的形式形成,用户在这些项目中以小圈子的形式进行交互,因为这些群组可以是流动的和动态的,同时也有点相互独立,所以相比Solana或以太坊,Aptos的并行执行引擎更适合它们。但当然,这只是一个推测。

尽管如此,Aptos的主网发布仍然是加密世界中非常重要和具有象征意义的事件。它代表了Meta工程师多年来为解决以太坊的可扩展性瓶颈而努力的结晶。Move独特的语言特性意味着一定会有许多dApp转而在Move上实现,而不是继续在Solidity或其他智能合约语言上实现。但是这些项目一定会在Aptos生态系统中实施吗?没人知道。Aptos可能会享有一些先发优势,即能够将Move投入使用,并将其与Move语言联系起来。但与此同时,它很可能会遭遇类似MySpace先发制人却逐渐陨落的命运。

至少有一件事是肯定的:Aptos可能是市场上第一个使用Move语言的实验,但肯定不会是最后一个。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:15ms0-6:738ms