Movement:由 Move 驱动的模块化框架

  • 4pillars
  • 发布于 2024-11-22 22:52
  • 阅读 30

Movement Labs 正在构建一个基于 Move 编程语言的模块化区块链框架,旨在解决区块链行业的可扩展性、安全性和互操作性挑战。

主要内容

  • Movement Labs 正在开发一个框架,用于构建由 Move 编程语言驱动的模块化区块链。该框架旨在解决区块链行业中的可扩展性、安全性和互操作性挑战。通过这种方法,Movement 专注于创建基于 Move 的 Rollup 网络,而不是单一的高性能链。Movement 旨在捕获整个生态系统的价值,并将自己定位为构建基于 Move 的 Rollup 的标准。

  • Move 语言最初是为 Diem(Libra) 项目创建的,它引入了面向资源的编程和一等公民资产。增强的安全特性和形式验证工具(如 Move Prover)使 Move 非常适合区块链开发。

  • MoveVM 是基于 Move 的 Rollup 的运行时环境,它结合了 Block STM 用于并行交易处理,从而显著提高吞吐量。MoveVM 还具有模块化设计,可无缝集成区块链组件、用于跨链交互的原生桥接功能以及高效的 mempool 同步和区块构建流程。

  • Movement 框架由 Move Stack 组成,Move Stack 是一组用于创建可定制的 Move Rollup 的工具和组件。关键要素包括用于处理 MoveVM 和 EVM 字节码的 Move Executor、可配置的排序选项(如 M1 共享排序器)、灵活的数据可用性解决方案以及各种结算机制,例如 Optimistic、ZK 和快速最终确定方法。

  • M1 是一个去中心化的共享排序器 L1 网络,促进 Movement 生态系统内的跨链互操作性,支持多个基于 Move 的 Rollup,并实现不同链之间的无缝通信。

  • M2 被认为是第一个 ZK Move-EVM L2,它结合了 Move 的优势和以太坊的基础设施。M2 的核心功能包括高吞吐量(超过 30,000 TPS),同时保持 EVM 兼容性。

  • Fractal 是 Movement SDK 中的一个解释器,可以在 MoveVM 环境中执行 Solidity 智能合约。Fractal 连接了 Solidity 和 Move,以方便现有以太坊项目迁移到基于 Move 的平台,反之亦然。

  • Movement 的生态系统正在扩展,涵盖基础设施、互操作性、钱包、DeFi、游戏和社交领域等各种项目。这些项目利用 Movement 的框架构建多样化的应用程序和服务。

    • *

在过去的两年里,区块链行业见证了其最具活力的发展阶段,解决了一些最紧迫的挑战,特别是在基础设施设计方面。用户不再需要承受高得令人望而却步的交易费用,并且像 L2、Sui 或 Solana 这样的高吞吐量链上的最终确认时间现在与 Web2 的等效时间相当。

鉴于这些进步,人们可能会质疑是否还需要另一个快速区块链。然而,Movement Labs 的愿景远不止仅仅创建一个高速链。如果仅仅将 Movement 视为一条快速链,那将是对它的理解非常有限。

Movement 框架的核心是利用 Move 语言和虚拟机 (VM) 的优越性来解决几个关键领域的问题。它解决了共享排序器的设计问题,克服了以太坊虚拟机 (EVM) 在可扩展性和安全性方面的局限性,促进了多个 Rollup 之间的互操作性,并增强了开发人员的体验以加速采用。

最终,Movement Labs 提出了一个新颖的框架,用于构建由 Move 驱动的模块化区块链。通过利用 Move 语言的可扩展性和安全优势,该框架为当代区块链架构面临的挑战提供了一个整体解决方案。

1. 是时候超越传统了

1.1 当前语言和执行环境的局限性

1.1.1 编程语言驱动的安全风险

来源:Hack3d:Web3 安全季度报告 - 2024 年第二季度 + 上半年

区块链行业持续面临着威胁其稳定和增长的持久安全挑战。黑客攻击和漏洞利用变得异常频繁,几乎每月都会发生,并导致巨大的经济损失。根据 Certik 发布的 2024 年上半年的报告,超过 10 亿美元的资金在超过 400 起链上安全事件中损失。这些损失的巨大程度突显了在区块链上开发应用程序时采取强大安全措施的关键需求。

该行业中的许多漏洞都源于语言设计和虚拟机局限性的基本问题。这些问题尤其具有挑战性,因为它们通常超出单个开发人员的控制范围,开发人员可能难以在现有平台的约束下有效地解决这些问题。

对智能合约中常见安全缺陷的分析揭示了以下漏洞及其来源:

该表说明了许多安全问题源于语言设计缺陷、合约错误和虚拟机局限性的结合。值得注意的是,一些最严重的漏洞,例如重入和 delegatecall 注入,都源于语言设计问题和合约错误。

来源:DefiLlama

目前,Solidity 和 Rust 在区块链编程语言领域占据主导地位。然而,这两种语言都存在明显的局限性,导致该行业面临持续的安全挑战。

Solidity 专门为以太坊和其他与 EVM 兼容的平台上的智能合约开发而设计,自 2015 年推出以来一直是区块链开发的主要语言。虽然 Solidity 已经能够创建许多去中心化应用程序和智能合约,但它也一直受到漏洞的困扰,这些漏洞导致了巨大的经济损失。

其中一个最臭名昭著的例子是重入漏洞,它导致了以太坊和与 EVM 兼容的链上数百万美元的损失。重入漏洞源于 Solidity 的设计,该设计允许合约在更新其内部状态之前进行外部调用。重入缺陷已在备受瞩目的事件中被利用,例如 2016 年的 DAO 黑客攻击,导致当时损失了约 5000 万美元的 ETH。

此外,底层虚拟机,尤其是 EVM,也导致了安全漏洞。EVM 的设计选择,例如其使用 256 位字和基于堆栈的方法,可能会导致效率低下和潜在的安全问题。这些架构决策使得难以实现某些安全功能或优化,而这些功能或优化在专门构建的系统中可能更容易获得。

来源:Move:智能合约编程的下一步

另一方面,Rust 是一种多范式、通用、底层编程语言,最初由 Mozilla 创建。虽然 Rust 因其安全性和性能而广受欢迎,尤其是在 Solana 和 NEAR 等平台上,但它最初并非为区块链特定用例而设计。Rust 的开发始于 2006 年,甚至早于比特币白皮书,这意味着它缺乏针对区块链系统独特要求的固有优化。

该行业持续依赖这些语言引发了关于它们是否适合价值数万亿美元的行业的重要问题。Solidity 的推出时间是智能合约和去中心化应用程序的真正潜力尚未完全理解的时候。因此,它的许多设计决策对于现代区块链系统的复杂和高风险环境可能不是最佳的。

同样,Rust 在区块链开发中的采用,虽然由于其对安全性和性能的关注而在许多方面是有益的,但仍然需要进行重大调整才能完全满足去中心化系统的特定需求。

虽然 Solidity、Rust 和 EVM 在区块链行业的发展中发挥了至关重要的作用,但持续存在的安全挑战表明,现在可能是探索新范例的时候了。通过开发专门为区块链系统需求量身定制的语言和虚拟机,该行业或许能够为下一代去中心化应用程序和金融系统创建更安全的基础。

1.1.2 执行层的可扩展性有限

