神荼科技

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

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

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

Trail of Bits 自 2012 年创立以来，将高端安全研究与现实世界的黑客心态相结合，以降低世界上最具针对性的一些组织和产品的风险，并在代码层面加固。目前，他们借助自己专长的密码学软件工程经验、基础的数学知识，涉足加密与区块链行业。

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

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

国内顶尖的网络信息安全公司，专注为企业级用户提供专业的网络信息安全解决方案。曾经与比特大陆、ConsenSys 联合发布区块链安全报告。全球首发基于人工智能语义分析的下一代 Web 应用防火墙，颠覆了传统依赖规则防护的工作原理，为企业用户带来更智能、更简单、更省心的安全产品及服务。

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