ERC-4626首存膨胀攻击：Vault份额为何可能被四舍五入

ERC-4626用资产与份额兑换率表示Vault所有权。某些缺乏虚拟资产、最小份额或首存保护的实现，在总份额很小时可能被攻击者先存入极小金额，再直接捐赠大量资产抬高每份价值，使后续用户存款因整数向下取整而铸造极少甚至零份额。

定义

ERC-4626用资产与份额兑换率表示Vault所有权。某些缺乏虚拟资产、最小份额或首存保护的实现，在总份额很小时可能被攻击者先存入极小金额，再直接捐赠大量资产抬高每份价值，使后续用户存款因整数向下取整而铸造极少甚至零份额。

原理

份额近似为存入资产 × 总份额 ÷ 总资产。当总份额为1、总资产被捐赠抬高时，小额存款计算结果可能向下取整为0，资产进入Vault却没有相应索取权。成熟实现会使用虚拟份额、偏移精度、最小初始流动性或路由器保护。

链上操作应分为钱包界面、RPC广播、合约执行和区块最终性四层。任何一层显示成功都不能替代其他层核验。真实结果以正确链上的交易回执、事件、合约存储和余额为准。

数字案例

攻击者先存1单位获得1份额，再直接向Vault捐赠999单位，总资产1000、总份额1。受害者存入999单位，按整数计算999×1÷1000=0份额。攻击者随后赎回1份额，取走接近全部1999单位资产。

案例中的Gas、税率和区块时间只展示数量级。操作前必须读取当前合约状态、池内流动性和权限。金额同时记录人类可读数量、美元价值和链上原始整数，避免精度错误。

实操步骤

1. 检查Vault是否使用虚拟资产/份额或精度偏移。
2. 读取totalAssets、totalSupply和previewDeposit结果。
3. 拒绝会铸造0份额或远低于预期份额的存款。
4. 新Vault先观察首存者与直接转账记录。
5. 使用带最小份额保护的官方路由并小额测试。

保存链名、地址、合约、交易哈希、Nonce、签名内容和预期输出。先模拟，再用可承受归零的小额完成买入、转出、撤销或卖出的闭环；只有退出路径同样成功，才考虑扩大金额。

签名前检查

1. 从官方文档和可信浏览器交叉核对链ID与合约地址。
2. 检查源码、代理实现、管理员、多签和时间锁。
3. 展开to、value、spender、calldata、有效期与授权额度。
4. 用独立模拟查看余额变化、内部调用和失败原因。
5. 检查池深、价格冲击、转账税、预言机和桥接状态。
6. 钱包保留足够原生Gas币用于撤销和退出。
7. 小额执行后等待所需确认，再核对链上余额。

仓位与退出

链上收益必须按实际退出价值计算：

净退出价值 = 市值 - 价格冲击 - 协议费 - 转账税 - Gas - 等待风险折价

单协议、单链和单一稳定币分别设上限。任何需要管理员、预言机、跨链桥、前端和单一RPC同时正常才能退出的仓位，应进一步缩小。

把退出演练作为开仓条件：资产应能从协议取回、换成主流资产并转到另一地址。若依赖单一前端，提前准备经过小额验证的浏览器写合约或官方命令行路径。

故障处理

先停止继续签名和重复广播，保存错误信息与交易哈希。换独立RPC查询状态、Nonce、余额和授权。待处理交易再判断等待、同Nonce加速或取消；已经确认则按事件和余额判断结果。

涉及授权或私钥泄露时，优先把未授权资产转移到新钱包，再处理旧地址授权。不要在已泄露设备上输入新钱包私钥，也不要点击群聊私信中的补偿链接。

链上证据表

每次操作保存操作前后区块高度、钱包余额、授权额度、合约实现地址、管理员、预言机价格、池内储备和可退出报价。交易哈希只证明调用存在，还要对照事件日志和状态变化，确认接收者、资产与数量符合预期。

对代理合约记录实现代码哈希；对签名记录typed data域、Nonce和Deadline；对Swap记录路径与最低到账；对跨链记录源交易、messageId和目标执行。这样发生前端故障时，仍能用链上证据判断资产处于哪一阶段。

应急演练

开仓前完成小额闭环：存入后能否取回，买入后能否卖出，授权后能否归零，跨链后能否在目标链转出。不要只测试进入路径。备用RPC、区块浏览器写合约或官方命令行也应实际用小额验证，未经测试的备用方案在拥堵时不可靠。

每周检查闲置授权和原生Gas余额，每月检查实现地址、管理员和多签成员。出现无预警升级、池深下降50%、预言机停滞、退出持续失败或签名内容无法解码时，停止追加并先降低敞口。

数量化风险预算

把协议收益与最坏退出损失比较。假设Gas扩大五倍、价格冲击扩大两倍、稳定币折价5%，再加入一天无法退出。若一周或一个月收益无法覆盖这些摩擦，所谓高收益并没有提供足够补偿。任何单一协议故障都不应让整个钱包失去支付Gas或转移资产的能力。

常见误区

1. 误区1：前端显示就是链上事实。 前端可能缓存、索引延迟或连接错误网络，必须交叉验证。

2. 误区2：提高Gas或滑点能解决任何失败。 Gas只影响排序，滑点只放宽价格；权限、Nonce和合约条件错误不会自动修复。

3. 误区3：小额测试成功就永久安全。 管理员升级、动态参数和流动性变化会改变结果，每次扩大仓位前都要复查。

FAQ

浏览器显示成功就完全安全吗？

它只证明该交易按当时状态执行，不证明合约未来不会升级、资产有足够退出流动性或签名没有长期授权。

模拟成功后为何还要小额测试？

模拟依赖特定区块和工具假设，无法覆盖所有RPC、路由和非标准代币行为。真实小额闭环能验证实际路径。

新手最重要的一条规则是什么？

先验证地址，再读签名，最后完成小额退出。任何一步无法解释，都不应继续扩大金额。