mina_tree::proofs::step::step_verifier

Function lagrange_commitment

Source 
fn lagrange_commitment<F: FieldWitness>(
    srs: &mut SRS<GroupAffine<F>>,
    domain: &Domain,
    i: usize,
) -> InnerCurve<F>