AX1’s Smart Contract Audit