Module snark
GM17 zkSNARK construction.
Note: V should serialize its contents to Vec<E::Fr> in the same order as during the constraint generation.
Vec<E::Fr>