无限增发漏洞

什么是加密货币中的无限增发漏洞？

无限增发漏洞是一种智能合约缺陷，可能导致新代币在缺少正确限制、权限或供应量控制的情况下被创建。

简单来说，这是一种可能让攻击者铸造超出协议预期数量代币的程序漏洞。

“无限增发漏洞”通常是非正式说法。安全研究人员也可能将同类问题称为无限增发漏洞、无限铸币错误、未经授权的铸币漏洞或无限增发攻击。

Ledger 的加密货币术语表将无限增发攻击描述为：智能合约缺陷或代码问题使攻击者能够在协议中创建无限数量代币的情况。

无限增发漏洞可能影响同质化代币、封装资产、治理代币、奖励代币、合成资产、游戏代币、类似稳定币的资产以及 NFT 系列。

这种漏洞可能造成严重损害，因为代币供应量是加密资产价值的核心基础之一。

如果某种代币本应有固定或受控的供应量，但漏洞允许无限铸造，市场信任可能迅速崩塌。

在许多情况下，攻击者会铸造代币，将其卖入流动性池或市场，抽走真实资产，最终使持有者手中的代币被稀释或贬值。

无限增发漏洞并非正常的通胀机制。

它是代币逻辑、权限设计、升级控制、跨链桥记账或智能合约安全中的意外故障。

无限增发漏洞为何重要

无限增发漏洞之所以重要，是因为它可能破坏加密资产的经济完整性。

代币供应规则会告诉用户代币的最大数量、谁可以创建代币，以及新供应量在什么条件下可以进入市场。

如果这些规则可以被绕过，代币的市场价格、流动性、治理权、抵押品价值和用户信任都可能崩塌。

在去中心化金融领域，这种风险尤其严重，因为代币常被用作抵押品、流动性池资产、奖励资产、投票资产，或其他链上资产的封装表示。

如果可以铸造虚假或没有足额支持的代币，漏洞被发现前，这些代币可能已经被兑换成真实资产。

这种损失并非只是理论上的可能，因为交易一经确认，智能合约就能自动转移价值。

与普通数据库错误不同，区块链交易可能很难甚至无法撤销，除非采取特殊治理措施、进行链级干预或协商恢复。

因此，无限增发漏洞被视为高严重性的智能合约漏洞。

它将技术风险与直接的代币经济学风险结合在一起。

一次权限检查缺失，就可能引发席卷整个市场的供应量危机。

无限增发漏洞如何运作

无限增发漏洞通常始于一个用于创建新代币的函数。

该函数可能被命名为 mint、issue、bridgeMint、depositMint、rewardMint、claim、redeem，或其他项目自定义名称。

该函数应仅允许获批账户、受信任模块或符合有效协议条件的主体创建代币。

如果函数是公开的、保护不足、初始化错误，或可通过意料之外的调用路径触发，攻击者就可能利用它。

一旦攻击者能够铸造代币，就可能反复执行该操作，或在一笔交易中铸造极大量代币。

新创建的代币随后可能被卖出、转移、用作抵押品或治理投票，也可能被跨链转移。

具体攻击路径取决于协议设计。

有些无限增发漏洞源于缺少访问控制。

有些源于记账逻辑有缺陷。

有些源于可升级合约初始化不安全。

还有些源于跨链桥验证失败：合约在未确认其他地方的真实资产已锁定或销毁时，就铸造封装资产。

无限增发漏洞与代币标准

许多加密代币遵循 ERC-20 等标准，该标准适用于同质化代币。

ERC-20 代币标准定义了 totalSupply、balanceOf、transfer、approve 和 transferFrom 等常见函数。

Ethereum 的ERC-20 开发者文档说明，ERC-20 提供了用于转移代币、查询余额和总供应量，以及批准第三方支出的函数。

ERC-20 标准本身并不要求每种代币都设有公开铸币函数。

铸币通常是由代币合约或项目逻辑控制的附加功能。

