saffron::folding

Function folding_prover

Source 
pub fn folding_prover(
    srs: &SRS<Curve>,
    domain: Radix2EvaluationDomain<ScalarField>,
    inst1: &CoreInstance,
    wit1: &CoreWitness,
    inst2: &RelaxedInstance,
    wit2: &RelaxedWitness,
) -> (RelaxedInstance, RelaxedWitness, Curve)