本文为DecentralizedSystemsLab发表的讨论使用最长链规则的PoS系统安全性的文章。按照某种划分方法,PoS系统可以分为链式结构型和拜占庭容错型;文章所阐述的漏洞是链式结构型系统中出现的,因此跟Cosmos的Tendermint这样的拜占庭容错型PoS共识算法无关;Casper不使用最长链规则,而是LatestMessageDrivenGhost,因此也跟这里讲的漏洞无关。
这些漏洞已经影响了超过26类PoS型加密货币。通过这些漏洞,一个攻击者只需使用少量权益就能摧毁任何运行相关软件的网络节点。
在这次公开披露之前,我们从2018年10月开始有规划地通知受影响的加密货币开发团队。大部分团队已经部署了应对措施。
权益证明类加密货币,特别是那些基于链上PoSv3的加密货币,它们与比特币很相似,都使用未花费的交易输出模型和最长链共识规则。
主要的区别在于前者用代币的所有权证明替代了工作量证明。
PoS的潜在优点包括能够降低对环境的影响以及增强对51%攻击的抵抗性。
高盛:余额超过10万BTC的比特币地址减少31%:金色财经报道,高盛 (GS) 在一份报告中表示,5 月份的链上统计数据显示比特币 (BTC) 和以太坊 (ETH) 采用情况喜忧参半。报告称,以太坊基本没有变化,但余额超过10万BTC的比特币地址减少31%。表明已实现利润程度的比特币支出产出利润率(SOPR) 在本月出现了多次飙升,达到了 2020 年 12 月以来的最高水平,表明现货市场发生了相当大的获利了结。[2023/6/6 21:18:55]
很多加密货币实际上是比特币代码库的分叉并且加入了PoS的功能。
但是,由于它们盲目复制了比特币的一些设计理念,留下了安全隐患,因此出现了一些在原先代码库中并不存在的新漏洞。
我们将这些漏洞称为「虚假权益」攻击。
从本质上讲,该攻击之所以有效是因为PoSv3的程序在签发珍贵资源之前对网络数据验证不足。
因此,一个攻击者只需使用很少的权益份额,就能用虚假数据填满某个节点的硬盘和内存,致使其崩溃。
我们认为所有基于UTXO和最长链原则的权益证明模型都容易受到这类「虚假权益」攻击的影响。经过调查研究,我们已经发现了一批存在漏洞的加密货币,并在文末附上了列表。
Atlantic Equities:将Coinbase(COIN.O)目标价上调至67美元 维持中性评级:9月7日消息,Atlantic Equities分析师Simon Clinch将对Coinbase的目标价从54美元上调至67美元,并称在本季度和最近的趋势中同时看到了积极和消极的因素,但他指出,在其他恶劣的环境中,利率弹性和近期与贝莱德合作是“明显利好因素”。该分析师预计公司2022财年净营收将增长26%,2023财年将增长62%,2024财年将增长16%。然而,他维持对Coinbase中性的评级,等待在加密货币寒冬看到更积极的消息。(金十)[2022/9/7 13:12:45]
接下来,我们将详细解释这些漏洞和攻击手法,因为它们会产生一些不易察觉的后果。
虽然事后看来这些漏洞本身很简单,但是想要一劳永逸地解决它们还是很困难,而且现有的解决方案可能会导致分叉。
背景
在深入了解这些漏洞的细节之前,我们将简要介绍一些关于链上PoS机制原理的背景知识。
权益证明挖矿
HV Bancorp参与MakerDAO Protocol和稳定币DAI的首笔商业贷款:8月20日消息,纳斯达克上市公司HV Bancorp(HVB)宣布与MakerDAO Protocol和稳定币DAI之间进行了其首笔商业贷款业务,有效将数字货币转换为现实世界资产,为MakerDAO的稳定币DAI产生稳定的收益,同时也让HVB有机会提供商业贷款资金。通过这项交易,作为美国受监管经纪交易服务提供商的HV Bancorp将会把DAI转换为美元并存入特拉华州信托账户(DTA),MakerDAO将使用从DAI稳定币转换而来的1亿美元预先为DTA提供资金,并将这些资金的余额提供给HVB贷方,旨在让DAI得到来自美国监管金融机构的收益性商业资产支持。(FinTech Futures)[2022/8/20 12:37:37]
与PoW挖矿类似,PoS挖矿也要将区块头的哈希值与难度目标进行比较。
PoS的目标是确保每个权益者挖出下一个区块的概率与他们质押的代币量成正比。
为了达成这一目标,链式结构型PoS机制的哈希值不仅取决于区块头,还取决于权益所有者通过区块中一笔特殊的「coinstake」交易所质押的代币数量。
推广数字货币赋能社会信用数据治理的建议:8月1日消息,中国经济时报发文称,进入新发展阶段,建议我国分区域分行业多途径推进推广数字货币,打通信用数据融合应用通道,破除信用业态的数据壁垒,发挥信用大数据集聚优势,推动形成信用数据融合应用的新格局。应把握以下三个方面的举措。
一是加强制度供给与制度创新,奠定推广数字货币的法治和政策保障基础。
二是加强数字货币应用场景的建设,分区域分行业推广法定数字货币。三是积极宣传法定数字货币,增强社会普遍可接受性。法定数字货币在网络上流通,必须遵守法定数字货币网络支付规则,包括收付款程序和规则以及存储设备使用规则等。要求收付款人双方交易行为和意图合法诚信,不允许欺诈行为发生。权利人要妥善保管数字货币存储设备和私钥,防止他人冒充权利人造成自身财产损失。[2022/8/1 2:50:15]
本文会涉及一些关于PoS挖矿的具体细节,更详细的解释可以在Earlz的博客中找到。
本文重点从1)coinstake交易和2)coinstake交易所花费的UTXO这两方面来阐述PoS机制。
工作量证明在节约区块验证资源方面起到的作用
美国前财长萨默斯:通货膨胀很难消失:7月14日消息,美国前财长萨默斯表示,通货膨胀很难消失。财政前景将迅速恶化。如果失业率不达到6%,我们就无法摆脱困境。需要大幅减速才能恢复正常。(金十)[2022/7/14 2:11:28]
众所周知,PoW在比特币共识机制中扮演至关重要的作用,不过它还有一个不那么受重视的作用,就是控制对节点有限资源的访问,例如磁盘、带宽、内存和CPU。
在免许可型公链网络中,一个节点是不能信任其它对等节点的。
因此,为了防止资源耗竭型攻击,比特币节点要先检查区块的工作量证明,再决定是否花费更多硬盘或内存资源存储这个区块。
但是,事实表明,检查权益证明比起验证工作量证明要复杂的多,对环境也更为敏感。
因此,许多链式结构PoS机制在有效验证上投入的资源严重不足。
为了理解资源耗竭型漏洞产生的原因,我们必须详细说明一下区块在被验证之前是如何存储的。
一个节点不仅要追踪当前时刻最长的链,还要追踪一整棵分叉链树(因为任何一条分叉链都有可能成为最长链,在这种情况下,节点需要「重组」才能切换到新的最长链上)。
举例来说,不当升级、双花攻击,或者临时网络分区都有可能引发这种情况。
验证这些非主链上的区块是非常困难的。
要完全验证某个区块,你需要上一个区块中未花费的代币集合。
比特币保存的是最长链顶端区块时候的UTXO集合,但是不会保存之前区块时候的UTXO集合状态。在完全验证分叉链上的区块主要有两种方法:
1、将当前视图「回滚」到分叉起始点之前
2、存储之前每一区块时候的UTXO状态
*校对注:将一条链上的所有区块所包含的交易都处理完之后就会形成一个UTXO的集合,这个集合就是该链的最新状态。因此,哪怕在同一条链上,#100区块时候的状态与#101区块时候的状态也是不同的。上文的意思是,虽然每一个区块上都有可能形成分叉,但比特币软件不会把每一个区块时候的状态都专门保存一个副本,而是只保存最新的UTXO集合;若是每一个区块时候的状态都要专门保存,这会变成很大一笔存储开销。
比特币的代码库不支持第二个方法,即使它支持,这也会增加额外的存储成本(比特币的节点性能依赖于大幅裁减不必要的数据)。
比特币代码库目前正是采用第一种方法来处理重组的。
然而,经常回滚的代价也是很昂贵的,因此,回滚和完全验证不会在一有分叉的时候就发生,而是等到分叉链上的工作量证明真的超过当前主链的时候才会进行。
因此,当一个对等节点第一次接收到一个非最长链上的区块或区块头时,我们将跳过完全验证并将这个区块保存在本地存储区。
在将这个区块存储进磁盘之前,比特币代码库会基于PoW机制执行一些初步验证(不过会忽略区块内的交易)。
初步验证仅针对之前的区块头以及当前的区块头,因此节点验证起来非常快。而且这是一个非常有效的防御手段,因为生成一个有效的工作量证明来通过这个初步验证成本很高。
例如,虽然有可能一个比特币节点将一个非法区块存储在硬盘内,但是以这种方式发起资源耗竭型攻击是一个非常不经济的行为。
PoS机制中也存在类似的初步验证过程,就是对coinstake交易进行验证,将它与上一个区块的kernel值一起进行哈希运算,看最后得到的哈希值是否超过难度目标。
计算coinstake交易的哈希值很容易,难的是验证coinstake交易中输入的UTXO是否合法并且未被花费;但是要检查一笔UTXO是否没有被花费,你就需要该笔交易发生前一个区块时候的UTXO集合状态;如我们上文所说,节点往往是没有专门存储这样一个状态的。
因为完全验证coinstake交易是非常困难的,大多数链上PoS机制提供的是一个经验式或者近似式的验证方法作为替代。
事实证明这些替代性的验证方法通常并不充分并且存在漏洞。
漏洞:「我简直不敢相信还有非权益持有者可以攻击的漏洞」
我们第一次研究这个漏洞的时候,发现Qtum、Particl、Navcoin、HTMLcoin和Emercoin这五种密码学货币都存在这个漏洞,即,在将区块提交至内存或硬盘之前,无法对coinstake交易进行验证。
这五种加密货币的共同之处是它们都采用了比特币的「区块头优先」规则,将区块分成两类独立的信息——区块体和区块头——进行传播。
只有当节点确认了某个区块的区块头通过了PoW验证、并且该区块跟在最长链之后,才会请求区块体的信息。
由于coinstake交易仅存在于区块体而非区块头中,节点无法做到只验证区块头,于是直接将区块头存储在了内部数据结构里。
因此,任何网络攻击者,即使不持有任何权益,也可以恶意填满一个节点的内存。
此种攻击的还有另一个形式,可以针对相同的代码库实施,不过它采用的方式略微不同,而且攻击目标也从节点的内存资源转向了硬盘资源。
可以说,针对节点硬盘的攻击危害更大:如果节点因内存被填满而崩溃,只需简单重启即可恢复。
但是,如果硬盘被填满了,则需要手动干预才能恢复。
如果接收的不是区块头而是区块体,需要执行初步验证也会不同。理想情况下,因为coinstake交易就包含在区块体中,节点软件应该先对其进行验证,再将区块体提交至硬盘。
但是,如上所述,如果这个区块是在一条分叉链上,节点要访问coinstake交易所花费的UTXO会难得多。也许是出于这个原因,这些代码库并没有验证coinstake交易。
对于存在上述任意一个漏洞的加密货币来说,即使是不持有任何权益的人也能对它们发动攻击。
针对内存的资源耗竭型攻击微不足道,从技术的角度来看,我们更需要堤防的是针对硬盘的资源耗竭型攻击。
标签:COIOINCOIN比特币MagicTheLeagueCoinCoinMeetBitcoin Instant小比特币怎么样
代币创建平台Bancor于本周一早上发生「安全漏洞」事件,之后处于离线状态,该平台损失了价值数百万美元的密码货币,包括25000枚以太坊。Bancor在推特上发推文表示,在安全事件发生后,该公司将其平台下线,称没有任何用户钱包被泄露.
1900/1/1 0:00:00亲爱的Coinw用户:Coinw将于今晚22:00开启端午特别活动。活动期间,Coinw交易用户最高可得6700CNYT福袋,充值用户可获得不同等级的VIP会员.
1900/1/1 0:00:006月4日,币圈最具争议的创业者孙宇晨宣布豪掷456.7888万美元拍下“巴菲特慈善午餐”。原本应该皆大欢喜,巴菲特为再次刷新记录的成交价暗自欢喜,孙宇晨则庆幸于有机会亲自与“股神”聊聊区块链,不求说服但希望帮其抛开成见,鄙夷孙宇晨的人.
1900/1/1 0:00:00尊敬的LBank用户: 在LBank于?2019.5.2016:00-2019.6.1916:00期间举办的期权交易大赛.
1900/1/1 0:00:00巴菲特午餐史上最高价竞拍人揭晓。“数字货币一文不值”,巴菲特曾说。巴菲特慈善午餐,是每年伯克希尔哈撒韦股东大会之外的投资界的又一盛大事,午餐的拍卖价19年翻了182倍.
1900/1/1 0:00:00作者:NikhileshDe翻译:Maya一位机构官员表示,几年前进行ICO的初创公司可能有资格获得美国证券交易委员会的无异议函。在过去一年半的时间里,该监管机构一直在针对通过出售代币筹集资金但未注册为证券的项目提起诉讼.
1900/1/1 0:00:00