Stars
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
linear-time sumcheck protocol for multilinear polynomials and related addends
A Rust library for the Marlin preprocessing zkSNARK
A Rust library for polynomial commitments
Interfaces for Relations and SNARKs for these relations
Java library for distributed zero knowledge proof systems
C++ library for evaluating arithmetic circuits on batches of inputs
SageMath library for constructing elliptic curves