mina_tree::proofs::step::step_verifier

Function verify

Source 
pub(super) fn verify(
    params: VerifyParams<'_>,
    w: &mut Witness<Fp>,
) -> Result<Boolean>