mina_tree::proofs::step::step_verifier

Function multiscale_known

Source 
fn multiscale_known(
    ts: &[(&Packed, InnerCurve<Fp>)],
    w: &mut Witness<Fp>,
) -> GroupAffine<Fp>