Certora

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

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

知道创宇云安全是国内专业的免费云网站保护平台，为用户网站提供免费黑客攻击云防护、云加速服务，使用知道创宇云安全可有效防御黑客攻击，防DDOS，防CC攻击，网站提速200%以上。

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

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

Secureware 位于美国的区块链安全、运营机构，致力于改善区块链生态系统安全，包括支持安全软件开发生命周期，执行安全评估，技术架构咨询，设计和构建区块链网络，以及开发用于区块链网络安全高效运行的工具。

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

厦门慢雾科技有限公司，专注区块链生态安全，由一支拥有十多年一线网络安全攻防实战的团队创建。通过独有的地下黑客风向标追踪引擎，持续为合作公司及国家相关部门提供威胁情报