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

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

CoinFabrik 在构建和审核安全应用方面拥有 20 多年的经验

Secureware 位于美国的区块链安全、运营机构，致力于改善区块链生态系统安全，包括支持安全软件开发生命周期，执行安全评估，技术架构咨询，设计和构建区块链网络，以及开发用于区块链网络安全高效运行的工具

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

银链安全实验室致力于从区块链的设计和需求出发，探索和研究区块链技术中各种安全机制的属性与特征，帮助企业和机构解决来自算法安全、协议安全、使用安全和系统 安全等多方挑战，从而助力"区块链+"打造最安全的服务解决方案，为区块链领域持续保驾护航！