Meta: Refactor circuits to get randomness via challenge API

[ed255]

Depends on https://github.com/privacy-scaling-explorations/halo2/issues/90

• [x] Bytecode Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/753
• [x] Tx Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/752
• [x] Keccak Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/751
• [ ] EVM Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/750
• [x] State Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/855
• [ ] MPT Circuit?
• [ ] PublicInputs Circuit? https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/854
• [ ] Super Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/853
• [x] Copy Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/955
• [ ] Exp Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/956

[andyguzmaneth]

Pending:

• Copy circuit
• Root circuit?

[davidnevadoc]

I believe SuperCircuit is done as well. As for RootCircuit I think it doesn't use the ChallengeAPI 🤔

[ChihChengLiang]

We can call this task done. We can create a new task for MPT when we reach there.