尽管取得了相当大的进步和努力,区块链行业仍在努力解决可扩展性问题。这些局限性在广泛采用和开发更复杂的去中心化应用程序的背景下尤其明显。在区块链组件中,可扩展性约束主要与执行层的处理能力相关。

来源:以太坊的可扩展性危机:执行层

执行层涉及处理交易和在区块链上实施状态更改所需的计算。这些计算通常包括通过签名和余额检查进行交易验证,以及执行链上逻辑以更新网络状态。当完整节点更新其账本副本以记录新的代币转账、智能合约代码修改和数据存储更改时,会反映出状态更改。

“我们要么解决以太坊中的 可扩展性和共识问题,要么在尝试中死去。”

维塔利克·布特林

以太坊主网是各种去中心化应用程序生态系统的基础,但它仍然面临着重大的可扩展性障碍。尽管以太坊在智能合约实施方面具有开创性作用,但其现有架构发现难以跟上其不断增长的用户群的需求。高网络活动时期通常会导致过高的交易费用和延长的确认时间,从而对用户体验产生不利影响并限制网络的效率。

为了应对这些挑战,区块链领域见证了众多 Layer 2 解决方案的兴起。这些 Layer 2 方法旨在通过执行链下交易处理并将最终状态仅记录在主链上来减少主链拥塞。

然而,链的简单激增并不能解决根本的区块链可扩展性问题,因为各个链仍然对其托管的 dApp 施加相当大的约束。下表说明了当抢跑的主要 EVM 链的目标每秒 gas 和区块时间。

来源:Rollup.wtf

即使是最有效的区块链解决方案也难以与中心化系统的吞吐量相媲美。例如,opBNB 是最快的与 EVM 兼容的链之一,它可以每秒处理大约 3,700 个 ERC-20 转账。虽然这代表了以太坊主链的显着改进,但与现代中心化数据库系统相比,它仍然不足,后者可以处理每秒数百万笔交易。

来源:X(@WestieCapital)

2024 年初,在活动增加期间,尽管实施了旨在降低数据发布成本的 EIP-4844,但 Base 经历了相对较高的费用。这表明即使进行了优化,执行仍然是瓶颈。为了应对这些费用飙升,Base 逐渐增加了其 L2 区块的 gas 限制。虽然这些措施可以暂时应对需求的增加,但它们不是可持续的长期解决方案。鉴于该行业尚未达到其期望的采用水平,当前的可扩展性限制可能会阻碍用户进一步集成到生态系统中。

由于其在 EVM 中的固有性质,解决可扩展性限制被证明具有挑战性。一些结构性约束包括:

  • 单线程执行:EVM 以顺序方式处理交易,无法利用现代硬件的并行处理能力。这显着限制了在给定时间范围内可以执行的操作数量。

  • 资源使用效率低:EVM 使用 256 位字作为其基本计算单元,并使用基于堆栈的方法而不是寄存器。这导致许多常见操作的计算资源使用效率低下。

  • 复杂的状态管理:以太坊基于账户的模型,具有深度嵌套的状态树,因此每次状态更改都需要多次数据库更新。这种复杂性会减慢交易处理速度,并增加维护网络状态所需的资源

  • Gas 计量开销:虽然 gas 计量系统对于防止垃圾邮件和无限循环至关重要,但它会给在 EVM 上执行的每个操作带来大量的计算开销

  • 状态增长:随着交易量的增加,区块链的状态也会增加。这种扩展需要额外的存储,并使状态验证和访问更加耗时,从而进一步阻碍了网络性能

由于这些限制,在高需求期间,网络拥塞可能导致交易费用飞涨,许多用户无法承受,并且微交易在经济上不可行。此外,高延迟和不可预测的交易时间会导致糟糕的用户体验,从而限制了链上应用程序的广泛采用。习惯于传统 Web 应用程序即时响应的用户可能会发现区块链交互非常缓慢且不可靠。

1.2 在任何地方实现 Move 的民主化

近年来,区块链开发领域发生了重大转变,Rollup 的出现标志着区块链网络部署和扩展方式的范式转变。启动 Rollup 的过程已得到简化,以至于现在可以与部署网站的容易程度相媲美。只需点击几下,开发人员就可以启动自己的 Rollup,从而大大简化了该过程,可以与部署网站的容易程度相媲美。Rollup 代表了一种有效的解决方案,可以将区块链开发转变为类似 SaaS 的模型,通过向底层网络支付费用来实现。

来源:Optimism 集体

通过将安全性和抗审查性问题转移到已建立的基础层(如以太坊和其他数据可用性解决方案),Layer 2 网络可以探索广阔的设计空间,以实现积极的性能优化。这种方法允许快速迭代和实验,而不会在去中心化和安全性的基本原则上妥协。

广泛使用的 Rollup 堆栈解决方案(如 OP Stack 和 Arbitrum Orbit)被设计为能够支持多种实现和执行环境的通用框架。像 Arbitrum Stylus 这样的解决方案通过允许开发人员使用 Solidity 之外的语言编写智能合约来进一步扩展这种灵活性。

来源:Arbitrum Stylus 与 Solidity:性能基准

然而,尽管 Rollup 技术得到了快速采用,但可用的开发和执行环境的范围仍然有限。虽然这些框架在理论上允许实现各种虚拟机,但现实情况是,开发和集成新的 VM 需要大量的前期成本、时间和专业知识。对于大多数项目,特别是那些旨在最大限度地减少开发开销并加快上市时间的项目,创建自定义 VM 或执行环境仍然不切实际。

因此,建立在这些框架上的绝大多数 Rollup 默认使用 EVM 作为其执行环境。这种选择是由 EVM 建立的生态系统、广泛的工具和开发人员的熟悉程度驱动的。虽然存在实现替代 VM 的灵活性,但经济和实际限制通常会将项目带回 EVM,从而继承其优势和局限性。

基于 EVM 的链的替代方案确实存在,例如 Sui 和 Aptos,它们使用 Move 编程语言。此外,像 Eclipse 这样的项目已经在以太坊之上实现了 Solana 虚拟机 (SVM)。然而,这些解决方案是孤立运行的,允许部署在其各自的链上,但不提供复制其环境以进行自定义链开发的能力。

“构建任何东西……,但只能使用 EVM”。对我来说,这就像定制你的跑车,配备装饰精美的车轮、出色的底盘、昂贵的刹车,然后使用 20 世纪 70 年代几乎无法工作的发动机。我们正在解决这个问题。我们正在为所有 Rollup 构建通用的高吞吐量引擎。

Rushi Manche,Movement 联合创始人

Movement Labs 旨在通过创建一个将 Move 编程语言扩展到各种区块链的框架来填补这一空白,从而建立一个基于 Move 的区块链和 Rollup 网络。Movement 正在开发一个用于构建模块化区块链的框架,该框架利用 Move 语言和虚拟机,而不是代表一个单一的快速链。

Movement 认识到 Rollup 不可避免的激增,因此其方法侧重于创建一个具有更广泛潜力来捕获整个生态系统价值的框架。将 OP Stack 如何成为构建 Rollup 的行业标准进行类比,Movement 正将自己定位为在 Move 生态系统中占据类似的角色。

来源:Movement 白皮书

Movement 的设计结合了 M1 共享排序器和基于 Move 的模块化框架,为构建 Rollup 网络提出了一种现代框架,同时保持激励对齐和互操作性。Movement 的方法创建了一个生态系统,其中开发人员、用户和网络本身的利益更加紧密地结合在一起。

