Library for succinct non-interactive zero knowledge proofs
