1use ark_ff::PrimeField;
 2
 3/// Verifier State
 4pub struct VerifierState<F: PrimeField> {
 5    round: usize,
 6    nv: usize,
 7    max_degree: usize,
 8    finished: bool,
 9    /// a list storing the univariate polynomial in evaluation form sent by the
10    /// prover at each round
11    polynomials_received: Vec<Vec<F>>,
12    /// a list storing the randomness sampled by the verifier at each round
13    challenges: Vec<F>,
14}