Movement 的愿景超越了单纯的个人快速链,包括构建基于 Move 的整个网络的更广泛目标。通过优先开发最快、最安全的以太坊 L2 环境,同时将 Move 语言引入以太坊和其他 VM 链,Movement 在战略上将自己定位为区块链构建框架的先锋。Movement 提出的框架不仅促进了各种区块链架构之间的互操作性,而且还确保了基于 Move 的解决方案可以适应并在不断发展的环境中蓬勃发展,从而满足了广泛的用例和网络配置。

2. Move:为区块链量身定制的编程语言

2.1 为什么选择 Move?

来源:智能合约开发的演变

Move 的起源源于 Sam Blackshear 及其 Meta(前身为 Facebook)团队在开发 Diem(以前称为 Libra)区块链项目期间的一个关键观察。他们发现现有编程语言在区块链开发方面存在一个根本性的差距:

“在计算机上,一切都只是比特和字节,可以自由复制。你想要一种语言,它可以为你提供围绕所有权和稀缺性的必要抽象,就像在物理世界中一样。你想要那些基本的安全保障。这就是 Move 所做的以及我们创建新语言的原因”

Sam Blackshear,Move 的创建者。

该团队意识到,传统的编程语言(包括用于智能合约的语言,如 Solidity)缺乏本地概念或词汇来准确描述数字资产。这种缺失导致了复杂的回避方法,通常会导致漏洞。此外,他们认识到采用现有语言将固有地引入其局限性,可能会限制项目的未来增长和适应性。

这些见解促成了 Move 的创建,Move 是一种从头开始设计的语言,它既最小化、平台无关,又以稀缺性编程的概念为中心。Move 旨在以安全的环境提供资产的结构化表示,为开发人员提供跨不同区块链平台进行实验的灵活性。

来源:金钱的语言,第一部分:为什么要构建 Move?

Move 已经发展成为一种平台无关的语言,它优先考虑三个关键原则:

2.1.1 面向资源的架构 (ROA)

Move 创新的核心是其面向资源的方法,它体现了“稀缺性编程”的概念。这种设计解决了区块链技术中的一个根本挑战:以与现实世界中的物理资产相同的精度和谨慎性来表示和管理数字资产。

Move 将资源作为语言中的一等公民引入。Move 的资源是受线性逻辑启发的自定义类型,提供固有的稀缺性保护。与传统数据类型不同,Move 中的资源只能在程序存储位置之间移动,而不能复制或隐式丢弃。将它们想象成你可以移动到不同位置的物理对象。

面向资源的设计扩展到 Move 基于模块的架构。每个资源的字段都封装在相应的模块中,类似于其他区块链系统中的智能合约。这些模块包含用于创建、更新和销毁资源的类型和过程,提供关键的数据抽象并保护资源操作免受不受信任的代码的侵害。这种封装允许开发人员定义自定义资源类型,同时受益于 Move 的内置安全措施。

2.1.2 安全性和可验证性

来源:Move Prover

Move 的架构以安全性为核心构建,可针对常见漏洞提供强大的保护。该语言采用双重方法来强制执行安全属性。通用属性(如类型、内存和资源安全)通过字节码验证器在链上进行验证。对于特定于程序的属性,Move 支持使用 Move Prover(一种形式验证工具)进行链下验证。

Move 的字节码优先方法使其与许多其他区块链语言不同。Move 的可执行格式是字节码,所有必要的保护在编译后进行编码。这种设计将编译器从受信任的计算基础中删除,从而消除了系统中的潜在漏洞点。链上字节码验证和链下形式证明工具的结合增强了 Move 程序的整体可靠性。

2.1.3 灵活性和跨平台兼容性

Move 的设计考虑了灵活性和平台无关性。其有意最小化的设计,缺乏账户或特定密码学等内置概念,使其可以在不同的区块链平台上使用。开发人员可以将 Move 定制为特定的区块链架构,并根据其独特的需求进行定制。

来源:Sui

在 Aptos 和 Sui 等项目中 Move 的不同实现体现了 Move 的灵活性。这两个项目均由 Diem 团队的前成员发起,他们进一步完善了 Move 以满足其特定要求。Aptos 专注于增强安全功能并改进资产处理能力,旨在创建一个更加用户友好的区块链生态系统。另一方面,Sui 修改了 Move 以支持新的共识机制和状态管理系统,从而提高了速度和灵活性。

Aptos 和 Sui 对 Move 的采用和改编证明了该语言所具有的多功能性。此外,还有其他举措,例如 Starcoin、Celo 和 Solana,它们都使用 Move 进行智能合约开发。这说明了 Move 如何根据不同项目的具体需求进行定制,同时保持其核心原则。

Move 的资源导向设计、强大的安全性和可验证性功能以及灵活性使其成为区块链开发的强大工具。其创新的资产管理方法,加上强大的安全保证和跨平台兼容性,使 Move 成为希望构建安全、可扩展和灵活的区块链应用程序的开发人员的引人注目的选择。

2.2 安全嵌入式语言

Move 的设计理念将安全性置于核心地位,解决了困扰其他区块链编程语言的许多漏洞。这种安全第一的方法在几个关键功能中显而易见,这些功能使 Move 与其前身不同:

  1. 一等公民资产

来源:Move Github

Move 引入了一等公民资产的概念,类似于编程中的一等公民函数。一等公民资产原则允许将资产视为语言的基本元素,类似于以太坊对待 ETH 的方式。Move 中的一等公民资产不能随意发行或删除,与以太坊上的 ERC-20 等代币标准相比,提供更高的安全级别。

在 Move 中,开发人员可以定义继承这些安全属性的自定义一等公民资产。这些资产只能在存储位置之间移动,不能复制或隐式删除,除非模块明确指定。这种方法在语言级别解决了许多安全缺陷,例如重入,从而降低了与资产管理相关的错误的风险。

  1. 灵活性

Move 的模块系统提供了一种灵活而安全的方式来管理资源。模块类似于智能合约,定义了如何创建、修改和销毁资源。这种封装确保了对资源的关键操作仅在其定义模块内执行,从而为安全性提供了坚实的基础。开发人员可以实施细粒度的访问控制策略,限制谁可以与特定资源交互以及如何交互。

Move 通过其对交易脚本的使用来增强灵活性。每个交易都包含一个交易脚本,该脚本充当交易的主要过程。这些脚本可以调用区块链上任何模块中的任何过程,从而允许交易创建者通过组合不同的模块来自定义他们的交易。这种设计为开发人员提供了很大的编程灵活性,因为他们可以通过组合更简单、经过良好验证的组件来创建复杂的交易。

模块系统和交易脚本方法使创建多功能应用程序成为可能,同时保持安全性。开发人员可以构建在现有、安全模块之上,从而降低在新代码中引入漏洞的风险。

  1. 字节码级别安全性

Move 通过在字节码级别实施检查来采用独特的安全方法。这种设计选择具有以下几个优点:

  • 链上验证:Move VM 包括一个字节码验证器,该验证器在执行之前检查类型、内存和资源安全性。这确保了即使是恶意制作的字节码也不会违反该语言的安全保证。

  • Gas 计量:字节码验证器包括 gas 计量,确保所有 Move 程序终止并防止潜在的拒绝服务攻击。

  • 有限的可变性:Move 限制了值的可变性,仅允许通过单个交易中的引用进行更改。这种设计简化了对程序行为的推理并增强了安全性。

  • 无动态分派:Move 不支持动态分派,这意味着编译器在编译时知道正在调用哪些方法。静态分派使验证工具更容易分析和验证交易,因为程序的行为更可预测且更易于推理。

