mina_tree::proofs::public_input::plonk_checks

Function ft_eval0_checked

Source 
pub fn ft_eval0_checked<F: FieldWitness, const NLIMB: usize>(
    env: &ScalarsEnv<F>,
    evals: &ProofEvaluations<PointEvaluations<F>>,
    minimal: &PlonkMinimal<F, NLIMB>,
    lookup: Option<F>,
    p_eval0: &[F],
    w: &mut Witness<F>,
) -> F