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

派盾科技是面向全球的区块链安全公司，由前 360 首席科学家、美国北卡州立大学终身教授蒋旭宪于 2018 年创办

安比实验室目前着重于研究区块链智能合约的安全问题，助力区块链团队提高智能合约的可靠性与安全性，开展构建智能合约安全框架的理论探索与技术研发，参与共建共识、可信、有序的区块链经济体

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

针对以太坊生态系统的安全服务及工具，帮助社区与生态系统保持安全状态

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