CertiK's Amaten AMAToken Audit

This CertiK audit report reviews Amaten's AMAToken smart contracts, describing a formal verification-driven security assessment that found no critical-to-low issues and only minor recommended checks (e.g., ensuring non-zero and non-equal transfer addresses). The document outlines the project's readiness, testing coverage, and CertiK's services rather than reporting a cyber incident or active threat.