Certora

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

派盾科技是面向全球的区块链安全公司，由前 360 首席科学家、美国北卡州立大学终身教授蒋旭宪于 2018 年创办。派盾科技曾发现并命名了 BEC、SMT、EDU 等智能合约的安全漏洞。今年 5 月，派盾科技完成来自高榕资本的数千万元天使轮融资。

Buglab 基于以太坊，通过专业网络安全研究人员全球网络连接众多公司。其生态系统的核心包含两个项目——Buglab 竞赛和 Vigilante Protocol，帮助全世界的公司发现并修复其数字化解决方案和资产中的漏洞。运用以太坊的力量，以实现对数字化企业解决方案触手可及、通用和可靠的渗透测试。

针对以太坊生态系统的安全服务及工具，帮助社区与生态系统保持安全状态。ConsenSys Diligence 是区块链安全专家，可以对代码和项目整体准备情况进行全面评估，以增加人们对于以太坊应用的信任和信心。

关于智能合约的首个代码审计平台，针对 Ethereum 和 Hyperledger Fabric 智能合约的安全性扫描，源于 Securify、ChainCode Scanner 创始者，基于苏黎世联邦理工学院 ICE 中心的最新研究。

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

提供智能合约审查服务，保证足够的安全。

Solidified 创立于 2017 年初，已经成为以太坊上高质量的技术审核领导者。Solidified 拥有最大的验证审核员社区、专用 bug 赏金平台，并将技术尽职调查的所有阶段纳入防弹智能合约。