Middleware to compile Circom circuits to Nova zkSNARK scheme
Fast witness generator for Circom circuits
Rust support library for Semaphore
Witness calculator for Circom circuits
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust
Circom prover is a Rust library for generating and verifying proofs for Circom circuits.
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust. Fork with ark-ff 0.4 compatibility for Solana SDK.
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust
An implementation of the LegoGroth16, the Legosnark variant of Groth16 zkSNARK proof system
ZK DevKit for Stellar/Soroban — unified CLI for Groth16, UltraHonk, and RISC Zero
Core library for stellar-zk: traits, config, pipeline, templates
Groth16 backend for stellar-zk (Circom + snarkjs)