安全的代币合约应明确规定谁可以铸币、可以铸造多少、何时允许铸币，以及是否设有最大供应量。

当这些额外铸币规则缺失、不完整，或与其他合约的连接有误时，就可能出现无限增发漏洞。

因此，仅仅采用代币标准并不足以确保安全。

代币即使遵循通用接口，铸币逻辑仍可能存在危险。

无限增发漏洞的常见成因

最常见的成因是铸币函数缺少访问控制。

如果任何人都能调用创建代币的函数，任何人都可能使供应量膨胀。

另一个常见成因是角色管理错误。

合约可能设有 owner、admin、minter、bridge 或 operator 等角色，但这些角色的分配可能有误。

第三种成因是可升级合约的初始化缺乏保护。

如果代理合约或实现合约未正确初始化，攻击者可能成为所有者或铸币者。

第四种成因是跨链桥验证存在缺陷。

跨链桥合约可能没有正确验证源链上的资产是否已锁定、销毁或得到证明，就铸造封装代币。

第五种成因是算术或记账错误。

合约可能错误计算奖励数量、份额、充值金额或可领取余额，从而允许重复领取。

第六种成因是外部调用不安全。

如果铸币逻辑在更新内部状态前与其他合约交互，攻击者可能找到重复执行或操纵流程的方法。

无限增发漏洞与访问控制

访问控制是防范无限增发漏洞最重要的措施之一。

OpenZeppelin 的访问控制文档说明，访问控制用于管理谁可以执行铸币、投票或冻结转账等操作。

OWASP 的智能合约十大风险将访问控制漏洞列为重大智能合约风险，因为缺失或薄弱的权限检查可能让未授权用户访问敏感功能。

铸币函数属于敏感功能，因为它会改变代币供应量。

如果铸币权限仅应授予金库、跨链桥、验证者集合、治理合约或奖励模块，代码就必须在每次调用时执行这一规则。

良好的访问控制不能只依赖链下信任或用户诚信。

即使攻击者直接调用函数，智能合约也应拒绝未授权的铸币操作。

开发者还应避免将广泛的铸币权限授予过多账户。

能够铸币的账户越多，攻击面就越大。

无限增发漏洞与最大供应量

最大供应量可以降低无限增发风险，但前提是代码中正确执行了这一限制。

项目可能会在文档、营销页面或白皮书中公布最大供应量。

但真正有效的限制，是智能合约实际执行的限制。

如果合约允许铸币量超过所公布的上限，用户依赖的就只是承诺，而非代码。

安全的供应量上限应在每次铸币操作前检查总供应量。

如果新供应量将超过上限，铸币函数就应失败。

该检查应适用于所有铸币路径，而不仅是主要铸币函数。

例如，跨链桥铸币、质押奖励铸币、领取奖励铸币和管理员铸币都不应绕过供应量上限，除非设计明确允许这样做。

如果供应量上限只适用于某个函数，而不适用于其他函数，就可能形成隐藏的无限增发路径。

用户和审计人员应始终检查所有可能增加代币供应量的路径。

封装资产中的无限增发漏洞

封装资产尤其容易受到无限增发风险影响，因为它们代表着应存在于其他地方的资产。

通常，只有在源链或托管系统中有真实资产被锁定、销毁或以其他方式得到证明后，才会铸造封装代币。

如果封装代币合约在没有有效证明的情况下铸币，新代币就可能没有资产支持。

这会直接造成偿付能力问题。

用户可能认为每个封装代币都有底层资产支持，但漏洞会制造出超过系统可赎回数量的索取权。

市场作出反应前，攻击者可能将没有资产支持的封装代币兑换成流动资产。

因此，跨链桥铸币函数必须采用严格的验证规则。

这些函数应验证消息、签名、随机数、源链事件、防重放机制以及受信任中继者的权限。

封装资产的无限增发漏洞不仅是代币漏洞。

它也是跨链记账故障。

