区块链:科普 | PoS协议长程攻击问题

本文中,我们简要地讨论关于PoS协议里,大家公认最大的一朵乌云——长程攻击;内容还涵盖了两种目前现行的或预想的解决办法:

弱主观性和

前向安全密钥。最后,我们提出了一种新的分叉选择规则,使得长程攻击成本更加高昂;这种分叉选择可以结合现有的几种方案,作为预防长程攻击的额外举措。本文是区块链协议及相关主题的系列文章之一,我们持续致力于高质量的区块链技术内容创作;欲了解更多当前技术现状的全面概况,请参阅我们关于Layer2方法、随机性、分片论文等相关文章。另外请关注我们的推特或加入NearProtocol频道,避免错过内容更新。

长程攻击

在PoW中,使用最长链选择规则可以获得令人非常满意的属性:除非恶意攻击者控制了全网超过50%的算力,不然无法逆转已确认一段时间的区块。

国务院:推进科普与区块链技术深度融合:为贯彻落实党中央、国务院关于科普和科学素质建设的重要部署,依据《中华人民共和国科学技术进步法》、《中华人民共和国科学技术普及法》制定《全民科学素质行动规划纲要(2021-2035年)》,其中要求实施智慧科普建设工程。推进科普与区块链等技术深度融合,强化需求感知、用户分层、情景应用理念,推动传播方式、组织动员、运营服务等创新升级,加强“科普中国”建设,强化科普信息落地应用,与智慧教育、智慧城市、智慧社区等深度融合。(新华社)[2021/7/10 0:40:52]

但是在PoS中没有这种特性。尤其是当区块生产者建完块且拿回质押的代币后,对他们来说,用于创建区块的密钥再也没有价值了;这时候攻击者可以尝试以远低于创建区块时质押的代币金额去购买这些密钥。与PoW不同,因为PoS没有出块之间强制延时的机制,所以买到密钥后,攻击者能够在数分钟内造出一条长于主链的伪链,并被分叉选择规则所接受。

IMF今日发布的加密货币科普视频实为两年前旧闻,且存在诸多疏漏:国际货币基金组织IMF今日在推特上发布了一条关于加密货币的科普视频,这段时长两分钟的视频最初发布于2018年6月。该视频称加密货币是“货币进化的下一步”,但没有特别提到DLT、区块链,甚至是代币名称等术语。BTC、XRP和ETH只出现在说明加密交易的图形中。尽管这段视频到目前为止已经获得了超过13.7万的点击量和2900个赞,但来自加密社区的许多反应都是批评的,他们指出了信息中的漏洞和似乎具有误导性的措辞。

Reddit用户nanooverbtc称:“他们犯了很多错误,比如把私钥称为密码。”该视频也没有讨论挖矿或加密货币供应。Kraken策略师Pierre Rochard等知名人士表示:“可证明的稀缺性是比特币有趣的原因,你忘了提这一点。”(Cointelegraph)[2020/8/24]

有两种方法能够避免上述问题:

动态 | 链客社区联合北京交通广播推出区块链技术科普节目:12月11日15:15—16:00,区块链技术社区——链客区块链技术社区将联合北京交通广播FM103.9从零开始为大众科普解码区块链技术,蜻蜓FM及北京广播网同期进行全球直播。首期做客嘉宾为链客区块链技术社区创始人郄建军和百度区块链产品负责人于雅楠。[2019/12/11]

弱主观性

要求全网节点周期性地检查最新的区块,并拒收那些“重组了过分久远的记录”的区块。只要足够频繁地检查区块,使得在释放质押代币的时间段中,肯定包含一次以上的检查,那么节点就永远不会选择攻击者创建的最长链,因为敌手从取出保证金的验证者处购买的私钥,必定只能从“过于久远”处开始创建区块。

弱主观性方法的不足之处在于,虽然已经存在于网络中的节点不会被攻击者,但是对于首次加入网络的节点来说,他们没有足够的信息来判断哪条链是先被创建的,因此新节点会倾向选择攻击者创建的较长链。为了避免这种情况,新节点需要以某种方式在链下了解关于主链的知识,这在本质上就是要求他们选择信任网络中的某个主体。前向安全密钥

动态 | 新浪财经:官媒针对区块链的报道从科普宣传转向打假监管:据新浪财经今日消息,“1025新政”满月,一个月间,官媒对区块链的态度风向已转。据11月初的一项统计,七家党媒在新政一周内发布了65篇直接相关报道,当时文章中的关键词是数据、产业、安全、创新等,大量文章偏向于科普区块链的概念以及应用介绍,提醒警惕虚拟货币炒作的仅有3篇。近期,官媒的批评焦点则纷纷指向借区块链之名进行的虚拟货币发行和炒作行为。据统计,新华网、人民网收录转载的,以打击虚拟货币或揭露假借区块链行为主题的文章,自10月25日到11月25日午间,共28篇;其中,11月19日至11月25日的一周内就高达15篇。这些文章主要围绕三个观点展开:厘清区块链和虚拟货币的关系,说明二者概念不等;打击伪“区块链”局,或是虚拟货币局揭露;提醒民众,区块链不能成为炒作的噱头,更不是行的招牌,需警惕此类活动,理性投资。[2019/11/26]

