Skip to main content

p3_binary_pcs/whir/
mod.rs

1//! WHIR over the additive binary domain, and the adapters that feed it narrow traces.
2
3mod boolean;
4mod budget;
5mod domain;
6mod error;
7mod profile;
8mod proof;
9mod shape;
10
11pub use boolean::{BooleanWhirData, BooleanWhirPcs, BooleanWhirProver, BooleanWhirTracePcs};
12pub use budget::BinaryWhirBudget;
13pub use domain::{BinaryWhirAlphabet, BinaryWhirDomain, BooleanWhirDomain, recommended_cap_height};
14pub use error::{BooleanWhirError, BudgetError, ProfileError};
15pub use profile::BinaryWhirProfile;
16pub use proof::BooleanWhirProof;
17pub use shape::ProofShape;