Function arrabbiata::prover::prove

pub fn prove<Fp: PrimeField, Fq: PrimeField, E1: ArrabbiataCurve<ScalarField = Fp, BaseField = Fq>, E2: ArrabbiataCurve<ScalarField = Fq, BaseField = Fp>>(
    _env: &Env<Fp, Fq, E1, E2>
) -> Result<Proof, String>

Generate a proof for the IVC circuit. All the information to make a proof is available in the environment given in parameter.