MetaCert

厦门慢雾科技有限公司，专注区块链生态安全，由一支拥有十多年一线网络安全攻防实战的团队创建

提供智能合约审查服务，保证足够的安全

派盾科技是面向全球的区块链安全公司，由前 360 首席科学家、美国北卡州立大学终身教授蒋旭宪于 2018 年创办

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

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

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