赞
踩
Sui 是基于第一原理重新设计和构建而成的 L1 公链,旨在为创作者和开发者提供能够承载 Web3 中下一个十亿用户的开发平台。
今年,Sui 的原生编程语言 Move 迎来了重要的更新升级。2024 版将增加枚举 Enums、宏函数、Method 语法等功能。这些重要的新功能为 Move 编程语言引入了新的定义数据和调用函数的方式,使在 Sui 上构建应用程序更加灵活,并符合当前编程语言的最新期望。
Move 语言之于 Sui 生态有何关键之处?事实上,Sui 整个生态建立在三个关键概念的基础上,这三个概念确保交易结算过程是即时的,交易成本是低廉的——这三个核心支柱就是 Move 语言、并行交易执行和 Sui 共识引擎。
其中,Sui 上的应用基于 Move 智能合约语言,这种以智能合约为重点的编程语言充分利用了 Sui 的可扩展性和高吞吐量环境,让开发者能够快速且低成本支持广泛的应用开发。
在之前的文章中,TinTinLand 详细介绍了 Sui 的技术优势、市场前景和生态建设等基本情况(《Sui 如何打造下一个 Web3 十亿用户的开发平台?》)。今天,我们将深入 Sui 的底层 Move 语言,探索其不同于其他区块链编程语言的独特风采。
Sui 网络基于智能合约执行的支持,其中 Sui 区块链上用 Rust 开发 Move 语言实现起着关键作用。Sui 用的 Move 语言相较于 ETH 的 Solidity 具备更强安全性和可靠性;并且,Sui 对 Move 语言进行了改造,使其以对象为中心,面向对象编程。
Sui 上面的 Move 语言允许创建定制的智能合约,可以根据特定用例进行定制,帮助改进项目和应用程序开发和实施过程中的不同流程,并有助于减少与传统中介机构相关的成本。通过这种方式,将有越来越多的开发者和用户进入 Sui 生态。
此外,Sui 的 Move 语言设计方式可防止双花。通过这种方式,它可以帮助 Sui 建立最安全的智能合约平台之一,防止和改进现有加密货币编程语言的固有缺陷。
Sui/Mysten Labs 的联合创始人兼 CTO,也是 Move 语言的创办者 Sam Blackshear 在 Meta(原 Facebook)的 Libra 项目中的 Diem 区块链开发了 Move 语言。
在为 Move 语言做出设计之前,Sam 曾花了几个月的时间仔细研究了 Solidity 和 EVM。他认为,智能合约语言应该更像特定领域语言 (DSL),而不是通用编程语言。这些语言专注于创建对象、传输和共享对象以及执行访问控制检查等特定任务。智能合约编程的核心抽象应该围绕这些任务,以确保安全和效率。
于是,Sam 和团队决定设计一种名为 Move 的新语言,而不是试图改造 EVM 或 Solidity 等现有技术。Move 以 B 代码为起点,融入了内存安全、类型安全、资源安全以及对象/资产的人性化处理等功能。
随着 Move 语言的成功创建,接下来更重要的是如何通过提供有吸引力的激励措施,吸引更多开发者使用 Move 进行开发。在他们看来,克服复杂的密钥管理、钱包安装和原生代币获取等障碍对于吸引开发者至关重要。
因此,Move 开发团队的目标是通过提供 ZK 登录等功能,将这些挑战转化为技术问题,无需安装钱包即可进行交易;并且让赞助商交易可以让其他人支付交易费用,从而让开发者探索更丰富的收入模式。
而 Sui 生态的 Move 语言是以对象为中心的全局存储、地址表示对象 ID、对象具有全局唯一 ID 等方面,构成了 Sui 其他技术创新的底层基础。
Sui 网络所使用的 Move 语言的核心优势包括:
1、Move 语言引入了资源模型,每个 Object 都被视为独一无二的实体,安全性更强;
2、Move 提供了严格的类型系统和所有权模型,有助于编译时监测和防治各种漏洞,特别适合处理复杂的金融交易;
3、Move 支持高度模块化和可组合特性,允许开发者创建可交互操作的模块化和库。
Move 的核心创新之一是引入资源型数据类型,这些类型的行为类似于现实世界的对象,不能复制或无痕删除,从而防止了意外的数据篡改。
Move 支持两个核心对象:智能合约(Move 包,是一组 Move 模块)和数字资产(资源)。Sui 对资源的本地支持通过字节码验证表达。在 Move 源代码编译为字节码后,一个名为 Move 字节码验证器的静态分析工具保证字节码遵循 Sui 的类型、内存和资源安全规则。这种验证确保对象不能被其定义模块之外的代码创建、复制或意外销毁。它还包括对双重支出和重入等某些漏洞的保护。
Move 解决了现有语言的部分安全问题,例如重入、动态分派、所有权检查和对象序列化等,为开发人员提供了更安全的环境。
*要注意的是,Move 的安全性并不完全基于迄今为止没有发生过黑客攻击事件,任何智能合约语言都无法阻止程序员编写不安全的代码,仍然需要审计和其他检查来查找那些以及其他漏洞。
Move 的关键价值主张在于其类型化对象和类型安全。类型安全不仅适用于程序内部,也适用于与外部代码或不可信源交互时。
Move 内置的另一个安全功能是字节码验证器。它确保智能合约的字节码是有效且安全可执行的。字节码验证器的设计是为了确保不会在链上执行创建假币、人为增加币值或复制/销毁现有币的恶意代码。
Move 允许将代码组织成模块,每个模块都有自己的命名空间和私有性规则,这使得代码更容易维护和复用。
Move 代码被组织成模块,每个模块类似于其他区块链上的单个智能合约。这种模块化设计在 Sui 中得到了强调,旨在促使开发者保持模块小巧且分布在不同文件中,同时坚持清晰的数据结构和代码规范。这样做既方便应用程序集成,也便于用户理解。
对于 Web3 开发者来说,在 Move 和 Sui 上的开发体验更加高效且安全。
需要注意的是,对于采用 Move 开发的 Web3 项目来说,要发挥 Move 的安全优势,就要让系统中的所有智能合约都必须始终如一地使用 Move。当所有合约都用 Move 编写时,就可以运行验证器并确保对代码和对象的有力假设。
例如 Bucket Protocol 正在 Sui 生态上构建一个 DeFi 项目,他们在对外展示系统架构及其之间的协作时,特别提到,如果他们用 Solidity 来编写这个项目,可能需要八个月的时间,但是用 Move 只用了两个月,而且他们对其安全性非常有信心。Move 这门语言的工作方式非常贴近他们头脑中对于项目组合的想法。
Sui Move 是从 Move 语言演变而来的,旨在更好地满足新型高性能区块链的需求,因此与标准 Move 语言具有一定差异。在标准 Move 语言的基础上,Sui 利用其安全性和灵活性,大幅提高吞吐量、减少最终性的延迟,并使 Move 编程更易于实践。
Sui Move 编程语言与标准 Move 有很多比较明显的差异,包括:
Sui 使用自己的以对象为中心的全局存储
地址表示对象标识
Sui 对象具有全局唯一标识符
Sui 具有模块初始化程序 (init)
Sui 入口点以对象引用作为输入
Move 于 2020 年发布,目前在 Apache 2.0 开源许可下授权。它在 Aptos、StarCoin、0L、Rooch、Movement 和 Offshore 等网络中得到广泛应用。
标准 Move 基于 Rust 编程语言,比现有的区块链语言更通用,而其他编程语言通常与特定的区块链绑定。Move 语言创办者 Sam 的目标是创建 Web3 的 JavaScript,即一种跨平台语言,使开发人员能够在多个网络环境中应用他们的技能。
Move 的主要关注点是智能合约,它包括用于资产和访问控制的类型和值表示,这是 DApp 开发人员编码时经常遇到的两个基本概念。Move 对类型的一等抽象这些概念使编程更安全、更高效。
虽然 Move 语言是面向平台的,但它受到了以账户为中心的模型的限制。当 Sam 和他在 Mysten Labs 的团队着眼于构建 Sui 时,他们专注于更加通用的网络基础设施,而不是 Libra 项目中 Diem 区块链的有限范围。
Sui Move 被设计为 Move 语言的一个分支,以更好地配合 Sui 的创新,比如其共识模型,其中最重要的区别在于它采用了面向对象的数据存储模型。Sui 网络通过将 Sui Move 作为其本地编程语言,使用 Sui Move 编写的 apps 利用 Sui 的共识机制,实现了令人印象深刻的交易性能。
去年,Sam 在一篇名为《为什么我们创建了 Sui Move》的文章中详细介绍了 Move 与 Sui Move 的区别,展示了 Sui Move 的特点和表现力。
赞
踩
Copyright © 2003-2013 www.wpsshop.cn 版权所有,并保留所有权利。