CertiK

CertiK由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立，通过“深度规范”的形式化验证技术为区块链应用和智能合约提供代码安全审计服务。公司目前是唯一一家同时被Binance、Huobi、OKEx、KuCoin等顶级数字资产交易所同时认可的安全审计合作伙伴，团队迄今为止已累计审计超过150个业内知名项目，保护资产价值超过12亿美金。同时，公司也与Etherscan、Quarkchain、NEO、ICON、Qtum等知名平台达成战略合作，深度参与链上安全生态建设，为去中心化社区的健康发展保驾护航。