ChainSecurity 关于智能合约的首个代码审计平台,针对 Ethereum 和 Hyperledger Fabric 智能合约的安全性扫描,源于 Securify、ChainCode Scanner 创始者,基于苏黎世联邦理工学院 ICE 中心的最新研究。
SolidStamp SolidStamp 将智能合约用户与安全审核员连接在一起,以确保以太坊通证的安全性。SolidStamp 拥有智能合约审计的链上数据库,允许你聘请顶尖的安全专家,帮助审核计划用于验证其真实性和安全性的合约。
安比实验室SECBIT 安比实验室目前着重于研究区块链智能合约的安全问题,助力区块链团队提高智能合约的可靠性与安全性,开展构建智能合约安全框架的理论探索与技术研发,参与共建共识、可信、有序的区块链经济体。
Coinspect Coinspect 回顾了新兴密码货币的设计与实现,以识别可能的攻击。具体包括:网络与 Web 应用的渗透测试,通过模拟熟练的攻击者试图攻击区块链网络,以获取敏感信息并窃取所有数字资产;源代码安全检查,以识别安全漏洞,分析其影响,并提供建议,以立即提升产品的安全性;漏洞管理服务立即向安全团队发出警报,为快速解决问题提供帮助。
CertiK CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为CertiKOS防黑客操作系统。
曲速未来 曲速未来人工智能技术(广州)有限公司是领先的技术驱动型企业;主要面向企业提供全方位的信息安全云服务,公司核心竞争力源自利用独有的人工智能安全技术服务区块链/IoT/互联网行业,是一家集研发、销售、服务于一体的涉及区块链安全/交易所安全/Token钱包安全、AI安全与物联网云/IoT安全技术提供商