Client Spotlight: AmonD

CertiK completed a security audit and formal verification of AmonD's smart contracts, reporting that the code follows good practices and that no classical anti-patterns or security issues were identified; the announcement describes the audit process and CertiK's services rather than any security incident.