安全审计

加密领域中的安全审计是什么？

加密领域的安全审计是对区块链系统、智能合约、钱包、协议、跨链桥、去中心化应用（dApp）和基础设施进行的结构化审查，目的是在攻击者利用漏洞前发现问题。简单来说，安全审计是由专业人员检查加密代码、架构、假设、权限和运营控制措施。其目标是在真实用户资金面临风险之前，识别漏洞、设计缺陷、不安全权限、经济攻击路径和集成风险。安全审计在加密领域尤为重要，因为智能合约可能持有大量资产，而且区块链交易一经确认，通常很难或无法撤销。普通软件漏洞可能导致服务中断或数据丢失，而智能合约漏洞可能直接造成代币损失、资金冻结、治理失灵、强平失败或流动性被盗。

Ethereum 官方的智能合约安全指南指出，审计有帮助，但不应将其视为解决所有问题的灵丹妙药。

这意味着安全审计是重要的防护层，但不能保证协议绝对安全。完善的加密安全流程应结合安全设计、测试、代码审查、审计、形式化方法、监控、漏洞赏金、事件响应和谨慎的升级管理。

安全审计的简单定义

安全审计是对加密系统进行的详细审查，目的是在部署或重大升级前检查系统是否存在弱点。对于智能合约，审计通常会检查源代码、业务逻辑、访问控制、代币账目、预言机使用、可升级性、Gas 消耗行为和已知漏洞模式。对于完整协议，审计还可能检查前端风险、后端服务、管理员密钥、多签控制、跨链桥设计、验证者基础设施、治理流程和监控计划。安全审计报告通常会按严重程度列出问题，解释风险、建议修复方案，并记录团队是否已修复或确认每项问题。安全审计有助于用户、开发者、投资者和生态合作伙伴了解项目是否采取了合理措施来降低可预防的风险。不过，审计并不能证明协议没有风险。它只能说明特定审计人员在特定时间审查了特定范围。

安全审计为何对加密领域很重要

安全审计很重要，因为加密系统通常通过代码直接管理资产。DeFi 借贷合约可能持有抵押品并管理债务仓位。流动性池可能持有用户提供的代币。跨链桥可能控制跨链封装资产。质押合约可能管理验证者委托和奖励核算。治理合约可能控制升级、国库资金和协议参数。如果其中任何一个系统存在严重漏洞，攻击者就可能盗取资金或永久损害用户信任。安全审计可以降低明显且影响重大的错误进入生产环境的可能性。审计也能帮助团队完善文档、明确假设并制定更安全的部署流程。

加密安全审计通常检查哪些内容

加密安全审计通常从项目文档和威胁模型入手。审计人员需要了解协议的预期功能，才能判断代码是否安全运行。随后，审计人员会逐行检查智能合约代码。审计人员会检查余额记录是否正确、权限是否受到限制、外部调用是否安全，以及边缘情况是否得到处理。他们还会测试系统是否可能遭受重入攻击、价格操纵、随机数缺陷、整数错误、签名重放、拒绝服务、不安全升级或访问控制失效等攻击。

Solidity 官方的安全注意事项页面提醒，由于新的风险和模式不断出现，智能合约安全指南不可能涵盖所有情况。

因此，审计工作既需要采用已知检查清单，也需要创造性地进行对抗性思考。优秀的审计不仅会检查代码能否正常运行，还会分析代码在恶意环境下可能如何失效。

安全审计与代码审查

代码审查会检查代码是否易读、正确、易于维护并符合开发标准。安全审计则更深入地关注代码可能如何遭受攻击、被滥用、绕过或误用。两者都有价值，但并不相同。普通代码审查人员可能会询问某个函数是否简洁、易懂。安全审计人员则会询问该函数是否可能因异常输入、意外调用顺序、治理滥用、预言机操纵或恶意合约交互而遭到利用。加密团队在聘请外部审计人员之前，应先进行内部代码审查。外部审计人员不应是第一个阅读未完成代码的人。通常，团队已完成测试、文档整理和代码库清理后，审计效果会更好。

