Rust Rapidsnark

This project provides a Rust adapter for compiling and linking Rapidsnark into a native library for target platforms (e.g., mobile devices). It includes macros and functions to facilitate the integration of proof generation into Rust codebases.

Requirements

Rust toolchain

cargo 1.89.0 (c24e10642 2025-06-23)

Usage

Include the crate in your Cargo.toml:

[dependencies]
rust-rapidsnark = "0.1"

[build-dependencies]
rust-rapidsnark = "0.1"

It doesn't include the witness generation functions, you need to use one of the following crates to generate the witness:

• rust-witness
• witnesscalc-adapter
• circom-witnesscalc
• wasmer

For example, building witness with witnesscalc-adapter:

witnesscalc_adapter::witness!(multiplier2);
let json_input_string = "{\"a\": [\"2\"], \"b\": [\"3\"]}";;
let wtns_buffer = multiplier2_witness(json_input_string).unwrap();

Calculate the proof

Calculate the proof by using the groth16_prover_zkey_file_wrapper function. It will take a wtns bytes array like the output of witnesscalc or snarkjs.

let zkey_path = "./test-vectors/multiplier2_final.zkey";
let proof = rust_rapidsnark::groth16_prover_zkey_file_wrapper(zkey_path, wtns_buffer).unwrap();

Verify the proof

Verify the proof by using the groth16_verifier_zkey_file_wrapper function.

let vkey = std::fs::read_to_string("./test-vectors/keccak256_256_test.vkey.json")?;
let valid = rust_rapidsnark::groth16_verify_wrapper(
    &proof.proof,
    &proof.public_signals,
    &vkey,
)?;

Supported platforms

The static libraries are downloaded at build time from the upstream iden3/rapidsnark release, which publishes prebuilt libraries for:

Linux

• x86_64 linux
• arm64 linux

MacOS

• aarch64-apple-darwin
• x86_64-apple-darwin

iOS

• aarch64-apple-ios
• aarch64-apple-ios-sim

Android

• aarch64-linux-android
• x86_64-linux-android

Upstream publishes no x86_64 build of libfr.a and libfq.a for the iOS simulator, so x86_64-apple-ios needs libraries supplied through RAPIDSNARK_LIB_DIR. A target outside this list falls back to the generic build for its architecture, which may not link.

Build configuration

• RAPIDSNARK_LIB_DIR links librapidsnark.a, libfr.a, libfq.a and libgmp.a out of a directory you provide and skips the download, which is what you want for offline builds or locally compiled rapidsnark.
• RAPIDSNARK_DOWNLOAD_BASE_URL fetches the pinned release assets from a mirror rather than from GitHub. The assets must be byte identical, since each one is checked against a pinned sha256.

Community

• Website: zkmopro.com
• X account:
• Telegram group:

Acknowledgements

• The project is sponsored by PSE.