pub fn lagrange_commitment<F: FieldWitness>(
srs: &mut SRS<GroupAffine<F>>,
d: u64,
i: usize,
) -> PolyComm<GroupAffine<F>>
pub fn lagrange_commitment<F: FieldWitness>(
srs: &mut SRS<GroupAffine<F>>,
d: u64,
i: usize,
) -> PolyComm<GroupAffine<F>>