降维安全实验室

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

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

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

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

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

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

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

Buglab 基于以太坊，通过专业网络安全研究人员全球网络连接众多公司。其生态系统的核心包含两个项目——Buglab 竞赛和 Vigilante Protocol，帮助全世界的公司发现并修复其数字化解决方案和资产中的漏洞。运用以太坊的力量，以实现对数字化企业解决方案触手可及、通用和可靠的渗透测试。