Zeppelin Solutions

MetaCert 基于区块链的企业安全，提供工具使用户可以安全地打开链接，保护上百万的加密交易者、投资者与爱好者

CertCertora 通过智能合约的全自动精确验证技术，使可信区块链成为现实

针对以太坊生态系统的安全服务及工具，帮助社区与生态系统保持安全状态

CoinFabrik 在构建和审核安全应用方面拥有 20 多年的经验

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

Solidified 创立于 2017 年初，已经成为以太坊上高质量的技术审核领导者