mina_tree::proofs::step::step_verifier

Function public_input_commitment_dynamic

Source 
fn public_input_commitment_dynamic(
    which: &[Boolean],
    srs: &mut SRS<Pallas>,
    domains: Vec<Domains>,
    public_input: Vec<Packed>,
    w: &mut Witness<Fp>,
) -> GroupAffine<Fp>