Required opcodes for advanced l2 bridge contracts

[pinkiebell]

Further opcodes for more advanced l2 contracts (compatibility layers, erc-20 factories etc):

• EXTCODEHASH Circuit for EXTCODEHASH opcode #353
• EXTCODESIZE Circuit for opcode EXTCODESIZE #1014
• CREATE2
• CODECOPY
• SELFBALANCE Circuit for opcode SELFBALANCE #328
• CHAINID Add CHAINID specs zkevm-specs#168
• SLOAD Circuit for EXTCODEHASH opcode #353 + feat: add sload op (non-bus-mapping version) #334
• SSTORE
• DELEGATECALL Circuit for opcode DELEGATECALL #847
• STATICCALL Circuit for opcode STATICCALL #801

#277

[z2trillion]

SELFBALANCE is done: https://github.com/appliedzkp/zkevm-circuits/blob/main/zkevm-circuits/src/evm_circuit/execution/selfbalance.rs

[CPerezz]

I'm going to take CHAINID :)

[SuccinctPaul]

@pinkiebell, I wanna make sure did the create2 haven done.

ps: I've seen impl<const IS_CREATE2: bool> Opcode for DummyCreate<IS_CREATE2> in the create opcode in bus-mapping.

[pinkiebell]

@ChengYueJia There seems to be a bus-mapping implementation but it's still named dummy. cc/ @z2trillion @lispc regarding status on this one. 1

On the other hand these opcodes are not handled in the evm circuit yet 2 - only dummy gadgets.
As far as I know they are up for grabs :)

[pinkiebell]

Looks like EXTCODESIZE has a wrong reference 😅

[silathdiir]

Looks like EXTCODESIZE has a wrong reference 😅

Just started to work on this opcode by this spec issue 🙏 privacy-scaling-explorations/zkevm-specs#327

[ChihChengLiang]

The remaining CREATE opcode is tracked in #1130
Meta issue can be closed for just 1 item left.