Zeppelin Solutions

曲速未来人工智能技术（广州）有限公司是领先的技术驱动型企业；主要面向企业提供全方位的信息安全云服务，公司核心竞争力源自利用独有的人工智能安全技术服务区块链/IoT/互联网行业，是一家集研发、销售、服务于一体的涉及区块链安全/交易所安全/Token钱包安全、AI安全与物联网云/IoT安全技术提供商

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

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

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

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

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

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

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