By:?yudan@慢雾安全团队
前言
目前,使用LPToken进行抵押借贷的需求越来越大,但是目前市面上并没有一种完善的用于安全获取LPToken价格的方法。慢雾安全团队在分析LPToken价格的获取方式的过程中关注到了AlphaFinance团队的关于安全获取LP价格的方法。在仔细阅读后,将相关的思考分享给大家。
LPToken价格获取分析
目前,常见的LPToken价格的获取方式如下:
其中,r0,r1分别代表Uniswap交易对中两种代币的存量,price0,price1分别代表r0和r1对应代币的价格。上面的公式简单来说就是算出交易对中两种代币的总价值之和,然后除以LPToken的总数量,得到了单份LP的价值。
Vertex协议创始人考虑跨链交易解决方案:金色财经报道,Vertex协议联合创始人Darius Tabatabai表示,该团队希望能够在未来某个时候考虑跨链交易解决方案,即跨多个链提供资产。他表示,从逻辑上讲,希望所有的流动性和交易都发生在一个地方,以保持资本效率。Tabatabai排除了Uniswap式的模型,预计使用跨链消息服务。他解释说,Wormhole互操作性技术可以引入资产,在不同的链上存款,并将它们带到Arbitrum,用户帐户将与协议的Arbitrum实例进行交互。[2023/8/17 18:04:32]
这个公式咋一看没什么问题,一般来说,price0和price1都会取Uniswap本身提供的延时价格。但是这里存在一个被闪电贷攻击的风险。虽然price0和price1是不能操控的,但是r0和r1却是可以操控的。通过操控r0和r1的值,即可对整个公式进行操控,具体可参考慢雾文章《采用延时喂价还被黑?WarpFinance被黑详解》
数据:DeFi协议总锁仓量回升至600亿美元上方:金色财经报道,据DefiLlama数据显示,DeFi协议总锁仓量(TVL)为602.6亿美元,24小时内涨幅为0.98%。TVL排名前五分别为MakerDAO(80.6亿美元)、Lido(70.7亿美元)、AAVE(62.3亿美元)、Curve(58.8亿美元)、Uniswap(56.7亿美元)。[2022/8/31 13:00:07]
那么有没有办法能获取一种安全的LPToken价格,使代币的存量无法被操控呢?AlphaFinance团队提供了一个思路:
根据AlphaFinance的分析,整个过程分为3步:
第1步是通过Uniswap的getReserves接口获得交易对中对应代币的数量,算出K
日本多个党派在7月份参议院选举承诺中提及Web3和加密税制改革:6月23日消息,日本自民党已将Web3相关内容纳入将于下个月投票的参议院选举承诺中。日本自民党在承诺书中表示:“为了发展区块链、NFT和元宇宙等新技术而建立的Web3新数字经济,我们将改善包括人力资源开发和国际化的环境,在社会中发挥主导作用。”
此外,日本维新党也在其政策提案中宣布将推进加密资产税制改革。日本人民民主党也在其与选举相关的网站上承诺:“为了促进Web3等NFT的经济发展,我们不会将加密资产作为杂项收入征税,而是单独征税20%。发行方持有的代币仅会在产生实际收益时征税。”
此前消息,日本政府于6月7日批准《2022年经济财政运营和改革的基本方针》,其中提及计划全面改善Web3环境。(Coinpost)[2022/6/23 1:26:41]
第2步是获取交易对中每个代币对应的价格,然后算出代币的价格的比例P
第3步是通过K和P之间的关系反推真实的代币存量。
完成以上3步后,最终LPToken的价格获取公式会变成下面这个样子:
这一波操作下来,好像有点整懵了,但是问题不大,我们来逐个分析。
首先,我们知道,Uniswap采用的是恒定乘积算法。简单来说就是?x*y=K?,也就是说,交易前后的K值是不会变的。在不讨论手续费的情况下,K值理论上是不会改变的。我们先记住这个前提。然后,获取交易对中每个代币各自的价格,比方说对USDT价格。这里以ETH-BTC交易对为例,假设ETH的价格为650USDT,BTC的价格为22,000USDT,那么ETH/BTC的价格比值P为0.03。在得到价格的比值P之后,直接用第1步得到的K计算K/P和K*P就得到了对应交易对的一个正常的数量。下面要对第3步,即获取正常的数量这一步进行相应的说明。
公式思路解释
现在开始对上面的第3步进行说明,扶稳坐好:D
像前面说的,恒定乘积的公式为:
那么其实可以根据K来分别算出x,y。然后根据上一节的第2步,我们得到了x和y的价格的比值P。由于Uniswap本身是根据池中代币的比例来确定对应的价格,所以比值P本身就是x/y的价格的比值。然后,由于?K=x*y,而P是由正确的价格算出的比值,那么,我们其实就可以以这个真实的K和x/y来反推真实的x和y。
推算如下:
首先,我们根据P和r0,r1的比例得出以下公式:
接着,根据P就可以倒推真实的r0,r1,如下:
那么,拿到了正确比例的x和y之后,LP的价格会是下面这个公式:
再转换成如下:
攻击的可能性
在完成公式分析后,我们不难知道,只要有正确的价格的比例P,就能根据这个比例倒推真实的r0和r1,最后得到公式:
那么,这个公式能不能被攻击呢?从公式上可以知道,公式的price0,price1都是可信源获取的正确的价格,这个值是无法被操控的,然后是totalSupply,这个值虽然可以操控,但是在控制LP价格进行攻击的过程中改变totalSupply只能是改变你的抵押数量,这个暂时没有用。那么剩下可以操控的只有r0和r1的值了。如何改变r0,r1的值呢?下面提供两种思路进行分析:
思路一:直接进行代币兑换
我们知道,在代币池中,无论是采用什么算法进行计算,代币池在进行代币兑换的过程中,必然会发生代币数量的改变,那么这种改变最终能不能操控公式呢?其实是不可以的。我们知道,在恒定乘积的模型中,x*y=K?总是成立的,那么也就是说无论交易过程中怎么发生代币的兑换,K的值总是不变的(这里不考虑手续费的情况),而公式中采用的是r0和r1进行相乘,所以使用代币兑换来操控公式实际上是不可行的。
思路二:将代币直接打入到代币池中
这种思路比较粗暴,可以直接忽视K值来操控r0和r1相乘的值,但是经过我的运算,这种方法看似可行,其实是不行的。虽然达到了操控的目的,但是因为公式本身在获取最终价格的时候采用的是根号的模式,所以最后获得的收益是根号后的收益,比方说付出10,000的成本,最后只能获得最多100的收益,这样是明显不划算的。所以这种思路也是不可行的。
适用范围
本算法的适用范围仅限于适用AMM模型的代币池的LP价格的获取,因为整个推导过程都基于恒定乘积公式中K的基本特性来进行。获取的LP本身所属的交易对算法不使用AMM模型是不可行的,因为这种情况下,前面所有的假设都已经不成立了,那么对应的公式的推算自然也是不成立的。
总结
LP抵押已经成为了一种迫切的需求,在目前没有更好的方式(如ChainLink提供的LP喂价,Uniswap提供延时LP接口等),AlphaFinance的方式可以说是一种较为安全的实现方法,使针对数量进行控制的攻击变成不可行或成本非常高。当然,随着越来越多场景的出现,这种算法也不一定是万能的,项目方需要结合自身的场景,合理运用该算法,达到良好的效果。此外,特别需要注意的是,虽然公式的终极形式用的是开根号的r0,r1和price0,price1相乘,但是真正实现的时候,需要根据K来推导具体的r0和r1的值,不然会存在一定的误差。
参考链接:AlphaFinance关于获取公平?LP价格的方法:https://blog.alphafinance.io/fair-lp-token-pricing/v
来源:金色财经
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。