feat(evm): add L1SLOAD and L1STATICCALL precompiles

[jmadibekov]

Adds L1SLOAD at 0x10001 and L1STATICCALL at 0x10002 precompiles gated at TaikoSpecId::UNZEN. On chains where Unzen is Never, the addresses stay unregistered and calls fall through to the standard "no code at address" path.

Companion prover PR: taikoxyz/raiko2#72. The prover imports alethia-reth-evm as a library so guest and live execution share one precompile binary.

Both precompiles share the live shape: input validation → window check → cache lookup → on miss invoke the fetcher → cache the result → return. The pieces that differ between the two:

	L1SLOAD (0x10001)	L1STATICCALL (0x10002)
Input	84B fixed: addr + slot + block	52B+ variable: target + block + calldata
Cache key	(addr, slot, block)	(target, block, keccak(calldata))
Live RPC	eth_getStorageAt	debug_traceCall (storage/stack/memory disabled)
Cache value	B256	(gas, output, reverted)
Gas	2000 + 2000 (fixed)	2000 + 10000 + 16/byte + l1_gas (dynamic)
Output	32B value	variable bytes (≤24 KiB)
Reverts	n/a (always succeeds)	sanitized to (gas=0, empty) before cache

L1SLOAD live path

sequenceDiagram
  participant T as L2 tx
  participant EVM as alethia-reth EVM
  participant F as Live fetcher<br/>(crates/l1-client)
  participant L1 as L1 EL

  T->>EVM: CALL 0x10001<br/>input = 84B (addr + slot + block)
  EVM->>EVM: window check [origin−256, origin]
  EVM->>EVM: cache lookup<br/>key = (addr, slot, block) → miss
  EVM->>F: invoke installed closure
  F->>L1: eth_getStorageAt(addr, slot, block)
  L1-->>F: U256 value
  F-->>EVM: cache + return B256
  EVM-->>T: gas = 2000 + 2000, output = 32B value

Loading

L1STATICCALL live path

sequenceDiagram
  participant T as L2 tx
  participant EVM as alethia-reth EVM
  participant F as Live fetcher<br/>(crates/l1-client)
  participant L1 as L1 EL

  T->>EVM: CALL 0x10002<br/>input = 52B+ (target + block + calldata)
  EVM->>EVM: window check [origin−256, origin]
  EVM->>EVM: calldata size check ≤ 64 KiB
  EVM->>EVM: cache lookup<br/>key = (target, block, keccak(calldata)) → miss
  EVM->>F: invoke installed closure
  F->>L1: debug_traceCall<br/>(disable storage/stack/memory)
  L1-->>F: gas, returnValue, failed
  F->>F: sanitize reverts → (gas=0, empty data)
  F-->>EVM: cache + return (gas, output, reverted)
  EVM-->>T: gas = 2000 + 10000 + 16/byte + l1_gas<br/>output = variable bytes (≤24 KiB)

Loading

Note: Operational caveats, the devnet runbook, and the cross-cutting behavior notes (EL + prover) are consolidated in the companion prover PR taikoxyz/raiko2#72 to keep them in one place.