随着协议面临日益增长的风险和更严格的审查，安全性正成为去中心化金融（DeFi）项目的决定性考验。行业专家表示，独立审计、形式验证、实时控制、透明治理和负责任的漏洞披露有助于保护用户资金并体现问责态度。

下文讨论的案例也说明，为什么尽早发现并披露弱点，比承诺完美的安全更能建立持久的信任。由于区块链交易通常不可逆转，安全工作必须超越上线前的一次性审计，并始终贯穿协议的开发与运营生命周期。这些案例中引用的数字——从九位数的漏洞损失到百万美元级的审计竞赛和赏金上限——表明如今有大量价值依赖于这类代码的可靠性。

Aave V3 将安全作为基础

Aave，尤其是其 V3 协议，被视为将安全纳入开发流程的项目典范。Aave V3 在部署前接受了包括 Trail of Bits、SigmaPrime 和 ABDK 在内的多家独立公司的审计。该协议还通过 Immunefi 运营持续的漏洞赏金计划，赏金最高可达 250,000 美元。

另一项措施是对其智能合约进行形式验证。形式验证使用数学证明来检验代码是否按规范运行，超越了传统的代码审查。

"作为一名构建数据管道并开发了开源安全审计工具（promptfirewall、ai-project-audit）的软件工程师，我认为这与我们在企业系统中处理数据完整性的方式如出一辙，" Softline Solutions 高级软件工程师 Timur Rakhmatullin 表示。"在 Softline Solutions，我参与服务 1,500 多个客户账户的数据平台工作，我们遵循同样的原则：不信任任何东西，验证一切，并让验证实现自动化和持续化，而不是一次性的勾选项。"

Rakhmatullin 表示，这一方法尤为重要，因为 DeFi 没有传统金融中介那样的安全网。银行出错时，客户可以走索赔流程；而智能合约存在漏洞时，资金可能永久消失。因此，区块链交易的不可逆性既影响用户，也影响项目的可信度。

在他看来，能够长期存续的项目会将安全视为持续的基础设施，而非上线前的形式。他表示，多项独立审计、形式验证、持续漏洞赏金和透明披露的结合，体现的是真正的承诺，而非"安全表演"。

Morpho 缩小攻击面

TradingFXVPS 首席执行官兼销售与营销负责人 Ace Zhuo 以 Morpho 为例，说明协议如何通过设计减少需要保护的代码量。Morpho Blue 的核心借贷合约仅包含约 650 行 Solidity 代码，且部署后不可更改。该合约经过多家独立审计公司审查、完成形式验证，并向公开审计竞赛开放，研究人员可通过发现弱点获得报酬。

"令我印象深刻的是，Morpho 在审计之前就努力缩小攻击面，" Zhuo 说。他将这种做法与 2 万行可升级代码进行对比——后者由可以更改规则的多签机制控制，他认为这类代码无法通过审计达到同样的安全水平。

Zhuo 表示，许多 DeFi 团队把审计当作收集的徽章。他们获取一份报告，把审计方名称挂在网站上，但后续故障可能出现在审查之后编写的代码中、尚未轮换的管理密钥中，或是在高波动时期返回错误值的未经审计的预言机中。

他表示，DeFi 攻击事件的常见原因包括劣质价格 feed、密钥泄露和未经审计的智能合约升级。在他看来，信任可以通过编写更少的代码、限制能够修改代码的人数以及在部署后持续进行对抗性测试来赢得。

"用户读不懂 Solidity，但他们能读懂一个团队的代码，并判断该团队是否以应有的严肃态度对待 1 个 bug == 整个金库，" Zhuo 说。"当资金以机器的速度流动时，没有回滚，也没有工单可以排查问题。重要的是产品 = 安全。"

Morpho Midnight 从早期构建防御

7aSavvy 创始人兼首席执行官 Brett Smith 同样强调了 Morpho，尤其是其较新的 Morpho Midnight 借贷协议。他表示，该协议强调独立智能合约审计、形式验证和公开安全审查。Morpho Midnight 已接受 Spearbit、Trust Security 和 Blackthorn 的评估，并举办了公开审计竞赛。

Smith 表示，这一做法的重要之处在于，安全从一开始就融入开发过程，而不是作为最终的检查清单。DeFi 平台通过自动化智能合约管理真实的金融资产，因此单一漏洞就可能危及用户资金。

Smith 表示，公布审计结果、鼓励独立测试并维护漏洞赏金计划，可以让用户更清楚地了解风险是如何管理的。他还强调，审计并不能保证完全的安全；它体现的是问责态度，而信任则通过持续证明安全受到重视而逐步建立。

审计结果只有团队采取行动才有意义

Zibtek 创始人 Cache Merrill 表示，其公司为 Wantoo 审计 DeFi 平台的工作表明，只有当项目对审计发现采取行动时，审计才有价值。

