Add verifier module

src/core.rs

@@ -1,3 +1,3 @@
 pub mod precomputation;
 pub mod prover;
-pub mod sumcheck;
+pub mod verifier;

src/core/verifier.rs

@@ -0,0 +1,7 @@
+use std::{hash::Hash, marker::PhantomData};
+
+use ff::PrimeField;
+
+use crate::{pcs::PolynomialCommitmentScheme, poly::multilinear::MultilinearPolynomial};
+
+struct Verifier<F: PrimeField + Hash, Pcs: PolynomialCommitmentScheme<F, Polynomial = MultilinearPolynomial<F>>,> (PhantomData<F>, PhantomData<Pcs>);