Espresso 3b: TEE batcher - #447

Closed

QuentinI wants to merge 49 commits into

celo-org:celo-rebase-18from

EspressoSystems:ag/batcher

Commits on Jun 12, 2026

contracts-bedrock: add Espresso BatchAuthenticator and supporting infra

QuentinI
and
OpenCode
committed
Update packages/contracts-bedrock/src/L1/BatchAuthenticator.sol

QuentinI
and
piersy
committed
Remove stray path
QuentinI
committed
Remove hardcoded Sepolia URL
QuentinI
committed
Use OZ v5 in mock verifier
QuentinI
committed
Fix Codex's suggestion
QuentinI
committed
Lower pragma
QuentinI
committed
Remove unrelated foundry.toml changes
QuentinI
committed
scripts/checks: clean up exclude lists per PR review

QuentinI
and
OpenCode
committed
Fix re-initialization
QuentinI
committed
Add batcher address history
QuentinI
committed
contracts-bedrock: drop OZ TUP from espresso deploy

palango
authored and
QuentinI
committed
Remove pause from BatchAuthenticator
QuentinI
committed
Add a defensive check
QuentinI
committed
test: add end-to-end dual-batcher switch test

committed
Fix tests
QuentinI
committed
switchBatcher from toggle to a setter
QuentinI
committed
Use OZ Checkpoints for batcher history

QuentinI
and
OpenCode
committed
contracts-bedrock: deploy espresso impls via vm.getCode, drop suppressed warning codes

QuentinI
and
OpenCode
committed
Check batcher in Espresso mode

shenkeyao
authored and
QuentinI
committed
regenerate snapshots for UnauthorizedEspressoBatcher error
QuentinI
committed
contracts-bedrock: wire espresso proxies to shared OP Stack ProxyAdmin

QuentinI
and
OpenCode
committed
add caller to BatchInfoAuthenticated event

QuentinI
and
OpenCode
committed
forge fmt

piersy
authored and
QuentinI
committed
Remove unused imports

piersy
authored and
QuentinI
committed
Rename tests to fit test name convention

piersy
authored and
QuentinI
committed
op-chain-ops/script: resolve directory-qualified getCode artifact names

QuentinI
and
OpenCode
committed
contracts-bedrock: fix semgrep checks-fast findings

QuentinI
and
OpenCode
committed
op-node: add event-based batch authentication

QuentinI
and
OpenCode
committed
op-node: rename EspressoEnforcementTime to EspressoTime

QuentinI
and
OpenCode
committed
op-node: require BatchAuthenticatorAddress when Espresso is enabled

QuentinI
and
OpenCode
committed
op-node: fix EspressoTime fork-activation doc comments

QuentinI
and
OpenCode
committed
op-node: bind authenticated batches to the authenticating caller

QuentinI
and
OpenCode
committed
op-node: replace global batch auth caches with dependency-injected instances

piersy
authored and
QuentinI
committed
Use rollup.Config in DataSourceConfig

piersy
authored and
QuentinI
committed
op-node: fix up batch-auth cache DI and rollupCfg cherry-picks

QuentinI
and
OpenCode
committed
Hardcode BatchAuthLookbackWindow
QuentinI
committed

Commits on Jun 16, 2026

Tighten assertions for batch auth tests

piersy
authored and
QuentinI
committed
op-node: test Espresso fork boundary and per-commitment batch auth

piersy
authored and
QuentinI
committed
op-node: isolate Espresso derivation tests into espresso_-prefixed files

piersy
authored and
QuentinI
committed
Update op-node/rollup/derive/espresso_blob_data_source_test.go

authored and
QuentinI
committed
Update op-node/rollup/derive/espresso_blob_data_source_test.go

authored and
QuentinI
committed
espresso/bindings: add regenerated BatchAuthenticator Go bindings

QuentinI
and
OpenCode
committed
op-batcher: integrate fallback batcher authentication

QuentinI
and
OpenCode
committed
op-service: add ChainSigner interface and eth_sign helper

QuentinI
and
OpenCode
committed
op-node: add EspressoBatch type and converters

QuentinI
and
OpenCode
committed
espresso: add TEE batcher CLI flags, streamer interface, and L1 adapter

QuentinI
and
OpenCode
committed
op-batcher: add Nitro NSM attestation helper

QuentinI
and
OpenCode
committed
op-batcher: integrate TEE batcher and Espresso submission loop

QuentinI
and
OpenCode
committed