diff --git a/pages/stack/security.mdx b/pages/stack/security.mdx index fbf62b199..1786d634a 100644 --- a/pages/stack/security.mdx +++ b/pages/stack/security.mdx @@ -14,4 +14,7 @@ Documentation covering Faq, Pause in the Security section of the OP Stack ecosys + + + diff --git a/pages/stack/security/_meta.json b/pages/stack/security/_meta.json index d84287eaa..bb7965882 100644 --- a/pages/stack/security/_meta.json +++ b/pages/stack/security/_meta.json @@ -1,4 +1,5 @@ { "faq": "Security FAQs", - "pause": "Pause and unpause the Bridge" + "pause": "Pause and unpause the Bridge", + "audits-report": "Audit reports" } \ No newline at end of file diff --git a/pages/stack/security/audits-report.mdx b/pages/stack/security/audits-report.mdx new file mode 100644 index 000000000..05e07ec2b --- /dev/null +++ b/pages/stack/security/audits-report.mdx @@ -0,0 +1,39 @@ +--- +title: Audit reports +lang: en-US +description: A comprehensive list of security reviews for the OP Stack, including links to detailed audit reports and descriptions of their scope. +--- + +import Link from "next/link" + +# Audit reports + +Security is a top priority for the OP Stack. Below, you'll find a comprehensive list of past audits conducted on various components of the OP Stack ecosystem. Each report includes the scope, focus, and a link to the full audit documentation. These reviews ensure that the system is secure and reliable for all users. + +## Summary + +The following table summarizes all security audits conducted to date: + +| Audit Date | Reviewer | Focus and Scope | View report | +| ---------- | -------------------- | ---------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------- | +| 2020-10 | Trail of Bits | Rollup | view | +| 2020-11 | Dapphub | ECDSA Wallet | view | +| 2021-03 | OpenZeppelin | OVM and Rollup | view | +| 2021-03 | ConsenSys Diligence | Safety Checker | view | +| 2022-05 | Zeppelin | Bedrock Contracts | view | +| 2022-05 | Trail of Bits | OpNode | view | +| 2022-08 | Sigma Prime | Bedrock GoLang | view | +| 2022-09 | Zeppelin | Bedrock and Periphery Contracts | view | +| 2022-10 | Spearbit | Drippie: `Drippie.sol` | view | +| 2022-11 | Trail of Bits | Invariant Testing: `OptimismPortal.sol` | view | +| 2022-12 | Runtime Verification | Deposit Transaction: `OptimismPortal.sol` | view | +| 2023-01 | Trail of Bits | Bedrock Updates: `SystemConfig.sol` | view | +| 2023-01 | Sherlock | Bedrock: All contracts in `packages/contracts-bedrock/src` | [view](https://github.com/sherlock-audit/2023-01-optimism) | +| 2023-03 | Sherlock | Bedrock Fixes: All contracts in `packages/contracts-bedrock/src` | [view](https://github.com/sherlock-audit/2023-03-optimism) | +| 2023-12 | Trust | Superchain Config Upgrade: Various contracts | view | +| 2024-02 | Runtime Verification | Pausability | [view](https://github.com/ethereum-optimism/optimism/blob/develop/packages/contracts-bedrock/test/kontrol/README.md) | +| 2024-02 | Cantina | MCP L1: Various contracts | view | +| 2024-03 | Sherlock | Fault Proofs | [view](https://github.com/sherlock-audit/2024-02-optimism-2024) | +| 2024-08 | Cantina | Fault proof MIPS: `MIPS.sol` | view | +| 2024-08 | Spearbit | Fault proof no-MIPS: Dispute contracts | view | +| 2024-10 | 3Doc Security | Fault proof MIPS: `MIPS.sol` | view | diff --git a/public/audit-reports/2020_10-Rollup-TrailOfBits.pdf b/public/audit-reports/2020_10-Rollup-TrailOfBits.pdf new file mode 100644 index 000000000..3bca4cfac Binary files /dev/null and b/public/audit-reports/2020_10-Rollup-TrailOfBits.pdf differ diff --git a/public/audit-reports/2020_11-Dapphub-ECDSA_Wallet.pdf b/public/audit-reports/2020_11-Dapphub-ECDSA_Wallet.pdf new file mode 100644 index 000000000..4d82bd147 Binary files /dev/null and b/public/audit-reports/2020_11-Dapphub-ECDSA_Wallet.pdf differ diff --git a/public/audit-reports/2021_03-OVM_and_Rollup-OpenZeppelin.pdf b/public/audit-reports/2021_03-OVM_and_Rollup-OpenZeppelin.pdf new file mode 100644 index 000000000..15990a172 Binary files /dev/null and b/public/audit-reports/2021_03-OVM_and_Rollup-OpenZeppelin.pdf differ diff --git a/public/audit-reports/2021_03-SafetyChecker-ConsenSysDiligence.pdf b/public/audit-reports/2021_03-SafetyChecker-ConsenSysDiligence.pdf new file mode 100644 index 000000000..50aa580f5 Binary files /dev/null and b/public/audit-reports/2021_03-SafetyChecker-ConsenSysDiligence.pdf differ diff --git a/public/audit-reports/2022_05-Bedrock_Contracts-Zeppelin.pdf b/public/audit-reports/2022_05-Bedrock_Contracts-Zeppelin.pdf new file mode 100644 index 000000000..188188746 Binary files /dev/null and b/public/audit-reports/2022_05-Bedrock_Contracts-Zeppelin.pdf differ diff --git a/public/audit-reports/2022_05-OpNode-TrailOfBits.pdf b/public/audit-reports/2022_05-OpNode-TrailOfBits.pdf new file mode 100644 index 000000000..ad424d08f Binary files /dev/null and b/public/audit-reports/2022_05-OpNode-TrailOfBits.pdf differ diff --git a/public/audit-reports/2022_08-Bedrock_GoLang-SigmaPrime.pdf b/public/audit-reports/2022_08-Bedrock_GoLang-SigmaPrime.pdf new file mode 100644 index 000000000..2076693d1 Binary files /dev/null and b/public/audit-reports/2022_08-Bedrock_GoLang-SigmaPrime.pdf differ diff --git a/public/audit-reports/2022_09-Bedrock_and_Periphery-Zeppelin.pdf b/public/audit-reports/2022_09-Bedrock_and_Periphery-Zeppelin.pdf new file mode 100644 index 000000000..39425807b Binary files /dev/null and b/public/audit-reports/2022_09-Bedrock_and_Periphery-Zeppelin.pdf differ diff --git a/public/audit-reports/2022_10-Drippie-Spearbit.pdf b/public/audit-reports/2022_10-Drippie-Spearbit.pdf new file mode 100644 index 000000000..e6c3a5c49 Binary files /dev/null and b/public/audit-reports/2022_10-Drippie-Spearbit.pdf differ diff --git a/public/audit-reports/2022_11-Invariant_Testing-TrailOfBits.pdf b/public/audit-reports/2022_11-Invariant_Testing-TrailOfBits.pdf new file mode 100644 index 000000000..e99d3d418 Binary files /dev/null and b/public/audit-reports/2022_11-Invariant_Testing-TrailOfBits.pdf differ diff --git a/public/audit-reports/2022_12-DepositTransaction-RuntimeVerification.pdf b/public/audit-reports/2022_12-DepositTransaction-RuntimeVerification.pdf new file mode 100644 index 000000000..36d31dfb7 Binary files /dev/null and b/public/audit-reports/2022_12-DepositTransaction-RuntimeVerification.pdf differ diff --git a/public/audit-reports/2023_01-Bedrock_Updates-TrailOfBits.pdf b/public/audit-reports/2023_01-Bedrock_Updates-TrailOfBits.pdf new file mode 100644 index 000000000..7ab5e3755 Binary files /dev/null and b/public/audit-reports/2023_01-Bedrock_Updates-TrailOfBits.pdf differ diff --git a/public/audit-reports/2023_12_SuperchainConfigUpgrade_Trust.pdf b/public/audit-reports/2023_12_SuperchainConfigUpgrade_Trust.pdf new file mode 100644 index 000000000..b03c44916 Binary files /dev/null and b/public/audit-reports/2023_12_SuperchainConfigUpgrade_Trust.pdf differ diff --git a/public/audit-reports/2024_02-MCP_L1-Cantina.pdf b/public/audit-reports/2024_02-MCP_L1-Cantina.pdf new file mode 100644 index 000000000..69f4891dd Binary files /dev/null and b/public/audit-reports/2024_02-MCP_L1-Cantina.pdf differ diff --git a/public/audit-reports/2024_05-FaultProofs-Sherlock.pdf b/public/audit-reports/2024_05-FaultProofs-Sherlock.pdf new file mode 100644 index 000000000..ba6da27b4 Binary files /dev/null and b/public/audit-reports/2024_05-FaultProofs-Sherlock.pdf differ diff --git a/public/audit-reports/2024_05_SafeLivenessExtensions-Cantina.pdf b/public/audit-reports/2024_05_SafeLivenessExtensions-Cantina.pdf new file mode 100644 index 000000000..c1135ee4d Binary files /dev/null and b/public/audit-reports/2024_05_SafeLivenessExtensions-Cantina.pdf differ diff --git a/public/audit-reports/2024_08_Fault-Proofs-MIPS_Cantina.pdf b/public/audit-reports/2024_08_Fault-Proofs-MIPS_Cantina.pdf new file mode 100644 index 000000000..2a6017130 Binary files /dev/null and b/public/audit-reports/2024_08_Fault-Proofs-MIPS_Cantina.pdf differ diff --git a/public/audit-reports/2024_08_Fault-Proofs-No-MIPS_Spearbit.pdf b/public/audit-reports/2024_08_Fault-Proofs-No-MIPS_Spearbit.pdf new file mode 100644 index 000000000..d9adce78d Binary files /dev/null and b/public/audit-reports/2024_08_Fault-Proofs-No-MIPS_Spearbit.pdf differ diff --git a/words.txt b/words.txt index 2368dafd5..a1c9c77a7 100644 --- a/words.txt +++ b/words.txt @@ -64,11 +64,13 @@ compr COMPUTEPENDINGBLOCK computependingblock confs +ConsenSys corsdomain counterfactually Crosschain crosschain Crossmint +Dapphub daserver DATACAP datacap @@ -246,6 +248,7 @@ oplabs opnode's opstack Opti +Pausability pausable pcscdpath Peerstore