在閱讀Blockstream撰寫的MuSig論文時,我一直在想象,這對于我一個比特幣用戶來說,到底意味著什么。我發現Schnorr簽名的一些特性實在是非常棒而且便利,但某一些特性則非常煩人。在這篇文章里,我希望能跟各位分享我的想法。不過,我們先快速回顧一下。橢圓曲線簽名算法
當前比特幣的所有權體系用的是ECDSA。在簽名一條消息m時,我們先哈希這條消息,得出一個哈希值,即z=hash(m)。我們也需要一個隨機數k。在這里,我們不希望信任隨機數生成器,所以我們通常使用RFC6979,基于我們所知的一個秘密值和我們要簽名的消息,計算出一個確定性的k。使用私鑰pk,我們可以為消息m生成一個簽名,簽名由兩個數組成:r和s=(z+r*pk)/k。然后,使用我們的公鑰P=pk*G,任何人都可以驗證我們的簽名,也就是檢查(z/s)×G+(r/s)×P的x坐標確為r。
-ECDSA算法圖解。為便于說明,橢圓曲線作在實數域上-這種算法是很常見的,也非常好用。但還有提升空間。首先,簽名的驗證包含除法和兩次點乘法,而這些操作的計算量都非常大。在比特幣網絡中,每個節點都要驗證每一筆交易,所以當你在網絡中發出一筆交易時,全網幾千個節點都要驗證你的簽名。因此,即使簽名的過程開銷變得更大,讓驗證簽名變得更簡單也還是非常有好處的。其次,節點在驗證簽名時,每個簽名都要單獨驗證。在一個m-n的多簽交易中,節點必須多次驗證同一個簽名。比如一筆7-11的多簽名交易,里面包含了7個簽名,網絡中的每個節點都要分別驗證7個簽名。另外,這種交易的體積也非常大,用戶必須為此付出多得多的手續費。Schnorr簽名
Zhu Su:oUSD的靈感來自于UST和FTT:金色財經報道,三箭資本創始人Zhu Su在社交媒體上稱,oUSD的靈感來自于UST和FTT,巧取豪奪問題是最大的挑戰,UST是投資者的被動渠道,但這種資本的生產力很低。FTT有很大的欲望被借入,但Genesis和ftx用戶是唯一的自然貸款人2022年的加密貨幣血戰思維意味著Luna/ust和ftx/ftt是死敵,但在某些世界中,FTT和BNB被接受為LFG的儲備金,它本來應該更強大。
由于UST沒有發行足夠多的活躍債務,所以沒有自然的買家來贖回。這與tether如何在depegs上回購usdt以賺取利潤,或陷入困境的銀行如何以折扣價回購自己的債務形成鮮明對比。
在UST和FTT的案例中,為了避免銀行擠兌,都有大量的作秀行為。這就產生了結構性的脆弱和關鍵人物的風險。保證金貨幣應該是記賬單位本身,這就再現了Okex多年來的超級穩定的衍生品結構,也就是不斷將風險社會化到利潤池中。[2023/6/25 21:58:20]
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。
Hundred Finance遭黑客攻擊,損失700萬美元:金色財經報道,據PeckShield Inc.在社交媒體上發文稱,Hundred Finance遭黑客攻擊,損失700萬美元。[2023/4/16 14:06:22]
-圖解Schnorr簽名和驗證-這個等式是線性的,所以多個等式可以相加相減而等號仍然成立。這給我們帶來了Schnorr簽名的多種良好特性。1.批量驗證
在驗證區塊鏈上的一個區塊時,我們需要驗證區塊中所有交易的簽名都是有效的。如果其中一個是無效的,無論是哪一個——我們都必須拒絕掉整個區塊。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倍的性能提升了——驗證時只需為每個簽名付出一次重運算。
GoPlus Security將為硬件錢包Keystone輸出安全檢測服務:8月11日消息,據官方推特,GoPlus Security 宣布將與硬件錢包 Keystone 達成戰略合作,GoPlus Security 將向 Keystone 輸出安全檢測服務,幫助Keystone在與公共鏈、非托管錢包、DEX、加密貨幣數據聚合器等互動時更好地解碼所有交易,提供更好的用戶體驗。通過這次合作,GoPlus Security 將幫助 Keystone 在打擊盲目簽名方面再次向前邁進一步。
據悉,GoPlus Security 作為 Web 安全生態基礎設施,目前已經推出了 Token 安全檢測 API、惡意地址庫 API、NFT 安全檢測 API、風險授權檢測 API 等多個安全工具,這次與知名硬件錢包 Keystone 的合作,標志著 GoPlus Security 在打通線上線下應用場景上又前進了一步。[2022/8/11 12:19:27]
-兩個簽名的批量驗證。因為驗證等式是線性可加的,所以只要所有的簽名都是有效的,這幾個等式的和等式也必成立。我們節約了一些運算量,因為標量和點加法比點乘法容易計算得多。-2.密鑰生成
Move to Earn應用STEPN過去24小時新鑄造鞋子3492雙:金色財經消息,據Dune鏈上數據顯示,Move to Earn應用STEPN過去24小時新鑄造鞋子3492雙,過去7日新鑄造鞋子13623雙;過去7日活躍用戶59408。[2022/7/25 2:35:28]
我們想要安全地保管自己的比特幣,所以我們可能會希望使用至少兩把不同的私鑰來控制比特幣。一個在筆記本電腦或者手機上使用,而另一個放在硬件錢包/冷錢包里面。即使其中一個泄露了,我們還是掌控著自己的比特幣。當前,實現這種錢包的做法是通過2-2的多簽名腳本。也就是一筆交易需要包含兩個獨立的簽名。有了Schnorr簽名,我們可以使用一對密鑰(pk1,pk2),并使用一個共享公鑰P=P1+P2=pk1*G+pk2*G生成一個共同簽名。在生成簽名時,我們需要在兩個設備上分別生成一個隨機數,并以此生成兩個隨機點Ri=ki*G,再分別加上hash(P,R1+R2,m),就可以獲得s1和s2了。最后,把它們都加起來即可獲得簽名(R,s)=(R1+R2,s1+s2),這就是我們的共享簽名,可用共享公鑰來驗證。其他人根本無法看出這是不是一個聚合簽名,它跟一個普通的Schnorr簽名看起來沒有兩樣。不過,這種做法有三個問題。第一個問題是UI上的。要發起一筆交易,我們需要在兩個設備上發起多輪交互——為了計算共同的R,為了簽名。在兩把私鑰的情況下,只需訪問一次冷錢包:我們可以在熱錢包里準備好待簽名的交易,選好k1并生成R1=k1*G,然后把待簽名的交易和這些數據一同傳入冷錢包并簽名。因為已經有了R1,簽名交易在冷錢包中只需一輪就可以完成。從冷錢包中我們得到R2和s2,傳回給熱錢包。熱錢包使用前述的簽名交易,把兩個簽名加總起來即可向外廣播交易了。這在體驗上跟我們現在能做到的沒有什么區別,而且每當你加多一把私鑰,問題就會變得更加復雜。假設你有一筆財富是用10把私鑰共同控制的,而10把私鑰分別存放在世界各地,這時候你要發送交易,該有多麻煩!在當前的ECDSA算法中,每個設備你都只需要訪問一次,但如果你用上Schnorr的密鑰聚合,則需要兩次,以獲得所有的Ri并簽名。在這種情況下,可能不使用聚合,而使用各私鑰單獨簽名的方式會好一些——這樣就只需要一輪交互。文章完成后,我得到了ManuDrijvers的反饋:在一個可證明安全性的多簽名方案中,你需要3輪交互:選擇一個隨機數ki以及相應的隨機點Ri=ki\\G,然后告訴每一個設備Ri的哈希值ti=hash(Ri),然后每個設備都能確保你沒有在知道其他人的隨機數之后改變主意*收集所有的數字Ri并計算公共的R簽名第二個問題是已知的Rogue密鑰攻擊。這篇論文講解得非常好,所以我就不贅述了。大概意思是如果你的其中一個設備被黑,并假裝自己的公鑰是,那就可以僅憑私鑰pk1便控制兩個私鑰共享的資金。一個簡單的解決方案是,在設置設備時,要求使用私鑰對相應的公鑰簽名。還有第三個重大問題。你沒法使用確定性的k來簽名。如果你使用了確定性的k,則只需一種簡單的攻擊,黑客即可獲得你的私鑰。攻擊如下:某個黑客黑入你的筆記本電腦,完全控制了其中一把私鑰。我們感覺資金仍是安全的,因為使用我們的比特幣需要pk1和pk2的聚合簽名。所以我們像往常一樣發起交易,準備好一筆待簽名的交易和R1,發送給我們的硬件錢包,硬件錢包簽名后將發回給熱錢包……然后,熱錢包出錯了,沒法完成簽名和廣播。于是我們再試一次,但這一次被黑的電腦用了另一個隨機數——R1'。我們在硬件錢包里簽名了同一筆交易,又將發回給了被黑的電腦。這一次,沒有下文了——我們所有的比特幣都不翼而飛了。在這次攻擊中,黑客獲得了同一筆交易的兩個有效的簽名:和。這個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))。我發現這就是密鑰聚合最不方便的地方——我們每次都要使用一個好的隨機數生成器,這樣才能安全地聚合。3.Musig
元宇宙基礎設施公司Element Black完成160萬美元私募輪融資:5月23日消息,元宇宙基礎設施公司Element Black宣布完成160萬美元私募輪融資,本輪融資由OldFashionResearch、Boxmining、OrionDepp、CryptoDaku、Magnus等多位知名投資者參投。融資將主要用于旗下NFT音樂平臺MUSIC-INFINITY運營、推動音樂版權確權的完成。[2022/5/23 3:35:33]
MuSig解決了其中一個問題——roguekey攻擊將不能再奏效。這里的目標是把多方/多個設置的簽名和公鑰聚合在一起,但又無需你證明自己具有與這些公鑰相對應的私鑰。聚合簽名對應著聚合公鑰。但在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。4.默克爾樹多簽名
你可能也注意到了,MuSig和密鑰聚合需要*所有簽名者簽名一個交易*。但如果你想做的是2-3的多簽名腳本呢?這時候我們能夠使用簽名聚合嗎,還是不得不使用通常的OP_CHECKMULTISIG和分別簽名?先說答案,是可以的,但是協議上將有些許的不同。我們可以開發一個類似于OP_CHECKMULTISIG的操作碼,只不過是檢查聚合簽名是否對應于公鑰默克爾樹上的一個元素。舉個例子,如果我們想用公鑰P1、P2和P3組成一個2-3的多簽名腳本,我們需要用這幾把公鑰的所有兩兩組合、、來構建一棵默克爾樹,并把默克爾樹根公布在鎖定腳本中。在花費比特幣時,我們需要提交一個簽名和一個證據,證明這個簽名所對應的公鑰位于由這個樹根標記的默克爾樹上。對于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,它是個優雅的方案,論文也淺顯易懂。我強烈建議各位有閑之時通讀全文。
文:JORDANFINNESETH編譯:Zion責編:karen9月16日,Avalanche(AVAX)的價格創下68.89美元的歷史新高,在過去幾個月里.
1900/1/1 0:00:002021年9月27日,在第30屆中國國際信息通信展覽會——區塊鏈創新應用發展論壇上,北京泰爾英福科技有限公司常務副總經理曾西平代表公司發布了“星火·鏈網”骨干節點解決方案——TelNaaS.
1900/1/1 0:00:00在上一篇文章里,我們詳細解釋了支付通道的運作,以及多種保證支付安全發生的方法。不過,這些功能,還不足以支撐一個可用的支付通道網絡:即使我們很確定在每個通道內每個參與者都是誠實守信的,也沒法保證通.
1900/1/1 0:00:009月2日,《N-POWER第一屆OdailyNFT線上加密論壇》成功舉行。本次活動邀請到多個熱門鏈游項目、加密藝術交易平臺、新生態公鏈、知名投資機構等參與活動,揭秘市場投資趨勢,展望NFT生態前.
1900/1/1 0:00:00八月初期,萬眾矚目的以太坊倫敦升級開始生效,包括了一系列以太坊改進提案或者說EIPs系列提案。其中最關鍵的莫過于EIP-1559,它的出現顛覆了核心費用邏輯.
1900/1/1 0:00:00Odaily星球日報譯者|余順遂吸血鬼主題的NFT項目SneakyVampireSyndicate宣布進行多項更新,包括質押實用型代幣BLOOD的功能以及向每個SVS持有者空投蝙蝠.
1900/1/1 0:00:00