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;
15
16mod check_constraints;
17
18pub use check_constraints::*;
19pub use config::*;
20pub use folder::*;
21pub use proof::*;
22pub use prover::*;
23pub use symbolic_builder::*;
24pub use symbolic_expression::*;
25pub use symbolic_variable::*;
26pub use verifier::*;