p3_uni_stark/
lib.rs

1//! A minimal univariate STARK framework.
2
3#![no_std]
4
5extern crate alloc;
6
7mod config;
8mod folder;
9mod proof;
10mod prover;
11mod symbolic_builder;
12mod symbolic_expression;
13mod symbolic_variable;
14mod verifier;
15mod zerofier_coset;
16
17mod check_constraints;
18
19pub use check_constraints::*;
20pub use config::*;
21pub use folder::*;
22pub use proof::*;
23pub use prover::*;
24pub use symbolic_builder::*;
25pub use symbolic_expression::*;
26pub use symbolic_variable::*;
27pub use verifier::*;
28pub use zerofier_coset::*;