Audits & Formal Verification

Silo V2 Markets

Certora

• Silo V2 Audit Report

Silo-Certora (SiloV2) Audit Report.pdf

• Silo V2 Formal Verification Report

Finalized_Silo_Coverage_Security_Report.pdf

• New Router Audit Report | Router address (Sonicscan)

Certora Silo Router Report.pdf

Spearbit Cantina

• Silo V2 Audit Contest: January 13th - February 10th, 2025 - Findings Report

Silo-Cantina (SiloV2) Audit Report.pdf

Sigma Prime

• Sigma Prime Security Assessment Report

Sigma Prime Security Assessment Report.pdf

Silo Vaults

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

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

Certora

• Silo Vaults Audit & Formal Verification Report - April 27, 2025

Silo Vaults Audit & Formal Verification Report

Sigma Prime

• Silo Vaults Security Assessment Report

Silo Vaults Security Assessment Report

Code4arena Audit Contest

The code review contest concluded on March 31, 2025. View audit details. We will publish the audit report after the judging has concluded.

Silo Token ($SILOv2)

• SILOv2 Token Audit Report

SILOv2 Token Audit Report