hyperplonk/poly-iop/src/lib.rs
poly-iop/src/lib.rsRaw
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 virtual_poly::VirtualPolynomial;
13
14/// Struct for PolyIOP protocol.
15/// It is instantiated with
16/// - SumCheck protocol.
17/// - ZeroCheck protocol.
18pub struct PolyIOP<F: PrimeField> {
19 phantom: PhantomData<F>,
20}