add default implementation for fork and merge functions (scroll-tech#39)

test/unwrap_value: escape Value safety in the dev module (scroll-tech#34

)

Co-authored-by: Aurélien Nicolas <[email protected]>

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 (scroll-tech#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 scroll-tech#84 from han0110/feature/abstraction-sq…

…uashed

Merge pull request scroll-tech#78 from Brechtpd/eval-mem

Reduce memory use in h evaluation

halo2 v2022_06_03