木星链 木星链
Ctrl+D收藏木星链
首页 > 世界币 > 正文

TLC:IC3研究人员:闪电网络等HTLC系统易遭受攻击,解决方案是加入MAD机制

作者:

时间:1900/1/1 0:00:00

写在前面:据IC3加密货币及合约研究组织的IttayEyal等人发现,理论上所有依赖HTLC的系统都存在安全漏洞,这些系统的安全性需要依赖于矿工良好的意愿,为了解决这个问题,他们根据相互保证毁灭的概念提出了名为MAD-HTLC的解决方案。

对此,康奈尔大学教授EminGünSirer评论称:

“这一漏洞影响所有的Layer2网络,包括比特币的闪电网络,这是对支付通道的自私挖矿,它是一个重大而大范围的漏洞,它可以被矿工所利用。是的,HTLC存在缺陷,但幸运的是,论文作者提出了一种名为MAD-HTLC的东西可以解决这个问题。闪电网络很脆弱,我们发明的比特币保险库也很脆弱。”

欧洲区块链银行Bank Frick为客户推出数字资产质押服务:金色财经报道,欧洲区块链银行Bank Frick为客户推出数字资产质押服务。Bank Frick 区块链银行业务高级关系经理 Jonas Gantenbein 表示,质押涉及将一定数量的数字资产作为证券持有,以验证区块链网络中的交易。因此,质押通过提供更多验证器来验证交易并保证网络的完整性,有助于区块链网络的安全性。Bank Frick保持对委托加密货币的完全控制,所有质押活动都是自我托管(非托管)的,这意味着Bank Frick保持对委托加密货币的唯一和完全控制。[2023/2/15 12:08:48]

先说坏消息:事实证明,哈希时间锁定智能合约的安全,依赖于区块链矿工良好的意愿,或者至少是他们的短视性。是的,这是基于这样一种假设:矿工,那些通过能源赚钱的群体,是天真又无私的。

因此,所有依赖HTLC的系统也都需要这种假设才能正常工作。不幸的是,HTLC是最常见的智能合约原语之一,并且几乎在所有地方都被使用,其中包括支付通道网络、原子互换、零知识或有付款、加密货币保险库等。

QuickSwap:已被域名劫持但用户资金安全,请不要进行交易:5月14日消息,Polygon生态去中心化交易平台QuickSwap发推表示,与托管在GoDaddy上的其他协议类似,QuickSwap已被域名劫持,LP、Dragon'sLair、SyrupPools和用户钱包中的资金是安全的,只有交易受到影响,请不要进行交易,团队正在努力解决问题并会尽快更新。

此前报道,Fantom生态SpiritSwap在AWS上的前端服务器被黑客攻破并篡改参数,其主机提供商也是GoDaddy。[2022/5/14 3:15:34]

当然,这并非是什么大新闻。众所周知的是,这个基本漏洞更适用于复杂的智能合约系统,例如以太坊。然而,我们发现它也适用于更简单的系统,即比特币,而且执行起来比以前认为的要便宜得多。

好消息是:我们提出了一个解决方案——HTLC的插件替代,它依赖于矿工的理性,而不是他们的天真,它基于臭名昭著的相互保证毁灭的概念,我们称其为MAD-HTLC。其想法是,如果行为不端,双方都会受到严厉惩罚,这就消除了攻击的动机。

声音 | Bakkt首席运营官:ICE将为加密货币带来监管透明度:据ambcrypto报道,Bakkt首席运营官Adam White近日表示,Bakkt和ICE的主要优势在于,为不透明的大宗商品和物品创造了监管透明度。ICE通过能源和信用做到了这一点,现在它计划用加密货币做到这一点。很多人没有意识到的一点是,大多数监管都依赖于合作。[2019/3/16]

我们概述了攻击及其分析,以及MAD-HTLC解决方案。但首先,先快速解释下HTLC合约-如果你熟悉的话,可以跳过这一部分。

HTLC

HTLC由两方建立:Alice和Bob,使用哈希锁和timeout参数化。合约是用加密货币token发起的,最初由Alice或Bob发起存款。

要赎回代币,Alice或Bob必须提交满足合约条件的交易。Alice的交易需要为哈希锁提供一个特定的哈希原像,而Bob的交易必须等待timeout时间过去。

声音 | Ana Trbovich:区块链发展速度比想象的快:在十二届夏季达沃斯论坛上,德国Grid Singularity首席运营官Ana Trbovich表示,“南非现在也有自己的I币。从区块链的角度讲这是一种简化的。区块链技术本身是不断发展的,我们要看一下是否能够真正达到我们的目标,达到我们的潜力。现在为止,我觉得它的速度要比想象的快。”[2018/9/18]

交易需要向确认交易的矿工提供费用,然后矿工会优先处理提供高手续费的交易,以最大限度地提高自己收到的费用。请注意,一旦一方获得代币,其他方就无法获得这些代币。

攻击

中国央行:以ICO和虚拟货币手段非法集资非常隐蔽:4月23日金色财经讯,由中国人民银行牵头召开的“防范和处置非法集资法律政策宣传座谈会”上,央行总结目前的互联网金融非法集资有四大特点:第一,专业化趋势明显;第二,非法集资新型方式层出不穷,其中一些不法分子以代币发行融资(ICO)、各类虚拟货币等“互联网金融创新”为幌子进行非法集资,噱头新颖,隐蔽性更强;第三,线上宣传和线下推广相结合;第四,“多头在外”躲避监管打击,一些非法集资涉案人员通过藏身境外、租用境外服务器搭建网络集资平台,将涉案资金转移至境外躲避监管。[2018/4/23]

