> For the complete documentation index, see [llms.txt](https://devdocs.silo.finance/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://devdocs.silo.finance/security.md).

# SECURITY

- [Audits & Formal Verification](https://devdocs.silo.finance/security/audits-and-formal-verification.md)
- [Smart Contracts](https://devdocs.silo.finance/security/smart-contracts.md)
- [Bug Bounty Program](https://devdocs.silo.finance/security/bug-bounty-program.md)