Implement halo2 verifier contract

[pinkiebell]

Verify the proof by calling halo2 verifier contract from L1 zkRollup contract.

Depends

• Generate a halo2 verifier for the Root circuit in EVM zkevm-circuits#665
• Write solidity code to generate the Root Circuit public inputs as specified by the PublicInputs circuit #12
• Write solidity code to compute part of the public inputs #13

[pinkiebell]

also depends on

• [WIP] Halo2 24-08-2022 tag update zkevm-circuits#724
  because of halo2 version conflicts
• Generate new testnet params after halo2 upgrade #27

[pinkiebell]

Blocked via

• Keccak lookup error causes real prover to panic in testnet zkevm-circuits#723
• Prover test failure zkevm-circuits#790
• Collect task information of prover #52

[pinkiebell]

• Update InstanceVerifier to latest spec #78
• Support PCS of aggregation circuit in contracts #79
• soundness problem: the keccak circuit selectors are all disabled? #67
• L1Bridge: add new InstanceVerifier into submitBlock #19

[pinkiebell]

This is basically done, the only missing piece is #79 to verify aggregated instance