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.
Last updated