神荼科技

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

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

由 Bart Preneel 领导的 COSIC 研究小组，提供广泛的数字安全专业知识，并致力于创新的安全解决方案。与 StarkWare 有合作。

派盾科技是面向全球的区块链安全公司，由前 360 首席科学家、美国北卡州立大学终身教授蒋旭宪于 2018 年创办。派盾科技曾发现并命名了 BEC、SMT、EDU 等智能合约的安全漏洞。今年 5 月，派盾科技完成来自高榕资本的数千万元天使轮融资。

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

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

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

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