AllianceBlock and CertiK's Audit Procedure

CertiK performed a security audit of AllianceBlock's smart contracts, evaluating design, implementation, and EIP compliance using static, dynamic, and manual review. The audit found the code to follow OpenZeppelin standards, identified minor coding/optimization issues and one minor flaw that was remediated in collaboration with AllianceBlock, and concluded the contracts are secure.