查看原文
其他

【官方】V16网络升级;下一步将专注并致力于开发FVM 2.1:将EVM智能合约部署带入Filecoin网络

Filecoin v16 网络升级:Skyr

它在这里!
Filecoin v16 Skyr 升级 - Filecoin 虚拟机的 Milestone 1 部署到 Filecoin 网络已于 7 月 6 日星期三 1400 UTC 成功完成。
此次升级代表了 Filecoin 网络自近两年前成立以来最剧烈的转变。此次升级的核心是引入 Filecoin 虚拟机 (FVM),并将链执行迁移到它。Filecoin 虚拟机 (FVM) 是一个多语言、基于 WASM 的执行环境,它将向 Filecoin 去中心化存储网络添加智能合约部署功能(称为参与者)。
Skyr 升级是在 Filecoin 上完全启用链上用户可编程性的两个步骤中的第一步,它带来了在已经强大的网络上实施无限数量的新用例和功能的可能性。此次升级意味着 Filecoin 网络的核心逻辑——在内置 actor 中实现——现在运行在 FVM M1(里程碑 1)代码之上。下一步,用户将能够将自定义逻辑部署到网络,使 Filecoin 既是存储层是计算层。

这次升级有什么内容?

Skyr 升级向网络提供了三个与 FVM 相关的Filecoin改进提案(FIP) —— FIP 0030、0031和0032。这些 FIP 共同将我们带到了FVM 路线图的第一个里程碑。在升级时,网络自动切换到使用新的基于 WASM 的 FVM 进行链验证——其规范可在此处找到。目前所有客户端都采用了参考 FVM 实现 ( ref-fvm ),它使用Wasmtime作为其 Wasm 运行时。
原子切换还涉及用基于Rust 的内置角色替换基于 Go 的规范角色(Filecoin 中的角色相当于其他平台中的智能合约)。这些内置参与者产生了 Filecoin 协议的核心功能(存储、证明、电力核算、交易等),它们是协议的核心。
内置 Actor 被编译为 Wasm 字节码,打包成CARv1 文件(捆绑包),并打上manifest的标记,然后将其置于系统 Actor 的状态中。Filecoin 客户端(例如 Lotus、Forest、Venus)将这些捆绑包加载到它们的块存储中,并且该字节码在消息执行期间变得可用。
Skyr 升级带来的另一个重大变化是对气体模型的改造。网络现在为执行逻辑收费,在 Wasm 指令级别执行记帐。它还对系统调用和外部调用收费。这导致更高的气体时间保真度,符合每纳秒执行 10 个气体单位的基线。
此外,Skyr 升级还强化了 Filecoin 协议的其他方面。这些更改包括一个新的、更安全的SnarkPack 证明聚合工具版本,从链状态中的非 UTF-8 字符串迁移,以及对 Filecoin 使用分布式随机性的逐一修复。可以在此处找到完整的更改列表。

测试与审计

鉴于此升级的变化范围,有必要对其进行广泛的测试过程。FVM 本身经过测试,使其完全向后兼容网络版本 14 和 15。这允许用户运行基于 FVM 的实验性金丝雀节点并报告任何观察到的问题。在这个过程中发现并解决了各种问题——非常感谢所有参与和贡献的人!测试向量也是从 Filecoin 主网本身提取的,用于验证 FVM 的正确性。
新的内置演员套件是专门用于编写单元和集成测试的 3 个月冲刺的目标。目标是实现与现已弃用的规范参与者的测试平价,这一里程碑将于 5 月实现。除了检查演员本身的正确性之外,这项工作还关键地释放了对演员进行更改而没有高风险回归的能力。这是能够在未来快速发布修复的基本前提。
为了进行更多的端到端测试,建立了多个测试网络。在积极的开发阶段,根据需要创建了一个“卡特彼勒”测试网络——通常一天几次。这个网络最终变成了“蝴蝶网”——之所以如此命名,是因为它是一个用来捕捉错误的测试网。在这段快速的测试和部署之后,Filecoin 的主要和长期测试网络,calibrationnet,随着 Skyr 升级的变化而更新。社区成员也被邀请参与这些网络,测试他们在网络上的各种不同节点配置,这一贡献对于发现任何特定于平台的问题特别有价值。
除了上述测试工作之外,代码本身还需要进行多次审核。核心团队启动了内部红队审计。此外,从 2022 年 5 月到 2022 年 6 月,两个漏洞赏金计划(GitcoinImmunefi)与Filecoin 安全漏洞赏金一起向社区中的任何人开放——感谢通过这些计划提交调查结果的每个人!
独立承包商Alex Wade进行了更正式的七周审计。本次审计涵盖了 FVM M1 的整个范围,可在此处找到审计仪表板。由于这次审计,潜在的安全风险和小问题被挖掘出来(并且能够得到解决),从而对更改的正确性给予了总体上的高度信心。

