MetaCert

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

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

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

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

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

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