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.