CertiK

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

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

HYPR 分布式身份验证方法，将凭证安全地存储在用户的设备上，避免了集中存储单点故障的客户凭证

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

HackerOne 是排名第一的黑客驱动安全平台，可帮助你在被利用之前发现并修复关键漏洞

Coinspect 回顾了新兴密码货币的设计与实现，以识别可能的攻击