mina_tree::proofs::public_input::plonk_checks

Function derive_plonk_checked

Source 
pub fn derive_plonk_checked<F: FieldWitness>(
    env: &ScalarsEnv<F>,
    evals: &ProofEvaluations<PointEvaluations<F>>,
    minimal: &PlonkWithField<F>,
    w: &mut Witness<F>,
) -> InCircuit<F>