EFI:DeFi：解决 EIP-4626 中的滑点问题

作者：

时间：1900/1/1 0:00:00

简介

EIP-4626提供了一种将代币投资到投资池(通常称为金库)的标准方法。当我们存入自己的资产（ERC-20 代币）时，我们会收到一个份额代币，代表我们在金库里的资产。金库将把汇集的资产投资到一个或多个基础平台，为持有者产生收益。

EIP-4626标准的一个结果是，存款和铸币函数没有提供指定回报的最小份额或资产金额的方法。这通常用于防止高滑点或三明治攻击。mStable 如何通过其 Meta Vaults 解决这个问题——在保持符合标准的同时减轻高滑点攻击？本文描述了这些挑战，并解释了他们的方法是如何工作的。

EIP-4626和mStable金库存款

mStable EIP-4626的首个金库将投资于基于Curve 3Pool的Convex池。从EIP-4626的角度来看，金库的资产是Curve 3Pool的流动性提供者代币(3Crv)。存款函数是EIP-4626规范的一部分，它指定要存入多少资产以及将接收金库份额的帐户。存款函数返回给接收方会铸造多少金库份额。

数据：当前DeFi协议总锁仓量为2381亿美元:金色财经消息，据DefiLlama数据显示，目前DeFi协议总锁仓量为2381.5亿美元，24小时减少0.62%。锁仓资产排名前三分别为Curve（186.2亿美元）、AAVE（181.4亿美元）、Anchor（177.6亿美元）。[2022/5/8 2:58:31]

例如，存入3Crv Convex mUSD金库将从调用方转移3Crv，并将vcx3CRV-mUSD金库份额转移到接收方。

EIP-4626标准的强大之处在于，在投资池中有一种通用的投资方法，但对资产可以投资到底层平台的内容和时间没有限制。对于mStable的3Crv Convx mUSD 金库来说， 3Crv被添加到Curve mUSD Metapool中，然后产生的流动性提供者代币(musd3Crv)被存入Convex mUSD池中，该池会投资于Curve mUSD gauge并获得更高的回报。

这个过程中的一个技术挑战是如何防止三明治攻击。

电视名人Kevin O'Leary：外汇市场是DeFi的一个价值数十亿美元的用例:10月14日消息，加拿大商人兼电视名人Kevin O'Leary表示，外汇市场是DeFi的一个价值数十亿美元的用例，这种区块链技术可以消除对中介的需求，从而彻底改变金融服务。（Dailyhodl）[2021/10/14 20:29:10]

什么是三明治攻击？如何预防它们？

当我们向Curve Metapool(或任何其他池)添加流动性时，我们指定自己想存入的资产数量和流动性提供者(LP)代币的最小数量。对于mUSD Metapool，金额是一个包含两项的数组。第一个是mUSD的量，第二个是3Crv的量。3Crv Convex金库只存3Crv，因此金额数组的第一项将为零。

开发金库时的一个技术挑战是我们如何设置预期流动性提供者代币的最小数量。

仅仅将min_mint_amount设置为零是不够的，因为它会让存款交易受到三明治攻击。但在我们深入了解三明治攻击是如何工作之前，我们需要更多地了解Curve Metapool定价是如何工作的。由于金库只添加两个池代币(mUSD和3Crv)中的一个，因此它接收到的Metapool流动性提供者(LP)代币的数量将取决于Metapool中mUSD和3Crv的余额。池中的 3Crv 越多，当仅将 3Crv 添加到 Metapool 时，返回的 LP 代币就越少。

火币DeFi实验室运营负责人高潮：2021年DeFi发展会有四点变化:2020年12月23日下午4点，火币尖峰对话《主网上线后，主打合成资产的Linear如何突围DeFi赛道？》主题线上活动在社群举行。火币DeFi实验室运营负责人高潮表示，2021年DeFi的还会呈现高速发展态势，我认为会有四点变化：第一是TVL资产规模可能会突破500亿美金，向1000亿美金进军，这将极大提高资产的流动性和效率；第二是DeFi会进入DeFi2.0时代，DeFi2.0的竞争将不是单项目的竞争，而是生态的竞争，积木的组合将更加丰富，一键就可以完成投资，挖矿，保险等业务，会带来非常多的创新，同时衍生品市场也会迎来爆发；第三是机构会成为DeFi的主流资金提供方，DeFi将逐步成为机构间金融市场；第四是BTC跨链加入DeFi也将促进其爆发式增长。BTC跨链规模从1%的发展到10%的资产规模，也就是440亿美金BTC资产进入DeFi。为此火币推出的HBTC可以帮助更多囤币党找到应用场景，将会唤醒更多的BTC进入DeFi。[2020/12/23 16:16:30]

例如，如果Curve的mUSD Metapool添加了 200 万个 mUSD，600 万个 3Crv 和 100k 个 3Crv，则将收到 100,068 个 LP 代币 (musd3Crv)。如果 Metapool 有 600 万个 mUSD，添加了 200 万个 3Crv 和 100k 个 3Crv，将收到 100,892 个 LP 代币 (musd3Crv)。

