- Pending coverage
- Do not rely on random for tests
- Move performance tests to specific test

…ions#344)

fix: random point and scalar generation

Also increased the size of the test MSM from k=4 to k=12.

…#342)

* feat: remove "permutation_product_coset" from "Committed"

* fix: update "h_commitments" part in "vanishing/prover.rs"

* feat: remove the "Constructed" from permutation proving

…ling-explorations#348)

* feat: include "shuffles" in "PinnedConstraintSystem::fmt"

* chore: fix the "plonk_api" test

…s#351)

* patch: add multi-phase related challenge fields within transcript

* chore: fix the "plonk_api" test

* patch: add the Debug attribute

feat!: Use Vectors insead of slices for PI

Instances were being passed as a triple slice of field elements: &[&[&[F]]]
in many functions. It has been replaced for `&[Vec<Vec<F>>]`.

)

* feat: improve the "lookup_any" assertion checks

* feat: add new feature "lookup-any-sanity-checks"

* doc: add comments for new feature checks

…scaling-explorations#358)

* fix: make lookup-any-sanity-checks optional in halo2_proofs

* fix: bad lookup tests only when feature

* bump halo2curves to 0.7

* fix: update compression tests

* fix: update mycircuit, plonk_api and seride tests

---------

Co-authored-by: kilic <[email protected]>

chore: bump to version 0.4

* Implement PartialEq, Eq, Hash for Cell and AssignedCell

* Add table, compressed and normal rows count.

* Add rows and table rows to cost model.

* Ignore unassigned cells if they are multiplied by zero

* Some format values are written as

"Scalar(0x..)"

The hotfix was to change the stripping rules, but this is probably
an incorrect implementation of certain traits for one of the curves.

* Update MWV - this is the smalles version with which I could compile.

* Nits

* Expose constraint (needed to define the types of `Constraints`)

* Remove code coverage token

* Nits

* read_vk does not need to receive the compiled circuit as input

* Default without compress selectors

* Fixed values have changed, because we now use non compressed selectors by default.

* Expose a function to read VKs with compressed selectors.

* Circuit model account for ZK and PIs

* Apply suggestions from code review

Co-authored-by: Miguel Ambrona <[email protected]>

* Warning if PI is dominant factor

---------

Co-authored-by: Miguel Ambrona <[email protected]>

…6cb49d9

180520d8bccc4392d1e1e210d0f0a2e33dce4708
b86ae99e650f9e04cf6fb787bf9e9e502c0f0ced
3c425cd0a5ed03067250fde1d9bbd76ecc7fc66e
b690f755f3f111bfdedb3df19122d574b9b06ab2
5a510b444c776e88c5e12ae20edc6abc952138d8
56a9a15387b0144a3fc3ec17ed0960c96af2e6c9