CertiK 通过“AA”升级验证FUNToken的智能合约强度