chore: prepare for osaka HF

[letypequividelespoubelles]

Note

Introduces the Osaka hard fork constraint system: new instruction-handling modules, MMU and OOB subsystems, transaction/receipt processing (SYSI/SYSF/USER with EIP-4788/2935 and EIP-1559), and extensive cross-module lookups.

• Constraint System (Instruction Handling):
  • Add constraints for CALL/CREATE (incl. init/deployment paths), COPY family (CALLDATACOPY/CODECOPY/EXTCODECOPY/RETURNDATACOPY), halting (RETURN/REVERT/SELFDESTRUCT/STOP), JUMP/JUMPI, KECCAK, LOG, machine state, PUSH/POP/DUP/SWAP, STACK_RAM, STORAGE, TRANSIENT, TXN, and context ops.
• MMU:
  • Define columns/constants; implement instructions (MLOAD/MSTORE/MSTORE8, ANY_TO_RAM_WITH_PADDING, RAM↔EXO/RAM, INVALID_CODE_PREFIX, RIGHT_PADDED_WORD_EXTRACTION, MODEXP, BLAKE) with preprocessing/micro flows.
  • Add lookups: MMU→MMIO/WCP/EUC and Hub→MMU.
• OOB (Out‑of‑Band checks):
  • Add columns/constants, decoding, binarities.
  • Implement OOB handlers for JUMP/JUMPI/RDC/CDL/XCALL/CALL/XCREATE/CREATE/SSTORE/DEPLOYMENT and precompiles (SHA2/RIPEMD/IDENTITY/EC ops, MODEXP, BLAKE, BLS suite), plus lookups to ADD/MOD/WCP/BLS ref table.
• RLP Tx Receipt (rlptxrcpt):
  • Add columns/constants and full receipt encoding pipeline with phase/counter control and size/index updates.
• Transaction Data (txndata):
  • Add HUB/RLP/CMPTN views and shared counters; binary/constancy/transition rules; cumulative gas tracking and finalization.
  • Implement SYSI (EIP‑4788/2935), SYSF (NOOP), and USER tx processing: type decoding (Types 0–4), data transfer HUB↔RLP, gas/fee/refund/init‑code checks (EIP‑1559/EIP‑3860/EIP‑2681/EIP‑7623), copy‑TXCD decisions.
  • Wire lookups: txndata↔hub/rlp/rlptxrcpt/rlpaddr/romlex/blockdata/WCP/EUC.
• Hub Lookups:
  • Add hub→{instdecoder, ROM (fetch/vetting/ROMLEX), gas, WCP/WCP‑SOX/SUX, SHF/BIN/MOD/MUL/EXT, LOG_INFO, MMU/MXP/OOB/STP/TRM/SHK, blockhash/blockdata, RLP_TXN}.

^{Written by Cursor Bugbot for commit 4c9083a. This will update automatically on new commits. Configure here.}

[letypequividelespoubelles]

When Osaka is new, it's just a copy paste of Prague, and when a new fork splittting is required, duplicate the fork agnistic one into a london one and an osaka one (MMU, RLP_TXRCPT).

[OlivierBBB]

LGTM, superfluous zkevm_osaka.bin