SWAY:金色观察|Sway:Fuel虚拟机的特定语言

Fuel是一个很有趣的以太坊拓展层项目,其项目主要目的是提高以太坊的可扩展性,与其他L2链相同的是,都为了更高的吞吐量在努力,而不同的是,Fuel聚焦于在执行部分解决问题。

Fuel?v1早于2020年部署,是第一个推出到以太坊主网的生产级Optimistic?Rollup。目前已经进展到了Fuel?v2。

更有趣的是,在Fuel?v1时,Fuel推出了Yul+语言,主要用于以太坊虚拟机语言功能的完善。

而在Fuel?v2上又推出了虚拟机语言Sway,本文中将总结Sway的资料,了解其特性。

Fuel虚拟机(Fuel?VM)是一种专为Fuel区块链设计的区块链优化VM。Sway则是Fuel?VM的特定语言(DSL),Sway基于Rust,并包含利用区块链VM的语法。

Sway程序有四种类型:contract、predicate、script、library。每个Sway文件都必须以它是什么类型的程序的声明开头。

例如,声明文件是一个被调用的wallet_lib。Sway合约应该在库中声明一个ABI,以便下游合约可以重用它。

Sway工具链由以下几个组件组成。

Forc

“Fuel?Orchestrator”Forc相当于Rust的Cargo。它是创建、构建、测试和部署Sway项目的主要入口。

Sway语言服务器(forc-lsp)

提供Sway语言服务器forc-lsp以向IDE公开功能。目前,仅通过插件支持Visual?Studio?Code,Vim支持即将推出。

Sway格式化程序(forc-fmt)

提供了一个规范的格式化程序forc-fmt,可以手动运行。Visual?Studio?Code插件将forc-fmt在保存时自动格式化Sway文件。

Fuel?Core

虽然不是Sway工具链的直接部分,但提供了Fuel协议的实现Fuel?Core。

标准库

与Rust类似,Sway带有自己的标准库。

Sway标准库是可移植Sway软件的基础,它是一组适用于更广泛的Sway生态系统的最小共享抽象。它提供核心类型,如Result<T,E>和Option<T>、语言原语上的库定义操作、本机资产管理、区块链上下文操作、访问控制、存储管理以及对来自其他VM的类型的支持等。

Sway与Solidity的区别

Sway所针对的底层虚拟机是Fuel?VM。Solidity指定以太坊虚拟机(EVM)为目标。

Fuel?VM中的字节是64位,而不是EVM的256位。因此,原始整数只能达到u64,而哈希不在寄存器中,而是在内存中。因此,Ab256是指向包含哈希值的32字节内存区域的指针。

Fuel?VM只有无符号整数作为原语提供:u8、u16、u32和u64。不提供有符号整数运算。如果需要,可以在高级库中实现有符号整数和有符号整数算术。

Fuel?VM中的恐慌是全局性的,可以完全无条件地恢复交易的状态效果,减去使用的gas。

Fuel?VM中的数学计算默认是安全的。安全检查在VM实现中本地执行,而不是像Solidity的默认安全数学计算那样在字节码级别执行。

Sway合约没有实际的代码大小限制。物理限制由VM_MAX_RAMVM参数控制,在撰写本文时为64MiB。

Sway与Rust的区别

在Rust中,枚举通常采用以下三种形式之一:单元变体,没有内部数据,结构变体,包含命名字段,元组变体,其中包含数据元组。

在Sway中,该过程被简化了。枚举变体必须全部指定一种类型。这种类型代表他们的内部数据。这实际上与Rust提供的同构,只是语法不同。

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

链链资讯

酷币下载SWAY:穆长春:下一步将加强数字人民币立法

随着国内数字人民币的进一步普及与落地,数字人民币的更广泛试点与应用工作正在稳步推进,针对市场的相关讨论,官网明确给出了答复,数字人民币作为数字形式的法定货币,与实体货币纸币人民币稳定一比一兑换.

[0:0ms0-2:988ms