mopro-ffi

Mopro 是一款用于在移动端开发 ZK 应用程序的工具包。Mopro 使移动端的客户端证明变得简单。

入门指南

• 确保您已安装了 先决条件。
• 通过此 教程 入门。

运行测试

• circom

  cargo test --features circom
  

• halo2

  cargo test --features halo2
  

绑定

• Swift 绑定
• Kotlin 绑定

uniffi 绑定已预编译并提交到此处，用于特定命名的 crate。这避免了依赖包构建/调用 uniffi cli 的复杂性。请注意，依赖的 crate 必须 有库名 mopro_bindings，或者自行重建绑定。

模块

根模块导出用于生成证明的函数。它还导出可以用于从我们提供的 udl 文件设置 uniffi 的宏。目前不支持用户修改 UDL 文件。

circom

包含 circom 证明的所有证明和序列化逻辑。不包括 证人生成逻辑。

halo2

包含 halo2 的所有证明逻辑。

社区

• Telegram: https://t.me/zkmopro
• X: https://x.com/zkmopro