Uniswap V3给合约审计带来的新挑战

作者 | Fairyproof TechCEO谭粤飞,美国弗吉尼亚理工大学(Virginia Tech, Blacksburg, VA, USA) 工业工程(Industrial Engineering) 硕士(Master)。曾任美国硅谷半导体公司 AIBT Inc(San Jose, CA, USA) 软件工程师,负责半导体设备程序的开发、负责与公司关键客户---台积电的全面技术对接和交流。自2011至今,从事嵌入式,互联网及区块链技术的研究,深圳大学 《区块链概论》 课程教师,中山大学区块链与智能中心客座研究员,广东省金融创新研究会常务理事,拥有4项区块链相关专利四项。

万众期待的Uniswap V3终于面世了,它的白皮书(https://uniswap.org/whitepaper-v3.pdf)及相关源代码(https://github.com/Uniswap/uniswap-v3-core/tree/main/contracts)已经向业界全面公开。

西藏首个数字藏品成功上线发布:7月22日消息,7月21日,由拉萨市人民政府、西藏自治区经济和信息化厅和柳梧新区管委会共同指导的西藏首个数字藏品上线发布仪式在拉萨举行。 据介绍,西藏首个数字藏品《松赞干布之马首圣银壶》是基于西藏自治区工艺美术大师、西藏自治区级非物质文化遗产代表性传承人朵普·次嘎所作原始文物复制品的二创作品。

西藏首个数字藏品《松赞干布之马首圣银壶》原物保存在大昭寺,是西藏各民族交往交流交融的见证。数字藏品可实现真实可信的数字化发行、购买、收藏和使用。当日把《松赞干布之马首圣银壶》制作成数字藏品,对外发售10000份藏品以18元/份的价格,目前已售罄。(新华网)[2022/7/22 2:31:48]

这两天各个专业人士发表了对V3的看法,这些看法主要集中在V3所具备的新特点、带来的新体验。作为在安全领域从业的我们则更加关注V3对合约审计尤其是去中心化交易所合约审计带来的新挑战。

彭博报告:比特币有望突破10万美元:彭博行业研究(Bloomberg Intelligence)本月的彭博加密展望报告继续看涨比特币,称趋势显示BTC有望突破10万美元。报告指出,三年内发生的变化足以支撑比特币的大部分价格上涨。供应在下降,多数信奉自由市场的资本主义国家的需求和渗透率在上升。比特币正成为数字黄金,自由市场资本主义正通过数字资产兴起,除非发生持久的趋势逆转,否则美元和比特币将成为主要受益者。报告指出比特币的基本面看涨,并强调其代表的快速发展的技术压制了通胀,支持了量化宽松,提振了股市。关于中国算力外流问题,报告中写道:比特币算力修正可能已经完成,史上最大的算力暴跌已经结束,如果延续之前的趋势,价格将继续回升。报告还在比特币与石油市场之间建立了微弱联系,称原油反弹的结束可能会为比特币价格提供支撑。报告也提到了ETH:与作为价值存储工具的比特币相比,第二大加密货币可能更易受到股市回调的影响。(Bitcoin Magazine)[2021/8/5 1:36:01]

V3的问世毫无疑问将掀起新一轮DEX的升级大潮,因为它在资金效率、费用消耗、预言机优化等方面所作的改进将再次成为现有项目模仿的范本,也将成为众多正在DEX赛道上创业团队参照的蓝本。

DOGE突破0.43美元关口 日内涨幅为51.11%:欧易OKEx数据显示,DOGE短线上涨,突破0.43美元关口,现报0.430193美元,日内涨幅达到51.11%,行情波动较大,请做好风险控制。[2021/5/20 22:26:34]

我们相信一批新的DEX合约会用到V3的实现方式,而这些新的DEX合约可能产生安全问题的源头在以下两方面:?

1.由于V3引入了新的代码许可协议,因此在商业方面将使得一些项目想直接照抄,拷贝变得有所顾忌,而不得不模仿它的实现方式,改写它的源代码。一旦改写代码就会给合约审计带来挑战。

2.在整体安全性上Uniswap的合约还是相当不错的,这其中最重要的一个原因就是它的代码简洁、功能删繁就简。而V3在一系列细节上进行了修改,这在功能及性能上比V2有了极大提高,但在安全性方面就增加了复杂度。如果模仿团队对这些改动不求甚解、完全照搬、甚至和以前的实现方式混用则会引入潜在的风险。

那么具体V3在哪些方面对准备借鉴、参考它实现方式的团队带来了安全性方面的挑战呢?

我们认为有以下四大方面:

一、交易对由单个流动性池变为多个流动性池

V3的这个做法是为了提高资金效率,让用流动性提供者将资金存入到交易量最大的价格区间。然而这就导致流动性池由单个变为多个。那么交易过程就会涉及到交易在多个资金池之间的切换,就会涉及到复杂的合约交互。

此外,每个流动性池现在可以设置不同的费率,这其中的计算逻辑就会比单一流动性池要复杂,这其中稍有不慎就会涉及到逻辑实现和计算过程的错误。

二、LP代币由同质(ERC-20)通证变为非同质通证

在V2中,流动性池的代币都被设计为同质通证,而在V3,它被设计为非同质通证。为了因应这个变化,V3中累积的费用会存在另外的池子中。但凡多了资金池,就多了被黑客攻击的对象、就多了风险隐患,因此对这类新增加的资金池在安全方面的保障和维护就成为团队必须要考虑的问题。

三、 UNI治理权可以转交给其它地址

本质上这种方式如果使用得当、管理周全倒也不会对系统造成严重的风险。但权力是“固定”的、人却是“灵活”的。如果这个治理权被转移到不当地址(比如非DAO社区、非多签钱包等)则后患无穷。

四、预言机的优化

V3对预言机进行了大胆的优化:其最重大的变化在我们看来就是价格计算方式的变化以及由计算方式带来的一系列实现方式、流程逻辑的变化。

V3将价格的计算由算术平均值(arithmetic mean)变为几何平均值(geometric mean)。用通俗的话说就是由加法运算变为对数运算。理论上,这极大拓展了价格的覆盖区间,使得传统上利用外在因素在极短时间引发价格剧烈波动从而操控交易的方式进一步失效。

但“福兮祸也”,这会不会在看上去一片大好的情况下引发新的问题?现在还不得而知,只能有待时间来证明。

此外,在V3白皮书中提到,这种方式让其它合约调用预言机时能从某个交易对的多个流动性池中得到更可靠的数据。对此我们的担心在于,如果某个池子被攻击时,这个预言机所报的数据会不会不仅无效,而且误差被更加放大?

对此,我们依然建议项目方在处理预言机喂价方面要谨慎又谨慎,尽量从多个数据源取数据,而不要依赖单一数据源,无论这个单一的数据源在理论计算上看上去多么美好、多么健壮。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

区块博客

BTC金色早报 | 高盛单日狂卖105亿美元股票

头条 ▌高盛单日狂卖105亿美元股票 交易数据显示,周五,高盛单日清算了价值105亿美元的股票,当天包括科技巨头和媒体集团在内的部分领头羊股票市值蒸发了350亿美元。在当日美股开盘前,华尔街投行出售了价值66亿美元的百度、腾讯音乐以及唯品会的股票,随后ViacomCBS、Discovery Inc、Farfetch Ltd等股票流出39亿美元的资金。

USDT比特币的当打之年

2021 年 3 月 16 日,顶级投资机构 Pantera Capital 发布了一份月报《Bitcoin Coming Of Age》,报告中分析了比特币与以太坊的的未来预期,包括比特币的估值,以及为什么以太坊被低估。

比特币交易AC变了:聚焦Yearn生态、跨链生态

原文标题:AC变了 Andre Cronje是DeFi生态最具影响力的开发者,去年凭借Yearn Finance项目一战成名,此后通过推出Keep3r等多个新项目以及与Sushiswap等项目的整合进一步巩固其行业地位,将DeFi的可组合性理念发挥到极致,乃至于被誉为「乐高大师」。

[0:0ms0-8:344ms