奖励系统中的无限增发漏洞

奖励系统也可能引发无限增发漏洞。

质押、流动性挖矿、游戏或忠诚度合约可能根据用户活动铸造奖励。

如果奖励公式有误，用户可能领取超出预期数量的代币。

如果领取函数未正确更新已领取余额，同一笔奖励就可能被反复领取。

如果合约信任用户提供的数值，攻击者可能提交虚假输入以获得大量奖励。

如果奖励系统未设置排放上限，小小的逻辑错误也可能演变为严重的供应量问题。

奖励合约应仔细记录充值金额、份额、领取历史、奖励债务和排放限制。

还应测试零充值、超大额充值、同一区块内多次领取以及紧急提现路径等边界情况。

奖励铸币应与金库铸币同等对待。

无限增发漏洞与可升级合约

可升级合约可能带来特殊的无限增发风险。

项目可能使用代理合约，以便日后升级逻辑。

这有助于修复漏洞、增加功能或改进协议运行方式。

然而，可升级性也会增加风险，因为升级管理员可能有权更改铸币逻辑。

如果代理合约初始化错误，攻击者可能控制管理员角色。

如果升级函数缺乏保护，攻击者可能用恶意铸币逻辑替换安全逻辑。

如果新实现存在存储布局错误，供应量或角色数据可能遭到破坏。

Solidity 官方的安全注意事项提醒，代理类合约和授权设计需要谨慎处理，因为合约系统可能会意外地将强大权限赋予错误的组件。

使用可升级合约的项目应采用时间锁、多重签名审批、审计、监控和明确记录的升级流程。

无限增发漏洞的警示信号

一个警示信号是公开铸币函数没有明显的权限检查。

另一个警示信号是铸币函数只检查 tx.origin、区块编号或用户提供的输入等薄弱条件。

第三个警示信号是铸币者角色由未知、未经验证或外部拥有的账户控制。

第四个警示信号是代币宣称供应量固定，却存在没有明确上限的活跃铸币函数。

第五个警示信号是跨链桥代币的资产支持证明不清楚，或消息验证机制未公开说明。

第六个警示信号是奖励合约可以铸造奖励，却没有最大排放计划。

第七个警示信号是可升级合约没有时间锁、没有公开的升级政策，或管理员控制权不明确。

这些迹象都不能证明漏洞一定存在。

但它们表明，在用户信任代币之前，相关部分值得深入审查。

开发者如何防范无限增发漏洞

开发者可以在编写代码前设计好铸币规则，以防范无限增发漏洞。

项目应明确谁可以铸币、为何允许铸币、最多可以铸造多少，以及何时停止铸币。

每条铸币路径都应执行访问控制。

如果代币经济学要求设置供应量上限或排放限制，每条铸币路径都应遵守。

开发者应避免在多个合约中重复编写铸币逻辑，因为重复代码更容易造成检查不一致。

在适当情况下，应使用经过充分审查的库；没有充分理由时，不要自行编写代币逻辑。

开发者应围绕供应量行为编写单元测试、集成测试、不变量测试和模糊测试。

还应测试未经授权的账户在任何正常或边界条件下都无法铸币。

最安全的设计应假设攻击者会直接调用函数、调整交易顺序、通过合约调用函数，并测试代码的每个分支。

审计无限增发风险

智能合约审计应追踪所有可能增加代币供应量的函数。

审计人员应检查直接铸币函数、内部铸币调用、奖励领取、跨链消息、充值封装、管理员函数、升级函数和紧急控制功能。

审计人员应确认每条增加供应量的路径都具有正确权限。

还应验证总供应量不会超过预期上限或排放模型。

OWASP 的智能合约安全验证标准提供了安全要求和测试，可帮助团队设计、审查和验证安全的智能合约。

审计人员还应检查事件，因为铸币操作应在链上留下清晰记录。

如果供应量变化时没有透明事件，监控就会更加困难。

审计不应只检查铸币功能是否有效。

