External Audits & Analysis
Asset's risk assessment
Adding an Asset
Risks per Asset
Hatom Labs: Coming soon!
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.
The formal verification has not been completed yet. Depending on Certik's disponibility, we could work with another firm.
External Audits & Analysis - Previous
Next - External Audits & Analysis
Export as PDF