CertiK

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

Certora

CertCertora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。 Certora提供独特的技术来保证代码的正确性和

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

CipherTrace 使加密货币安全可信。可操作的情报和监控揭示了隐藏在银行支付中的秘密资产风险。了解新的威胁，阻止不良行为，避免潜在的责任。世界首创区块链取证

HackerOne 是排名第一的黑客驱动安全平台，可帮助你在被利用之前发现并修复关键漏洞。 2012 年，黑客和安全领导者因为热衷于让互联网更安全而成立了 HackerO

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

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

猎豹区块链安全中心，依托金山毒霸的安全技术背景，为行业提供技术解决方案。他们的研究涵盖业务安全、区块链安全审计与舆情监测三大领域，致力于打造

国内顶尖的网络信息安全公司，专注为企业级用户提供专业的网络信息安全解决方案。曾经与比特大陆、ConsenSys 联合发布区块链安全报告。全球首

降维安全实验室秉承“降维思考知攻善防”理念，专注构建区块链安全生态，核心成员由来自乌云、百度安全、360企业安全、看雪研究院等国内著名安全团

Buglab 基于以太坊，通过专业网络安全研究人员全球网络连接众多公司。其生态系统的核心包含两个项目——Buglab 竞赛和 Vigilante Protocol，帮助全世界

针对以太坊生态系统的安全服务及工具，帮助社区与生态系统保持安全状态。ConsenSys Diligence 是区块链安全专家，可以对代码和项目整体准备情况进行全