下一步是什么?

FVM 核心团队现在完全专注并致力于开发 FVM 的里程碑 2.1:FEVM - 它将 EVM 智能合约部署带入 Filecoin 网络。由于 FVM 的受虚拟机管理程序启发的多语言设计,这个备受期待的里程碑成为可能。
与 EVM 兼容的 FVM 的优先级是听取才华横溢的 web3 开发人员社区反馈的结果。该反馈强烈建议能够利用和重用现有的以太坊和 Solidity 专业知识来构建 Filecoin。它还表明希望能够将经过实战考验的标准 EVM 合约(如代币、注册表等)部署到 Filecoin 网络。能够充当更大解决方案的构建块的合同,例如基于数据的计算、数据 DAO、检索市场、智能、自动化的市场交易和无限的其他用例。
保持核心开源价值以满足开发人员的需求,这意味着与现有 EVM 工具(如 Hardhat、Foundry、Remix、Truffle 和 MetaMask)的完全兼容性现在是 FVM 的首要任务。即将推出的 FVM Foundry 计划 (F/1) 也将很快向应用程序开放,并将专注于将具有 EVM 兼容 FVM 用例和技能的开发人员社区聚集在一起,他们希望参与构建 FVM 的未来 -如果这是你,请继续关注!
Filecoin 虚拟机原生开发也将继续并行,未来 WASM 开发体验的核心工具和基础设施部分由来自FVM Foundry Early Builders Program (FVM Foundry F/0) 的出色开发团队构建,并由Open RFP 补助金这些工具包括高级 Rust SDK、AssemblyScript 和 TinyGo SDK、开发人员工具箱、测试和调试工具。RFP 赠款也向那些希望帮助建造本地 FVM 的基本和完整轨道的人开放 - 这需要一个村庄!
FVM 的下一阶段也将由专用的 FVM 测试网支持。这个名为 Wallaby 的测试网将由专门的存储提供商运行,并支持测试交易和市场交易,从而使 FVM 的开发路径更加顺畅。

致谢

从这篇文章可以看出,许多团队不知疲倦地设计、构建、审计、测试和部署 Skyr 网络升级。其中包括来自ChainSafeIPFS ForcePolypheneProtocol Labs EngRes团队的开发和测试工作;来自SPX 组、1475 开发团队和StorSwift(以及其他)的用户(大规模)测试;参与了ImmunefiGitcoin上的漏洞赏金活动的所有人;亚历克斯·韦德的审计工作;Zondax的关键生态系统工具和利益相关者支持;以及各方孜孜不倦的协调和规划工作Filecoin 基金会;. 感谢所有这些个人和团队,以及无数充满热情的社区成员,他们以多种其他方式参与了这一里程碑。我们希望您和我们一样为在 Filecoin 上解锁完整的用户可编程性感到兴奋,并将与我们一起继续这一旅程!

相关:

FVM负责人Raul计划提前:M2.1优先引入EVM兼容的可编程功能,代码的早期(alpha)版本已开源

官方莲花(FVM虚拟机)工作团队:6月13日出候选版本;V16升级准备!修复几个错误!非可编程M1阶段继续推进中,并取得积极进展

【官方】虚拟机(FVM) M1来了!V16升级是Filecoin成立以来最引人注目的转变;是FVM基础,是实现链上智能合约第一步

升级在即 FVM负责人 劳尔:深入了解FVM;即将推出里程碑M1,着手准备M2可编程阶段;代码演示;很多开发人员已经迫不及待了


您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存