3 releases
| new 0.30.9 | Nov 21, 2024 |
|---|---|
| 0.30.8 |
|
| 0.30.7 |
|
| 0.30.6 | Oct 31, 2024 |
| 0.30.5 | Oct 31, 2024 |
#412 in Magic Beans
1,724 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