智能合约的缺陷可能使真实资金面临风险，而交易完成后用户可能几乎无从追索。Merrill 表示，他不会仅凭审计徽章来评判一个新兴项目。他会考察审计由谁执行、发现的问题是否得到解决，以及团队是否披露了剩余风险。

当合约变更或新增功能时，安全审查也必须跟进。对早期版本的审计不会自动覆盖后续代码。对用户而言，团队如何测试代码、如何响应漏洞、如何对修复承担责任的确凿证据，比"平台是安全的"这类笼统声明更有意义。

先展示风险，再谈收益

STOCK UP! with Larry Jones 的创始人兼主持人 Larry Jones 表示，他无法推荐某个具体的 DeFi 项目，也无法指出值得关注的对象。他运营的是一个股票市场和投资教育频道，而非区块链研究机构，并表示不会引导读者关注特定的代币或平台。

Jones 表示，在讨论潜在收益之前先解释安全风险，这一更广泛的原则同样适用于金融教育。根据他向新手教授期权的经验，可信度的建立方式是先向人们展示他们可能在哪里受到伤害，再讨论产品能带来什么。

"能够长久存续的项目和教育者，是那些愿意放慢脚步、先说'这里可能出什么问题'、然后才谈'这能为你带来什么'的人，" Jones 说。他将一次妥善执行的审计比作代码中体现的同一原则：项目主动指出弱点可能存在的位置，而不是将其掩埋。

Jones 表示，金融受众已经见过太多宣传话术，足以识别没有依据的空头保证。在他看来，先展示下行风险并非可有可无；它是信任赖以建立的基础。

持续监控与实时控制

CFO Matrix 策展人 Ankit Sarawagi 提到了一个新兴 DeFi 协议，其安全计划以持续监控、主动的身份与访问管理以及持续的 API 可观测性为核心。

Sarawagi 表示，绿色对勾只是起点，策略必须在实时层面强制执行。通过持续测试配置和身份边界，团队可以在异常和错误配置演变成事故之前发现它们。这一持续过程可以为用户和合作伙伴提供控制措施持续有效运行的证据。

Euler V2 吸取漏洞教训

Innowise 公关经理 Lizaveta Piaskova 以 Euler V2 为例，说明协议如何在漏洞事件后重建。Euler 于 2021 年上线，但 V2 实际上是在 2023 年事件之后从零重建的。

2023 年 3 月，原协议因一个此前已被审计的补丁中引入的函数损失约 1.97 亿美元。缺陷是捐赠路径上缺失了账户健康检查，并与清算逻辑结合后才变得危险。审查范围仅限于该变更本身，而该变更破坏了协议其他部分的不变量。

为在 2024 年重新上线 V2，团队投入逾 400 万美元用于安全工作。该计划包括来自 12 家公司的 29 次审计，随后是奖金池为 125 万美元的公开竞赛。超过 600 名研究人员参与，未发现高危或中危问题。漏洞赏金计划随上线同步推出。

架构也进行了调整。V2 将系统划分为独立模块，使每次审查覆盖的范围更窄，单个模块内的变更也更易于评估。

Piaskova 表示，两个版本之间的关键区别并不仅仅是审计师的数量。V2 的设计使审查覆盖整个系统，并在上线后持续进行。单次审计只检验固定范围内代码的一个快照。独立审计、随后的公开竞赛以及常设赏金表明，协议预期弱点会被发现，并愿意在攻击者之前出资让研究人员找出它们。

这一方法也有其局限。2025 年 11 月，管理 Stream Finance 资金的外部基金经理披露约 9,300 万美元的损失，同时约 2.85 亿美元的风险敞口出现在包括 Euler、Silo、Morpho 和 Gearbox 在内的借贷协议中。没有任何 Euler 合约被攻击。风险来自金库策展人选择接受的抵押品。

Piaskova 表示，对新团队的启示是，要像重视代码本身那样重视系统边界的评估。这包括对照整个系统重新审查每次升级、在付费审计后举办公开竞赛、根据风险价值设定赏金规模，并将每项抵押品或预言机上线视为一项安全决策。

Uniswap V4 借助独立挑战

Uniswap V4 于 2025 年 1 月 31 日上线，此前委托六家知名审计机构对其核心及配套合约进行了九次独立安全审计。

为找出初步审查可能遗漏的问题，该项目还举办了一场 235 万美元的安全竞赛，吸引超过 500 名安全研究人员参与，并推出了持续的漏洞赏金计划，对严重漏洞提供最高 1,550 万美元的奖励。

Thrive Internet Marketing Agency 的 AI 工程师兼网页开发专业人士 Aaron Whittaker 表示，可观的赏金鼓励独立研究人员调查新发现的弱点并负责任地上报。他表示，用户希望获得外部专家审查过合约的书面证据，而不是仅依赖营销说辞。

