CertiK是一家智能合同及区块链生态安全服务提供商，采用了形式化的验证，将智能合约转化为数学模型，通过逻辑上的推理演算来验证模型，从而证明智能合约的安全性，核心产品为CertiKOS防黑客操作系统

360安全科技集团作为全球最大的信息安全企业，拥有东半球最权威的安全研究团队，拥有对各类攻击威胁的深入分析能力及多年的安全大数据积累，同时为上百万家国家机关和企事业单位提供包括安全咨询、安全运维、安全培训等全方位安全服务

国内顶尖的网络信息安全公司，专注为企业级用户提供专业的网络信息安全解决方案

猎豹区块链安全实验室由全球领先的移动互联网科技公司猎豹移动孵化，依托金山毒霸的安全技术背景，为区块链行业提供技术解决方案

链安团队创立于2014年12月,链安以创新为主导，创造下一代各类技术，从数据分析，数据预测，网络攻击预测、犯罪预测等，目前已申请多项发明专利

曲速未来人工智能技术（广州）有限公司是领先的技术驱动型企业；主要面向企业提供全方位的信息安全云服务，公司核心竞争力源自利用独有的人工智能安全技术服务区块链/IoT/互联网行业，是一家集研发、销售、服务于一体的涉及区块链安全/交易所安全/Token钱包安全、AI安全与物联网云/IoT安全技术提供商