diff --git a/Certora Lido V3 Audit Report - 12-2025.pdf b/Certora Lido V3 Audit Report - 12-2025.pdf index 76caad3..0707292 100644 Binary files a/Certora Lido V3 Audit Report - 12-2025.pdf 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 index 06e0329..df9cfc0 100644 Binary files a/Certora Lido V3 Formal Verification Report - 12-2025.pdf 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 index d9dfd07..9a15bac 100644 Binary files a/Certora Lido V3 Oracle V7 Audit Report - 12-2025.pdf and b/Certora Lido V3 Oracle V7 Audit Report - 12-2025.pdf differ