月亮链 月亮链
Ctrl+D收藏月亮链
首页 > TRX > 正文

HASH:一文读懂Schnorr签名如何提升比特币_hashgard

作者:

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

原文标题:《干货 | Schnorr 签名如何提升比特币》,作者Stepan

在阅读 Blockstream 撰写的?MuSig?论文时,我一直在想象,这对于我一个比特币用户来说,到底意味着什么。我发现 Schnorr 签名的一些特性实在是非常棒而且便利,但某一些特性则非常烦人。在这篇文章里,我希望能跟各位分享我的想法。不过,我们先快速回顾一下。

当前比特币的所有权体系用的是?ECDSA(椭圆曲线签名算法)。在签名一条消息?m?时,我们先哈希这条消息,得出一个哈希值,即?z = hash(m)?。我们也需要一个随机数(或者至少看似随机的数)k?。在这里,我们不希望信任随机数生成器(有太多的错误和漏洞都与不合格的随机数生成器有关),所以我们通常使用?RFC6979,基于我们所知的一个秘密值和我们要签名的消息,计算出一个确定性的 k。

使用私钥?pk?,我们可以为消息?m?生成一个签名,签名由两个数组成:r(随机点?R = k * G?的 x 坐标)和?s = (z + r*pk)/k。

然后,使用我们的公钥?P = pk * G?,任何人都可以验证我们的签名,也就是检查?(z/s)×G+(r/s)×P?的 x 坐标确为?r。

ECDSA 算法图解。为便于说明,椭圆曲线作在实数域上?

这种算法是很常见的,也非常好用。但还有提升空间。首先,签名的验证包含除法(1/s)和两次点乘法,而这些操作的计算量都非常大。在比特币网络中,每个节点都要验证每一笔交易,所以当你在网络中发出一笔交易时,全网几千个节点都要验证你的签名。因此,即使签名的过程开销变得更大,让验证签名变得更简单也还是非常有好处的。

Blockchain Australia CEO:希望联邦政府在加密货币监管方面向英国、香港和新加坡学习:金色财经报道,Blockchain Australia新任首席执行官Simon Callaghan表示,希望联邦政府在加密货币监管方面向英国、香港和新加坡学习,绝对不是美国。执法监管相当于有一把锤子,把一切都看成是钉子。我认为这不是澳大利亚应该采取的正确做法。

在他的新职位上,Callaghan旨在引导该国的加密货币规则制定,并避免采取与美国证券交易委员会类似的行动,该委员会正在起诉世界上最大的两家交易所,并将至少68种代币打造成证券。[2023/6/26 22:00:24]

其次,节点在验证签名时,每个签名都要单独验证。在一个 m-n 的多签交易中,节点必须多次验证同一个签名。比如一笔 7-11 的多签名交易,里面包含了 7 个签名,网络中的每个节点都要分别验证 7 个签名。另外,这种交易的体积也非常大,用户必须为此付出多得多的手续费。

Schnorr 签名的生成方式有些许不同。它不是两个标量?(r, s),而是一个点?R?和一个标量?s?。类似于 ECDSA 签名,R 是一个椭圆曲线上的随机点?R = k * G。而签名的第二部分 s 的计算过程也有一些不同:?s = k + hash(P,R,m) ? pk?。这里 pk 就是你的私钥,而?P = pk * G?是你的公钥,m 就是那条消息。验证过程是检查?s * G = R + hash(P,R,m) * P。

报告:5月莱特币每日活跃地址数已翻倍:5月14日消息,根据Santiment发布的报告,数据显示,5月每日活跃莱特币(LTC)地址数已翻倍,增长了40万。

对于这种情况,一种可能的解释是莱特币上引入了NFT的实验标准LTC20。在检查LTC供应分布时可以看到,持有0到0.001 LTC的最小钱包群体随着活动地址的增加而快速增长。这种相关性表明,LTC20确实可能是莱特币网络活跃地址异常背后的驱动力。[2023/5/14 15:02:02]

图解 Schnorr 签名和验证?

这个等式是线性的,所以多个等式可以相加相减而等号仍然成立。这给我们带来了 Schnorr 签名的多种良好特性。

在验证区块链上的一个区块时,我们需要验证区块中所有交易的签名都是有效的。如果其中一个是无效的,无论是哪一个 —— 我们都必须拒绝掉整个区块。

ECDSA 的每一个签名都必须专门验证,意味着如果一个区块中包含 1000 条签名,那我们就需要计算 1000 次除法和 2000 次点乘法,总计约 3000 次繁重的运算。

