We have a Github webpage where we put free (open-source) code.
So far, we have released the following code:
- libsnark: a C++ library for zkSNARK proofs
More precisely, libsnark provides a C++ implementation of a preprocessing zk-SNARK for an NP-complete language similar to arithmetic circuit satisfiability. The libary also includes functionality for constructing instances of the NP-language, "bottom up", using gagdet classes.