mina_tree::proofs::public_input::plonk_checks

Function checked

Source 
pub fn checked<F: FieldWitness>(
    env: &ScalarsEnv<F>,
    evals: &ProofEvaluations<PointEvaluations<F>>,
    plonk: &PlonkWithField<F>,
    w: &mut Witness<F>,
) -> Boolean