Merge pull request privacy-ethereum#242 from kilic/curves5

update `halo2curves` to 0.6.0

Merge pull request privacy-ethereum#179 from privacy-scaling-explorat…

…ions/feature/revert-assign-overwrite-check

Revert double-assignment mock prover check

feat: Add `assert_satisfied_at_rows_par` variant (privacy-ethereum#139)

Resolves: privacy-ethereum#133

fix: Force `VerifyFailure` to own the annotations map (privacy-ethere…

…um#131)

* fix: Force `VerifyFailure` to own the annotations map

Since otherwise we can't move the `VerifyFailure` vec's confortably, and
also, we're required to have a lot of lifetime annotations, it was
decided to force the `VerifyFailure` to own the Annotation maps.

This shouldn't be too harmful as it only triggers when testing.

Resolves: privacy-ethereum#130

* chore: Address clippy lints

Add keccak256 hasher for transcript (privacy-ethereum#2)

* Add keccak256 hasher for transcript

* Fix keccak256 common point prefix

* Remove unnecessary hasher_* variables

Merge pull request privacy-ethereum#96 from han0110/feature/configura…

…ble-instance-query

Configurable instance query

 feat: implement multi-phase ConstraintSystem (privacy-ethereum#97)

Merge pull request privacy-ethereum#84 from han0110/feature/abstracti…

…on-squashed

Merge pull request privacy-ethereum#78 from Brechtpd/eval-mem

Reduce memory use in h evaluation

halo2_proofs 0.2.0