- #44 Move free functions in
generator.rs
,prover.rs
,verifier.rs
to methods onGroth16
struct.
- #34 Allow specifying custom R1CS to QAP reductions.
- #44 Extend #34 by adding support for custom QAP reductions to the
Groth16
struct directly.
- #36 Documentation updates and minor optimization in setup.
- #21 Change the
generate_parameters
interface to take generators as input.
- #30 Add proof input preprocessing.
- #4 Change
groth16
's logic to implement theSNARK
trait. - Minimum version on crates from
arkworks-rs/algebra
andarkworks-rs/curves
is nowv0.2.0
- #24 Switch from
bench-utils
toark_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