HackerOne

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

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

CertCertora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。

由 Bart Preneel 领导的 COSIC 研究小组，提供广泛的数字安全专业知识，并致力于创新的安全解决方案。与 StarkWare 有合作。

神荼科技是一批拥有顶级网络攻防技术、区块链开发、大数据分析、云计算的精英团队。致力于成为fintech行业最专业的信息安全保护神。

SolidStamp 将智能合约用户与安全审核员连接在一起，以确保以太坊通证的安全性。SolidStamp 拥有智能合约审计的链上数据库，允许你聘请顶尖的安全专家，帮助审核计划用于验证其真实性和安全性的合约。

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

HYPR 分布式身份验证方法，将凭证安全地存储在用户的设备上，避免了集中存储单点故障的客户凭证。企业可以大大减少他们的攻击面，更好地防欺诈、更少的密码重置、更低的客户服务成本。以这种方式聚合生物识别数据，且可大规模使用，帮助 HYPR 能够在新兴但不断增长的类别中建立具有竞争性的护城河。