Towards Shanghai Upgrade

[lispc]

Describe the feature you would like

I list the steps to do:

1. change golang tracer to latest geth Update geth dependency from v1.10.18 to v1.11.5 #1363
2. change some opcodes implementation: initcode gas change & prevrandao
3. add new opcodes like push0 Introduce support for PUSH0 #1361
4. change submodule revision inside testool

anything missing?

It may be an "atomic" change, we can only choose fork like london vs shanghai, it is difficult & meaningless to make our circuit behavior as london + push0.

Additional context

No response

[ChihChengLiang]

For EIPs, I list them in a separate session so that we can track decisions of what EIP to include in zkevm in the future.

Here's the list of EIPs in Shanghai upgrade:

• EIP-3651: Warm COINBASE EIP-3651: Warm COINBASE #1367
• EIP-3855: PUSH0 instruction Introduce support for PUSH0 #1361
• EIP-3860: Limit and meter initcode EIP-3860: Limit and meter initcode #1368
• EIP-4895: Beacon chain push withdrawals as operations EIP-4895: Beacon chain push withdrawals as operations #1369
• EIP-6049: Deprecate SELFDESTRUCT This is noop, so no implementation is required.

Paris upgrade

• EIP-4399: Supplant DIFFICULTY opcode with PREVRANDAO Support prevrandao opcode #1376

London upgrade

• [EIP-1559] 1559 support #69
  • feat: add sender balance check to begin-tx (EIP-1559) scroll-tech/zkevm-circuits#1066

[lispc]

another remainder is that we need to support prevrandao opcode (renamed from DIFFICULTY). I make this change https://github.com/scroll-tech/zkevm-circuits/blob/1ea9b5970ff873191de29e625687765f427326dd/bus-mapping/src/circuit_input_builder/block.rs#L119-L127 to be compatible with latest node/libs.