Trail of Bits

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

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

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

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

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

Coinspect 回顾了新兴密码货币的设计与实现，以识别可能的攻击。具体包括：网络与 Web 应用的渗透测试，通过模拟熟练的攻击者试图攻击区块链网络，以获取敏感信息并窃取所有数字资产；源代码安全检查，以识别安全漏洞，分析其影响，并提供建议，以立即提升产品的安全性；漏洞管理服务立即向安全团队发出警报，为快速解决问题提供帮助。

Authio 提供全方位服务的智能合约安全公司，将项目从白皮书转移到生产开发。其重点在内部研发上，以此作为理解快速发展的生态系统的手段，并努力为客户提供最佳的解决方案，以减轻以太坊网络上构建去中心化应用时候的技术安全风险。 其服务涵盖最初的设计咨询、开发和代码审核，验证项目的智能合约是否按预期运行。

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