#plonky3 #circle #group #logic #relating

p3-circle

Plonky3 logic relating to the circle group

9 releases

0.2.0 Aug 15, 2024
0.2.0-succinct Dec 31, 2024
0.1.7-succinct Dec 26, 2024
0.1.4-succinct Oct 8, 2024
0.1.3-succinct Jul 8, 2024

#1744 in Math

MIT/Apache

79KB
1.5K SLoC

A framework for operating over the unit circle of a finite field, following the Circle STARKs paper by Haböck, Levit and Papini.

Dependencies

~2–3MB
~59K SLoC