Certora

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

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

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

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

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

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