Expand description
A framework for operating over the unit circle of a finite field, following the Circle STARKs paper by Haböck, Levit and Papini.
Structs§
- Batch
Opening - Cfft
Perm - Circle
Domain - A twin-coset of the circle group on F. It has a power-of-two size and an arbitrary shift.
- Circle
Evaluations - Circle
Pcs - Circle
PcsProof - Input
Proof