MBL:Mimblewimble可实现非交互式交易,莱特币、Grin等将受益

写在前面:一项技术如果是难用的,或者说对用户不友好的,那么它就很难被广泛采用。而此前的Mimblewimble协议,其交易就要求发送方和接收方同时在线交互才能实现,从而阻碍了相关项目的大规模应用。而在今日,Grin++钱包开发者DavidBurkett提出了一种支持Mimblewimble非交互式交易的提案,其可适用于莱特币、Grin等区块链项目。

DavidBurkett在莱特币论坛开发者板块中提到:

一月份最大的消息是,我找到了一种方法来支持Mimblewimble的非交互式交易!使用MW协议最大的困难,是需要发送方和接收方进行通信,这需要双方在线。而新的提议,可消除这种需要,由此可清除掉主要的用户体验障碍,同时支持通过冷存储进行接收,从而使硬件钱包更易于支持。在开发方面,已经为libmw确定了构建过程,并且本地构建正在为libmw-ltc工作。我将在下个月左右设置CI/CD。另外,我还构建了一个具有交易处理功能的健壮数据库框架,以支持跨多个table的原子更新,并实现了与币无关的区块数据库查询和更新,并且已使用特定于LTC的区块头和区块模型进行了部分测试。安全审计结果是从Grin++得出的,因此我已将所有修复程序应用于Grin++和libmw,并将等待审计人员的最终审查。事实证明,C++的实现是非常复杂的,相关的审计给了我教训。作为这个过程的一部分,我学到了很多,因此Grin++&libmw代码库明显更好。再次感谢Grin、Beam和LTC社区的贡献者,他们使审计成为可能。在Grin++方面,我们已完成了一个成功的计划硬分叉,解决了硬分叉前的同步问题,并且Grin++0.7.5现在已经可用,它是迄今为止最稳定的版本。而二月份的首要任务,就是实施莱特币扩展区块的共识规则,包括所有验证和一整套测试。这是代码中最重要的部分,因此要确保所有详细信息正确无误,并且代码具有完整的测试覆盖范围,而这将非常耗时。一旦完成,我将为扩展区块开发API,这样我们就可以开始将LBMW集成到现有的莱特币代码库中。我还将集中精力全面审查新的单侧交易提案,如果未发现重大的安全问题,我将创建一个LIP以供社区反馈。

SBF钱包在Arbitrum上转移价值约41.3万美元的算法稳定币MIM:3月22日消息,被链上标记为“Alameda Research”的地址0xc5ed2333f8a2c351fca35e5ebadb2a82f5d254c3在Arbitrum上转移了价值约41.3万美元的算法稳定币MIM。据悉,MIM发行方Abracadabra被选中成为接受ARB空投的DAO之一。[2023/3/23 13:20:32]

从这个帖子当中,我们可以看到,目前DavidBurkett正在为莱特币开发的Mimblewimble应用方案正处于初期阶段,而其中最大的进展就是非交互式交易提案。

那么,这个神奇的方案具体是如何实现的呢?下面我们来看提案译文:

Mimblewimble离线交易提案

Mimblewimble区块链协议通过使用pedersen承诺、schnorr签名和一种称为‘cut-through’的新技术,可提高比特币等加密货币的隐私性和可扩展性。而带来这些好处的同时,也需要付出一些昂贵的代价。到目前为止,构建MW交易需要发送方和接收方之间的交互来创建输出并集体签署交易。本文提出了一种在最小化影响mimblewimble协议可扩展性及隐私性条件下,实现单侧交易的方法。

Zetrix与MIMOS合作运营马来西亚国家区块链基础设施:10月7日消息,周五的一份新闻稿称,马来西亚的区块链基础设施将由位于马来西亚的一层区块链结构Zetrix和技术咨询公司MIMOS Technology Solutions Sdn.Bhd.(MTSSB)共同创建和运营,这两个实体签署了谅解备忘录(MOU)。马来西亚的国家区块链基础设施将面向各级政府和商业部门。(CoinDesk)[2022/10/7 18:42:03]