Uniswap 报告称，其安全竞赛和漏洞赏金计划在上线前未发现严重漏洞。Whittaker 表示，分阶段部署协议在企业软件和链上系统中同样重要。在其公司的 Demand Gen DevOps 工作流中，支持客户运营的每款工具在发布前都要经过权限审计和集成测试。

虽然营销工具中的软件缺陷可能导致停机，但智能合约漏洞可能造成不可逆转的财务损失，这要求 DeFi 采用更严格的安全标准。Whittaker 表示，公布的审计报告和持续的漏洞赏金让用户在投入资金之前可以查看安全发现。

精简代码与分层测试

ORM Systems 首席执行官 Omer Malik 将安全审计视为重要的信任信号，因为 DeFi 用户将真实的金融资产放入由智能合约治理的系统中。他还提到了 Morpho Midnight，其安全计划包括独立代码审查、形式验证和持续漏洞测试。

该计划包括 Spearbit、Trust Security、Blackthorn 和 StErMi 的审查，以及一场公开审计竞赛。Malik 表示，这种分层方法可以发现单次评估可能遗漏的弱点。

他还强调了 Morpho 降低技术复杂性的努力。Morpho Midnight 的设计围绕约 1,100 行代码展开，使其核心系统更易于审查和验证。Morpho 还记录了一项覆盖其多个协议的 250 万美元漏洞赏金计划。

从企业技术和风险管理的角度，Malik 表示他会依据三项标准评估 DeFi 项目：独立审计报告、透明的漏洞披露流程，以及已发现问题得到解决的证据。仅有审计证书是不够的，因为漏洞可能通过升级、集成或运营条件的变化而出现。

Malik 表示，公布审计结果并保持持续安全测试可以降低投资者、开发者和用户的不确定性。他补充说，即使经过充分审计的协议，仍然存在智能合约、流动性和运营风险。

Centrifuge 将安全与治理相连

RecruitBlock 董事 Penny Sommerfeld 指出，Centrifuge 是一个将安全和机构标准置于增长战略核心的 DeFi 企业范例。该公司连接传统资产管理与去中心化金融的业务，由独立安全审计、形式验证和持续的协议审查提供支持。

Sommerfeld 表示，机构参与需要的不只是强大的技术。企业还需要在财务、风险、合规和治理领域拥有经验丰富的领导层，并有能力达到机构合作伙伴所期望的标准。

审计提供了重要的技术保证，但持久的信任还取决于问责机制、有效的控制以及监督人员的素质。在她看来，同时在安全和经验丰富的领导力上进行投资的企业，将更有能力建立可持续的机构关系。

Kamino Finance 持续保障资金

Management 305 创始人兼物业经理 Cédric Rose 表示，他在管理高风险运营和综合管理平台方面拥有超过 14 年的经验，因此习惯于从主动风险管理的角度评估技术生态系统。

他引用 Kamino Finance 作为新兴 DeFi 的例子，该项目将严格的审计流程和实时风险监控置于其自动化金库的核心。据 Rose 介绍，该项目在扩大流动性之前，持续对其智能合约进行独立第三方审计，并维护活跃的漏洞赏金计划。

Rose 将这一方法比作保护高价值实物资产所需的预防性维护和供应商审查。他表示，透明的监督可以用可验证的可靠性取代不确定性，让用户看到其资金周围始终维护着有效的保障措施。

形式验证与长期可信度

Errna 交付经理兼企业解决方案架构师 Sudhanshu Dubey 表示，安全审计将区块链的透明性与金融安全的实际需求连接起来。凭借设计企业级分布式系统二十年的经验，Dubey 表示，除非代码经过严格和对抗性的测试，否则"代码即法律"的理念是一种负担而非优势。

在他看来，能够获得长期信任的 DeFi 项目会将安全视为持续的架构要求，而非一次性义务。他将形式验证和持续安全流程视为寻求证明长期可行性的项目的显著特征。

形式验证不是依赖单一的审计快照，而是使用数学证明来评估智能合约在指定条件下是否能正确运行。Dubey 表示，高度可信的协议会主动公布其完整的审计历史，包括首次审查中的严重和高危发现。这种披露水平表明，团队专注于纠正缺陷，而不是获取一枚营销徽章。

这一问题对现实世界资产（RWA）和机构 DeFi 项目尤为重要，因为其中可能涉及传统资本和合规要求。Dubey 表示，去中心化系统没有撤销功能：流动性池或跨链桥中的一个漏洞，可能在团队制定应对方案之前就让资金被盗。

他补充说，项目不应仅仅声称自己无法被攻击，而应展示在漏洞出现时智能应对的能力。在他看来，企业级参与需要多家公司的审计和有效的漏洞赏金计划。对于评估任何协议的读者而言，这些案例中反复出现的信号是具体的：公布的审计历史、发现的问题得到解决的证据、与风险价值相匹配的赏金规模，以及将抵押品和预言机上线本身视为安全决策。