Add unwrap to Value<F> and make assign() pub (#1)

* make fn assigned public

* add unwrap for Value<F>

Merge pull request privacy-scaling-explorations#179 from privacy-scal…

…ing-explorations/feature/revert-assign-overwrite-check

Revert double-assignment mock prover check

feat: Add `assert_satisfied_at_rows_par` variant (privacy-scaling-exp…

…lorations#139)

Resolves: privacy-scaling-explorations#133

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

…g-explorations#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-scaling-explorations#130

* chore: Address clippy lints

Add keccak256 hasher for transcript (#2)

* Add keccak256 hasher for transcript

* Fix keccak256 common point prefix

* Remove unnecessary hasher_* variables

Merge pull request privacy-scaling-explorations#96 from han0110/featu…

…re/configurable-instance-query

Configurable instance query

 feat: implement multi-phase ConstraintSystem (privacy-scaling-explor…

…ations#97)

Merge pull request privacy-scaling-explorations#84 from han0110/featu…

…re/abstraction-squashed

Merge pull request privacy-scaling-explorations#78 from Brechtpd/eval…

…-mem

Reduce memory use in h evaluation

halo2_proofs 0.2.0