Skip to main content

mopro-cli

mopro is a CLI tool for client-side proving of Zero Knowledge Proofs. It simplifies the process of initializing, building, updating, and testing projects across different platforms and configurations.

Think of it as Foundry for client-side proving.

Installation​

To use mopro, you need to have Rust and Cargo installed on your system. You can install them from the official Rust website.

Run cargo install --path . to install the mopro CLI util.

Usage​

Here are the basic commands of mopro:

  • mopro init: Initialize a new project with support for multiple platforms.

    • options: 
          --adapter <ADAPTER>            [default: circom]
          --platforms <PLATFORMS>...     [default: core]
          --project-name <PROJECT_NAME>  [default: mopro-example-app]

  • mopro deps: Install required dependencies.

  • mopro prepare: Prepare and build circuit and its artifacts.

    • options: 
          --config <CONFIG>  [default: mopro-config.toml]

  • mopro build: Build the project for specified platforms.

    • options: 
          --config <CONFIG>           [default: mopro-config.toml]
          --adapter <ADAPTER>         [default: circom]
          --platforms <PLATFORMS>...  [default: core]

  • mopro test: Run tests for specific platform and test cases.

    • options: 
          --config <CONFIG>           [default: mopro-config.toml]
          --adapter <ADAPTER>         [default: circom]
          --platforms <PLATFORMS>...  [default: core]
          --test-case <TEST_CASE>

  • mopro export-bindings: Export platform bindings to some other directory.

    • options: 
          --platforms <PLATFORMS>...   [default: ios]
          -d, --destination <DESTINATION>

(May be added soon: mopro update: Update bindings with new API for specified platforms.)

Prerequisites​

To use mopro-cli, make sure you have installed the prerequisites.

Examples​

Basic example​

Initialize, build and test a circuit with Rust bindings:

  • Set MOPRO_ROOT

    export MOPRO_ROOT=/Users/user/repos/github.com/zkmopro/mopro

  • Install dependencies

    mopro deps

  • Default to circom adapter and core Rust bindings

    mopro init

  • Go to the newly created directory

    cd mopro-example-app

  • Prepare circuit artifacts

    mopro prepare

  • Build the project

    mopro build

  • Run end-to-end-test

    mopro test

iOS​

Initialize and build an app with iOS support.

mopro init --platforms ios
cd mopro-example-app
mopro prepare
mopro build --platforms ios

# Open project in XCode
open ios/ExampleApp/ExampleApp.xcworkspace

# Currently testing only available for Rust bindings,
# Can run iOS tests from newly created Xcode project
mopro test

Android​

Initialize and build an app with Android support.

mopro init --platforms android
cd mopro-example-app
mopro prepare
mopro build --platforms android

# Open android project in Android Studio
open android -a Android\ Studio

Web​

Initialize and build a web app.

mopro init --platforms web
cd mopro-example-app
mopro prepare
mopro build --platforms web

Open web project directory and run frontend locally.

cd web
npm install
npm run dev

Exporting bindings​

To export bindings to a different directory:

mopro export-bindings --destination <DESTINATION_DIR> --platforms <IOS_AND_OR_ANDROID>

This will the following files, assuming they've been built, to the destination directory:

├── android
│   ├── jniLibs
│   │   └── arm64-v8a
│   │       └── libuniffi_mopro.so
│   └── uniffi
│       └── mopro
│           └── mopro.kt
└── ios
    ├── Bindings
    │   ├── module.modulemap
    │   ├── mopro.swift
    │   └── moproFFI.h
    └── aarch64-apple-ios-sim
        └── release
            └── libmopro_ffi.a

Use the bindings in iOS​

  • Create a XCFramework with xcodebuild

    xcodebuild -create-xcframework \
    -library <DESTINATION_DIR>/ios/aarch64-apple-ios-sim/release/libmopro_ffi.a \
    -headers <DESTINATION_DIR>/ios/Bindings \
    -output "<DESTINATION_DIR>/ios/Mopro.xcframework"

  • Import both the XCFramework Mopro.xcframework and the Swift file bindings Bindings/mopro.swift files into your project (drag and drop should work).

  • Use moproFFI in swift like

    import moproFFI

    ...
    try initializeMopro()
    ...

Reference: https://forgen.tech/en/blog/post/building-an-ios-app-with-rust-using-uniffi

Use the bindings in Android​

  • Add dependency in <ANDROID_APP_DIR>/app/build.gradle.kts

     dependencies {
     ...
     implementation("net.java.dev.jna:jna:5.13.0@aar")
     ...
    }

  • Sync gradle

  • Move the <DESTINATION_DIR>/android/jniLibs/ folder to app/src/main/

  • Move the <DESTINATION_DIR>/android/uniffi/ folder to app/src/main/java/

  • Use moproFFI in kotlin like

      import uniffi.mopro.initializeMopro

      ...
      initializeMopro()
      ...

Reference: https://sal.dev/android/intro-rust-android-uniffi/

Contributing​

Contributions to mopro are welcome. Please feel free to submit issues and pull requests.