但有了 Schnorr 签名,我们可以把所有的签名验证等式加起来并节省一些计算量。在一个包含 1000 笔交易的区块中,我们可以验证:

(s1+s2+…+s1000) × G=(R1+…+R1000)+(hash(P1,R1,m1)×P1+ hash(P2,R2,m2)×P2+…+hash(P1000,R1000,m1000)×P1000)

这里就是一连串的点加法(从计算机运算的角度看,简直是免费的)和 1001 次点乘法。已经是几乎 3 倍的性能提升了 —— 验证时只需为每个签名付出一次重运算。

meme币Pepe(PEPE)过去24小时涨超55%:金色财经报道,据CoinGecko数据显示,meme币Pepe(PEPE)过去24小时涨幅超过55%,现报价0.000000338883美元。[2023/4/23 14:21:42]

两个签名的批量验证。因为验证等式是线性可加的,所以只要所有的签名都是有效的,这几个等式的和等式也必成立。我们节约了一些运算量,因为标量和点加法比点乘法容易计算得多。

我们想要安全地保管自己的比特币,所以我们可能会希望使用至少两把不同的私钥来控制比特币。一个在笔记本电脑或者手机(在线钱包,热钱包)上使用,而另一个放在 硬件钱包/冷钱包 里面。即使其中一个泄露了,我们还是掌控着自己的比特币。

当前,实现这种钱包的做法是通过 2-2 的多签名脚本。也就是一笔交易需要包含两个独立的签名。

有了 Schnorr 签名,我们可以使用一对密钥 (pk1,pk2),并使用一个共享公钥?P = P1 + P2 = pk1 * G + pk2 * G?生成一个共同签名。在生成签名时,我们需要在两个设备上分别生成一个随机数 (k1, k2),并以此生成两个随机点?Ri = ki * G,再分别加上?hash(P, R1 + R2, m),就可以获得 s1 和 s2 了(因为?si = ki + hash(P, R, m)* pki?)。最后,把它们都加起来即可获得签名?(R, s) = (R1+R2, s1+s2),这就是我们的共享签名,可用共享公钥来验证。其他人根本无法看出这是不是一个聚合签名,它跟一个普通的 Schnorr 签名看起来没有两样。

CZ:5到10年内DeFi规模将超过CeFi:7月1日消息,币安创始人CZ在接受Bankless视频专访时表示,5到10年内DeFi规模将超过CeFi。我们不想在未来持有任何人的现金或数据。[2022/7/1 1:45:12]

不过,这种做法有三个问题。

第一个问题是 UI 上的。要发起一笔交易,我们需要在两个设备上发起多轮交互 —— 为了计算共同的 R,为了签名。在两把私钥的情况下,只需访问一次冷钱包:我们可以在热钱包里准备好待签名的交易,选好 k1 并生成?R1 = k1 * G,然后把待签名的交易和这些数据一同传入冷钱包并签名。因为已经有了 R1,签名交易在冷钱包中只需一轮就可以完成。从冷钱包中我们得到 R2 和 s2,传回给热钱包。热钱包使用前述的 (k1,R1) 签名交易,把两个签名加总起来即可向外广播交易了。

这在体验上跟我们现在能做到的没有什么区别,而且每当你加多一把私钥,问题就会变得更加复杂。假设你有一笔财富是用 10 把私钥共同控制的,而 10 把私钥分别存放在世界各地,这时候你要发送交易,该有多麻烦!在当前的 ECDSA 算法中,每个设备你都只需要访问一次,但如果你用上 Schnorr 的密钥聚合,则需要两次,以获得所有的 Ri 并签名。在这种情况下,可能不使用聚合,而使用各私钥单独签名的方式会好一些 —— 这样就只需要一轮交互。

文章完成后,我得到了 Manu Drijvers 的反馈:在一个可证明安全性的多签名方案中,你需要 3 轮交互:

选择一个随机数 ki 以及相应的随机点 Ri = ki \?G,然后告诉每一个设备 Ri 的哈希值 ti=hash(Ri),然后每个设备都能确保你没有在知道其他人的随机数之后改变主意*

HyperPay新版本发布,自管钱包支持Optimism和Arbitrum网络:据官方消息,HyperPay钱包发布V5.0.3版本,在该版本中,HyperPay自管钱包新增支持添加自定义网络和自定义节点功能,新增支持Optimism和Arbitrum网络并上架相关DApp,用户可在自管钱包账户界面添加相关资产信息,参与Arbitrum网络中的奥德赛活动。

