Authio 提供全方位服务的智能合约安全公司，将项目从白皮书转移到生产开发

Buglab 基于以太坊，通过专业网络安全研究人员全球网络连接众多公司

Solidified 创立于 2017 年初，已经成为以太坊上高质量的技术审核领导者

CertCertora 通过智能合约的全自动精确验证技术，使可信区块链成为现实

HackerOne 是排名第一的黑客驱动安全平台，可帮助你在被利用之前发现并修复关键漏洞

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