feat(op-reth): add Soul Gas Token (SGT) support with acceptance tests (#148) * feat(op-reth): add Soul Gas Token (SGT) support with acceptance tests Add SGT support to the Rust OP Stack implementation and execution-client agnostic acceptance tests, enabling alternative gas payment using Soul Gas Tokens from a predeploy contract. Rust changes (under rust/): - Patch revm/alloy-evm with forked SGT-enabled versions (revm 34.0.0 based) - Add SgtConfig type and SGT constants (contract addr, balance slot) - Parse SGT config from genesis config.optimism (soulGasTokenTime, isSoulBackedByNative) — same format as op-geth - Thread SGT config through OpBlockExecutionCtx → EVM via configure_sgt() - Add OpHardforks trait methods: is_sgt_active_at_timestamp(), is_sgt_native_backed() - RPC: dual HTTP server support (--http.sgt.addr/port) returning native+SGT combined balance on eth_getBalance - TxPool: check native+SGT combined balance for tx validation (only when SGT is active, zero overhead on non-SGT chains) - CLI: --http.sgt.addr and --http.sgt.port arguments Acceptance tests (20/20 passing): - Deposit: basic, accumulation, multi-account independence, native backing - Gas payment: native-only, full SGT, full SGT+native, partial SGT - Gas payment + tx value: full SGT, partial SGT - Insufficient funds: SGT-only, native-only, combined, with tx value - Balance invariant: preSGT + preNative == postSGT + postNative + gasCost + txValue - Genesis: contract deployment, balanceOf returns zero - Smoke: native transfer, balance query Gas payment priority (enforced by forked revm handler): - Deduction: SGT first → native second - Refund: native first → SGT second No MSRV bump (stays 1.88), no reth version bump (stays v1.11.0). Co-Authored-By: Claude Opus 4.6 (1M context) * refactor(op-reth): pass SGT config via CfgEnv instead of Evm trait Move SGT configuration from OpBlockExecutionCtx + Evm::configure_sgt() to CfgEnv fields, matching how OpSpecId passes hardfork info. This eliminates the alloy-evm fork entirely. Changes: - Remove configure_sgt() from Evm trait impl and OpEvm inherent method - Remove sgt_config from OpBlockExecutionCtx - Set CfgEnv.sgt_enabled/sgt_is_native_backed in evm_env(), next_evm_env(), evm_env_for_payload() - Switch revm fork from blockchaindevsh/revm to QuarkChain/revm@3a6aa085 which adds is_sgt_enabled()/is_sgt_native_backed() to Cfg trait - Drop alloy-evm fork (blockchaindevsh/evm) from [patch.crates-io] External dependency: QuarkChain/revm@3a6aa085 (only fork needed) Co-Authored-By: Claude Opus 4.6 (1M context) * fix(op-reth): bump revm rev and reuse SGT helpers in txpool validator Update revm fork to 1744019b which propagates DB errors in SGT balance operations. Deduplicate SGT slot calculation in txpool validator by reusing sgt_balance_slot and SGT_CONTRACT from op-revm. Co-Authored-By: Claude Opus 4.6 (1M context) * fix(op-reth): bump revm rev to e78df8a4 Picks up SGT fixes: reset deduction state between transactions, remove unreachable balance check, and propagate DB errors. Co-Authored-By: Claude Opus 4.6 (1M context) * address comment * fix(op-reth): bump revm rev to b1a98a95 Picks up collect_native_balance for SGT fee burning. Co-Authored-By: Claude Opus 4.6 (1M context) * fix(op-reth): bump revm rev to 3f5854a1 Picks up fix to decrement SGT pool tracking after gas refund, ensuring collect_native_balance sees correct post-refund pool values. Co-Authored-By: Claude Opus 4.6 (1M context) * fix(op-reth): parse SGT config from genesis in OpChainSpecBuilder::build() OpChainSpecBuilder::build() hardcoded sgt_activation_timestamp: None, silently disabling SGT even when the genesis config enables it via config.optimism.soulGasTokenTime. Extract parse_sgt_config() helper and call it in build() so the builder path is consistent with the From path. Co-Authored-By: Claude Opus 4.6 (1M context) * fix(op-reth): use next-block timestamp for SGT activation check in txpool The txpool validator checked SGT activation against the current head timestamp, but transactions will be included in the next block. Use head.Time + 2 to match op-geth's next-block estimation. Co-Authored-By: Claude Opus 4.6 (1M context) * fix(op-reth): gate SGT balance in eth_getBalance by activation timestamp When sgt_mode is true, eth_getBalance always returned native + SGT combined balance regardless of block timestamp. This over-reports balances for historical pre-activation blocks. Add sgt_activation_timestamp to OpHardforks trait and OpEthApi, check the queried block's timestamp before including SGT balance. Co-Authored-By: Claude Opus 4.6 (1M context) * fix(op-reth): fail node startup on SGT HTTP server bind failure ServerBuilder::build(socket) ran inside tokio::spawn, so a bind failure (e.g., port already in use) was only logged and the node started anyway. Bind the TcpListener eagerly and pass it to build_from_tcp so failures surface at node startup. Co-Authored-By: Claude Opus 4.6 (1M context) * fix(op-reth): unify default SGT HTTP port into DEFAULT_SGT_HTTP_PORT constant The builder default was 8546 while the CLI default was 8645. Extract a single DEFAULT_SGT_HTTP_PORT constant (8645) and use it everywhere. Co-Authored-By: Claude Opus 4.6 (1M context) * fix(op-reth): fix SGT balance query for historical blocks and unconfigured chains - Resolve block_id to actual queried block timestamp instead of using latest head, so pre-activation historical blocks return native-only - Return native-only when sgt_activation_timestamp is None (SGT not configured) instead of falling through to combined balance - Parse SGT config from genesis in From instead of hardcoding None Co-Authored-By: Claude Opus 4.6 (1M context) * update revm dep * fix(op-reth): disable inner balance check when SGT is configured The inner EthTransactionValidator performs a native-only balance check that rejects zero-ETH senders before the SGT-aware apply_op_checks can run. Disable the inner balance check when SGT is configured so that apply_op_checks handles combined (native + SGT) balance validation. Co-Authored-By: Claude Opus 4.6 (1M context) * add debug log * fix(op-reth): fix SGT txpool balance check for zero-ETH senders The txpool had two places checking native-only balance, causing SGT transactions from zero-ETH senders to be rejected or demoted: 1. Inner EthTransactionValidator balance check: fixed by calling disable_balance_check() when SGT is configured. 2. Pool maintenance ENOUGH_BALANCE check: fixed by switching reth dependency to QuarkChain/reth fork which adds an additional_balance_provider callback. Op-reth sets this callback to provide SGT balance, so pool maintenance uses native + SGT for the balance check. All 20 SGT acceptance tests pass with DEVSTACK_L2EL_KIND=op-reth. Co-Authored-By: Claude Opus 4.6 (1M context) * revert revm dep to 5d00d01 Co-Authored-By: Claude Opus 4.6 (1M context) * fix(op-reth): propagate SGT balance read errors instead of silently returning 0 Callers can now distinguish between "balance is 0" and "query failed". - read_sgt_balance_from_provider returns Result - Validator returns TransactionValidationOutcome::Error on failure (consistent with native balance and L1 fee error handling) - Update reth dep to 4efc6c714 which propagates errors from additional_balance_provider in pool maintenance Co-Authored-By: Claude Opus 4.6 (1M context) * chore: update reth and revm deps to merged op-es branches - reth: 4efc6c714 (sgt-support) → 543e421e1 (op-es, merged PR #1) - revm: 5d00d01 → 1e1294b3 (op-es, merged PR #1) Co-Authored-By: Claude Opus 4.6 (1M context) --------- Co-authored-by: Claude Opus 4.6 (1M context)

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!