7 releases
| new 0.30.13 | Jan 15, 2025 |
|---|---|
| 0.30.12 | Dec 20, 2024 |
| 0.30.10 | Nov 28, 2024 |
| 0.30.6 | Oct 31, 2024 |
#351 in Magic Beans
6,708 downloads per month
Used in 2 crates
(via fflonk-cuda)
3.5MB
41K
SLoC
Reference implementation of fflonk prover and verifier
Dependencies
~18MB
~316K SLoC