The following is a list of past security reviews.
Each review is focused on a different part of the codebase, and at a different point in time. Please see the report for the specific details.
| Date | Reviewer | Focus | Report Link |
|---|---|---|---|
| 2020-10 | Trail of Bits | Rollup | 2020_10-TrailOfBits.pdf |
| 2020-11 | Dapphub | ECDSA Wallet | 2020_11-Dapphub-ECDSA_Wallet.pdf |
| 2021-03 | OpenZeppelin | OVM and Rollup | 2021_03-OVM_and_Rollup-OpenZeppelin.pdf |
| 2021-03 | ConsenSys Diligence | Safety Checker | 2021_03-SafetyChecker-ConsenSysDiligence.pdf |
| 2022-05 | Zeppelin | Bedrock Contracts | 2022_05-Bedrock_Contracts-Zeppelin.pdf |
| 2022-05 | Trail of Bits | OpNode | 2022_05-OpNode-TrailOfBits.pdf |
| 2022-08 | Sigma Prime | Bedrock GoLang | 2022_08-Bedrock_GoLang-SigmaPrime.pdf |
| 2022-09 | Zeppelin | Bedrock and Periphery | 2022_09-Bedrock_and_Periphery-Zeppelin.pdf |
| 2022-10 | Spearbit | Drippie | 2022_10-Drippie-Spearbit.pdf |
| 2022-11 | Trail of Bits | Invariant Testing | 2022_11-Invariant_Testing-TrailOfBits.pdf |
| 2022-12 | Runtime Verification | Deposit Transaction | 2022_12-DepositTransaction-RuntimeVerification.pdf |
| 2023-01 | Trail of Bits | Bedrock Updates | 2023_01-Bedrock_Updates-TrailOfBits.pdf |
| 2023-01 | Sherlock | Bedrock | Sherlock Bedrock Contest |
| 2023-03 | Sherlock | Bedrock Fixes | Sherlock Bedrock Contest - Fix Review |
| 2023-12 | Trust | Superchain Config Upgrade | 2023_12_SuperchainConfigUpgrade_Trust.pdf |
| 2024-02 | Runtime Verification | Pausability | Kontrol Verification |
| 2024-02 | Cantina | MCP L1 | 2024_02-MCP_L1-Cantina.pdf |
| 2024-03 | Sherlock | MCP L1 | Sherlock Optimism Fault Proofs Contest |
| 2024-08 | Cantina | Fault proof MIPS | Base Fault Proof MIPS |
| 2024-08 | Spearbit | Fault proof no-MIPS | Base Fault Proof No MIPS |