还应检查它会不会在不应铸币时仍然生效。

测试无限增发漏洞

测试无限增发漏洞时，应同时涵盖正常行为和异常行为。

正常行为是指获批铸币者可以在有效条件下铸造正确数量的代币。

异常行为是指未授权用户无法铸币、无法铸造超额代币，且无效证明不能增加供应量。

不变量测试尤其有用，因为它可以检查关键规则是否始终成立。

一个有用的不变量是总供应量永远不能超过最大供应量。

另一个不变量是封装代币供应量永远不能超过经验证的资产支持数量。

奖励不变量可以规定，奖励铸造总量永远不能超过排放计划。

模糊测试有助于发现人们可能想不到的异常输入。

对于高价值系统，形式化验证也可能有所帮助，尤其是在供应量规则足够简单、能够用数学表达时。

良好的测试应在部署前进行，并在升级后持续开展。

上线后监控无限增发风险

合约部署并不意味着安全工作已经结束。

项目上线后应监控代币供应量、铸币事件、角色变更、跨链消息、升级事件和异常转账。

如果供应量增长过快或有意外地址铸造代币，监控系统可以向团队发出警报。

如果管理员角色发生变化、实现合约被升级，或大量新铸代币流入流动性池，监控系统也可以发出警报。

公开数据面板有助于用户核实代币供应量是否符合项目公布的代币经济学。

项目应在事故发生前制定应急响应计划。

计划可能包括暂停合约、禁用铸币、联系安全合作伙伴、通知用户、协调流动性平台以及发布事故报告。

如果项目很晚才发现无限增发漏洞，可能只有几分钟时间来减少损失。

快速发现问题往往与优质代码同样重要。

对代币持有者的影响

无限增发漏洞可能通过稀释代币价值损害代币持有者。

如果攻击者创建大量新代币，每枚现有代币占总供应量的比例就会降低。

市场还可能因担心未来会继续增发而下调代币价格。

这可能降低流动性，让持有者更难退出仓位。

在某些情况下，治理也会受到影响。

如果治理权取决于代币余额，攻击者可能铸造足够多的代币来影响投票。

在 DeFi 中，如果借贷协议接受该资产，攻击者可能将新铸代币用作抵押品。

由此造成的损失可能超出原始代币合约的范围。

影响可能蔓延至流动性池、借贷市场、跨链桥、钱包和投资组合追踪工具。

因此，对于接入多个协议的代币，无限增发漏洞可能构成系统性风险。

对流动性池的影响

流动性池往往是最先显现无限增发损害的地方。

攻击者可能铸造代币，并在池中将其兑换为配对资产。

攻击者卖出虚假或超额代币时，池中会堆积被利用的代币，而配对资产则被抽走。

由于池内资产余额发生剧烈变化，流动性提供者可能遭受损失。

依赖池内价格的价格预言机也可能受到扭曲。

如果其他协议使用这些价格，损害可能进一步扩散。

设计完善的协议不应将单一、流动性稀薄的池子作为关键定价依据。

预言机设计、流动性深度、熔断机制和供应量监控可以降低无限增发漏洞演变为更大范围 DeFi 故障的可能性。

不过，仍必须在合约层修复最初的供应量漏洞。

无限增发漏洞与通胀型代币经济学

无限增发漏洞与通胀型代币经济学并不相同。

通胀型代币经济学是指协议按照已知规则有意创建新供应量。

无限增发漏洞则是指协议在预期规则之外创建或允许产生新供应量。

如果通胀用于支付质押奖励、挖矿奖励、生态激励或保障验证者安全，就可能属于正常设计。

未经授权的无限铸币则不正常，因为它违反了预期的供应量模型。

只要发行量受到限制、过程透明且受到控制，通胀型代币仍可能是安全的。

即使代币宣称供应量固定，只要存在隐藏的铸币路径，仍可能不安全。

用户应关注代码能否强制执行规则，而不应只看营销宣传。

