Replace onchain Nitro cert verification with Automata ZK verifier#197

Merged

leopoldjoy merged 26 commits intojoby.thundil/CHAIN-3293-migrate-multiproof-contracts-to-basecontractsfrom

feat/switch-nitro-certificate-verification-to-zk

Mar 5, 2026

Commits on Mar 2, 2026

Replace onchain Nitro cert verification with Automata ZK verifier, add ISemver to multiproof contracts, wire SystemConfigGlobal into standard deploy pipeline
leopoldjoy
committed
Integrate multiproof config into standard DeployConfig, fix TEEVerifier proof format to match AggregateVerifier's l1head change
leopoldjoy
committed
Fix fmt
leopoldjoy
committed
Replace aws-nitro-enclave-attestation submodule with no-git dependency in Makefile
leopoldjoy
committed
Consolidate deploy configs: migrate dev scripts to standard DeployConfig, add multiproof fields to sepolia.json and hardhat.json, remove separate nitro config files
leopoldjoy
committed
Regenerate snapshots for updated and new multiproof contracts
leopoldjoy
committed
Fix Initializable test: guard ETHLockbox entries for non-interop deploys, exclude AggregateVerifier (uses custom bool instead of OZ _initialized)
leopoldjoy
committed
Add test-multiproof recipe to Justfile for CI
leopoldjoy
committed

Commits on Mar 3, 2026