# CertiK > CertiK是一家领先的区块链安全公司。它专注于安全审查，并为用户和开发者提供全面的安全工具套件。 - Canonical URL: https://iq.wiki/zh/wiki/certik - Categories: Projects & Protocols - Tags: Infrastructure - Created: 2022-08-13T00:52:21.886Z - Last updated: 2026-01-06T16:02:43.219Z - Source: IQ.wiki — the world's largest blockchain and crypto encyclopedia (https://iq.wiki) --- **CertiK** 是一家以其在[智能合约](https://iq.wiki/wiki/smart-contract)审计方面的专业知识和全面的安全工具套件而闻名的[区块链](https://iq.wiki/wiki/blockchain)安全公司。CertiK成立于2018年，专注于提高区块链网络和智能合约的安全性和可靠性。 ## 概述 CertiK 由耶鲁大学和哥伦比亚大学的计算机科学教授于 2018 年创立。[[22]](#cite-id-kr7i333xdm) 联合创始人荣辉教授于 2022 年获得 VMware 系统研究奖[[23]](#cite-id-n4n5wqnv0zb)，并且是新加坡金融管理局国际技术咨询委员会成员[[24]](#cite-id-bln9v7vn9p)。 CertiK 提倡全面的安全方法，包括智能合约审计、形式验证、渗透测试和高级安全监控工具。该公司还积极参与研发，为包括 Apple[[20]](#cite-id-8z04fio89xk)、Samsung[[21]](#cite-id-z7rilneewqi) 和 [Sui](https://iq.wiki/wiki/sui)​[[30]](#cite-id-f2c8s8x07ve) 在内的主要公司的区块链安全做出贡献。 CertiK 已与 4,000 多家企业客户合作，保护了超过 3600 亿美元的数字资产，并在区块链代码中发现了超过 60,000 个漏洞。该公司的客户包括 [Aave](https://iq.wiki/wiki/aave)​[[27]](#cite-id-va95c1egkdj)、[Polygon](https://iq.wiki/wiki/polygon)​[[26]](#cite-id-gsc9022d0dm)、[BNB Chain](https://iq.wiki/wiki/binance-smart-chain)​[[25]](#cite-id-93mivt4eb5f)、[Aptos](https://iq.wiki/wiki/aptos)​[[28]](#cite-id-hxam841722q) 和 [WEMIX](https://iq.wiki/wiki/wemix)​[[29]](#cite-id-4sdthsn637r) 等项目。 CertiK 免费公开所有审计报告，以努力提高 Web3 的安全性和透明度标准。所有已识别漏洞的完整细分以及是否已解决都可以在项目的 Skynet 页面上找到。 ## CertiK的安全套件 CertiK提供许多其他工具，旨在帮助项目方和投资者采取充分知情且端到端的安全和尽职调查方法。 # ## Skynet ![Screenshot 2024-01-16 at 4.47.13 PM.png](https://ipfs.everipedia.org/ipfs/QmcpQfUe5t6oa33kcuRwjfEKvker5YgJ9EtwixZHpcyNoJ) ## ## 安全评分排行榜 CertiK的安全评分排行榜根据项目的安全评分对其进行列表和排名。安全评分由专有算法生成，该算法考虑了项目的代码安全、基本健康状况、运营弹性、社区信任、市场稳定性和治理强度。 ## ## 已验证团队排行榜 已验证团队排行榜根据CertiK [KYC](https://iq.wiki/wiki/know-your-customer-kyc)徽章的状态列出并排名项目。成功通过背景调查的项目团队将获得CertiK KYC徽章，该徽章分为金、银、铜三种。 ## ## 影响力得分排行榜 影响力得分排行榜列出了Web3影响者并根据其影响力得分进行排名。影响力得分反映了他们的内容和在线形象的影响力和覆盖范围。此排行榜对于有兴趣识别正在塑造Web3对话的影响者用户很有帮助。 ## ## 交易所审计 交易所审计允许用户通过显示[中心化交易所（CEX）](https://iq.wiki/wiki/cex-centralized-exchange)控制的钱包地址中的链上资产持有量，对中心化交易所进行尽职调查。这是储备金证明验证的重要第一步。 ## ## Skynet Alerts Skynet Alerts 是一个系统，可以及时提供有关加密货币领域退出诈骗和漏洞利用的通知。Skynet Alerts 不断监控各种信息来源，以识别和报告潜在的 rugpull 和漏洞利用。 ## ## Smart Money Wizard Smart Money Wizard是Wallet Analyzer功能的入口，使用户可以直接搜索钱包地址、查看热门钱包搜索、顶级聪明钱钱包和顶级流动性对。Wallet Analyzer功能提供关于钱包地址的见解，并通过显示关键钱包特征、可视化钱包关系和代币交易活动，轻松解读钱包之间的链上交易。 # ## SkyInsights SkyInsights是一个综合性的加密货币合规和风险管理平台。它提供钱包筛选、实时交易监控、风险评分和可定制的警报，以帮助金融机构、中小型企业和加密货币原生平台有效地管理合规复杂性。SkyInsights帮助暴露于加密货币的组织高效地应对监管环境，同时保持高效的流程并增强客户信任。 # ## KYC CertiK [KYC](https://iq.wiki/wiki/know-your-customer-kyc) 为项目团队提供全面且私密的身份验证。CertiK 与每位团队成员进行实时视频通话，以验证其身份和其他所需参数。由于团队匿名性日益助长高风险行为，CertiK 的 KYC 有助于建立项目责任制，使投资者能够更有信心地前进。获得铜牌、银牌或金牌 KYC 徽章的项目向其社区表明，他们愿意公开支持他们的项目。 # ## 渗透测试 渗透测试是确保加密应用程序在运行时环境中安全性的综合方法的最后一个组成部分。CertiK的渗透测试服务利用专有工具，并由经验丰富的道德黑客团队提供支持，从而发现漏洞。 # ## 漏洞赏金 CertiK的漏洞赏金计划通过众包顶级道德黑客的智慧，在恶意行为者利用漏洞之前发现它们。CertiK的安全工程师筛选并鉴定提交的内容，并与客户合作实施正确的修复。0%的费用模式减轻了项目的支付压力，并允许白帽黑客获得全额赏金。 # ## SkyTrace SkyTrace 是一个追踪工具，旨在帮助分析和可视化跨[以太坊](https://iq.wiki/wiki/ethereum)和[BNB链](https://iq.wiki/wiki/binance-smart-chain)钱包的交易数据。该工具提供可操作的见解，用于识别和追踪可疑的资金流动，无论这些流动是进出个人钱包还是项目团队钱包。 # ## 咨询建议 CertiK咨询提供一个分析师团队，他们提供技术评估、专有研究和战略建议。 # ## 支持的生态系统 CertiK的安全服务适用于所有区块链上的所有项目。该公司合作过的生态系统包括： - Algorand - Aptos - Arbitrum - Avalanche - BNB Chain - Cardano - Cosmos - Cronos - Ethereum - Fantom - Ferrum - Harmony - IoTeX - Near - OKTC - Optimism - Polkadot - Polygon - Solana - Terra - TON - Tron - WEMIX - zkSync ## CertiK 技术 ## ## 形式化验证 形式化验证涉及对智能合约或区块链协议的功能进行数学证明，确保其按预期运行，不会遗漏任何漏洞[[31]](#cite-id-nc62zt83nhf)。CertiK 的形式化验证方法比单纯的人工分析能发现更广泛的漏洞。 该公司的形式化验证过程优先考虑可扩展性、精确性和覆盖范围。对于像 ERC-20 和 ERC-721 这样流行的智能合约，CertiK 已经实现了常见安全属性的自动验证，并在审计阶段成功地将其应用于数百个项目。CertiK 的形式化验证通过指定和证明高级自定义安全性和正确性属性来增强常规审计，例如自动做市商 (AMM) 的 increase-K 属性，适用于复杂的智能合约。此外，CertiK 的形式化验证还扩展到其他区块链构建块，包括共识协议，甚至像 HyperEnclave TEE 这样的基本系统基础设施[[32]](#cite-id-q6qu0a8oj4)。 CertiK 的安全审计方法的定义是使用人工代码审查、自动验证和自定义形式化验证。虽然人工代码审查和自动验证在行业中很常见，但自定义形式化验证提高了审计的有效性。在此过程中，安全专家创建机器可读的规范，然后由 CertiK 的自定义形式化验证系统进行数学验证。这种方法确保了更有效的安全评估，针对每个项目的独特功能和语言量身定制。 对于区块链协议，CertiK 通过智能合约和[去中心化应用程序 (dApp)](https://iq.wiki/wiki/decentralized-application)的形式化验证提供定制的解决方案，旨在培育一个更具功能性和值得信赖的区块链生态系统。该公司的学者、研究人员和工程师团队为每个项目开发高度定制的解决方案，确保彻底有效的审计过程。 ## ## DeepSEA DeepSEA是由CertiK开发的，是用于[智能合约](https://iq.wiki/wiki/smart-contract)的形式化验证编译器。它是[Web3](https://iq.wiki/wiki/web3)形式化验证领域的一项先进解决方案。它旨在解决两个关键问题：编译器中的潜在错误可能导致正确编写的智能合约出现安全漏洞，以及验证工具链中的不准确性可能使形式化验证保证失效。DeepSEA的创建基于这样的认识：随着验证对程序本身的逻辑给予更多信心，确保周围执行环境的准确性变得越来越重要。 DeepSEA通过获取用高级语言（如Solidity、Rust、Vyper等）编写的合约源代码，并将其转换为区块链平台（EVM、WebAssembly等）的可执行字节码来运行。该项目源于改进执行环境的研究，特别关注编译器方面。DeepSEA是用Coq的内置编程语言（Gallina）编写的，并分为多个细粒度阶段，以提高验证效率。 DeepSEA支持两个目标：EVM字节码和以太坊风格的WebAssembly（eWASM）。它能够编译DeepSEA表面语言，并作为其他智能合约编程语言的后端。编译器正确性的验证包括定义输入和输出的编程语言及其语义，发明和定义输入和输出语言中程序状态之间的“match_states”关系，并证明编译后的程序状态与原始程序的状态一致。 DeepSEA还集成了编译和形式化验证。这种集成使得可以在高层次上验证程序，同时确保验证的安全属性与编译后的字节码一致。随着技术的进步，CertiK对DeepSEA的愿景是让编译器和验证工具都在具有形式化验证编译器后端的统一核心语言上运行。 ## CertiK 合作伙伴与合作 CertiK 与领先的数字资产交易所建立了战略合作伙伴关系，例如 [Binance](https://iq.wiki/wiki/binance) [[34]](#cite-id-45g4yqmbk9o)、[OKX](https://iq.wiki/wiki/okx) [[35]](#cite-id-37m5fuydwl8)、[KuCoin](https://iq.wiki/wiki/kucoin) [[36]](#cite-id-9d7onvt0ibi) 和 [Huobi](https://iq.wiki/wiki/huobi) [[33]](#cite-id-e3mrjm65pla)。 2023 年，Sui 奖励 CertiK 五十万美元的赏金，以表彰其识别出一个名为“HamsterWheel”的关键漏洞，该漏洞对整个区块链构成风险。 CertiK 验证了 [The Open Network](https://iq.wiki/wiki/the-open-network-toncoin) (TON) 的每秒交易记录，证明了该链处理高吞吐量区块链项目的能力[[37]](#cite-id-wft1qry831o)。 该公司成功地对蚂蚁集团 Trust Native Technology 团队的 HyperEnclave 进行了正式验证，并审计了 XLS-30d[[38]](#cite-id-3c9hdb9pyw6)，这是一个建立在 [XRP](https://iq.wiki/wiki/xrp) Ledger 上的 [自动化做市商 (AMM)](https://iq.wiki/wiki/automated-market-maker)。 CertiK 还与阿里云建立了战略合作伙伴关系[[39]](#cite-id-ci7cyxaoi5p)，旨在加强云计算领域的区块链安全。此外，该公司与 Finschia 合作，在进行全面的安全审查后，担任治理成员和节点验证器[[40]](#cite-id-xawe0hbd4th)。 在人道主义努力中，CertiK 与 Coala Pay 合作，简化资金筹集，将区块链技术与社会责任相结合[[41]](#cite-id-s740s9c5mid)。 该公司将其专业知识扩展到 OKX[[43]](#cite-id-n94zwz49t6d) 和 ZenGo[[42]](#cite-id-6u2fxwu64wl) 等领先的交易所和钱包提供商，协助他们解决安全漏洞。Skyfall 团队的移动安全研究得到了三星的认可，多个 CVE 证明了这一点，突显了 CertiK 在更广泛的网络安全领域的影响力。 # ## YZi Labs 2026年1月6日，CertiK和[YZi Labs](https://iq.wiki/wiki/binance-labs)合作，为EASY Residency孵化计划的所有参与者设立了一项价值100万美元的审计资助计划。 这项合作通过从一开始就嵌入安全性来支持下一代[Web3](https://iq.wiki/wiki/web3)、人工智能和生物技术初创公司。 [[44]](#cite-id-Qms6EXv4DyNUxhrS) ## **教育和资源** CertiK还致力于在Web3领域提供深入且易于理解的教育内容。通过其博客和各种出版物，CertiK旨在启发行业专家和爱好者，了解区块链技术和网络安全的复杂性和不断发展的动态。 CertiK还发布年度和季度Hack3d报告，提供全面的统计数据和详细的案例研究。这些报告对于理解区块链安全的当前状态至关重要，突出了区块链领域的趋势、漏洞和事件。CertiK的Hack3d报告是开发者、投资者和政策制定者的重要资源，为他们提供可操作的情报，并更深入地了解区块链安全领域的挑战和机遇。