#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

#1703 in Math

Download history 13/week @ 2024-09-18 21/week @ 2024-09-25 41/week @ 2024-10-02 89/week @ 2024-10-09 4/week @ 2024-10-16 3/week @ 2024-12-04 10/week @ 2024-12-11 146/week @ 2024-12-18 118/week @ 2024-12-25 58/week @ 2025-01-01

335 downloads per month

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