Bytecode-level verification of every allowlisted Euler contract: on-chain code is proven equal to a commit-pinned local build (metadata stripped, immutables masked) — the block explorer is never in the trust path — then each deployment is diffed against its component's audited baseline: the fixes-included state of the component's most recent audit. Reports lead with anything requiring attention and show every deployed source delta beyond audited code as a real diff. Reproducible by anyone.
| Network | Chain ID | Proven |
|---|---|---|
| Ethereum Mainnet | 1 | 20/21 (+1 canonical) |
| BSC | 56 | 21/21 |
| Unichain | 130 | 21/21 |
| Polygon | 137 | 10/10 |
| Monad | 143 | 16/16 |
| Sonic | 146 | 21/21 |
| TAC | 239 | 21/21 |
| HyperEVM | 999 | 18/18 |
| Swell | 1923 | 21/21 |
| Morph | 2818 | 18/18 |
| Base | 8453 | 21/21 |
| Plasma | 9745 | 21/21 |
| Arbitrum | 42161 | 21/21 |
| Avalanche | 43114 | 21/21 |
| Linea | 59144 | 21/21 |
| BOB | 60808 | 21/21 |
| Berachain | 80094 | 21/21 |
Inputs: manifest.json (declared provenance, SHA-only), audits.json (audit registry), baselines.json (component baselines with derivations). Regenerated only when a PR changes those inputs or addresses.