Circom runtime
Circom runtime
Circom runtime
Circom runtime
Witness calculator for Circom circuits
Fast witness generator for Circom circuits
Rust support library for Semaphore
Circom v1 transpiler and proof generation library in Rust
Poseidon hash implementation in Rust with no_std support (fork of light-poseidon)
A Rust library which provides Circom ecosystem, compatible with BabyJubJub EdDSA sign/verify primitives and Poseidon hashing with exports, used for mobile integrations
World ID Proof crate
Framework tooling for genshi — SRS generation, verifier emission, circuit-aware CLI
Circom AST + emitter for hdl-cat IR graphs (bit-level, combinational + time-unrolled Mealy machines)
Offline payment pallet using ZK proofs for the Encointer blockchain runtime
A lightweight, zero-dependency library utilizing Spectral Graph Theory to isolate topological network anomalies.