* feat: move `Accumulator` to `accumulator.rs`
* feat: update due to halo2
* feat: upgrade to use branch `feature/generic-instructions` of `halo2wrong`
* refactor: rollback to `{halo2,halo2_wrong}` without challenge API and cleanup dependencies
* chore: rename statement to instance and auxliary to witness
* chore: use `finalize` instead of `code`
* feat: add `Code::deployment` and `EvmLoader::deployment_code`; add example `evm-verifier-codegen`
* fix: typo
* feat: reduce generated evm verifier size; rename to `evm-verifier` and add another example `evm-verifier-with-accumulator`
* fix: due to `halo2wrong`
* feat: reorganize mods and traits
* fix: allow empty `values` in `sum_*` and move them under `ScalarLoader`
* ci: use `--all-features` for `cargo test`
* fix: use same strategy for aggregation testing
* fix: simplify trait `PlonkVerifier` again
* fix: move system specified transcript under mod `system`
* feat: add `quotient_poly` info in `Protocol`
* feat: implement linearization for circom integration
* feat: re-export loader's dependency for consumer
* refactor: for circom's integration
* tmp: pin `revm` to rev
* fix: remove parentheses
* fix: upgrade for multi-phase halo2
* feat: improve error reporting
* chore: rename crate to snake case
* feat: add `Domain` as an input of `PolynomialCommitmentScheme::read_proof`
* refactor: for further integration
* feat: generalize to suppoer also ipa and add builder fns to `system::halo2::Config`
* feat: add `KzgDecider` for simple evm verifier
* refactor: split `AccumulationScheme` and `AccumulatorEncoding`
* refactor: split `PolynomialCommitmentScheme` and `MultiOpenScheme`
* fix: not need sealed actually
* fix: `chunk_size` should be `LIMBS` when recovering accumulator
* feat: add `Expression::DistributePowers` to avoid stack overflow
* fix: update and pin foundry
* fix: move testing circuits under `system/halo2`
* fix: allow accumulate single accumulator
* feat: remove all patch and make less depending `halo2wrong`