安全审计与形式化验证

形式化验证使用数学方法证明代码在既定假设下满足特定属性。安全审计的范围更广，可能包括人工审查、工具辅助分析、经济逻辑分析、架构审查和部署风险评估。形式化验证可用于验证余额守恒、授权规则或不变量保持等关键属性。不过，形式化验证只能证明实际写明的属性。如果规范不完整或有误，证明就可能无法防范真实风险。审计与形式化验证相结合，效果最佳。审计人员可以帮助识别哪些属性至关重要，而形式化方法则可增强对这些属性成立的信心。对于高价值协议，形式化验证可以作为人工安全审计的有益补充。

安全审计与漏洞赏金

安全审计通常由选定的审计人员在规定的范围和时间内进行。漏洞赏金则是一项持续开展的计划，奖励外部研究人员负责任地报告漏洞。审计有助于在上线前进行有针对性的专家审查。漏洞赏金有助于上线后持续发现问题，因为系统可能随着时间推移面临新的集成、市场状况和攻击手法。漏洞赏金也能吸引技能和视角各异的研究人员参与。漏洞赏金计划不能取代部署前的审计。审计也不能取代部署后的持续安全监控。完善的加密安全计划通常会同时采用两者。

常见的加密安全审计类型

智能合约审计

智能合约审计会检查执行协议逻辑的链上代码。这是加密领域中“安全审计”最常见的含义。审计人员会检查代币合约、借贷合约、质押合约、金库合约、治理合约、流动性池、NFT 合约和跨链桥合约。审查内容既包括技术漏洞，也包括业务逻辑缺陷。

协议架构审计

协议架构审计会检查多个合约、服务、参与者和链下系统如何协同工作。这一审计很重要，因为即使每个独立合约看起来都合理，整个协议仍可能不安全。例如，协议可能过度信任预言机、赋予管理员密钥过多权限，或在极端市场条件下无法执行强平规则。架构审计有助于识别系统层面的风险。

跨链桥安全审计

跨链桥审计会检查跨链消息验证、验证者集合、中继器、签名门槛、资产托管、铸造逻辑和故障恢复。跨链桥风险较高，因为它们通常控制多个链上的资产。跨链桥漏洞可能同时影响源链和目标链。跨链桥审计应包括代码审查、验证者信任分析、运营控制和应急响应计划。

钱包安全审计

钱包审计会检查私钥处理、助记词保护、交易签名、地址显示、恢复流程、账户抽象逻辑和用户界面安全。钱包安全至关重要，因为用户需要依靠钱包了解自己正在签署的内容。即使钱包采用强加密，如果交易提示不清楚，也仍可能使用户遭受网络钓鱼攻击。钱包审计应同时涵盖技术安全和用户体验安全。

基础设施审计

基础设施审计会检查节点、RPC 端点、索引器、后端服务、部署流水线、访问控制、云系统、监控和事件响应流程。加密用户往往关注智能合约，但基础设施故障也可能造成重大损失或服务中断。协议可能依赖链下 keeper、价格信息源、验证者、排序器、中继器或机器人。这些系统也应纳入整体安全模型的审查范围。

智能合约安全审计如何进行

智能合约安全审计通常从确定范围开始。团队和审计人员会商定纳入审查的合约、分支、提交版本、文档、测试、脚本和部署计划。接下来，审计人员会研究项目的预期行为和威胁模型。他们会人工审查代码，并运行自动化分析工具。他们可能编写概念验证攻击代码，以确认漏洞是否真实存在。他们还可能通过单元测试、模糊测试、不变量测试或模拟来测试边缘情况。审查完成后，审计人员会提交包含严重程度评级和建议的审计结果。项目团队会修复问题，审计人员也可能进行修复复核，以确认修复有效。

审计范围应包括哪些内容？

