Mina Protocol 为 ChainSafe 颁发开发 grant,Chainsafe 将负责开展 Mina 的 Rust 版本开发。这项工作的重点之一是实现轻量级非共识全节点在 Wasm 环境中的运行。

使用 Mina 简洁加密证明来展示整个区块数据

ChainSafe 团队最终将通过 Rust 中实现 Mina 协议的轻量级非共识全节点。为了能让各位理解,我们将其分解如下:

  • 轻量级:比传统的轻客户端更轻,可以在移动、浏览器或嵌入式环境(如物联网设备)中运行。

  • 非共识:客户端软件可以检查特定账户的余额并向网络提交交易,但不参与构建记录账户转账状态。

  • 全节点:用 Mina 术语来说,非共识全节点具有与传统全节点相同的安全保证,且没有上限。通常情况下,全节点是客户端软件,可以完全验证网络中的交易和区块。由于它验证所有共识参数,并同步分布式账本的整个交易历史,因此被认为是最安全的区块链交互客户端软件。

通过使用递归零知识证明 SNARK,整个 Mina 区块链可以恒定为一个常量大小的简洁证明,足以验证直到当前块的链的有效性,而无需验证整个链。 因此,Mina 在底层设计上取得了巨大的飞跃。 这使我们更接近于轻量级、可信任的区块链环境的目标。

该环境可以在浏览器中、移动设备上运行,甚至在另一个区块链的状态转换函数中运行,以实现可信任的桥梁。

实现这一目标的关键一环在于一个轻便安全的 Runtime 用于服务简洁加密证明。 这就是 WebAssembly (Wasm) 的闪光点。Wasm 是一种低门槛语言,具有紧凑的格式和与机器代码指令的强链接。这项技术在区块链领域的采用率越来越高,通常用作 EVM 的替代品,可以作为智能合约的 Runtime。

Rust x Wasm

然而这远非它唯一的用途。 Wasm 由 Mozilla、Google、Apple 和 W3C 联合开发,作为在浏览器和移动环境中运行复杂的沙盒应用程序的一种方式,非常适合在安全执行环境中验证计算成本高且复杂的 SNARK 证明。其实现的性能将可以与原生运行软件相提并论。

Wasm 是内存安全的、独立于平台的,并且可以有效地映射到所有类型的 CPU 架构。它的灵活性使其成为区块链 runtime 的绝佳选择,并且已经是许多链的编译目标,最著名的是 Polkadot。

Mina 通过 Rust 实现,非常契合 Wasm 语言的特性,对于 Mina 实现可从任何地方访问的目标至关重要,不需要可信的第三方,同步时间以毫秒为单位。