Paxos PAXG Formally Verified by CertiK

CertiK completed a Formal Verification and security audit of the Paxos PAX Gold (PAXG) smart contract, reporting the use of formal methods, static analysis, and manual review; the audit identified differences from the PAX token (fee logic, delegate transfers, service fees) and concluded the contract is secure with a final score of 98%. The report serves as an assurance/marketing document describing audit methodology, sources of truth, and positive findings rather than detailing any security incident.