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 v2022_06_03

halo2 v2022_05_09

halo2 v2022_05_06