Stars
Cyclotomic rings over STARK-friendly fields
A rust implementation of the Falcon post-quantum signature scheme
no-std implementation of the Ajtai commitment scheme
A Framework of Lattice-based Zero-knowledge Arguments in Rust
Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Implementation of Goldilocks and its extension fields for both Halo2 traits and arkworks traits
Frobenius sumcheck for vectorized boolean ops
lattice-based zkSNARKs over libsnark [ISW21]
A minimal GPU design in Verilog to learn how GPUs work from the ground up
The fastest, most feature-complete zkVM for developers.
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
A curated list of awesome quantum computing learning and developing resources.