
CertiK
CertiK成立于2018年,是全球领先的区块链安全公司,专注于通过形式化验证技术与人工智能驱动的审计工具,为智能合约、DeFi协议及区块链系统提供端到端安全解决方案,保障加密资产与生态系统的安全性。
ConsenSys Diligence是以太坊生态核心安全审计服务商,隶属于区块链巨头ConsenSys,提供智能合约安全审计、自动化漏洞检测及形式化验证,服务对象包括Aave、Uniswap等头部DeFi协议,致力于构建去中心化应用的安全防线。
ConsenSys Diligence成立于2018年,专注于区块链安全领域,其核心能力覆盖智能合约全生命周期风险管理。截至2025年,累计审计超300个区块链项目,包括以太坊2.0、Avalanche等公链协议。独创的混合审计模式(人工+自动化工具)整合了MythX安全分析平台、Scribble规范语言及灰盒模糊测试工具Harvey,可检测重入攻击、闪电贷漏洞等50余类风险,审计报告被行业视为“安全金标准”。