2.2.1 Move Prover

来源:Move:创新与机遇

Move 最强大的安全功能之一是 Move Prover,这是一种专为 Move 代码设计的高级形式验证工具。Move Prover 通过以数学方式证明代码的行为符合预期,帮助开发人员确保其智能合约的正确性和安全性。以下是 Move Prover 的关键功能:

  1. 形式验证:Move Prover 使用数学技术来证明代码的正确性,提供比传统测试方法更强的保证。此外,尽管其分析全面,但 Move Prover 非常高效。它可以在几秒钟内验证大型模块,使其在开发期间进行常规使用变得可行。

  2. 规范语言:开发人员可以直接在其 Move 代码旁边编写形式规范。这些规范定义了预期的行为、不变量和前置/后置条件,Prover 然后会针对实际代码验证这些条件。

  3. 细粒度不变量检查:Prover 确保代码的重要属性(不变量)在整个执行过程中保持为真,除非明确声明为可变。这有助于捕获传统测试可能错过的细微错误。

  4. 无别名内存模型:为了进行验证,Prover 使用简化的内存模型,该模型消除了复杂的引用。这种方法显着加快了验证过程,而不会牺牲准确性。

来源:形式验证、Move 语言和 Move Prover

通过提供关于代码行为的数学确定性,Move Prover 显着降低了生产系统中漏洞的风险。这在区块链应用程序中尤其重要,因为错误可能会产生严重的经济影响。

Move 的固有安全功能和强大的 Move Prover 的结合为开发安全的区块链应用程序创建了一个强大的框架。它使开发人员能够以对其正确性和安全性充满信心地编写代码,从而为智能合约开发树立了新的标准。

2.3 MoveVM:并行化与模块化的结合

随着区块链的吞吐量需求扩展以适应日益复杂的应用程序,顺序交易处理的局限性变得越来越明显。这导致网络拥塞、延长交易确认时间和可扩展性问题,所有这些都阻碍了更广泛的采用。

并行化已成为解决这些问题的一种有前途的解决方案。这种方法从根本上改变了区块链网络处理交易的方式,从而实现了并发执行。并行化不是一个接一个地处理交易,而是允许多个交易同时处理。

来源:区块链和支持并行执行的技术

通过利用现代多核处理器的功能,并行化可以潜在地减少延迟、提高整体网络可扩展性并充分利用硬件容量。有效并行化的关键在于管理交易依赖性和冲突,确保区块链的最终状态保持一致和安全。

2.3.1 Block STM

Move VM 的可扩展性解决方案的核心在于 Block STM,这是一个由 Aptos 使用的复杂并行执行引擎。Block STM 是 Diem 项目的一部分,它解决了区块链技术中最紧迫的挑战之一:如何在不损害安全性或准确性的前提下快速处理大量交易。

Block STM 的核心是交易的并行处理。传统的区块链系统一次处理一个交易,这在处理大量操作时可能会很慢。另一方面,Block STM 尝试同时处理多个交易。这类似于在商店中拥有多个收银员,而不是只有一个,从而显着加快了结账过程。

然而,在区块链环境中并行处理交易并非易事。交易通常相互依赖,并且按顺序处理它们可能会导致错误。Block STM 通过巧妙的排序和验证系统解决了这个问题。

来源:Block-STM:加速智能合约处理

想象一个包含十个交易的区块,这些交易彼此具有特定的依赖性。Block-STM 将以尊重这些依赖性的方式跨多个线程组织处理,允许非依赖交易并行处理,同时确保任何依赖交易都等待所需的数据。

Block STM 的核心机制如下运行:

  1. 区块预排序:

在并行处理中,Block-STM 确保区块中的所有交易产生与一次处理一个交易相同的结果。它使用设置顺序来处理交易之间的依赖关系,以确保一切都匹配。

  1. 乐观调度:

当事先不知道依赖关系时,Block-STM 使用“推测-验证-重做”方法。它首先尝试以乐观的方式并行运行交易,然后检查交易是否读取了正确的数据。如果不是,则正确地重做交易。

  1. 稻草人 (S-1) 算法:

Block-STM 的初始方法涉及两个阶段:首先,并行处理所有交易;然后,再次处理验证失败的交易。这将继续进行,直到所有交易都成功验证。

  1. Block-STM 算法:

Block-STM 的完整版本通过允许线程根据需要动态地承担验证或重新执行交易的任务来改进稻草人。它使用一种简单的跟踪依赖关系的形式来减少交易需要重做的次数。这是通过抢占式执行和现场重新验证的混合来实现的。

  1. 正确性:

首先,每当交易需要信息时,它总是检索可用的最新数据。这类似于在回复之前总是检查对话中的最新更新。其次,如果更新了任何详细信息,则以下交易会仔细检查以确保自上次查看以来没有任何更改。

来源:Block-STM

Block STM 的效率源于它能够利用区块中交易的预设顺序。此顺序允许系统就执行和验证做出智能决策,减少冲突并最大限度地提高并行处理能力。通过将乐观执行与仔细的冲突管理和协作式调度方法相结合,Block STM 实现了高吞吐量,同时保持了区块链操作所需的一致性保证。

2.3.2 Move VM

MoveVM 是由 Movement Labs 开发的基于 Move 的 Rollup 的运行时环境。除了 Block STM 实现的并行化之外,MoveVM 还旨在增强可扩展性、模块化和互操作性,而传统模型在这方面面临着挑战。

  1. 模块化

传统的 VM 通常会遇到集成挑战,从而导致 mempool、API 和区块处理机制等领域的效率低下。这些效率低下可能会限制区块链的并行处理能力,从而限制系统可扩展性和响应能力。MoveVM 的模块化设计旨在解决这些障碍,从而促进区块链组件的无缝集成。此外,MoveVM 的模块化设计允许动态更新或修改网络,而不会中断系统,从而确保持续运行和发展。

  1. 互操作性

通过部署具有本机桥接功能的 SDK,MoveVM 旨在减少对第三方技术的依赖,从而可以直接在 Movement Rollup 之间进行交易流。Movement 采用了一种专业的以太坊 JSON RPC 端点,该端点处理 EVM RPC 请求并将其转换为与 MoveVM 兼容的调用,从而实现了 Solidity 智能合约与底层 Move 区块链之间的无缝集成。通过这样做,Movement 可以处理与第三方桥相关的风险,例如中心化验证器依赖关系、资产储备失衡以及代码中的潜在错误,从而增强了跨链交易的整体安全性和可靠性。

来源:X(@movementlabsxyz)

