GenerateProofs generates all the parameters to proof the zkSNARK from the Circuit, Setup and the Witness.

GenerateTrustedSetup generates the Trusted Setup from a compiled Circuit.

VerifyProof verifies over the BN128 the Pairings of the Proof.

Utils is the data structure holding the BN128, FqR Finite Field over R, PolynomialField, that will be used inside the snarks operations.

Proof contains the parameters to proof the zkSNARK.

Setup is the data structure holding the Trusted Setup data.