Comment on page
Formal Verification
Strike Protocol formal verification audit by Certik Blockchain Security.
The Strike protocol was developed with a specifications of security principles, and formally verified by Certik Blockchain Security, which is integrated into Strike Protocol's continuous integration system.
Last modified 1mo ago