北京时间2019年05月07日，区块链安全公司Zeppelin对以太坊上的DeFi明星项目MakerDAO发出安全预警，宣称其治理合约存在安全漏洞，希望已锁仓参与投票的用户尽快解锁MKR提并出。MakerDAO的开发者Maker公司亦确认了漏洞存在，并上线了新的治理合约，并宣称漏洞已修复。
该安全威胁曝出后，PeckShield全程追踪了MKR代币的转移情况，并多次向社区发出预警，呼吁MKR代币持有者立即转移旧合约的MKR代币。截止目前，绝大多数的MKR代币已经完成了转移，旧治理合约中尚有2,463个MKR代币待转移。
05月07日当天，经PeckShield独立研究发现，确认了该漏洞的存在，具体而言：由于该治理合约实现的投票机制存在某种缺陷，允许投票给尚不存在的slate。等用户投票后，攻击者可以恶意调用free()退出，达到减掉有效提案的合法票数，并同时锁死投票人的MKR代币。
Maker对ETH、rETH等多个金库参数进行更改:金色财经报道，DeFi协议Maker发文称，治理模块已批准ETH、wstETH、rETH、Curve stETH-ETH LP和WBTC等金库类型的一组参数更改。
稳定费增加：ETH-A从1.5%增至1.75%，ETH-B从3%增至3.25%，ETH-C从0.75%增至1%，wstETH-A从1.5%增至1.75%，wstETH-B从0.75%增至1%，IRETH-A从0.5%增至0.75%，CRVV1ETHSTETH-A 从1.5%增至1.75%；
目标可用债务（缺口）增加：WSTETH-A从1500万DAI增加至3000万DAI，WSTETH-B从1500万DAI到3000万DAI。[2023/4/21 14:18:58]
次日05月08日，PeckShield紧急和Maker公司同步了漏洞细节，05月10日凌晨，MakerDAO公开了新版合约。Zeppelin和PeckShield也各自独立完成了对其新合约的审计，确定新版本修复了该漏洞。
MakerDAO集成Chainlink Oracle以帮助维护DAI稳定性:金色财经报道，DeFi 借贷协议MakerDAO社区通过一项治理提案，将Chainlink的去中心化预言机（Oracle）集成到有助于维持其DAI稳定币稳定性的框架中。MakerDAO现在可以将Chainlink Automation加入其Keeper Network。MakerDAO的Keeper Network负责确保DAI的稳定性，它是一个机器人网络，控制价格和债务上限等参数，以确保DAI保持与美元的平价。
Chainlink Automation成为添加到运行DAI稳定币技术栈中的最新第三方协议。Chainlink预言机将用于价格更新、流动性再平衡和DAI抵押资产债务上限升级等功能。[2023/2/10 11:57:57]
在此我们公布漏洞细节与攻击手法，也希望有引用此第三方库合约的其它DApp能尽快修复。
ARK基金6月1日至今买入超13万股Coinbase股票:金色财经报道，ARK方舟基金持仓数据显示，6月1日至今，ARK基金共买入131701股Coinbase股票（Coin）。金色财经此前报道，美国宏桥信托投资集团将Coinbase目标价从380美元下调至290美元。[2022/6/24 1:28:21]
细节
在MakerDAO的设计里，用户是可以通过投票来参与其治理机制，详情可参照DAO的FAQ。
以下是关于itchyDAO的细节，用户可以通过lock/free来将手上的MKR锁定并投票或是取消投票：
在lock锁定MKR之后，可以对一个或多个提案(address数组)进行投票：
MakerDAO发起有关添加UNI-V2-LINK-ETH为抵押品等执行投票:据官方博客消息，2月13日，MakerDAO治理促进者和MakerDAO智能合约领域团队已将一系列执行投票纳入投票系统。投票内容如下：1.将UNI-V2-LINK-ETH（UniswapV2 LINK-ETH LP代币）添加为抵押品；2，将UNI-V2-UNI-ETH（UniswapV2 UNI-ETH LP代币）添加为抵押品；3.设置UNI-A、AAVE-A、COMP-A、LINK-A、WBTC-A和YFI-A债务上限即时访问模块参数。[2021/2/13 19:41:03]
注意到这里有两个vote函数，两者的传参不一样，而vote(addressyays)最终亦会调用vote(bytes32slate)，其大致逻辑如下图所示：
简单来说，两个vote殊途同归，最后调用addWeight将锁住的票投入对应提案：
可惜的是，由于合约设计上失误，让攻击者有机会透过一系列动作，来恶意操控投票结果，甚致让锁定的MKR无法取出。
这里我们假设有一个从未投过票的黑客打算开始攻击：
1、调用lock()锁仓MKR，此时deposits会存入锁住的额度。
2、此时黑客可以线下预先算好要攻击的提案并预先计算好哈希值，拿来做为步骤3的传参，因为slate其实只是address数组的sha3。
这里要注意挑选的攻击目标组合必须还不存在于slates中(否则攻击便会失败)，黑客亦可以自己提出一个新提案来加入组合计算，
如此便可以确定这个组合必定不存在。
3、调用vote(bytes32slate)，因为slate其实只是address数组的sha3，黑客可以线下预先算好要攻击的提案后传入。
这时因为votes还未赋值，所以subWeight()会直接返回。接下来黑客传入的sha3(slate)会存入votes，之后调用addWeight()。从上方的代码我们可以看到，addWeight()是透过slates取得提案数组，此时slates获取到的一样是未赋值的初始数组，所以for循环不会执行
4、调用etch()将目标提案数组传入。注意etch()与两个vote()函数都是public，所以外部可以随意调用。这时slates就会存入对应的提案数组。
5、调用free()解除锁仓。这时会分成以下两步:
deposits=sub(deposits,wad)，解锁黑客在1.的锁仓
subWeight(wad,votes)
从对应提案中扣掉黑客的票数，然而从头到尾其实攻击者都没有真正为它们投过票。
从上面的分析我们了解，黑客能透过这种攻击造成以下可能影响：
一、恶意操控投票结果
二、因为黑客预先扣掉部份票数，导致真正的投票者有可能无法解除锁仓
时间轴
时间
事件
2019.05.07
PeckShield复查并确认了漏洞存在
2019.05.08
PeckShield与Maker基金会讨论并确认了漏洞细节
2019.05.09
Maker基金会公布新版DSChief合约源码，PeckShield披露了漏洞相关细则
*文章为作者独立观点，不代表BSCEC立场
转载此文章须经作者同意，并请附上出处及本页链接。原文链接https://mp.weixin.qq.com/s?__biz=MzU3MTU2NTU1MA==
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。