关键问题是，新供应量是否遵循已公布的规则，以及这些规则是否受到智能合约逻辑保护。

无限增发漏洞与重入攻击

无限增发漏洞和重入攻击是不同概念，尽管有时两者可能同时出现。

重入攻击是指外部调用让合约或攻击者在首次执行尚未完成前，再次进入某个函数。

无限增发漏洞关注的是未经授权或超量创建代币。

如果铸币逻辑在外部调用后才更新状态，重入漏洞就可能导致重复铸币。

不过，许多无限增发漏洞并不需要重入攻击。

它们可能源于缺少访问控制、跨链桥证明错误、初始化不安全或供应量计算有误。

区分这两类问题很重要，因为修复其中一类漏洞并不意味着另一类也自动得到修复。

合约即使采用了重入保护，铸币函数仍可能缺乏保护。

安全的代币既需要安全的控制流程，也需要安全的供应量授权机制。

无限增发漏洞与无限额度授权

不要将无限增发漏洞与无限代币授权混为一谈。

无限额度授权是指用户允许另一个合约支出其现有代币，额度可能非常大。

无限增发则是指新代币可以在超出预期供应规则的情况下被创建。

两者都可能造成危险，但影响的是代币系统的不同部分。

如果获批的支出方恶意或遭到入侵，无限额度授权会威胁用户余额。

如果铸币逻辑存在漏洞，无限增发会威胁整个代币供应量。

用户可以通过管理代币授权额度来降低无限授权风险。

但对于已部署代币合约中的无限增发漏洞，用户个人无法修复。

面对无限增发风险，用户只能依赖合约设计、审计、监控、治理和项目方响应。

用户如何检查无限增发风险

用户可以先检查代币合约是否已在区块链浏览器上验证。

经过验证的合约允许用户和审计人员阅读与已部署字节码对应的源代码。

用户可以查找名称中包含 mint、issue、create、reward、bridge、claim 或 upgrade 等字样的函数。

用户可以检查这些函数是否受到角色、所有权、治理或受信任模块检查的保护。

用户可以查看代币是否设有最大供应量，以及该上限是否在链上强制执行。

用户还可以检查管理员角色由多重签名钱包、时间锁还是未知的单一账户控制。

如果有审计报告，用户应阅读，但也应记住审计并非保证。

还应检查项目是否有公开监控、漏洞赏金计划和明确的事故响应流程。

如果代币的供应规则不清楚，较稳妥的做法是认为其风险更高。

项目方的最佳实践

项目方应保持铸币逻辑简单且易于审计。

所有铸币函数都应使用基于角色的访问控制。

如果代币经济学要求设置最大供应量或排放限制，就应落实这些限制。

如果有更安全的治理或多重签名控制方式，就应避免将铸币权交给普通的外部拥有账户。

除紧急情况外，对供应量相关的重大变更应设置时间锁。

项目公布的代币经济学应与智能合约的实际行为一致。

项目应实时监控铸币事件和角色变更。

上线前以及重大升级后都应进行审计。

在用户和流动性面临风险前，应制定应急响应计划。

应将每个增加供应量的函数都视为关键安全面。

用户的最佳实践

用户不应只依赖代币公布的最大供应量。

应检查合约是否确实执行了这一限制。

应避免持有铸币权限不明确、存在隐藏管理员控制或合约未经验证的代币。

对于资产支持证明薄弱或支持情况不清楚的封装资产，应保持谨慎。

应谨慎对待新推出的奖励代币，因为奖励铸币漏洞可能很难及早发现。

应监控供应量突然增加、大额铸币事件和异常代币转账。

应分散风险，避免将过多价值集中在一种未经审计的代币上。

应了解，高收益可能掩盖较高的智能合约风险。

应记住，无限增发攻击发生后，价格能否恢复并不确定。

关于无限增发漏洞的常见误解

一种常见误解是，无限增发漏洞只会影响 Meme 代币或质量较差的项目。