MoveVM 引入了几项修改以增强其与多个 VM 的兼容性:

  • Mempool 同步:优化 mempool 中的交易排序和优先级排序,以实现高效的并行处理。它支持与各种应用程序共识机制同步,并在新交易进入 mempool 时通知共识层。可以根据时间间隔或交易接收启动区块构建。

  • 区块构建:利用实时交易数据来加速区块组装。当共识层提示时,执行层会根据费用和期限等参数评估 mempool 交易并对其进行优先级排序。

  • 区块提交:保护和验证组装的区块,确保在区块链上准确记录交易。在执行层中构建区块后,该区块将传输到共识层。达成协议后,执行层会更新Move rollup 架构设计灵活,可适应各种需求。它由两个主要部分组成:构成核心结构的固定元素,以及开发者可以根据其特定需求定制的可配置元素。固定元素包括诸如 Move Executor 和桥接合约等关键组件,它们处理 Layer 1 和 rollup 之间的资产转移。在可配置方面,开发者可以自由选择和实施他们偏好的 sequencer、数据可用性 (DA) 服务和结算机制。最终,这种灵活性使开发者能够创建针对其特定应用程序或项目进行优化设计的 rollup。

3.1.1 Move Executor

来源:Movement

Move Executor 是 Movement-SDK 的核心组件,同时支持 MoveVM 和 EVM 字节码。这种双重兼容性提供了强大的执行环境,使开发者能够利用 Move 语言的先进特性,同时保持与现有以太坊应用程序的兼容性。Move Executor 将 MoveVM 的并行执行能力与现有的 EVM 解释器集成,从而确保了兼容性和可扩展性。该模块是 movement 架构的核心,不可配置。

Move Executor 根据交易类型(Move 或 EVM)以不同的方式处理交易。对于 Move 交易,MoveVM 执行它们并生成表示区块链状态更改的数据。EVM 交易使用 Geth 进行处理,Geth 可以直接修改区块链的状态,也可以生成类似于 Move 交易的状态更改数据。这种方法确保无论交易类型如何,区块链的状态最终都以相同的格式进行修改,从而允许 Move 和以太坊交易以一致的方式更新区块链的状态。

3.1.2 Move Stack 的可配置组件

来源:Movement Whitepaper

Move Stack 为创建和部署 Move rollup 提供全面的支持。它允许开发者通过从一系列预配置组件中进行选择来快速启动新的 Move Rollup。这种模块化方法允许根据特定需求定制各种 rollup 配置。例如,为通用目的而设计的 M2 利用 M1 共享 sequencer 和 Celestia 来实现数据可用性,并结合 ZK 证明机制。其他配置可以针对游戏或 DeFi 等特定应用进行优化。

Move Stack 的可配置组件包括:

  • Sequencer:Rollup 可以选择默认的 M1 去中心化共享排序服务,也可以使用自给自足的排序机制。

  • 数据可用性:选项包括以太坊或 Celestia 或 Near 等替代解决方案。

  • 结算机制:选择包括 Optimistic (欺诈证明)、ZK (有效性证明) 和快速最终性 (Staked Rollup) 方法。

3.1.3 快速最终性 Rollup (Staked Rollup)

Movement 引入了由其自身权益证明共识保护的快速最终性 rollup 的概念。在 Staked Rollup 中,验证者抵押原生 L2 代币以参与共识过程,证明状态转换的有效性。这种机制激励诚实行为,因为验证者会因不诚实的行为而面临其质押物被削减的风险,而诚实参与则会获得奖励。

快速最终性机制采用验证者网络来实现快速的交易最终性。验证者的任务是确认交易批量执行的正确性。当足够数量的验证者(通常超过总权益的三分之二)确认状态转换的正确性时,交易被认为是最终的且不可逆转的。

快速最终性 Move Rollup 的验证过程涉及几个关键步骤:

  1. 验证者在受信任的 Layer 1 合约中质押资产

  2. 在状态转换时,验证者广播签名证明并从其他验证者那里收集证明

  3. 当收集到代表总权益超过三分之二的证明时,它们被提交给 Layer 1 合约

  4. Layer 1 合约验证证明的有效性、唯一性和充分性,从而完成状态转换

快速最终性 rollup 的安全级别直接与验证者的总权益相关。质押、验证和奖励/削减过程通过受信任的合约在 Layer 1 上进行。这种方法旨在提供速度和安全性的平衡,提供比传统 rollup 模型更快的最终性,同时在系统中保持高度的信任和完整性。

3.1.4 Movement SDK

来源:Movement SDK:统一区块链宇宙

本质上,Movement SDK 是一个综合性的模块化开发工具包,专为 M2 rollup 结构设计,在 MoveVM 中提供执行环境。Movement SDK 提供模块化执行环境,允许对区块链进行定制配置和部署,确保不同区块链之间的兼容性和效率。该 SDK 被设计为模块化和可扩展的,允许开发者在核心组件之上构建自定义工具和库,以及与 Movement Labs 自己的网络进行交互。

Movement SDK 提供了一个综合工具,有助于多个区块链环境之间的模块化和互操作性,结合了 movement 框架的核心堆栈:

  • MoveVM: MoveVM 充当安全高效的执行引擎,提供资源导向且严格控制的环境来运行智能合约,这与 Move 的安全性与效率原则相一致。

  • Fractal: Fractal 充当 Solidity 的桥梁,允许开发者将现有的 Solidity 合约部署到 MoveVM 上。Fractal 将 Solidity 对开发者友好的界面与 MoveVM 安全、以性能为导向的运行时集成在一起。

  • Sequencer 和 DA 服务的自定义适配器: Movement SDK 的可定制适配器有助于与多个 sequencer 选项和 DA 解决方案(例如 Celestia 或 Eigen DA)无缝集成。开发者可以根据其特殊需求和用例灵活地配置链的技术堆栈。

3.2 M1:Movement Rollup 的共享 Sequencer

M1 在 Movement 生态系统中充当去中心化共享 sequencer,是 Movement 框架中的关键组件。它管理多个基于 Move 的 rollup 上的交易排序和共识,目标是增强网络安全性、促进公平的交易排序并实现跨 rollup 互操作性。

M1 的架构建立在去中心化设计之上,有别于许多 rollup 解决方案中常用的中心化 sequencer。M1 与 Movement SDK 紧密集成,并利用 MoveVM 的功能。M1 架构的一个关键方面是它使用高度可扩展的 Snowman 机制来实现交易排序的共识。如果 sequencer 未能将交易数据发布到每个 rollup 选择的指定 DA 层,它们可能会面临处罚。

来源:X(@movementlabsxyz)

M1 的一个关键特性是它在促进跨链互操作性方面的作用。作为多个基于 Move 的 rollup 的共享 sequencer,M1 实现了 Movement 生态系统中不同链之间的无缝通信和交互。M1 的共享架构支持跨链原子交换和跨 Move Rollup 的池化流动性,从而促进了资产和流动性可以在不同 rollup 之间自由流动的互连互通且高效的网络。

M1 的设计利用 Move Stack 同时支持 Aptos、Sui 和 EVM 项目的 Parthenon 测试网,展示了其模块化和多功能性。此功能允许 M1 满足各种区块链应用程序和生态系统的需求。

来源:共享 Sequencer;共享排序、聚合理论和垂直集成的 SoK

M1 与 Move Rollup 的集成是 Movement 生态系统的核心特性。共享 sequencer 方法在网络中的所有 Move Rollup 之间提供连接,从而促进跨 rollup 交易和流动性共享。这种集成允许优化交易处理和状态管理,这在使用外部排序解决方案时可能无法实现。

M1 提供可定制的交易排序,其中包含各种方法的模板,例如用于缓解抢先交易攻击和增强抗审查能力的公平交易排序。重要的是,M1 sequencer 模块允许 rollup 收取费用,而不是由外部服务收取,从而可能提高 Movement Network 中原生代币的效用。

