Function arrabbiata::decider::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>where
    <<E1 as CommitmentCurve>::Params as CurveConfig>::BaseField: PrimeField,
    <<E2 as CommitmentCurve>::Params as CurveConfig>::BaseField: PrimeField,

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