Formal Verification

Strike Protocol formal verification audit by Certik Blockchain Security and Halborn Blockchain Security Solution.

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

• Halborn