BB：对能满足B1合规要求的EOS DeFi非常感兴趣:10月21日，Block.one首先执行官Brendan Blumer（BB）在推特与网友进行互动时表示，简单安全的比特币网关将是Dapp平台增长的最大推动力之一。与此同时，他称对能够满足B1合规要求的EOS DeFi非常感兴趣，并且正在积极寻找相关项目。他表示，将围绕正在寻找的项目类型，以及需要遵守的相关规定进行更多的交流。[2020/10/21]

那么三明治攻击是如何实现的呢?

攻击者在将交易包含到区块之前，就会监控Mempool中可能被利用的交易。为了利用交易，他们贿赂区块生产者，将他们的交易包含在可利用的交易之前和之后。也就是说，他们将易受攻击的交易与自己的交易夹在一起。如果有一笔交易将 3Crv 添加到最低 LP 金额为零的 mUSD Metapool，则攻击者的第一笔交易将是减少 Metapool 中的 mUSD 数量。这意味着在易受攻击的添加流动性交易中收到的 Metapool LP 代币数量远低于应有的数量。在第三个交易中，攻击者返还在第一个交易中删除的mUSD，并将收益装入囊中。

例子

使用Curve的mUSD Metapool，池中有6,000,000 mUSD和3Crv, 11,917,295个LP代币(musd3Crv)和1.018095美元的虚拟价格。

动态 | ConsenSys发布DeFi开源风险评估方案DeFi Score:ConsenSys在本周六推出一种评估DeFi借贷代码和财务风险开源解决方案DeFi Score。在该公司对外发布公告中，ConsenSys表示，希望利用该解决方案提高透明度，并提升外界对DeFi贷款市场相关技术和财务风险理解。该模型按照智能合约风险和金融风险两大类来捕获加密市场风险属性，包括技术、流动性和监管风险等，并使用10分制计算分数。此外，ConsenSys的DeFi评分也会在较小范围内考虑到监管问题，但他们表示，未来会提升监管评分占比。不过，ConsenSys表示DeFi Score不是一个经过验证的统计模型。（Ambcrypto）[2019/9/22]

攻击者通过使用 6,500,000 (54.5%) 池流动性提供者 (musd3Crv) 代币从池中提取 5,973,425 的mUSD，使用他们池中的大部分流动性提供者代币 (musd3Crv) 来平衡池。使用remove_liquidity_one_coin函数进行单边提款，池中剩下 0.43% mUSD 和 99.56% 3Crv。虚拟价格上涨了近1%，至1.019105，因为大量不平衡的提现为池收取了费用。

受害者使用add_liquidity函数将100,000个3Crv添加到不平衡的池中，且没有最小流动性提供者数量。如果池是平衡的，受害者得到81978个LP代币而不是100371个。这意味着受害者得到的LP代币比他们应该得到的少18,393个(18%)。以美元计算，受害者得到的美元价值减少了18,643(18%)。

对于第三个也是最后一个交易，攻击者使用add_liquidity将他们从第一个交易中提取的5,973,425个mUSD添加回池中，以接收6,503,610个LP代币(musd3Crv)。比第一次交易多取了3610美元。池的虚拟价格将增加1%至1.019216，因为这是另一个不平衡的交易。以美元计算，攻击者的LP价值从6,500,000 * 1.018095 = 6,617,617美元上升到6,503,610 * 1.019216 = 6,628,583美元，增加了10,966美元(1.65%)。

如果受害者损失了18643美元价值，而攻击者只获得了10966美元价值，那么缺失的7677美元价值在哪里?

使池失衡的0.04%费用由流动性提供者和Curve投票托管的CRV (veCRV)持有者平均分摊。攻击者未持有的 5,417,295 LP 代币的价值从 5,515,323 美元增加到 5,520,794 美元。这比池费用的 50% 增加了 5,471 美元。增加的美元价值归于托管 CRV (veCRV) 持有人。

Curve的保护

为了防止三明治攻击，在向Curve Metapool添加流动性时，需要指定一个合理的最小LP代币数量。通常，DeFi 协议会在交易中传入相当数量的金额。Curve池中的add_liquidity函数就是min_mint_amount的一个很好的例子。但是对于标准的EIP-4626存款函数，没有定义参数来指定最小金额，因此我们无法传入相当数量的链下计算的Metapool LP代币。

Curve池有一个calc_token_amount函数，它可以计算池代币存款收到的 LP 代币数量。但这不能用来防止三明治攻击。如果已经运行了一个交易来平衡池，那么calc_token_amount函数将只返回当前不公平的LP代币数量。

因此问题仍然存在，EIP-4626函数没有办法传递最小量。打破标准来添加这一点是不可取的，使用预言机也是次优的。我们需要链上方法。

mStable的方法

mStable的金库获得一个公平的Metapool LP代币价格的方法是使用Curve Metapool和Curve 3Pool的虚拟价格。get_virtual_price函数以美元为单位返回池的流动性提供者代币的价格。它通过计算池的不变式来实现这一点，该不变式是池中代币的美元价值除以代币的总供应量。由于池中代币的余额不影响池的不变值或总美元价值，虚拟价格不会受到三明治攻击。