pub fn prove<Fp: PrimeField, Fq: PrimeField, E1: AffineRepr<ScalarField = Fp, BaseField = Fq>, E2: AffineRepr<ScalarField = Fq, BaseField = Fp>>(
_env: &Env<Fp, Fq, E1, E2>
) -> Result<Proof, String>Expand description
Generate a proof for the IVC circuit. All the information to make a proof is available in the environment given in parameter.