今日，BitMart交易所正式宣布与智能合约验证专家CertiK建立合作关系，将用CertiK的形式化验证技术提高平台安全性，为用户提供安全的交易环境。BitMart现在CoinMarketCap上排名第24，拥有53万用户。CertiK专注于区块链安全领域，提供智能合约审计、自动智能合约验证和公链平台定制化服务。