成都链安科技

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

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

MetaCert 基于区块链的企业安全，提供工具使用户可以安全地打开链接，保护上百万的加密交易者、投资者与爱好者。MetaCert 正在申请安全 API 实时检查 http 请求的相关专利，在恶意网页或其他资源加载到应用内之前，警告消费者潜在的威胁。除此，MetaCert 还为希望在应用内阻止色情内容的开发者提供内容过滤服务。

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

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

降维安全实验室秉承“降维思考 知攻善防”理念，专注构建区块链安全生态，核心成员由来自乌云、百度安全、360企业安全、看雪研究院等国内著名安全团队组成，成员均十年以上安全从业经验。

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

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