A library for generating non-interactive proofs of knowledge without trusted setup - View it on GitHub