Skip to content

Conversation

@amkCha
Copy link
Contributor

@amkCha amkCha commented Dec 16, 2025

Note

Adds full rlptxn/osaka implementation and switches various gas/refund columns to 64-bit in Prague/Cancun views; updates build to use the Osaka RLP txn module.

  • RLP TXN (Osaka):
    • Add new module rlptxn/osaka: columns (txn, cmp, shared), extensive constraints (generalities, phases for integers/data/access list/beta/to), specialized helpers, lookups (rlputils, hub, rom, trm, txndata, blockdata), and prover columns.
  • Build:
    • Update Makefile to define and use RLP_TXN_OSAKA in ZKEVM_MODULES_OSAKA.
  • Type Widening (64-bit):
    • Prague hub/txndata views: change GAS_LIMIT, GAS_INITIALLY_AVAILABLE, GAS_LEFTOVER, REFUND_COUNTER_*, REFUND_EFFECTIVE to :i64.
    • Cancun RLP txn: change txn/GAS_LIMIT to :i64.

Written by Cursor Bugbot for commit 624eebc. This will update automatically on new commits. Configure here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant