ZKsync Era circuits definitions
Procedural macro for concise defining SNARK relations.
A Rust library to write Zero-Knowledge circuits for multiple prover systems
A Rust library to write Zero-Knowledge circuits for multiple prover systems
A Rust library to write Zero-Knowledge circuits for multiple prover systems
A Rust library to write Zero-Knowledge circuits for multiple prover systems
A Rust library to write Zero-Knowledge circuits for multiple prover systems
A Rust library to write Zero-Knowledge circuits for multiple prover systems
Circuit definitions for Phoenix, a privacy-preserving ZKP-based transaction model
Offline payment pallet using ZK proofs for the Encointer blockchain runtime
Batch Merkle tree implementation.
Quantus-Network - Wormhole circuit implementation using Plonky2