当前的Mimblewimble协议

和比特币一样,Grin也使用了UTXO模型。交易是通过包含要花费的输入、创建相等或较低价值的新输出,以及签名和构建验证输入所有权的范围证明来创建的。与比特币不同的是,Grin使用了保密交易技术,因此输入和输出是pedersen承诺。与添加到输入的签名不同,每笔交易只有一个签名,它是交易内核的一部分。

为了使交易有效,必须满足以下条件:

输出承诺的总和减去输入承诺的总和必须等于内核承诺,即(r_out1..n*G+v_out1..n*H)-(r_in1..n*G+v_in1..n*H)=r_kern*G;对某些已知消息基点G的内核excessvalue(rk=sum(ro1..n)-sum(ri1..n))的一种签名;一种证明所有输出值都不是负的范围证明;这三者的结合,证明了发送者是输入的所有者,并保证在交易中没有新的币被创造出来。

声音 | 门罗币社区成员:莱特币没有任何东西可以弥补Mimblewimble的缺点:金色财经报道,自去年宣布将实施Mimblewimble协议以来,莱特币一直在为其Mimblewimble项目推出更新,但也引起了人们对莱特币未来前景的担忧。对此,门罗币社区杰出成员Diego Salazar表示,该协议增加了隐私,但“主要是一种具有一些隐私功能的可扩展协议”。就隐私而言,Mimblewimble“远远不够好”。而就莱特币而言,没有任何东西可以弥补Mimblewimble的缺点。[2020/1/4]

而这种协议就要求发送者与接收者进行交互以构建交易,以避免暴露彼此输入和输出的盲因子。这是一个三步过程:

Alice用她的输入创建一笔未签名交易,改变输出和范围证明,一个包含输出和输入盲因子差异的中间内核,并提交给schnorr签名的nonce;Bob创建他的输出和范围证明,添加他在内核承诺中的份额以生成实际的交易内核,提交到nonce,并提供交易内核的部分签名;Alice签署她的内核签名,并聚合这两个签名;虽然该协议可以运作,并且允许Alice不受限制地将资金转移到Bob,但是交互属性带来了一些安全性、可用性和隐私方面的挑战。构建交易要么需要用户保持密钥在线,要么需要某种形式的带外通信,而这可能导致隐私泄露和MITM攻击。

现场 | 节点资本史翔宇:MimbleWimble提供了区块链安全性的新架构:金色财经现场报道,2月25日,Beam CEO Alexander Zaidelson于北京举办首场亚洲见面会,与众多大咖面对面共同探讨Beam及MimbleWimble生态。此次生态交流会由Beam、Altonomy、ChainUP、Node Capital共同举办。金色财经为战略媒体。节点资本合伙人史翔宇在活动上表示,区块链在实现安全方面,目前架构不够好。MimbleWimble提供了区块链安全性的新架构,不能说MimbleWimble已经达到终极水平,但它提供了新的路径。[2019/2/25]

建立非交互式交易

长期以来,绝大多数人都认为在mimblewimble协议中不可能实现非交互式交易,因为知情输出盲因子对于创建范围证明和构建schnorr签名而言是必要的。而要解决这个问题,我们必须首先找到一种方法,让发送者和接收者都知道盲因子,而不是其他人。而Diffie-Hellman密钥交换算法很适合解决这一问题。发送方只需生成一个密钥对,使用接收方的pubkey执行ECDH,并生成一个共享密钥,该密钥可用作盲因子。然后,发送方可以生成接收方的输出、盲因子和签名,以创建有效的交易。

动态 | 两种基于Mimblewimble协议的加密货币即将推出:据coindesk报道,基于隐私协议Mimblewimble的两种加密货币Beam和Grin将分别于12月25日和1月15日推出。[2018/12/22]

但这种方案,也带来了两个明显的问题。

第一个问题是,发送方仍需要将其公钥和值传递给接收方,因此我们需要在不影响隐私的情况下将其作为输出的一部分包含进来。但是没有明显的方法可提交数据。我们不能将它作为内核的一部分,因为它会将内核链接到输出,从而消除隐私的好处。