审计范围应包括所有可能影响用户资金、权限、账目、升级、治理或外部集成的代码。范围应包括计划部署的智能合约。范围应包括升级脚本和部署脚本，因为即使合约本身安全，部署错误也可能导致系统不安全。范围应包括重要配置文件、角色分配、访问控制设置和初始化参数。范围应包括预言机集成、跨链桥适配器、keeper 逻辑和外部依赖假设。还应包括解释预期行为和已知信任假设的文档。缩小范围可以降低审计成本，但也可能遗漏系统层面的风险。用户阅读审计报告时，应始终确认哪些内容纳入了审查，哪些内容被排除在外。

安全审计中发现的常见漏洞

一种常见漏洞是重入攻击：外部调用可能导致状态更新完成前意外重复执行。另一种常见漏洞是访问控制失效，导致错误地址可以调用特权函数。预言机操纵也是常见问题，攻击者可能影响借贷、交易或抵押品系统使用的价格输入。另一类常见问题是不安全的可升级性，代理合约或管理员密钥可能以危险方式更改逻辑。签名重放也是常见问题，即有效签名可能在非预期场景中被重复使用。随机数缺陷也很常见，例如合约在游戏、抽奖或 NFT 分配中使用可预测的随机数来源。

OWASP 智能合约十大风险为开发者和安全团队提供了当前主要智能合约风险类别的参考清单。

审计人员会将此类清单作为起点，但严谨的审计还必须查找项目特有的逻辑缺陷。

审计报告中的严重程度等级

审计报告通常会按照严重程度对发现的问题进行分类。严重级别的问题可能导致直接盗窃、资金永久损失、未经授权铸币或协议被完全控制。高危问题可能导致重大损失、权限滥用、账目错误或严重拒绝服务。中危问题可能在特定条件下或与其他问题结合时带来显著风险。低危问题可能涉及较小的安全弱点、边缘情况或安全加固机会。信息类发现可能包括代码质量建议、Gas 优化、文档缺漏或最佳实践提示。严重程度既取决于技术因素，也取决于具体情境。在一个协议中看似轻微的漏洞，如果影响另一个协议的核心账目或特权控制，就可能属于严重问题。

安全审计与访问控制

访问控制是加密安全审计中最重要的部分之一。审计人员会检查谁可以暂停合约、升级逻辑、更改手续费、更新预言机、铸造代币、提取资金、设置用户白名单或更改协议参数。他们还会检查特权角色是否分配给安全的多签钱包、时间锁、治理合约，还是不安全的单密钥钱包。访问控制不当可能使一个表面上去中心化的协议变成由一把被攻破的密钥控制的系统。审计人员应在报告中明确指出特权角色。用户应阅读审计报告，了解上线后谁能更改系统。即使合约经过审计，如果管理员仍保留广泛权限且缺乏透明控制，风险依然存在。完善的访问控制应遵循最小权限原则。

安全审计与可升级合约

可升级合约允许协议在部署后更改逻辑。这有助于团队修复漏洞并改进功能。但也可能带来重大信任和治理风险。审计应检查代理模式、存储布局、初始化函数、升级权限、时间锁和紧急控制。存储布局错误可能在升级期间破坏余额或权限。未受保护的初始化函数可能让攻击者控制合约。不受限制的升级权限可能允许用恶意代码替换安全代码。用户应了解经过审计的协议上线后是否仍可由管理员或治理机制升级。

安全审计与预言机

预言机会将价格、利率、储备或随机数等外部数据传入智能合约。许多 DeFi 协议依靠预言机处理强平、兑换、借款限额、金库定价和结算。审计应检查预言机数据是否可能遭到操纵、延迟、过时或配置错误。审计还应检查备用逻辑、数据时效性、小数位处理、断路器和资产特定风险。预言机风险不仅是代码问题。它也是经济和市场结构问题。即使价格信息在技术上准确，如果底层市场流动性不足或易于操纵，价格信息源仍可能不安全。完善的审计会同时检查预言机集成方式及其数据假设。

安全审计与经济攻击

