Espresso 1: Contracts (re-hosted)#455

Merged

piersy merged 31 commits into

celo-rebase-18from

espresso/contracts

Jun 18, 2026

Commits on Jun 18, 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
contracts-bedrock: prevent same-block espressoBatcher history corruption

QuentinI
and
OpenCode
committed
Fix formatting

piersy
authored and
QuentinI
committed
Fix recompile tests
QuentinI
committed