Protocol overview
- Smart contracts architecture
Dev Tutorials
RESOURCES
AUDITS
SONIC REWARDS PROGRAM
- Program Overview
RISK REPORTS
- SONIC
  - stS · S (ID 3)

Powered by GitBook

On this page

Completed Audits
Audits in Progress

AUDITS

PreviousIncentive contracts (gauges)NextProgram Overview

Last updated 22 days ago

Completed Audits

Certora Audit (Silo v2 Core)

Certora Formal Verification Report (Silo v2 Core)

Engima Actor Based Invariant Testing Suite (Silo v2 Core)

Audits in Progress

Sigma Prime audit: In progress
Spearbit Cantina community audit and formal verification contests

Finalized_Silo_Coverage_Security_Report.pdf