
CertiK
CertiK成立于2018年,是全球领先的区块链安全公司,专注于通过形式化验证技术与人工智能驱动的审计工具,为智能合约、DeFi协议及区块链系统提供端到端安全解决方案,保障加密资产与生态系统的安全性。
Quantstamp是全球首个去中心化的智能合约安全审计协议,成立于2017年,专注于以太坊智能合约漏洞检测,通过自动化工具与分布式验证网络提供经济高效的安全解决方案,旨在成为区块链生态的安全基础设施。
Quantstamp以形式化验证和分布式验证节点网络为核心,构建了覆盖智能合约全生命周期的安全防护体系。截至2025年,累计审计合约总价值超50亿美元,服务对象包括以太坊、Solana等公链及DeFi协议。其混合审计模式结合自动化扫描引擎(如SAT求解器)与人工审查,可检测重入攻击、溢出等30余类风险,并推出跨链兼容的链上监控系统,适配Layer2及隐私计算协议。
Quantstamp发行代币QSP,总量10亿枚,流通量6.5亿枚(截至2025年)。代币用于支付审计费用、奖励验证节点及参与治理投票。