1use ark_ff::PrimeField;
 2use std::marker::PhantomData;
 3
 4mod errors;
 5mod structs;
 6mod sum_check;
 7mod transcript;
 8mod utils;
 9mod virtual_poly;
10mod zero_check;
11
12pub use errors::PolyIOPErrors;
13pub use sum_check::SumCheck;
14pub use virtual_poly::VirtualPolynomial;
15pub use zero_check::ZeroCheck;
16
17/// Struct for PolyIOP protocol.
18/// It is instantiated with
19/// - SumCheck protocol.
20/// - ZeroCheck protocol.
21pub struct PolyIOP<F: PrimeField> {
22    phantom: PhantomData<F>,
23}