hyperplonk/poly-iop/src/lib.rs
poly-iop/src/lib.rsRaw
1#![allow(dead_code)]
2
3use std::marker::PhantomData;
4
5use ark_ff::PrimeField;
6
7mod errors;
8mod structs;
9mod sum_check;
10mod transcript;
11mod utils;
12mod virtual_poly;
13// mod zero_check;
14
15pub use virtual_poly::VirtualPolynomial;
16
17/// Struct for PolyIOP protocol.
18/// It is instantiated with
19/// - SumCheck protocol.
20/// - ZeroCheck protocol. (WIP)
21pub struct PolyIOP<F: PrimeField> {
22 phantom: PhantomData<F>,
23}