HyperPay钱包成立于2017年,是集托管理财钱包、去中心化自管钱包、HyperMate硬件钱包、共管钱包于一体的多生态数字资产钱包,为用户提供资产存管、理财增值、消费支付等一站式服务。迄今,HyperPay钱包用户逾百万,资管规模超10亿美元,转账超3.1亿次,托管钱包公链支持52+,自管钱包公链支持32+,HyperMate硬件钱包支持公链17+。[2022/6/24 1:29:38]

收集所有的数字 Ri 并计算公共的 R

第二个问题是已知的 Rogue 密钥攻击。这篇论文讲解得非常好,所以我就不赘述了。大概意思是如果你的其中一个设备被黑(比如你的热钱包被劫持),并假装自己的公钥是?(P1 - P2),那就可以仅凭私钥 pk1 便控制两个私钥共享的资金。一个简单的解决方案是,在设置设备时,要求使用私钥对相应的公钥签名。

还有第三个重大问题。你没法使用确定性的 k 来签名。如果你使用了确定性的 k,则只需一种简单的攻击,黑客即可获得你的私钥。攻击如下:某个黑客黑入你的笔记本电脑,完全控制了其中一把私钥(比如 pk1)。我们感觉资金仍是安全的,因为使用我们的比特币需要 pk1 和 pk2 的聚合签名。所以我们像往常一样发起交易,准备好一笔待签名的交易和 R1,发送给我们的硬件钱包,硬件钱包签名后将 (R2, s2)发回给热钱包 …… 然后,热钱包出错了,没法完成签名和广播。于是我们再试一次,但这一次被黑的电脑用了另一个随机数 —— R1' 。我们在硬件钱包里签名了同一笔交易,又将 (R2, s2')发回给了被黑的电脑。这一次,没有下文了 —— 我们所有的比特币都不翼而飞了。