来源:推出 M1:使用 Movement SDK 重新定义 L1 区块链

M1 的一个显著方面是其促进自定义 VM 部署的能力。这种灵活性允许开发者创建根据其特定需求量身定制的区块链应用程序,从而超越一刀切的解决方案。开发者可以通过设计与其特定需求相符的 VM 来优化其应用程序的效率和性能。

此外,M1 提供开箱即用的集成功能。部署在 M1 平台上的 VM 和技术会自动合并,从而减少了开发者管理复杂集成流程的需求。这种简化的方法使创建者能够专注于开发创新应用程序,而不会受到集成挑战的阻碍。

通过提供统一的排序层,M1 旨在减少单个 rollup 的基础设施需求。它创建了一个生态系统,其中资产和流动性可以在不同的 Move Rollup 之间移动,从而可能增强用户体验和整体网络效用。

3.3 M2:第一个 ZK Move-EVM L2

3.3.1 架构

来源:Movement Labs 宣布 M2,这是第一个基于 Move VM 的以太坊 L2,底层采用 Celestia

Movement Labs 推出了 M2,这是一个基于 Move 语言的 ZK rollup,定位为 Movement 生态系统的基石。M2 代表着将 Move 编程的优势与以太坊已建立的基础设施相结合的努力,旨在为开发者提供一个构建可扩展且安全的区块链应用程序的平台。但是,应该注意的是,目前 Movement rollup 使用欺诈证明作为其结算机制,并且将来将升级到 ZK rollup

M2 的架构围绕几个核心组件构建:

  1. MoveVM:运行时环境,用于执行 Move 和 EVM 智能合约

  2. Fractal:允许 M2 并行运行标准 EVM 智能合约和 Move 合约

  3. M1:权益证明 L1 sequencer 网络,可确保 Movement 网络中的交易顺序、正确性和可验证性

3.4.2 主要特性

M2 的一个显著特点是其双语言支持。该架构同时容纳 Move 语言变体(Aptos Move、Sui Move)和 Solidity 合约。这种方法允许开发者利用这两个生态系统的公认优势,从而可能扩大可以在该平台上构建的应用程序范围。

在可扩展性方面,M2 旨在显着改进传统的以太坊交易。该架构旨在实现每秒超过 30,000 笔交易,同时保持 EVM 兼容性。为了达到这些吞吐量级别,M2 利用了 Move VM 的设计,Movement Labs 声称该设计更有利于并行化。

M2 通过 Move Prover 结合了形式验证,Move Prover 是一种旨在增强智能合约安全性的工具。此外,M2 采用 Move-EVM 字节码解释器,可以在运行时防止某些漏洞(例如重入)。

通过将 Move 的元素与 EVM 兼容性相结合,M2 试图提供一个平台,该平台可以平衡 Move 看似具有安全性和性能优势与以太坊已建立的生态系统。Movement Labs 将 M2 视为寻求构建需要高吞吐量和增强安全措施的区块链应用程序的开发者的解决方案。

3.4.3 交易生命周期

来源:并行化:区块链交易的新视角

Move Rollup 中交易的生命周期如下:

  • 交易提交:客户端将交易添加到 mempool 中。

  • 排序:sequencer 从 mempool 中选择并排序一批交易。然后,它将交易数据发布到所选的 DA 服务。对于 M2,交易将发布到以太坊

  • 执行:executor 处理交易,生成新的 L2 状态。此状态的简洁表示形式(称为状态根)将发布到 L1 桥接合约

  • 结算:当 L1 验证桥接合约验证新状态时,交易最终完成。对于 M2,有效性证明通过 zk-prover 网络生成,称为 Prover Marketplace。但是,此验证也可以通过在 Optimistic rollup 中成功完成挑战期或在快速最终性 rollup 中验证法定人数证书来完成。

M2 与以太坊保持密切联系,利用其安全性和流动性,同时旨在提供更高的性能。最终,交易数据和状态更改会锚定回以太坊,从而确保整体安全性。

3.4 Fractal:Solidity 和 Move 之间的桥梁

来源:X(@movementlabsxyz)

Fractal 充当 Movement SDK 中的解释器,从而可以在 MoveVM 环境中执行 Solidity 智能合约。Fractal 旨在弥合以太坊生态系统和基于 Move 的平台之间的差距,从而使开发者可以在利用 MoveVM 的资源导向框架的同时,利用现有的 Solidity 合约。

来源:X(@movementlabsxyz)

Fractal 中的解释过程涉及几个步骤:

  1. Tokenization 和 Parsing:Fractal 将 Solidity 脚本分解为基本原语,例如变量、函数和控制结构。然后,它分析代码的句法结构以创建抽象语法树

  2. 抽象语法树 (AST):AST 表示 Solidity 代码的层次结构,描述了不同代码段之间的关系

  3. 中间语言 (IL):AST 被翻译成中间语言,该中间语言充当高级 Solidity 代码和低级指令之间的桥梁。

  4. MoveVM 操作码:将 IL 解释为 MoveVM 可以理解和执行的操作码(操作码)

  5. MoveVM 字节码:最后,将操作码转换为 MoveVM 字节码,以便在 MoveVM 环境中执行

来源:X(@movementlabsxyz)

Fractal 不仅限于其解释过程,还提供有助于 Move 和 EVM 环境之间集成的功能。两个关键功能可以实现这些环境之间的无缝交互:

  1. register_move_contract:此函数允许在 EVM 环境中集成 Move 合约。它可能会通过启用 Move 合约与基于 EVM 的合约一起运行来扩展智能合约生态系统

  2. call_evm_from_move:此函数使 Move 合约能够与基于 EVM 的合约进行交互

这些功能旨在简化集成 Move 和基于 EVM 的合约的过程。通过单个函数调用,Move 合约可能会与部署在 EVM 上的合约进行交互,从而扩大了每个生态系统中可能的集成范围。这种方法可能允许开发者在构建 dApp 时利用这两个平台的属性。

通过此过程,Fractal 旨在使以太坊开发者能够将其现有合约迁移到基于 Move 的平台,而无需重写它们。将现有的 Solidity 代码库转换为 Move 可能是一个耗时的过程,需要学习一门新语言。Fractal 试图简化此过程,从而可能使资源和流动性在不同的链上更自由地移动。

值得注意的是,Fractal 目前正在开发中,正在进行测试和完善以扩展其功能。Fractal 的长期目标似乎是促进不同区块链生态系统之间更大的互操作性,尤其是在以太坊和基于 Move 的平台之间。

4. 生态系统 & 集成

Movement 为开发者轻松地使用 Move 语言构建定制解决方案和 dApp 奠定了基础,使用户能够无缝地集成到生态系统中。因此,Movement 生态系统正在不断扩展和发展。

在本章中,我们将探讨不断扩展和开发的 Movement 生态系统的结构,并检查一些有趣的 dApp 概念,这些概念已经建立并茁壮成长于其中。

来源:Movement Labs

4.1 基础设施

首先,让我们看一下基础设施。尽管归为同一术语,但此处包含的项目在其各自领域中有所不同。从数据可用性 (DA) 到去中心化移动基础设施网络 (DeMIN),我们将仔细研究支持 Movement 区块链的基础设施项目。

4.1.1 Celestia