即使代码没有明显的编程漏洞，加密协议仍可能失效。经济攻击会利用激励机制、流动性、治理、预言机时机、杠杆或市场机制。如果抵押品价格可以被暂时抬高，借贷协议可能会失效。如果定价公式遭到滥用，流动性池可能会被抽干。如果投票权可以被迅速借入或集中，治理系统可能会被操控。如果验证者激励不足或密钥管理不善，跨链桥可能会失效。安全审计应考虑经济行为，而不仅是代码语法。因此，DeFi 审计往往需要同时具备工程能力和金融风险分析能力。

安全审计与自动化工具

自动化工具可以帮助审计人员快速发现已知漏洞模式。这类工具可能包括静态分析器、模糊测试工具、符号执行工具、代码检查工具、依赖项扫描器和不变量测试框架。自动化工具很有用，但无法取代专家的人工审查。一篇近期有关智能合约安全分析器的研究论文发现，不同工具的准确性差异很大，并指出了误报、漏报、解释含糊和运行时间过长等问题。这意味着工具的输出必须由了解协议背景的人员审查。自动化工具最适合用于扩大覆盖范围、重复性检查和识别已知模式。人工审计人员则更擅长检查业务逻辑、经济推理、架构和创造性的攻击路径。严谨的审计会将工具作为辅助，而不是最终裁决者。

安全审计与测试

测试是完善审计流程的基础。在外部审计开始前，团队应视情况准备好单元测试、集成测试、模糊测试和不变量测试。单元测试检查单个函数。集成测试检查各组件如何协同工作。模糊测试会尝试大量随机或半随机输入，以发现意外故障。不变量测试会检查重要规则是否始终成立。例如，借贷协议可能要求债务总额与抵押品账目始终保持一致。如果审计人员可以审查并扩展现有测试套件，而不是从零开始，审计效果会更好。

安全审计与标准

安全标准有助于团队和审计人员采用一致的评估标准。

OWASP 智能合约安全验证标准为智能合约、dApp 和基于 EVM 的区块链系统提供安全要求和测试。

EEA EthTrust 安全级别规范规定了智能合约安全认证等级的要求。

标准不能取代专家审查，但能让审计更一致，也更便于比较。标准还可以帮助开发团队在审计人员开始工作前做好准备。遵循公认标准的协议仍可能存在漏洞，但其安全审查基础会更完善。用户应优先查看说明审计方法的报告，而不是只看标志或标题。清晰的方法说明有助于评估审计质量。

审计报告应包括哪些内容

实用的审计报告应列明项目、审计范围、代码提交版本、日期、审计人员、方法和限制。报告应从整体上介绍协议。报告应列出所有发现，并说明严重程度、影响、可能性、受影响文件、技术解释和建议的修复方案。报告应注明每个问题是已修复、部分修复、已确认但未修复，还是尚未解决。报告应说明任何中心化风险、管理员权限、升级控制和受信任角色。报告应提及审计范围之外的重要假设。报告应足够具体，让开发者能够采取行动，也让用户了解主要风险。只有笼统证书、缺少技术细节的报告，实用性远低于内容清晰的报告。

用户应如何阅读审计报告

用户首先应确认报告是否与已部署的合约一致。对旧代码版本的审计可能不适用于当前部署。用户应检查提交哈希、合约地址、部署日期和升级历史。用户还应阅读尚未解决的问题，而不是只看“已审计”几个字。项目即使经过审计，仍可能存在已确认但严重的风险。用户应确认上线前是否修复了严重和高危问题。用户还应检查中心化风险、管理员密钥、预言机假设和外部依赖。最稳妥的理解很简单：审计是经过审查的证据，而不是安全保证。

主网上线前的安全审计

上线前审计会在代码开始保护真实资产前进行检查。这是发现严重问题的最佳时机，因为用户充值资产前仍有机会修复。团队不应等到上线前最后一天才请求审计。审计人员需要时间了解系统、测试假设、提出问题并复查修复情况。仓促开展的审计可能会漏掉重要问题。团队应在审计开始前冻结代码。如果审查期间代码不断变化，审计范围就会变得不稳定。规范的上线前审计流程包括准备、代码冻结、审查、修复、重新测试和谨慎部署。

