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.

Usage

Include the crate in your Cargo.toml:

[dependencies]
rust-rapidsnark = "0.1.0"

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

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".to_string();
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

Linux

• x86_64 linux
• arm64 linux

MacOS

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

iOS

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

Android

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

Community

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

Acknowledgements

• The project is sponsored by PSE.