Celestia 是一种模块化区块链,旨在高效地管理数据并在去中心化网络中安全地共享数据。通过使用数据可用性证明,Celestia 增强了网络安全性,从而允许区块链或 dApp 更高效地运行。在 Movement 生态系统中,Celestia 在数据可用性方面发挥着关键作用,它已成为确保生态系统稳定的关键基础设施组件。

4.1.2 Covalent

Covalent 提供区块链数据 API 解决方案,提供跨各种区块链网络高效收集、处理和传递数据的服务。在 Movement 生态系统中,Covalent 通过促进对区块链数据的轻松访问和使用来帮助 dApp 开发者。这显着提高了开发效率,无需开发者构建复杂的数据基础设施。

4.1.3 Superchain

Superchain 是一个多链索引器,可快速轻松地访问定制数据,从而使开发者能够构建更高效和安全的 dApp。该项目在 EVM 和 Move VM 上提供一致的数据,从而增强区块链数据的去中心化和透明度。使用 Superchain,Movement 中的 dApp 开发变得更简单和更快。

4.1.4 SupraOracles

SupraOracles 是一个为在 Movement 中构建 dApp 的开发者提供快速且安全的实时价格数据或外部数据的项目。它提供可靠的去中心化预言机馈送和可验证随机函数 (VRF),为游戏和 NFT 提供必要的公平性。

4.1.5 Hyacinth

Hyacinth 专注于区块链和智能合约安全审计,分析 Movement 中的各种智能合约代码以识别漏洞并提供改进建议。Hyacinth 支持 dApp 开发者和项目团队创建更安全和更值得信赖的服务。

4.1.6 Up Network

来源:Up Network X

Up Network 引入了 DeMIN 的概念,旨在构建一个去中心化的移动基础设施,以促进在移动环境中无缝访问区块链服务。该项目显着增强了区块链服务的可访问性,尤其是在移动用户数量众多的地区,从而鼓励更多地参与 Movement 生态系统。

4.2 互操作性

Movement 并非区块链行业中唯一的实体。随着各种主网的兴起,每个主网都有自己的理念和概念,该行业已经看到了碎片化的加剧。然而,互操作性项目旨在连接这些碎片化的主网。在 Movement 中,此类努力已在以下项目中实现。

4.2.1 Union x Noble

Union 提供了一个主权层,支持跨各种区块链的互操作性,利用具有零知识证明的无需信任桥接来连接应用程序链、L1 和 L2。这为链间连接开辟了可能性。

Noble 是 Cosmos 生态系统中的一个项目,专注于资产发行,确保安全性、流动性、法规遵从性、标准化和中立性,以实现对 Cosmos 生态系统中数字资产的无缝访问。

Movement Labs 与这两个项目合作,以最大限度地提高区块链生态系统中的互操作性,增强用户体验并集成技术和流动性。值得注意的是,此次合作使原生 USDC 能够从 Celestia 转移到 Movement,从而促进更广泛的金融访问。

4.2.2 OmniBTC

Movement 加入 Omni 的开放流动性网络,为以太坊 rollup 用户提供 Move 的安全性和速度。Omni 聚合rollup 上用户、流动性和活动的数据,使开发者能够构建可在所有rollup 上使用的 dApp。通过进入 Omni 的生态系统,Movement 使用户能够访问各种rollup dApp 和流动性。

4.2.3 Dappad+

来源:dappad+ X

Dappad+ 是一个多链启动板,它将可能难以获得资金的 L2 项目与早期投资者联系起来,从而支持 Movement 中的筹款和代币启动。此外,它还使用 Fractal EVM-to-Move 解释器,允许 EVM 开发者直接在 Movement 中部署,而无需重写代码。Dappad+ 提供了简单的入门流程和创新功能,例如使用原生代币支付费用。

4.3 钱包

当用户尝试使用 dApp 时,他们遇到的第一项服务是钱包服务。尽管现有的钱包服务可以按原样采用,但存在针对 Movement 环境进行了优化且更友好的 Movement 特定钱包。这些钱包加强了 Movement 生态系统中 dApp 项目和用户之间的连接,从而实现便捷的用户体验。让我们看一下一些钱包项目。

4.3.1 Razor Wallet

来源:Razor DAO X

Razor Wallet 是一种针对 Movement 生态系统进行了优化的钱包服务,可帮助用户安全轻松地访问各种 dApp。凭借用户友好的界面和强大的安全功能,它旨在方便初学者和专家使用。Razor Wallet Kit 目前支持 Movement 中的所有网络,并且即将添加 MEVM 支持,这使得开发新的 Movement dApp 非常方便,建议使用 Razor Wallet。

4.3.2 Tailwind

Tailwind 正在开发一款一键式 Cosmos 智能钱包,允许用户使用 IBC 代币支付 gas 费用,该代币现在可以将 Move 和 EVM 用户以及 Movement 中的流动性连接起来。通过这种生态系统协作,它可以改善用户体验 (UX) 并提供一个无需考虑用于跨各种链支付费用的代币类型即可执行交易的环境。

4.4 DeFi

尽管区块链历史取得了进步,但 DeFi 仍然是一个吸引大量资金和用户的领域。Movement 凭借其 Move 语言,提供了一种工具,可以轻松地创建更安全和更高效的智能合约。此外,Movement 还支持 Fractal 功能,这是一种 EVM-to-Move 编译器,允许将其他 EVM 链上实施的服务直接带到 Movement。这些功能已成为许多 DeFi 项目开发者进入的充分理由,从而导致了 Movement 生态系统中最快和最具爆炸性的增长。让我们探讨一下活跃的 DeFi 项目及其功能。

4.4.1 Ethena

来源:Movement X

Ethena 是一种协议,提供完全抵押的 USDe,该 USDe 由质押 ETH 的收益和衍生品市场收益共同支持。Ethena 计划在 Movement 生态系统中推出基于 USDe 的原生收益产品。使用 Movement 的 Fractal EVM-to-Move 编译器,EVM 协议可以在 Movement 中运行,而无需重写其代码,从而使 Movement 中的 dApp 开发者能够访问 USDe 流动性,而无需编写额外的 Move 代码。

4.4.2 Lexer Market

Lexer Market 是一个基于 Arbitrum 构建的 DEX,提供基于加密货币的短期、长期和永续期货交易。Lexer Market 即将支持合成资产和 NFT 交易,可以使用 Fractal EVM-to-Move 编译器无缝集成到 Movement 生态系统中。利用 Move 的内置 Prover 系统,Lexer 可以保护用户资产免受重入攻击,从而使用户可以使用 Move 和 ERC-20 代币参与衍生品交易,并很快可以使用 NFT。Lexer 的智能路由器使用基于预言机的支付系统处理交易,Movement Stack 的快速处理速度和强大的预言机支持使这成为可能。

4.4.3 Thala

来源:Movement X

截至 2024 年 3 月,Thala Labs 是 M2 上最大的 DeFi 平台,提供具有快速、安全的以太坊 L2 可访问性、100% Move 兼容性和 EVM 流动性支持的多合一 DeFi 超级应用程序。Thala 的 DeFi 平台在 Aptos 上记录了 2 亿美元的 TVL,提供了一个多合一的 DeFi 中心,包括 Thala Swap DEX、Move Dollar (MOD)、用于 APT 质押的 sthAPT 和一个活跃的代币启动平台。MOD 是为 Thala 生态系统提供支持的稳定币,由多元化的资产组合支持,并通过抵押债务头寸 (CDP) 系统运行,允许用户存入抵押品并相应地发行 $MOD。

