1//! Some common instances 2 3use ark_ff::Field; 4 5/// Claim to some implicit polynomial evaluating to the given value 6/// at the given point. 7pub struct PolyEvalCheck<F: Field> { 8 pub vars: Vec<F>, 9 pub eval: F, 10}