Formal Verification
as of 08/03/2022
The Hatom Protocol was developed with specific security rules, and aims to be formally verified by Certik, which will be integrated into our continuous integration system.
Note that: The formal verification has not been completed yet. Depending on Certik's disponibility, we could work with another firm.
Export as PDF
Copy link