François Garillot's repositories
awesome-folding
A curated list of zero-knowledge folding schemes
rayon-scan
A parallel prefix scan function for ParallelIterator
abomonation_derive
A macros 1.1 #[derive(Abomonation)] implementation for the abomonation crate
bellpepper
SNARK Circuit library
bellpepper-gadgets
A library of gadgets compatible with bellpepper and bellperson
bellperson
zk-SNARK library
ci-workflows
GitHub Actions workflows and templates for use in Lurk repos
criterion.rs
Statistics-driven benchmarking library for Rust
nova-bench
A collection of comparison-benchmarks for Nova & related Proving systems
Nova-Scotia
Middleware to compile Circom circuits to Nova prover
pasta_curves
Rust implementation for zcash/pasta
solidity-verifier
Solidity implementation of Nova proving system verifier