ResourcesAudits & Formal VerificationOn this pageAudits & Formal Verification Certora Silo V2 Audit Report Silo-Certora (SiloV2) Audit Report.pdf Silo V2 Formal Verification Report Finalized_Silo_Coverage_Security_Report.pdf Silo Router Audit Report Silo Router Audit Report.pdf Spearbit Cantina Silo V2 Audit Contest: January 13th - February 10th, 2025 - Findings Report Silo-Cantina (SiloV2) Audit Report.pdf Enigma Silo V2: Actor Based Invariant Testing Suite Publishing soon Sigma Prime audit: Audit completed; we will publish the report by the end of March 2025.