Update ark-groth16 requirement from 0.3.0 to 0.4.0

[dependabot[bot]]

Updates the requirements on ark-groth16 to permit the latest version.

Changelog

Sourced from ark-groth16's changelog.

CHANGELOG

Pending

Breaking changes

• #44 Move free functions in generator.rs, prover.rs, verifier.rs to methods on Groth16 struct.

Features

• #34 Allow specifying custom R1CS to QAP reductions.
• #44 Extend #34 by adding support for custom QAP reductions to the Groth16 struct directly.

Improvements

• #36 Documentation updates and minor optimization in setup.

Bug fixes

v0.3.0

Breaking changes

• #21 Change the generate_parameters interface to take generators as input.

Features

• #30 Add proof input preprocessing.

Improvements

Bug fixes

v0.2.0

Breaking changes

• #4 Change groth16's logic to implement the SNARK trait.
• Minimum version on crates from arkworks-rs/algebra and arkworks-rs/curves is now v0.2.0
• #24 Switch from bench-utils to ark_std::perf_trace

Features

• #5 Add R1CS constraints for the groth16 verifier.
• #8 Add benchmarks for the prover
• #16 Add proof re-randomization

Improvements

• #9 Improve memory consumption by manually dropping large vectors once they're no longer needed

... (truncated)

Commits

• b6f9166 release: ark-groth16 v0.4.0 (#47)
• 6d500af Add QAP reduction to Groth16 struct (#44)
• 23a2af0 Add and fix some documentations and a minor optimization (#36)
• 765b38b Bump all deps to 0.4 (#42)
• 3464e79 Update Groth16 to the latest ark-algebra (#39)
• 765817f Prove with matrices (#35)
• d86285f feat: allow using custom R1CS to QAP reductions (#34)
• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)