A C library for performing Zero-Knowledge Proofs (based on the PBC pairing and elliptic curve library)