部署后的安全审计

当协议升级、添加新模块、更改预言机或治理机制，或集成新系统时，部署后审计十分重要。加密协议并非一成不变。随着时间推移，协议可能添加新资产、新链、金库、市场、策略或跨链桥路线。每项变更都可能带来新的风险。上线时安全的协议，可能因未经充分审查的升级而变得危险。部署后审计有助于降低此类风险。团队还应监控协议的实际运行情况，因为部分风险只有在真实市场环境下才会显现。安全是一项持续的生命周期工作，而非一次性事件。

DeFi 协议的安全审计

DeFi 安全审计必须同时检查代码和金融逻辑。DeFi 协议可能依赖抵押率、利率模型、流动性深度、价格信息源、强平激励、手续费核算和用户行为。审计人员应测试用户是否可以抽干资金池、绕过债务检查、操纵价格、窃取奖励或冻结资金。他们还应检查舍入行为、小数位转换、滑点假设和代币兼容性。DeFi 审计应考虑手续费从转账金额中扣除的代币、弹性供应代币，以及带有黑名单或暂停功能的代币等特殊代币。审计还应检查紧急控制和压力情况下的提现行为。对于用户而言，即使 DeFi 协议经过审计，如果流动性薄弱或治理中心化，仍然存在风险。审计状态应只是 DeFi 尽职调查的一部分。

跨链桥的安全审计

跨链桥审计是最重要、也最复杂的加密安全审计类型之一。跨链桥可能会在一条链上锁定资产，并在另一条链上铸造或释放资产。这会带来智能合约、消息验证、中继器、验证者、签名、托管和最终性假设等方面的风险。审计人员应检查跨链桥如何证明另一条链上发生了某个事件。他们还应检查验证者密钥如何受到保护，以及需要多少个签名。跨链桥审计应测试重放攻击、接受无效消息、链重组风险、提现限额和紧急关闭机制。即使跨链桥经过审计，用户仍应谨慎使用，因为跨链系统依赖的假设比简单代币转账更多。审计报告应清楚说明这些假设。

NFT 和游戏项目的安全审计

NFT 和游戏项目审计会检查铸造逻辑、元数据控制、随机数、版税、转让限制、市场授权和游戏内资产规则。当用户为盲盒铸造、战利品箱或随机属性付费时，随机数尤其重要。随机数设计薄弱，可能让内部人员、矿工、验证者或机器人预测或操纵结果。审计人员还应检查项目所有者是否可以误导性地更改元数据。游戏项目应审查资产铸造、销毁、奖励、库存逻辑和跨链资产流转。NFT 用户不应仅仅因为铸造合约经过审计，就认定项目安全。网站、钱包提示、市场授权和管理员控制同样重要。条件允许时，NFT 审计应覆盖完整的用户操作流程。

钱包的安全审计

钱包是用户与区块链交互的主要界面，因此钱包审计至关重要。钱包审计应检查助记词生成、私钥存储、签名流程、地址显示、备份程序、交易模拟和网络钓鱼防护。审计还应检查浏览器扩展权限、移动应用存储、硬件钱包集成和更新分发。如果钱包签署了错误数据、显示了错误地址或隐藏重要交易详情，就可能发生故障。钱包审计应包括可用性，因为用户必须了解自己正在批准什么。只有准确显示交易详情，清晰的签名提示才能减少错误。钱包安全还取决于安全的更新渠道和对虚假版本的防护。用户应只从可信来源下载钱包，并将恢复短语妥善离线保存。

安全审计与治理风险

当代币持有者、代表、多签方或管理员角色能够更改协议行为时，就会产生治理风险。审计应检查投票规则、提案门槛、法定人数、时间锁、紧急权限和执行逻辑。审计应检查攻击者是否可以借入投票权、通过恶意提案或绕过延迟。审计还应检查少数人是否能够升级合约或转移国库资金。如果透明且设计完善，治理可以成为优势。如果治理将广泛控制权交给安全性不足的密钥或参与度低的投票系统，也会构成风险。用户应在审计报告中了解治理方面的假设。协议即使经过技术审计，也可能仍然高度中心化。

