4 releases
new 0.30.8 | Nov 19, 2024 |
---|---|
0.30.7 | Nov 18, 2024 |
0.30.6 | Oct 31, 2024 |
0.30.5 | Oct 31, 2024 |
#284 in Magic Beans
1,172 downloads per month
Used in 2 crates
(via fflonk-cuda)
3.5MB
41K
SLoC
Reference implementation of fflonk prover and verifier
Dependencies
~19MB
~347K SLoC