diff --git a/Certora Lido V3 Audit Report - 12-2025.pdf b/Certora Lido V3 Audit Report - 12-2025.pdf new file mode 100644 index 0000000..76caad3 Binary files /dev/null and b/Certora Lido V3 Audit Report - 12-2025.pdf differ diff --git a/Certora Lido V3 Formal Verification Report - 12-2025.pdf b/Certora Lido V3 Formal Verification Report - 12-2025.pdf new file mode 100644 index 0000000..06e0329 Binary files /dev/null and b/Certora Lido V3 Formal Verification Report - 12-2025.pdf differ diff --git a/Certora Lido V3 Oracle V7 Audit Report - 12-2025.pdf b/Certora Lido V3 Oracle V7 Audit Report - 12-2025.pdf new file mode 100644 index 0000000..d9dfd07 Binary files /dev/null and b/Certora Lido V3 Oracle V7 Audit Report - 12-2025.pdf differ diff --git a/Composable Security Lido V3 Oracle V7 Audit Report - 12-2025.pdf b/Composable Security Lido V3 Oracle V7 Audit Report - 12-2025.pdf new file mode 100644 index 0000000..49dda67 Binary files /dev/null and b/Composable Security Lido V3 Oracle V7 Audit Report - 12-2025.pdf differ diff --git a/Consensys Diligence Lido V3 Security Audit - 11-2025.pdf b/Consensys Diligence Lido V3 Security Audit - 11-2025.pdf new file mode 100644 index 0000000..c555333 Binary files /dev/null and b/Consensys Diligence Lido V3 Security Audit - 11-2025.pdf differ diff --git a/MixBytes Lido V3 Easy Track Security Audit Report - 12-2025.pdf b/MixBytes Lido V3 Easy Track Security Audit Report - 12-2025.pdf new file mode 100644 index 0000000..91e1540 Binary files /dev/null and b/MixBytes Lido V3 Easy Track Security Audit Report - 12-2025.pdf differ diff --git a/MixBytes Lido V3 Security Audit Report - 12-2025.pdf b/MixBytes Lido V3 Security Audit Report - 12-2025.pdf new file mode 100644 index 0000000..f6653b4 Binary files /dev/null and b/MixBytes Lido V3 Security Audit Report - 12-2025.pdf differ diff --git a/README.md b/README.md index b55f799..abd2f94 100644 --- a/README.md +++ b/README.md @@ -737,6 +737,81 @@ See [full report](Ackee%20Blockchain%20Community%20Staking%20Module%20v2%20Audit See [full report](Statemind%20Triggerable%20Withdrawals%20and%20CSM%20v2%20Audit%20Report%2009-2025.pdf) for more details. +### 12-2025 Certora Lido V3 Security Audit Report + +- Total Issues: 84 (70 Fixed, 14 Acknowledged) +- Critical Issues: 7 (7 Fixed) +- High Issues: 14 (14 Fixed) +- Medium Issues: 29 (25 Fixed, 4 Acknowledged) +- Low Issues: 21 (13 Fixed, 8 Acknowledged) +- Info Issues: 13 (11 Fixed, 2 Acknowledged) + +See [full report](Certora%20Lido%20V3%20Audit%20Report%20-%2012-2025.pdf) for more details. + +### 12-2025 Certora Lido V3 Formal Verification Report + +- Total Issues: 10 (6 Fixed, 4 Acknowledged) +- Critical Issues: 1 (1 Fixed) +- High Issues: 0 +- Medium Issues: 3 (2 Fixed, 1 Acknowledged) +- Low Issues: 5 (3 Fixed, 2 Acknowledged) +- Info Issues: 1 (1 Acknowledged) + +See [full report](Certora%20Lido%20V3%20Formal%20Verification%20Report%20-%2012-2025.pdf) for more details. + +### 12-2025 Certora Lido V3 Oracle Off-chain Security Assessment Report + +- Total Issues: 16 (7 Fixed, 9 Acknowledged) +- Critical Issues: 0 +- High Issues: 2 (2 Fixed) +- Medium Issues: 2 (2 Fixed) +- Low Issues: 7 (2 Fixed, 5 Acknowledged) +- Info Issues: 5 (1 Fixed, 4 Acknowledged) + +See [full report](Certora%20Lido%20V3%20Oracle%20V7%20Audit%20Report%20-%2012-2025.pdf) for more details. + +### 12-2025 MixBytes Lido V3 Security Audit Report + +- Total Issues: 19 (8 Fixed, 11 Acknowledged) +- Critical Issues: 0 +- High Issues: 1 (1 Acknowledged) +- Medium Issues: 5 (1 Fixed, 4 Acknowledged) +- Low Issues: 13 (7 Fixed, 6 Acknowledged) + +See [full report](MixBytes%20Lido%20V3%20Security%20Audit%20Report%20-%2012-2025.pdf) for more details. + +### 12-2025 MixBytes Lido V3 Easy Track Security Audit Report + +- Total Issues: 4 (2 Fixed, 2 Acknowledged) +- Critical Issues: 0 +- High Issues: 0 +- Medium Issues: 0 +- Low Issues: 4 (2 Fixed, 2 Acknowledged) + +See [full report](MixBytes%20Lido%20V3%20Easy%20Track%20Security%20Audit%20Report%20-%2012-2025.pdf) for more details. + +### 12-2025 Consensys Diligence Lido V3 Security Audit Report + +- Total Issues: 43 (32 Fixed, 11 Acknowledged) +- Critical Issues: 2 (2 Fixed) +- Major Issues: 5 (5 Fixed) +- Medium Issues: 13 (12 Fixed, 1 Acknowledged) +- Minor Issues: 9 (5 Fixed, 4 Acknowledged) +- Info Issues: 14 (8 Fixed, 6 Acknowledged) + +See [full report](Consensys%20Diligence%20Lido%20V3%20Security%20Audit%20-%2011-2025.pdf) for more details. + +### 12-2025 Composable Security Lido V3 Oracle v7 Security Audit Report + +- Total Issues: 6 (4 Fixed, 2 Acknowledged) +- Critical Issues: 0 +- High Issues: 1 (1 Fixed) +- Medium Issues: 2 (2 Fixed) +- Low Issues: 0 +- Info Issues: 3 (1 Fixed, 2 Acknowledged) + +See [full report](Composable%20Security%20Lido%20V3%20Oracle%20V7%20Audit%20Report%20-%2012-2025.pdf) for more details. + ## Lido Multichain audit reports ### 07-2022 Oxorio Lido L2 Smart Contracts Security Audit Report