还有一种方法是要求区块创建者在出块后,在极短的时间内或立刻销毁他们用来建块的密钥;可以在每次建块时创建新的密钥对,或是通过?前向安全密钥?结构来完成。这个方法仰赖于节点是诚实的,并且严格遵守协议。因为一旦区块创建者知道未来的某个时间点,可能会有人要买他们的密钥,则密钥价值不为零,区块创建者就没有动机去销毁密钥。且不说要求在某个特定时间点,会有大比例的区块创建者愿意修改他们的文件且移除私钥并不现实;这种仰赖大多数参与者?诚实配合?的协议,与仰赖大多数参与者是?理性?的协议,两者间所带来的安全保障并不不同。PoW就是建立在大多数参与者是理性的且不会进行勾结的前提之上的,其分叉选择规则和抗女巫攻击也都依赖这个假设。

中科院自动化研究所将面向大中小学生开展区块链等主题的科普讲座:5月21日,新华网讯,今年,中国科学院自动化研究所将举办第十四届“自动化之光”公众科学开放日活动。届时,自动化所将面向大中小学生分别开展《脑与智能》、《区块链技术与平行智能》、《大数据时代的视觉智能》、《动画真奇妙》等4个主题报告,用实例和生动的演示深入浅出地为大家揭示智能技术的原理和奥妙。[2018/5/21]

我们提议的分叉选择规则

参考下图:区块B在主链上足够前段的位置,所以产生B时大多数的在位验证者都已经把保证金取出来了。

攻击者能够接触这些区块生产者,并取得其中~2/3的私钥;因为这时候密钥对于区块产生者来说已经没有价值,所以攻击者能以远低于实际建块质押的金额来买到这些密钥。

因为PoS系统没有所谓稀缺资源,攻击者能够在非常短的时间内创建一条长于主链的伪链。

我们需要一种分叉选择规则,使得用户不会将攻击者创建的链视作主链——不论攻击者构建出多长的伪链,以及有多少恶意验证者为其签名背书。

本文建议的分叉选择规则步骤是:从创世区块开始,针对每个区块通过以下规则选择其子块作为下一个合法区块:

当前区块被主链采用后,对状态进行快照。

列出当前时刻,持有代币的所有账户,并做成对照表。

对于每个候选子块,根据对照表,找出子块及其各自子树中签署过至少一笔交易的公钥,并验证之。

算出每个候选子块及其各自子树中,签署过至少一笔交易的公钥所转移的代币总量;选择转移代币总量最多的子块作为合法的下一个区块。

从图中的例子来说,当前区块是B,候选子块是C1和C2;C1的子树是所有合规主链上的区块,而C2的子树是攻击者创建的。

从B块状态快照开始,计算签署过至少一笔交易的公钥所转移的代币总量,作为主链的得分;攻击者创建的链得分计算方式相同,但是因为存在重放保护,所有C2及其子树中的交易都是由攻击者创建的。

从B块状态快照开始,假设在主链上,计算签署过一次及以上交易的公钥所转移代币总量为p;而攻击者创建的链上,只存在攻击者买到的密钥所创建的交易,这些公钥所转移代币总量为q,则q&p永远成立。

如果攻击者创建的链希望获得更高的分数,则从B块状态快照开始计算,C2及其子树中的交易总额必须大于p,所以攻击者还需要取得账户中总额大于(p-q)的密钥。但攻击者这时候就头疼了,因为这些密钥持有人还没有在主链进行任何交易,所以他们的账户在快照状态时还有资金,所以攻击者无法用低于快照状态中的金额来取得这些密钥。

因此,即使攻击者以低价取得了截至B块为止,8成的“至少在主链发起过一笔交易的账户”,攻击者仍至少要付出0.2p的作恶成本。

请注意,要让主链具备抗分叉性,需要积累大量有效交易后这种分叉选择规则才有效,所以该选择规则仅适用于面临长程攻击的分叉选择。该分叉选择规则可以结合经典解决方案,先用拜占庭容错型确定性工具所敲定的区块形成一个区块链的子集,并在这个子链上执行上述分叉选择规则;然后基于上述规则选出的最终区块,再使用其他更合适的分叉选择规则。

结语

上述分叉选择规则为预防长程攻击提供了额外举措;虽然这种规则具有一些有趣的特性,但是在投入实际应用前,还有许多研究要做。举例来说,目前还不清楚该规则是否能够提供经济确定性;一切都需要更多长远的分析。

目前,我们正在积极研究防御长程攻击的方法,并即将发布更多资料,敬请期待。

原文链接:

https://nearprotocol.com/blog/long-range-attacks-and-a-new-fork-choice-rule/

作者:?ALEXANDERSKIDANOV

翻译&校对:?IANLIU?&?阿剑

本文由作者授权EthFans翻译及再出版。

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

链链资讯

USDCHER:“锁仓越多价格越涨”绝对是个伪命题

在币圈,有一个很简单的很好理解的共识,就是“锁仓越多价格越涨”,这也是POS共识机制今年最火的概念“staking”的理论基础,不过这个理论基础这半年来似乎被赤裸裸的现实给打败了.

[0:0ms0-7:435ms