Strike Docs
Search…
Strike Docs
Strike Documentation
Getting Started
STokens
Comptroller
Governance
API
Strike.js
Security
Formal Verification
Bug Bounty Program
Powered By GitBook
Formal Verification
The Strike protocol was developed with a specifications of security principles, and formally verified by Certora using Certora ASA (Accurate Static Analysis), which is integrated into Strike's continuous integration system.
Previous
Security
Next
Bug Bounty Program
Last modified 1yr ago
Copy link
Contents
01. Certora Verification Summary