logos-blockchain/logos-blockchain-rust-rapidsnark

mirror of https://github.com/logos-blockchain/logos-blockchain-rust-rapidsnark.git synced 2026-06-07 19:59:33 +00:00

History

David Rusu 384513f9c9 fix: build rapidsnark from source with -fPIC on glibc-Linux static

The prebuilt iden3 archives are non-PIC, so they cannot be linked into a
downstream cdylib (e.g. the node's C bindings) — rust-lld fails with
"relocation R_X86_64_PC32 ... recompile with -fPIC". They are also built
against a newer glibc (undefined __isoc23_strtoll/ull on older runners).

For the static feature on glibc-Linux, build rapidsnark from source with
CMAKE_POSITION_INDEPENDENT_CODE=ON against the host toolchain instead. This
produces PIC archives that link into a shared library and, being built against
the host glibc, removes the __isoc23 dependency — so the previous compat shim
(isoc23_compat.c) is no longer needed and is removed.

All other targets (macOS, iOS, Android) keep using the prebuilt download path.

Verified in a glibc-2.35 container: the from-source archives link into a
-shared cdylib with rust-lld and carry no __isoc23 references.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

2026-06-07 10:29:18 -04:00

src

Add buffer-based prover.

2026-06-05 23:36:59 +02:00

build.rs

fix: build rapidsnark from source with -fPIC on glibc-Linux static

2026-06-07 10:29:18 -04:00

Cargo.toml

Refactor build.rs and add flag to force static linking on rapidsnark.

2026-06-05 18:02:49 +02:00

download_rapidsnark.sh

Fetch rapidsnark v0.0.8.

2026-06-05 18:02:24 +02:00

README.md

Add buffer-based prover.

2026-06-05 23:36:59 +02:00

README.md

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:

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();

You can also prove from an in-memory zkey buffer:

let zkey_buffer = std::fs::read("./test-vectors/multiplier2_final.zkey")?;
let proof = rust_rapidsnark::groth16_prover_zkey_buffer_wrapper(&zkey_buffer, &wtns_buffer)?;

Verify the proof

Verify the proof by using the groth16_verify_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.