# Formal Verification

The Strike protocol was developed with a specifications of security principles, and formally verified by Certik Blockchain Security and Halborn Blockchain Security Solution, which is integrated into Strike Protocol's continuous integration system.

* [CertiK](https://skynet.certik.com/projects/strikefinance)
* [Halborn](https://github.com/HalbornSecurity/PublicReports/blob/master/Solidity%20Smart%20Contract%20Audits/Strike_Finance_Strike_Protocol_Smart_Contract_Security_Assessment_Report_Halborn_Final.pdf)