Crypto世界 Crypto世界
CertiK
组织机构安全机构

CertiK

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

标签：
链接直达手机查看

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

相关导航

Zeppelin Solutions
Zeppelin Solutions

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

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

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

CoinFabrik 在构建和审核安全应用方面拥有 20 多年的经验
ConsenSys Diligence
ConsenSys Diligence

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

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