p3_circle/lib.rs
1//! A framework for operating over the unit circle of a finite field,
2//! following the [Circle STARKs paper](https://eprint.iacr.org/2024/278) by Haböck, Levit and Papini.
3
4#![no_std]
5
6extern crate alloc;
7
8mod cfft;
9mod deep_quotient;
10mod domain;
11mod folding;
12mod ordering;
13mod pcs;
14mod point;
15mod proof;
16mod prover;
17mod verifier;
18
19pub use cfft::*;
20pub use domain::*;
21pub use ordering::*;
22pub use pcs::*;
23pub use proof::*;