4.4.4 VCRED

VCRED 是一种基于 AI 的流动性管理服务,位于 DEX 之上,使用 AI 和机器学习为流动性提供商 (LP) 提供单边质押策略,以显着提高资本效率。VCRED 的流动性管理策略有望极大地惠及 LP、交易者和整个 Movement DeFi 生态系统,通过 Movement 的安全性、速度和性能功能提供最佳用户体验,并支持访问非 EVM DEX。值得注意的是,最初用 Solidity 编写的 VCRED 在 Movement 的 Fractal 技术的支持下很容易部署在 Movement 中。

4.4.5 Xebra Trade

来源:xebra.trade X

Xebra Trade 是一个非托管衍生品交易所,其平台在“没有灰色区域”的座右铭下提供 100% 的透明度。所有交易流程都在链上进行,提供与 CeFi 相当的速度和用户体验。Xebra 的基础设施构建在链上 CLOB 系统上,包括自动做市商 (AMM)、锁定的 LP 质押和基于价格的保证金系统。此外,它还具有跨保证金、0% 的订单创建费用、类似于 GLP 的金库和链下订单簿区块交易机制。

4.4.6 Stream Finance

Stream Finance 使用去中心化做市商 (DMM) 使用户能够在不受标的资产价格波动影响的情况下赚取利润。这种机制允许用户不仅以 USDC 赚取利润,还以 ETH 和 BTC 赚取利润。通过加入 Movement,Stream Finance 可以访问 Move DeFi 用户和流动性,从而为未来推出流动性优化的去中心化永续交易所铺平道路。

4.4.7 Milky Way

Milky Way 将其流动性质押代币 $milkTIA 引入 M2,允许 M2 用户质押 $TIA,同时保持流动性并在 DeFi 中使用 $milkTIA。Milky Way 被设计为专为模块化生态系统量身定制的流动性质押协议,允许用户在不锁定代币特定时间段的情况下获得质押奖励。M2 是一个模块化 L2,它连接 MoveVM 和其他区块链组件,从而利用 Celestia 的数据可用性。此外,借助 IBC 支持,$milkTIA 可以在 M2 和其他 IBC 链之间无缝移动。

4.4.8 Stakestone

StakeStone 是一种一站式质押协议,可连接跨区块链的流动性。STONE Ether 将产生收益的 ETH 流动性引入 L2,从而支持其在 DeFi 中用于交易、借贷和稳定币发行。通过 Movement 中提供的 STONE-Fi,用户可以使用 STONE 流动性质押代币在 Movement 中保持 ETH 流动性,同时获得质押奖励。

4.4.9 Avitus

来源:Avitus X

Avitus 是一个去中心化衍生品交易平台,允许将各种链上资产用作抵押品,使其成为现有协议添加新资产和扩大流动性的一个有吸引力的地方。Avitus 旨在通过使用户能够创建没有许可的市场并管理链上风险来扩大 DeFi 衍生品市场,从而促进各种资产的交易。为了解决基于 Solidity 的 DeFi 引起的安全问题,Avitus 利用 Movement 的安全性和速度,提供出色的 UX 和快速的交易速度,Movement 的 MoveVM 提供超过 180,000 TPS、深厚的流动性和高安全性。

4.5 游戏

与 DeFi 类似,使用 Move 语言开发智能合约的简易性和效率使其成为游戏领域中一个极具吸引力的点。从项目公司的角度来看,节省的开发资源促成了创意和有趣的游戏规划,从而出现了下面讨论的几个游戏项目。

4.5.1 BRKT(Bracket)

来源:BRKT X

BRKT 是一种去中心化赛事管理协议,私下推出,旨在将体育 GambleFi 引入 Movement。该平台允许用户直接创建定制赛事、体验投注和奖金分配。BRKT 提供各种体育赛事的赛事,包括足球、美式足球、网球和高尔夫,最多可容纳 256 支球队,用户可以参加球队或投注以赢得奖金。它还允许投注选举结果等有趣的话题。在 Movement 中,BRKT 凭借 Movement 特有的并行执行和高效费用市场,提供流畅的用户体验。

4.5.2 Gaimin

Gaimin 是一个 Web3 游戏平台,旨在彻底改变游戏体验并普及 Web3。Gaimin 设想其角色是帮助数百万游戏玩家轻松参与 Web3,将其定位为 Web3 游戏、云计算和游戏交叉领域的下一代游戏平台。Gaimin 持续努力将大部分收入返还给游戏玩家,力求构建一个可持续且对游戏玩家友好的环境。Gaimin 正在与 BNB Chain 合作,使用 Move Stack 框架构建最快和最安全的游戏 L2 区块链。此次合作使 Gaimin 能够在 BNB Chain 上开发自定义模块化 L2 解决方案时,将 Move 的性能和安全性用作执行层。此次进入 Movement 生态系统预计将为未来在 BNB 生态系统中推出更多基于 Move 的 L2 铺平道路。

4.6 社交

在更广泛的区块链行业中,社交领域尚未出现太多炒作。但是,鉴于其对轻量级用户的可访问性,它很可能是大规模采用首先发生的领域。Movement 还有一些社交项目,其创新概念令人感兴趣。

4.6.1 Henry Social

来源:HENRY X

Henry Social 是一种集成的社交商务服务,它将应用程序与链上层相结合,并通过其专用 rollup 提供流畅且可扩展的商务解决方案。当前的商业 dApp 面临与用户体验、可扩展性和成本相关的挑战。Henry 的专用 rollup 应用程序链允许用户在完全抽象的环境中进行 P2P 交易,而无需额外成本,从而促进区块链技术的大规模采用。Henry Social 与 Movement 合作,提供快速且经济实惠的交易、EVM 和 Move 链之间的互操作性,以及与以太坊工具的兼容性,从而支持创建创新的链上商业生态系统。Henry Social 旨在重新定义 Movement 生态系统中的商业,支持公司在创新且易于访问的环境中发展。

4.6.2 MoveWifFrens

MoveWifFrens 是一个使用 Move Aptos 智能合约构建的 SocialFi 平台,计划部署在基于 Aptos Move 的链上。该项目旨在彻底改变人们在数字世界中与内容创作者互动和沟通的方式。值得注意的是,它具有类似社交的 UI/随着 Movement 的持续发展,它对区块链格局的影响可能会变得更加显著。该项目专注于为 L2 实现 Move 的民主化,这可能导致基于 Move 的 rollups 激增,从而可能将行业的重点转向更安全、更高效的区块链架构。M1、M2及其生态系统的成功对于大规模展示基于 Move 的解决方案的可行性至关重要。如果成功,Movement 的方法可能会鼓励更多开发人员采用 Move,从而可能导致更广泛的 Move 兼容工具和应用程序生态系统。

通过像 M2 这样的项目将 Move 与以太坊的基础设施集成,可以作为未来区块链互操作性工作的模型。这可能会导致一个更加互联的区块链生态系统,其中不同语言和平台的优势相结合。Movement 框架中对模块化设计的强调可能会影响未来的区块链开发实践,从而鼓励更灵活和适应性强的区块链架构。

  • 原文链接: 4pillars.io/en/articles/...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
4pillars
4pillars
江湖只有他的大名,没有他的介绍。