11 releases

new 0.152.11 Jan 17, 2025
0.152.10 Dec 20, 2024
0.152.8 Nov 22, 2024
0.152.3 Oct 31, 2024

#29 in #zksync

Download history 159/week @ 2024-10-25 478/week @ 2024-11-01 130/week @ 2024-11-08 505/week @ 2024-11-15 227/week @ 2024-11-22 11/week @ 2024-11-29 18/week @ 2024-12-06 97/week @ 2024-12-13 197/week @ 2024-12-20 111/week @ 2024-12-27 956/week @ 2025-01-03 1248/week @ 2025-01-10

2,543 downloads per month
Used in proof-compression

MIT/Apache

265KB
7K SLoC


CUDA implementation of the fflonk prover

Dependencies

~35MB
~515K SLoC