攻击发生在Alice试图通过提交她的交易来获取HTLC代币时。

Bob用一笔他自己的交易来回应,该交易提供足够高的费用,以激励矿工选择他的交易而不是Alice的。矿工然后简单地等待timeout时间过去,并包含Bob的交易,结果Bob获得了HTLC代币,矿工获得了更高的费用,Alice什么也得不到。

由于Bob提供了更多的钱,矿工就有可能去接受他提出的交易

我们将此行为分析为一个在Alice、Bob和矿工之间进行的游戏,所有这些人都努力最大化他们的代币余额。游戏在HTLC的持续时间内进行,在每一轮中,一个矿工生成一个区块。我们使用子博弈完美均衡解决方案概念,即所有参与者都是理性的,并且意识到所有其他参与者的理性,并且他们在考虑游戏的动态性和顺序性的同时,优化了自己的利润。

我们的分析表明,Bob“足够高的费用”实际上很低,这意味着部署这种攻击非常便宜。在比特币上部署HTLC的各种情况下,这种攻击可能会提供5位数的ROI比率,

例如以1美元的成本就可以产生10000美元的收益。

请注意,Bob激励矿工以其最大利益行事,也就是说,他假设矿工们做出了最佳的交易选择。虽然通常情况并非如此,但不断增加的注和机会将使优化变得有价值。实际上,我们用150行代码修补标准的BitcoinCore客户端来实现优化。

MAD-HTLC

相互保证毁灭最明显的是和冷战学说有关:对立双方持有核导弹库存,如果他们中的任何一方受到核攻击,作为最后的行动,双方都会遭到核攻击。由于双方都知道对方的反应,因此他们都不会展开进攻。

因此,我们在MAD-HTLC设计中应用了一种威慑机制。具体来说,我们将其设置为:如果Bob尝试使用Alice的代币,则可以保证他会丢失代币。

MAD-HTLC核心的第二个概念,是将矿工视为智能合约中的积极参与实体。也就是说,我们利用了以下事实:矿工是理性的,并且为了他们的最大利益而行动。

该构造基于经典的HTLC。我们添加了第二个哈希锁,Bob需要解决该哈希锁,因此,在任何尝试获取代币的交易中,Bob都必须透露另一个额外的原像。我们还添加了另一个赎回选项-如果任何实体都能解决Alice和Bob的哈希锁,那么任何实体都可以获取代币。

现在,如果Alice和Bob都试图对MAD-HTLC进行赎回操作,他们都必须显示各自的哈希原像。公开的原像允许任何人构建自己的交易,并获取全部MAD-HTLC金额。矿工们在这里有一个优势:因为他们产生了区块,他们可以创建这样的交易并自己获得资金,导致Alice和Bob什么也得不到——即相互保证毁灭。

但是,如果每个人都只管自己的,MAD-HTLC的操作就与HTLC相似。如果Alice和Bob不争夺代币,其他各方则不能窃取资金。博弈论分析表明,正确的行为是唯一的子博弈完美平衡,从而使MAD-HTLC激励兼容。

我们的技术论文包括了详细的分析,以及MAD-HTLC比特币脚本、指向主要网络实验的指针,以及我们为通用miner优化实现BitcoinCore补丁的详细信息。

在发布这篇文章之前,我们与相关各方进行了负责任的披露。

标签:TLCBOBICEALICEtlc币今日价格bobt币在哪个交易所VICEX价格alice币发行量

世界币热门资讯
加密货币:美国CFTC公布4年战略计划,将推动数字资产负责任创新整体框架

据Decrypt7月10日报道,美国商品期货交易委员会公布了2020-2024年的战略计划,其中包括推动加密货币资产的“整体框架”.

1900/1/1 0:00:00
AMPL:流动性挖矿激励屡试不爽,看另类稳定币 Ampleforth 如何坐过山车

推出流动性挖矿激励计划后,Ampleforth市值在20天内激增18倍,这项流动性挖矿计划是什么?有哪些套利机会?社区和用户怎么看?稳定币AMPL的价格还会回到最初的1美元基准水平吗?撰文:日曜.

1900/1/1 0:00:00
比特币:加密市场Q2数据综合复盘:比特币跑赢各国股市

文|秦晓峰?编辑|郝方舟一季度,受新冠肆虐与原油价格战影响,各主要金融市场表现不佳,美股多次熔断,比特币腰斩暴跌。二季度,世界各国央行相继宣布刺激措施、提振信心,各金融市场开始复苏.

1900/1/1 0:00:00
区块链:蚂蚁区块链平台产品部总经理金戈:企业上链要考虑4点核心问题

6月23日,在由蚂蚁区块链和区分联合主办的产业区块链对话节目《了不起的联盟链》现场,蚂蚁区块链平台产品部总经理金戈分享了蚂蚁区块链的理念、典型案例以及企业在利用区块链赋能过程中应注意的问题.

1900/1/1 0:00:00
LANA:第二个比特大陆?嘉楠科技多位高管退出,知情人称管理层夺权内斗

文章来源:科创板日报《科创板日报》讯,作为曾经的第二大比特币矿机厂商,连管理层内斗也向“大哥”比特大陆学习?近日,杭州嘉楠耘智信息科技有限公司发生工商变更,原董事孔剑平、孙奇峰、李佳轩.

1900/1/1 0:00:00
DEF:都在说Defi,到底什么是Defi?

一、Defi的崛起几年前区块链行业还没有Defi这个概念,从默默无闻的“穷小子”,一跃成为区块链行业的“扛霸子”,Defi只用了短短几年时间.

1900/1/1 0:00:00