CertiK CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为CertiKOS防黑客操作系统。
MetaCert MetaCert 基于区块链的企业安全,提供工具使用户可以安全地打开链接,保护上百万的加密交易者、投资者与爱好者。MetaCert 正在申请安全 API 实时检查 http 请求的相关专利,在恶意网页或其他资源加载到应用内之前,警告消费者潜在的威胁。除此,MetaCert 还为希望在应用内阻止色情内容的开发者提供内容过滤服务。
ChainSecurity 关于智能合约的首个代码审计平台,针对 Ethereum 和 Hyperledger Fabric 智能合约的安全性扫描,源于 Securify、ChainCode Scanner 创始者,基于苏黎世联邦理工学院 ICE 中心的最新研究。