mina_tree::proofs::public_input::plonk_checks

Function derive_plonk

Source 
pub fn derive_plonk<F: FieldWitness, const NLIMB: usize>(
    env: &ScalarsEnv<F>,
    evals: &ProofEvaluations<PointEvaluations<F>>,
    minimal: &PlonkMinimal<F, NLIMB>,
) -> InCircuit<F>