- #44 Move free functions in
generator.rs,prover.rs,verifier.rsto methods onGroth16struct.
- #34 Allow specifying custom R1CS to QAP reductions.
- #44 Extend #34 by adding support for custom QAP reductions to the
Groth16struct directly.
- #36 Documentation updates and minor optimization in setup.
- #63 Removed an unneeded
ark-relations/stddependency.
- #21 Change the
generate_parametersinterface to take generators as input.
- #30 Add proof input preprocessing.
- #4 Change
groth16's logic to implement theSNARKtrait. - Minimum version on crates from
arkworks-rs/algebraandarkworks-rs/curvesis nowv0.2.0 - #24 Switch from
bench-utilstoark_std::perf_trace
- #5 Add R1CS constraints for the groth16 verifier.
- #8 Add benchmarks for the prover
- #16 Add proof re-randomization
- #9 Improve memory consumption by manually dropping large vectors once they're no longer needed
- c9bc5519 Fix parallel feature flag
- #22 Compile with
panic='abort'in release mode, for safety of the library across FFI boundaries.
Initial release