9 releases
| 0.31.0 | Feb 10, 2025 |
|---|---|
| 0.30.14 | Feb 6, 2025 |
| 0.30.13 | Jan 15, 2025 |
| 0.30.12 | Dec 20, 2024 |
| 0.30.6 | Oct 31, 2024 |
#488 in Magic Beans
11,879 downloads per month
Used in 5 crates
(via fflonk-cuda)
3.5MB
41K
SLoC
Reference implementation of fflonk prover and verifier
Dependencies
~18MB
~327K SLoC