COSIC

CertiK是一家智能合同及区块链生态安全服务提供商，采用了形式化的验证，将智能合约转化为数学模型，通过逻辑上的推理演算来验证模型，从而证明智能合约的安全性，核心产品为CertiKOS防黑客操作系统。

安比实验室目前着重于研究区块链智能合约的安全问题，助力区块链团队提高智能合约的可靠性与安全性，开展构建智能合约安全框架的理论探索与技术研发，参与共建共识、可信、有序的区块链经济体。

CipherTrace 使加密货币安全可信。可操作的情报和监控揭示了隐藏在银行支付中的秘密资产风险。了解新的威胁，阻止不良行为，避免潜在的责任。

Solidified 创立于 2017 年初，已经成为以太坊上高质量的技术审核领导者。Solidified 拥有最大的验证审核员社区、专用 bug 赏金平台，并将技术尽职调查的所有阶段纳入防弹智能合约。

HYPR 分布式身份验证方法，将凭证安全地存储在用户的设备上，避免了集中存储单点故障的客户凭证。企业可以大大减少他们的攻击面，更好地防欺诈、更少的密码重置、更低的客户服务成本。以这种方式聚合生物识别数据，且可大规模使用，帮助 HYPR 能够在新兴但不断增长的类别中建立具有竞争性的护城河。

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

CertCertora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。

SolidStamp 将智能合约用户与安全审核员连接在一起，以确保以太坊通证的安全性。SolidStamp 拥有智能合约审计的链上数据库，允许你聘请顶尖的安全专家，帮助审核计划用于验证其真实性和安全性的合约。