2 releases
| new 0.30.6 | Oct 31, 2024 |
|---|---|
| 0.30.5 | Oct 31, 2024 |
#503 in Magic Beans
333 downloads per month
Used in 2 crates
(via fflonk-cuda)
3.5MB
41K
SLoC
Reference implementation of fflonk prover and verifier
Dependencies
~18MB
~319K SLoC