Skip to main content

Silo V3 Audits & Formal Verification

Certora​

Enigma Dark​

Spearbit Cantina​

Silo V2 Audits & Formal Verification

Certora​

Silo-Certora (SiloV2) Audit Report November 2024.pdf

Finalized_Silo_Coverage_Security_Report.pdf

Enigma Dark​

Enigma Dark (SiloV2) Audit Report.pdf

Spearbit Cantina​

Silo-Cantina (SiloV2) Audit Report.pdf

Sigma Prime​

Sigma Prime Security Assessment Report.pdf

Leverage

Certora (Manual Audit)​

Leverage Audit Report July 2025.pdf

Certora (Formal Verification)​

Silo-Certora (SiloV2) Audit Report May 2025.pdf

Silo Vaults

Silo Vaults underwent four rounds of audits. Below is a chronological summary with keynotes:

  • Sigma Prime: Audit completed in early March 2025. All identified issues were resolved.
  • Certora: Audit concluded in late March 2025. Several new issues were reported and addressed.
  • Code4rena (C4): Audit finalized on March 31, 2025. Previously undetected issues were found and fixed.
  • Certora (Review): Review completed on April 27, 2025. Confirmed all prior fixes were correctly implemented and formal verification rules were upheld.

Certora​

Silo Vaults Audit & Formal Verification Report

Sigma Prime​

Silo Vaults Security Assessment Report

Code4arena Audit Contest​

The code review contest concluded on March 31, 2025. View audit report.

Code4arena Audit Report

Silo New Dynamic Interest Rate Model (dIRM)

Spearbit Audit Report​

Silo IRM Spearbit Audit

Certora Audit Report​

Silo IRM Certora Audit

Silo Token ($SILOv2)

SILOv2 Token Audit Report