安全审计与运营安全

运营安全涉及团队如何管理密钥、部署、访问权限、监控和应急响应。代码安全的协议，运营方式也可能不安全。例如，部署密钥可能存放在不安全的笔记本电脑上。多签钱包的签名者可能太少，或分布不合理。升级可能在没有检查清单的情况下执行。攻击发生时，警报系统可能失效。如果运营假设会影响用户资金，安全审计就应对其进行检查。完善的运营安全包括安全的密钥存储、角色分离、日志记录、监控、事件处理预案和事后复盘流程。

安全审计的局限性

安全审计无法发现所有可能的漏洞。安全审计不能保证协议永远不会遭到攻击。安全审计无法完全预测未来的市场状况、治理决策或集成变更。安全审计无法保护用户免受审计系统之外的恶意交易签名影响。如果团队不根据审计结果采取行动，审计就无法解决文档薄弱、部署仓促或事件响应不佳等问题。审计也无法保证未来未经审计的升级安全。因此，用户不应将“已审计”视为简单的安全与否标签。真正需要了解的是：审计了什么、由谁审查、发现了什么、修复了什么，以及还存在哪些风险。

安全审计中的危险信号

如果项目声称已经通过审计，却没有公开审计报告，这是一个危险信号。没有审计范围、没有提交哈希、没有具体问题详情的报告，是一个危险信号。报告中列出的严重问题仍未解决，是一个重大警示信号。项目在审计后修改代码却没有重新审查，会带来额外风险。隐瞒管理员权限或升级权限的项目应谨慎对待。声称审计能够保证安全的项目是在作出误导性陈述。没有测试套件、监控和应急流程的项目，即使经过审计仍可能存在风险。用户应警惕仅将审计作为营销手段的项目。

申请审计前的最佳实践

团队在申请审计前应编写清晰的文档。团队应冻结代码，或明确指定审查的代码提交版本。团队应准备架构图、威胁模型、部署计划和预期不变量。团队应提供完整测试套件并说明已知问题。审计期间应避免添加重大功能。团队应留出充足时间供审计人员仔细检查。团队应及时回复问题，并认真修复审计发现。准备充分的团队比把审计人员当作最后关头检查清单的团队更能从审计中获益。

审计后的最佳实践

团队应在上线前修复严重问题。团队应要求审计人员复核重要修复。在安全且适当的情况下，团队应发布最终报告。团队应记录已确认但未修复的风险。团队应验证已部署的字节码和合约地址。团队应在上线后监控协议。如果协议控制的资产价值较高，团队应运行漏洞赏金计划或负责任的信息披露流程。团队应为重大升级安排新的审计。

用户如何评估经过审计的项目

用户应先确认审计报告真实且公开。用户应检查报告是否涵盖当前已部署的合约。用户应查找尚未解决的严重或高危问题。对于高价值或复杂系统，用户应检查项目是否经过多次审计。用户应审查管理员控制、可升级性、预言机设计、托管和跨链桥依赖。用户应确认协议是否设有漏洞赏金、监控和紧急暂停计划。用户应考虑总锁仓价值，因为价值越高，越可能吸引能力更强的攻击者。审计可以提升信心，但不应消除谨慎态度。

安全审计与保险

有些加密用户在看到审计报告后会寻找保险或保障。审计可以帮助保险机构或风险评估人员了解协议，但不会自动带来保险保障。保障条款可能不包括某些漏洞利用、治理失效、预言机攻击、跨链桥故障或用户操作失误。用户依赖保险前应仔细阅读保险条款。除非存在实际的保障安排，否则协议不应暗示审计意味着用户在财务上受到保护。保险、审计、漏洞赏金和监控是不同的风险管理工具。每种工具都有不同的局限性。强大的安全体系需要多层防护。

安全审计与监管要求