在这次攻击中,黑客获得了同一笔交易的两个有效的签名:(R1, s1, R2, s2) 和 (R1', s1',R2,s2')。这个 R2 是一样的,但是?R = R1 + R2?和?R' = R1' + R2?是不同的。这就意味着黑客可以计算出我们的第二个私钥:s2-s2'=(hash(P,R1+R2,m)-hash(P,R1'+R2,m))?pk2?或者说?pk2=(s2-s2')/(hash(P,R1+R2,m)-hash(P,R1'+R2,m))。我发现这就是密钥聚合最不方便的地方 —— 我们每次都要使用一个好的随机数生成器,这样才能安全地聚合。

MuSig?解决了其中一个问题 —— rogue key 攻击将不能再奏效。这里的目标是把 多方/多个设置的签名和公钥聚合在一起,但又无需你证明自己具有与这些公钥相对应的私钥。

聚合签名对应着聚合公钥。但在 MuSig 中,我们不是把所有联合签名者的公钥直接相加,而是都乘以一些参数,使得聚合公钥?P = hash(L,P1)×P1 + … + hash(L,Pn)×Pn?。在这里,L = hash(P1,…,Pn)?—— 这个公共数基于所有的公钥。L 的非线性特性阻止了攻击者构造特殊的公钥来发动攻击。即使攻击者知道他的?hash(L,Patk)×Patk?应该是什么,他也无法从中推导出 Patk 来 —— 这就跟你想从公钥中推导出私钥是一样的。

签名构造的其它过程跟上面介绍的很像。在生成签名时,每个联合签名者都选择一个随机数 ki 并与他人分享?Ri = ki * G。然后他们把所有的随机点加起来获得?R=R1+…+Rn?,然后生成签名?si = ki + hash(P,R,m) ? hash(L,Pi) ? pki?。因此,聚合签名是?(R, s)=(R1+…+Rn, s1+…+sn)?,而验证签名的方法与以前一样:s×G = R + hash(P,R,m)×P?。

你可能也注意到了,MuSig 和密钥聚合需要 *所有签名者签名一个交易*。但如果你想做的是 2-3 的多签名脚本呢?这时候我们能够使用签名聚合吗,还是不得不使用通常的 OP_CHECKMULTISIG 和分别签名?(译者注:OP_CHECKMULTISIG 是比特币验证椭圆曲线多签名脚本的操作码)

先说答案,是可以的,但是协议上将有些许的不同。我们可以开发一个类似于 OP_CHECKMULTISIG 的操作码,只不过是检查聚合签名是否对应于公钥默克尔树上的一个元素。

举个例子,如果我们想用公钥 P1、P2 和 P3 组成一个 2-3 的多签名脚本,我们需要用这几把公钥的所有两两组合 (P1, P2)、(P2, P3)、(P1, P3) 来构建一棵默克尔树,并把默克尔树根公布在锁定脚本中。

在花费比特币时,我们需要提交一个签名和一个证据,证明这个签名所对应的公钥位于由这个树根标记的默克尔树上。对于 2-3 多签名合约来说,树上只有 3 个元素,证据只需 2 条哈希值 —— 那个我们想用的公钥组合的哈希值,还有一个邻居的。对于 7-11 多签名脚本来说,公钥组合有 11!/7!/4!=330 种,证据需要 8 条哈希值。通常来说,证据所包含的元素数量与多签名的密钥数量大体成正比 ,为?log2(n!/m!/(n-m))?。

但有了默克尔公钥树,我们就不必局限于 m-n 多签名脚本了。我们可以做一棵使用任意公钥组合的树。举个例子,如果我们有一个笔记本电脑,一个手机,一个硬件钱包和一个助记词,我们可以构建一棵默克尔树,允许我们使用 笔记本电脑 + 硬件钱包、手机 + 硬件钱包 或者单独的助记词来使用比特币。这是当前的 OP_CHECKMULTISIG 做不到的 —— 除非你使用 “IF - Else” 式的流程控制来构造更复杂的脚本。

聚合公钥的默克尔树。不仅仅是多签名?

Schnorr 签名很棒,它解决了区块验证中的一些计算开销问题,也给了我们密钥聚合的能力。后者在使用时有些不便利,但我们不是在强迫大家使用它 —— 无论如何,我们都可以仍旧使用普通的多签名方案,使用单独的、不聚合的签名。

我迫不及待想使用 Schnorr 签名,希望比特币协议能尽快纳入这种签名方案。

另外,我也真心喜欢?MuSig,它是个优雅的方案,论文也浅显易懂。我强烈建议各位有闲之时通读全文。

标签:HASHASH比特币SCHhashgardcashowbizcion比特币交易会被判刑吗Schain Wallet

TRX热门资讯
NFT:「数字解决方案」元宇宙NFT叠加可穿戴设备:数字时尚的新潮流_FaraLand

如今,NFT收藏品的数量越来越多,从映射对应实物的数字艺术到体育交易卡,甚至游戏中的化身服装。其中,新衍生出的元宇宙(Metaverse)游戏也大受欢迎,为NFT爱好者参与数字世界提供了完美的环.

1900/1/1 0:00:00
元宇宙:“元宇宙”概念持续火爆 能追吗?专家机构这样看_ETA

周三早盘,“元宇宙”概念股持续火爆,截至发稿,中青宝再度20CM涨停。宝通科技大涨约12%,丝路视觉涨超5%,风语筑、超图软件、万兴科技等多家公司跟涨.

1900/1/1 0:00:00
比特币:泡沫还是新范式?传统艺术圈如何看待天价NFT艺术品_DNFT价格

面对如火如荼的NFT艺术市场,传统艺术圈怎么看?作者 | 子宽8月21日,由大韵堂、Rivvoo Lab、财经链新和中国软件行业协会区块链分会共同举办的“NFT国际观察”沙龙.

1900/1/1 0:00:00
HTT:金色观察 | 加密行业人士应掌握的基础技能树(建议收藏)_NBS

加密行业发展突飞猛进,从业人员需要不断学习,常常需要知道阅读和入门资源来了解各个细分领域。The Daily Ape创始人、《How to DeFi》作者Darren Lau制作了希望进入加密货.

1900/1/1 0:00:00
EFI:DeFi、GameFi、SocialFi:元宇宙中的Fi+世界_DEFI

近期GameFi的火爆大家有目共睹,俨然,其已不断分羹DeFi之夏的热潮,成为圈内更为关注的一个圈层。分析认为,GameFi并没有那么好玩儿,吸粉的根本动力在于该赛道的代币价值.

1900/1/1 0:00:00
比特币:Twitter正在为内容创作者提供比特币和以太坊小费_TER

今年5月份,Twitter官方曾表示,希望让用户在互相关注、转发、点赞之外能够更好地互相支持,因此平台将引入TipJar功能——让用户能够互相发送和接收小费。现在,此事又有了最新的进展.

1900/1/1 0:00:00