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§
- Cfft
Perm - Circle
Commit Phase Proof Step - 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
FriProof - Circle
Input Proof - Circle
Pcs - Circle
PcsProof - Circle
Query Proof