saffron::folding

Function folding_verifier

Source 
pub fn folding_verifier(
    inst1: &CoreInstance,
    inst2: &RelaxedInstance,
    cross_term_comm: Curve,
) -> RelaxedInstance