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;
15
16pub use cfft::*;
17pub use domain::*;
18pub use ordering::*;
19pub use pcs::*;