Developer Docs & Security
  • Overview
  • Oracle
  • Interest & Liquidation Model
  • User Functions
  • Tokens
  • Protocol parameters
  • Audits
Powered by GitBook
On this page
  • Runtime Verification Audit
  • Ottersec Audit

Audits

PreviousProtocol parameters

Last updated 5 months ago

Audit

v2 Updates - April 2024

Audit

Optimistic Finality Audit - October 2024

Runtime Verification
Ottersec
380KB
RV - Synonym Finance Audit.pdf
pdf
206KB
synonym_audit_final.pdf
pdf
169KB
Ottersec - Synonym Finance Audit.pdf
pdf
1001KB
optimistic_finality_audit_final.pdf
pdf