加密监管日益关注安全控制、托管、信息披露、运营韧性和风险管理。安全审计可能有助于证明项目认真对待技术风险。不过，智能合约审计并不等同于法律合规。代币即使经过审计，也仍可能涉及证券、消费者保护、制裁、税务或托管问题。处理用户资金的项目应考虑在技术审查之外进行法律审查。安全与合规是不同领域，但在加密产品中经常存在交集。例如，代币化资产平台可能既需要智能合约审计，也需要针对所有权记录设置法律控制措施。用户不应将技术安全与监管批准混为一谈。

关于安全审计的常见误解

一种常见误解是，经过审计就代表安全。“经过审计”表示在规定范围内接受过审查，并不意味着系统永远安全。另一种误解是，一次审计可以涵盖所有未来版本。新代码、新资产、新链和新集成都可能带来新的风险。另一种误解是，自动化工具可以取代人工审计人员。工具有所帮助，但往往无法发现特定背景下的逻辑缺陷。另一种误解是，只有智能合约需要安全审计。钱包、跨链桥、前端、后端、治理系统和运营流程也需要安全审查。

常见问题

加密领域中的安全审计是什么？

加密领域的安全审计是对智能合约、协议、钱包或基础设施进行的结构化审查，以便在攻击者利用漏洞前发现问题。

什么是智能合约审计？

智能合约审计是对链上代码进行的安全审查，检查漏洞、不安全逻辑、访问控制问题、预言机问题和其他可被利用的路径。

审计是否意味着加密项目安全？

不是。审计可以提高信心，但不能保证项目绝对安全或不会受到未来攻击。

审计报告应包括哪些内容？

审计报告应包括审计范围、提交哈希、方法、发现的问题、严重程度、建议、修复状态、局限性和剩余风险。

智能合约为什么需要审计？

智能合约需要审计，因为它们可以直接控制用户资金，而且部署后可能难以更改。

审计与漏洞赏金有什么区别？

审计是由选定审计人员进行的有针对性审查；漏洞赏金则是面向外部研究人员的持续奖励计划，鼓励他们报告漏洞。

自动化工具可以取代安全审计人员吗？

不可以。自动化工具适用于发现已知模式，但逻辑缺陷、经济攻击和协议特定分析仍需要人工审计人员。

常见的审计发现有哪些？

常见审计发现包括重入攻击、访问控制失效、预言机操纵、不安全升级、签名重放、随机数缺陷和账目错误。

加密项目应该多久审计一次？

项目应在重大上线前接受审计，并在进行重大升级、添加新模块、集成新资产或更改核心假设时再次审计。

审计范围是什么意思？

审计范围是指纳入审查的具体代码、合约、系统、文档和假设。

审计中的提交哈希为什么重要？

提交哈希可以帮助用户确认审计人员审查的具体代码版本。

经过审计的合约仍可能被黑客攻击吗？

可能。审计可能漏掉漏洞，代码之后可能发生变化，假设可能失效，攻击者也可能利用审计范围之外的问题。

用户是否应仅因项目经过审计就信任它？

不应如此。用户还应检查未解决问题、管理员权限、可升级性、预言机风险、跨链桥风险、流动性、漏洞赏金和项目的运营安全。

结论

安全审计是降低加密货币风险最重要的工具之一。它有助于在攻击者利用问题之前发现智能合约漏洞、协议设计缺陷、不安全权限、经济攻击路径和运营弱点。优秀的审计不仅检查代码，还会审查假设、架构、访问控制、可升级性、预言机、部署脚本和影响用户的风险。不过，安全审计并非保证。审计受时间和范围限制，其效果取决于审计人员、文档、代码库、测试和修复流程的质量。优秀的加密项目会将审计视为完整安全生命周期的一部分，并结合安全设计、测试、形式化方法、漏洞赏金、监控、事件响应和谨慎升级。用户应将审计报告视为有用证据，而不是营销口号。实用的判断原则很简单：经过审计的项目可能比未经审计的项目更安全，但真正需要了解的是审计了什么、发现了什么、修复了什么，以及还存在哪些风险。