苏黎世联邦理工学院的跨学科、跨部门研发中心 ICE Center 与 ChainSecurity AG 创建的以太坊上智能合约的安全性、代码审计服务机构
苏黎世联邦理工学院的跨学科、跨部门研发中心 ICE Center 与 ChainSecurity AG 创建的以太坊上智能合约的安全性、代码审计服务机构。ICE Center 的使命是促进人工智能、区块链，以及安全和网络领域的研究。
CertiK是一家智能合同及区块链生态安全服务提供商，采用了形式化的验证，将智能合约转化为数学模型，通过逻辑上的推理演算来验证模型，从而证明智能合约的安全性，核心产品为CertiKOS防黑客操作系统
Coinspect 回顾了新兴密码货币的设计与实现，以识别可能的攻击
猎豹区块链安全中心，依托金山毒霸的安全技术背景，为行业提供技术解决方案
CoinFabrik 在构建和审核安全应用方面拥有 20 多年的经验
Authio 提供全方位服务的智能合约安全公司，将项目从白皮书转移到生产开发
CipherTrace 使加密货币安全可信