第二个问题是Alice和Bob最终都拿到了资金的密钥,这意味着Bob没有成为资金的独家所有人,也不可能解决纠纷。我们需要一种方法来验证只有Bob才能花费输出。

新的提案

事实证明,在范围证明中可以加密近32字节的数据。例如,如果我们使用一个已知的密钥blake2b(output_commitment),我们就可以公开提交一些额外的数据。如果我们在范围证明中“加密”的数据是哈希,那么我们实际上就可以公开提交所需的数据。这允许我们纳入一个新的数据块(output_data),其中包含:发送人的短暂公钥;接受者公钥;输出值;输出的盲因子;然后,我们就可以添加以下用于验证输出的共识规则:

每个范围证明,通过使用blake2b(output_commitment)都是可重绕的;每个输出都必须包含output_data;ripemd160(blake2b(output_data))必须与重绕的范围证明数据的前20个字节匹配;节点必须存储所有UTXO的output_data,因此在之后使用时,我们还可以要求1个新的共识规则来验证输入:

每个输入都必须包含一个有效的签名:sig(receiver_pubkey,input_commitment)输入和输出可以继续像往常一样被修剪,我们现在提供了一种向接收者发送资金的方法,并保证发送者无法重花费这些资金。

安全性

因为发送方和接收方都知道输出的盲因子,所以仅仅根据内核验证当前的UTXO集是不够的。这需要验证所有最近输入的签名,我们建议新节点验证最近X区块的所有输入签名,其中X=coinbase成熟值,因为风险是相似的。而这仍然会留下一个在今天看来不太可能实现的攻击点。这种攻击的工作方式如下:

Alice创建一笔包含用于Bob输出的交易;Bob将Alice买的东西寄给对方;几天过去了,而Bob仍旧没有花掉他的币;Alice强制对过去一天+1个区块进行一次大的重组。然后,她可以将Bob的输出发回给自己,因为她知道盲因子,并且未对超过1天的区块中的交易进行签名验证;尽管这种攻击在理论上允许你花费任何币龄的币,但它们必须是攻击者之前发送的币,而且没有被接受者花费掉。然而,这种攻击能够带来的效益,不太可能覆盖掉进行重组攻击的代价。不过,为了谨慎起见,当你收到大量币时,你只需要自己花掉这些币,就可以防止这种攻击,而所需的额外内核成本却很小。

隐私问题

只要密钥对不被重用,上面提到的方案就不会泄露任何额外的隐私。为了确保这一点,我们建议对输出数据进行一个相当小的修改,以支持某种形式的隐秘地址。支付证明

现在,支付可相当容易地进行证明。要证明一笔支付的所有必要条件,是原始输出、范围证明、output_data以及显示范围证明MMR成员身份的merkle证明。多重签名钱包

目前,要安全地将资金发送到多重签名钱包,需要发送者和所有接收方进行交互。而新提案消除了这种需要,代价是造成多重签名钱包隐私性方面的损失。其他改进

由于我们现在有一种方法来提交额外的数据,并将其作为输出的一部分,我们可以将费用或者其它数据从内核移到output_data结构当中,这就允许进行修剪,从而减少区块链的大小。致谢

感谢JohnTromp对重组攻击的详细描述,感谢JaspervanderMaarel关于防弹证明和多重签名钱包技术方面提供的建议,感谢Phyro提出的将内核细节移动到输出数据结构中的建议。同时,非常感谢DanielLehnberg、AntiochPeverell、Phyro以及VladislavGelfer对以上设计提供的宝贵反馈意见。

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

链链资讯

莱特币比特币:比特币为什么会火

自从比特币出现价格后,质疑之声就不绝于耳。好听一些的有格林斯潘和诺奖得主罗伯特·席勒说比特币没有内在价值,是泡沫。难听一些的就直接说它是庞氏局,是.

[0:15ms0-4:212ms