AquaVM

AquaVM 执行编译的 Aqua，即 Aqua 中间表示 (AIR) 脚本，并在 Fluence 对等计算协议的实施中扮演重要角色。具体来说，AquaVM 允许在脚本中表达网络编排并组合分布式、对等托管的服务。此外，AquaVM 在促进 Fluence 网络中的 函数可寻址性 方面发挥着重要作用，见图 1。

图 1: Stylized AquaVM And AIR Model

由于 AquaVM 编译为 Wasm，它可以在客户端（如浏览器和 Node.js 应用程序）以及服务器环境中运行。

AquaVM：解释器执行模型

AquaVM 的执行模型简化了 Fluence 协议的数据推送模型，该模型以 粒子 的形式实现，即由数据、AIR（自适应信息报告）和一些元数据组成的智能包。在这种情况下，AquaVM 可以被视为一个纯状态转换函数，它简化了粒子的更新，包括通过使用先前和当前状态来产生新状态，以及更新剩余的 AIR 工作流中的对等方列表和调用请求。除了执行本地服务调用外，AquaVM 还处理来自远程对等方的请求，例如作为并行执行块的一部分，以调用本地服务并处理未来的响应，见图 2。

图 2：AquaVM 解释器执行模型

总之，AquaVM 执行模型处理了简单和高级组合模式（如在一个或多个对等方上的（异步）并行服务执行）的拓扑跃迁。

海蓝宝石中间表示（AIR）：P2P 系统的 IR

AIR 是一种基于 S-expression 的底层语言，具有二进制形式。它目前由十四条指令组成，并将增加更多指令。AIR 的语义受到 π-演算、λ-演算和范畴论的影响。它的语法受到 Wasm Text Format（WAT）和 Lisp 的影响。AIR 脚本控制 Fluence 对等互连网络、其对等方以及甚至其他（p2p）网络上的资源，例如 IPFS 和 Filecoin，例如通过 Marine 适配器服务来调用 Fluence IPFS 库。

AIR 值的描述和 AIR 指令列表及其使用示例可以在 这里 找到。AIR 及其接口的主要属性在此 处 讨论。

AIR 指令的完整列表及其使用示例可以在 这里 找到。AquaVM 接口的基本合约以及更详细的交互方案在此 处 可以找到。

存储库结构

• air 是 AquaVM 的核心
• air-interpreter 是一个用于支持不同编译目标的 crate（Marine 和 wasm-bindgen）
• avm
  • client 是用于浏览器和 Node.js 目标的 AquaVM 启动器
  • server 是用于服务器端目标的 AquaVM 启动器
• crates
  • air-lib 包含 AquaVM 核心的所有主要 crate
  • beautifier 是 AIR-beautifier 的实现
  • data-store 定义了 Fluence 节点使用的 DataStore trait
  • interpreter-wasm 是一个 crate，用于更好地将编译的 Wasm 代码集成到 Fluence 节点中
  • 《testing-framework》是一个改进测试编写体验的框架实现。
• tools 包含与 AquaVM 相关的工具。

支持

如果您发现错误，请提交 问题。您也可以在 Discord 或 Telegram 上联系我们。我们将尽最大努力尽快解决问题。

贡献

任何感兴趣的人都可以为项目做出贡献。请确保您阅读并遵循一些基本 规则。

许可证

所有软件代码均为 Fluence Labs, Inc. 的版权所有，遵循 Apache-2.0 许可证。