事实上，任何具有复杂铸币逻辑、跨链桥逻辑、奖励逻辑或升级逻辑的代币都可能面临这种风险。

另一种误解是，宣称供应量固定就能保证安全。

只有智能合约在所有铸币路径上都执行固定供应量限制，这一说法才有实际意义。

第三种误解是，访问控制本身就足够。

访问控制至关重要，但供应量上限、跨链桥证明、记账检查、测试、监控和升级控制同样重要。

第四种误解是，审计可以消除所有风险。

审计可以降低风险，但无法保证没有漏洞，也无法保证未来升级仍然安全。

第五种误解是，无限增发一定需要高超的黑客技术。

有些事故源于简单错误，例如函数缺少保护、角色设置错误或忘记初始化。

常见问题

无限增发漏洞是什么意思？

无限增发漏洞是指智能合约漏洞导致新代币在缺少预期限制或权限的情况下被创建。

无限增发漏洞和无限增发攻击是一回事吗？

两者密切相关，但漏洞是安全缺陷，攻击则是对该漏洞的利用。

无限增发漏洞会毁掉代币价值吗？

会。它可能通过制造过量供应、抽干流动性、损害信任和造成严重稀释来破坏代币价值。

无限增发漏洞由什么导致？

常见原因包括缺少访问控制、角色设置错误、初始化不安全、跨链桥证明有缺陷、奖励记账错误以及供应量上限薄弱。

ERC-20 代币也会有无限增发漏洞吗？

会。如果 ERC-20 代币附加的铸币逻辑不安全或控制不当，就可能出现无限增发漏洞。

最大供应量能防止无限增发吗？

只有合约在所有可能的铸币路径上都正确执行最大供应量限制，这一限制才有帮助。

封装资产会受到无限增发漏洞影响吗？

会。如果跨链桥或铸币合约在没有有效证明的情况下创建了没有资产支持的代币，封装资产就可能受到无限增发漏洞影响。

审计能防止无限增发漏洞吗？

审计可以降低风险，但无法保证安全，尤其是在合约之后发生升级或接入新系统时。

用户如何发现无限增发风险？

用户可以检查已验证合约、铸币函数、访问控制角色、供应量上限、审计报告、管理员控制和链上铸币事件。

项目发现无限增发漏洞后应采取什么措施？

如果可行，项目应暂停受影响的函数、停止铸币、保护剩余流动性、通知用户、调查根本原因，并发布清晰的事故报告。

无限增发漏洞等同于通胀吗？

不等同。通胀是有计划的代币发行，而无限增发漏洞是意外或未经授权地创建供应量。

铸币为何需要访问控制？

访问控制很重要，因为铸币会改变代币供应量，因此只能由获授权的合约或账户按照严格规则执行。

结语

无限增发漏洞是加密领域最危险的智能合约漏洞之一，因为它可能破坏代币的供应规则。

当合约允许在缺少正确授权、限制、证明或记账控制的情况下铸造代币时，就会发生这种漏洞。

其后果可能包括大幅稀释、流动性被抽干、抵押系统失效、治理受损以及用户失去信任。

具有铸币函数、奖励系统、封装资产、跨链桥、可升级合约和复杂角色管理的代币尤其需要关注这种风险。

开发者可以通过强化访问控制、执行供应量上限、测试不变量、审计所有铸币路径、保护升级流程以及在上线后监控供应量变化来降低风险。

用户可以通过检查已验证合约、审查铸币权限、研究审计报告、关注供应量变化，以及避开新发行控制权不明确的代币来降低风险敞口。

无限增发漏洞不是正常通胀，也不是无害的编码错误。

它是供应量层面的故障，可能影响每一位持有者以及所有接入该代币的协议。

在加密领域，代码控制资金，铸币代码控制供应量。

因此，每个增加供应量的函数都应作为代币安全的关键组成部分进行设计、测试、审计和监控。