ERC4626的理解

ERC4626是ERC20的扩展，提供了一种统一的接口用于代币资产库，使开发者能够构建安全且可组合的解决方案。了解潜在的安全漏洞至关重要，例如可能影响ERC4626代币资产库的通货膨胀攻击。

理解通货膨胀攻击

ERC4626代币资产库通过发行股份以换取存入的资产而运作。股份与资产之间的汇率决定了每个股份的价值。在通货膨胀攻击中，攻击者操纵汇率以使自己受益，而以其他用户为代价。通过利用存款时股份的四舍五入，攻击者可以稀释其他用户存款的价值。

新的资产库面临着最大的通货膨胀攻击风险。让我们用一个例子来说明：假设一个用户作为第一个存款者打算存入100个代币。如果攻击者用1 wei进行抢跑交易，这个微不足道的存款仍然可以使攻击者获得100%池子的股份。

接下来，攻击者向资产库捐赠一个数量大于或等于100个代币。这个行动增加了池子的总余额，同时维持了流通中股份的数量。

在初始用户的100个代币存入池子时，由于捐赠代币余额的计算，用户的股份计算结果最终为零（在这个例子中，100/101四舍五入为0）。

最后，攻击者从池子中撤回他们的股份。由于他们是唯一拥有股份的人，这次撤回等于资产库的余额。这意味着攻击者也提取了初始用户存入的100个代币，有效地窃取了他们的存款。

OpenZeppelin的目标是提供一种实现ERC4626的方法，能够在不经修改的情况下抵御此类威胁。

防范通货膨胀攻击

考虑了几种缓解策略，每种策略都有其潜在的优点和缺点。

1. 使用ERC4626路由器

这是一种相对简单的方法，但它可能只是绕过问题，而不是直接解决它。

优点：

• 它是 已可使用的，这使得它易于实现。
• 这种策略背后的逻辑非常简单，使得开发者更容易理解和利用。
• 不需要修改资产库的代码，这样简化了流程。

缺点：

• 它会使用更多的 gas，因为路由器需要在执行资产库操作之前进行托管。
• 它引入了额外的信任假设，因为路由器成为了一个重要的元素，拥有支配用户代币的权限。

2. 在内部跟踪总资产

第二种策略旨在通过在内部跟踪资产的持有量来消除直接转移的影响。这意味着捐赠的代币不被计算在内，从而有效地消除了通货膨胀攻击的风险。

优点：

• 完全消除了通货膨胀风险。
• 逻辑简单易懂。
• 该策略完全由资产库自给自足，消除了对第三方合约的依赖。
• 对于外部拥有账户（EOAs）和智能合约保持相同的工作流程。
• 它可以作为可选模块提供，允许开发者在基础实现之上添加它。

缺点：

• 这个策略不是通用的；它不适用于重新基准的代币。
• 可能存在代币锁定（销毁）或对可信管理员的需求。
• 尽管Gas成本开销仍然存在，但少于前一种选择。

3. 创建“死股份”

这个策略受到Uniswap V2的启发，当首次存入流动性时，创建了死LP股份。在ERC4626资产库中，可以通过在首次存款/铸造时铸造死股份来实现类似的方法。

优点：

• 气体开销非常有限。
• 和第二种策略一样，它可以作为可选模块提供，开发者可以将其添加到基础实现中。

缺点：

• 该策略并没有完全解决问题，通货膨胀攻击仍然可能发生，但收益减少。
• 所需的死股份数量必须逐个案例进行确认。
• 它可能会劝阻合法的早期流动性提供者。
• 它锁定了一部分永远无法提取的资产。

示例缓解策略的实施

为了构建有效缓解ERC-4626通货膨胀攻击风险的解决方案，我们检查了整个生态系统中现有的策略。

Morpho DAO：初始资产存款

Morpho DAO通过在初始化时向资产库存入资产来缓解通货膨胀攻击。相应的股份铸造给资产库本身，该地址作为非操作地址。这个策略类似于死股份的创建，但损失由项目承受。最初存入的资产越多，进行通货膨胀攻击就越困难。然而，初始存款必须有足够的资金，因为这些资金实际上是丧失了的。

尽管这种方式的实施过程相对简单，但资产库的地址需要提前计算，并且必须在部署前获得批准。

YieldBox：虚拟股份和资产

YieldBox通过向资产库添加“虚拟”数量的股份和资产来计算汇率。这种方法模仿了死股份的创建行为，但不需要销毁任何代币来铸造它们。虽然它修正了早期存款者的缺点，但资产库从直接转移或重新基准中收到的任何代币的一部分将会损失。

通过将资产偏移设置为1和供应偏移设置为1e8，建立了股份的内部固定点表示。这使得股份能够表示为小至0.00000001 wei的数量，如果有损耗，实际上不会对真实用户造成影响，因为虚拟资产的数量非常小。

防线：虚拟股份和小数偏移

在OpenZeppelin合约中实施时，我们设计了一种解决方案，利用了虚拟偏移和小数偏移。这可以防止创建死股份的缺点，即不得不放弃一些基础资产。

小数偏移允许直接调整攻击的盈利能力，方法是增加表示股票的小数位数，超过基础代币的数量。

虚拟偏移限制了攻击者有效操控汇率的能力，通过在汇率计算中同时包括虚拟股份和虚拟资产。当资产库为空时，虚拟资产强制了转换率。

由于虚拟资产引起的余额偏移，结合小数偏移的精度提高，在计算股份数量时减少了四舍五入误差。攻击失去了盈利能力，因为虚拟资产和股份捕获了部分捐赠。

即使没有小数偏移，虚拟股份和资产的存在使得该攻击失去了利润。偏移越大，攻击者在攻击中损失的越多，因此来自通货膨胀攻击的安全性越高。

保持安全

我们实施了ERC-4626，以优先考虑安全性，帮助开发者专注于构建。通过利用OpenZeppelin合约的功能，并实施推荐的防御机制，开发者可以强化他们的应用程序，保护用户资产。

如果你希望与OpenZeppelin进行安全审计或需要进一步指导来保护你的ERC4626资产库，请与我们联系。

参考资料：

- ERC4626 文档

- ERC4626Fees

• 原文链接： blog.openzeppelin.com/a-...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～