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 domain;
10mod pcs;
11mod twiddles;
12mod util;
13
14pub use cfft::*;
15pub use pcs::*;