mina_tree::proofs::wrap::wrap_verifier

Function lagrange_with_correction

Source 
fn lagrange_with_correction(
    input_length: usize,
    domain: (&[Boolean], &[Domains]),
    srs: &mut SRS<Vesta>,
    i: usize,
    w: &mut Witness<Fq>,
) -> (CircuitVar<InnerCurve<Fq>>, InnerCurve<Fq>)