原文標題:《干貨|詳盡解釋隔離見證》
原文作者:MagomedAliev
原文編譯:阿劍,以太坊愛好者
比如說,有個設想是“閃電網絡”;但是,要在比特幣網絡中實現閃電網絡,條件似乎還不具備,因為比特幣自身的一些缺陷。另一個解決方案“隔離見證”也致力于提高可擴展性,但它同時也解決了許多問題,包括閃電網絡實現所需修補的一些缺陷。本文中我們會講解隔離見證的優勢及其工作原理。
隔離見證是一個由多個BIP描述的軟分叉,其主要用意是優化比特幣交易和區塊的結構,將交易的簽名”、“witness”或“解鎖腳本”)從交易中移到一個獨立的結構中。它不僅允許降低比特幣交易的數據量大小,也能解決“交易熔融性”問題,對支付通道和閃電網絡這樣基于比特幣交易結構的技術來說極為關鍵。
隔離見證如何工作
在開始之前
我們先要簡單回顧一下比特幣的支付系統。它并不像銀行那樣,是一套賬戶和余額的列表。相反,每個比特幣地址的余額都是由一系列發送給這個地址的交易來表示的;交易這一數據結構的主要部分就是輸入和輸出。輸入是我們想要花費的前序交易,而交易的輸出就是我們的資金發送的目的地址。下圖展示了比特幣交易的結構:
動態 | 肖磊解讀特朗普“攻擊”Libra原因:Libra沒有明確跟美元掛鉤:7月13日消息,財經專欄作家、財經評論員肖磊解讀特朗普“攻擊”Libra原因,他認為特朗普說Libra不可靠,而且需要獲得一張銀行牌照,接受監管。其實這里隱含的意思是,Libra沒有明確跟美元掛鉤,所以不可靠,沒有美國監管機構的批準,就不能干金融的業務。[2019/7/13]
輸出中的PubKeyScript字段就是我們所說的“鎖定腳本”。它用來保證只有接受地址的所有者才能使用這個支出。SignatureScript字段也就是所謂的“解鎖腳本”,因為它是用來打開鎖定腳本的鑰匙,是用來證明地址所有權的。
有關比特幣交易和鎖定腳本、解鎖腳本功能的更多細節,可看此處。
后向兼容性
實際上,隔離見證不僅改變了交易的結構,也改變了交易的輸出。不過,這不是說傳統類型的UTXO和SegWit類型的UTXO無法在同一筆交易中花費:這種情況下,傳統類型的UTXO將在輸入內加載所有權證明,而隔離見證類型的UTXO將在交易輸入以外的結構中加載證明。
聲音 | 證券日報:應正視區塊鏈信息服務備案編號的作用 不可過度解讀:據證券日報4月2日報道,日前,國家互聯網信息辦公室官網發布公告,披露第一批共197個境內區塊鏈信息服務名稱及備案編號。值得注意的是,“備案編號”并不能看做是給區塊鏈披上合法的“黃馬甲”,應正確認識“備案編號”的作用。網信辦表示,備案僅是對主體區塊鏈信息服務相關情況的登記,不代表對其機構、產品和服務的認可,并強調,任何機構和個人不得用于任何商業目的。[2019/4/2]
不管怎么說,隔離見證的定位是一個軟分叉,這個升級應該是可以忽略,無需強制的,而且,這也意味著,未升級的節點應該可以處理隔離見證類型的輸出。實際上,舊的節點和錢包將以為任何人都能花費這些UTXO,也即這些UTXO是空簽名也可花費的,因此即使在交易中沒有看到簽名,交易也仍然是有效的。而升級后的節點和錢包將在交易輸入以外的地方,一個專門的“witness”字段尋找簽名。
案例
Pay-to-Witness-Public-Key-Hash
我們用例子來說明一下隔離見證會如何改變交易的數據結構。從標準的Pay-to-Public-Key-Hash(P2PKH)交易類型開始。
我們感興趣的部分是輸出,尤其是其“scriptPubKey”字段。我們先考慮一種標準的鎖定腳本:
動態 | “區塊鏈”一詞入選“漢語盤點2018”國際詞解讀:人民網刊文《“漢語盤點2018”國際詞解讀》,“區塊鏈”一詞,與貿易摩擦、板門店、伊核協議等一起入選。文中稱, 2008 年首次提出區塊鏈概念以來,這項技術快速發展并在全球范圍內廣泛應用。在全球化、信息化和數字化時代,區塊鏈代表了一種新的技術發展方向,為推動世界經濟與國際合作提供了一個新的機會。[2018/12/11]
而隔離見證之后的鎖定腳本如下所示:
如你所見,隔離見證的輸出比傳統類型的輸出要簡單很多:只有兩個值會被推入腳本執行棧中。如我們上面說得,舊版本的比特幣客戶端會以為這個輸出是掉在地上的錢——無需提供簽名就能花費這個輸出。不過,新的客戶端會將第一個數字解釋為版本號,而第二個則對應著一個鎖定腳本。在現實中,只有壓縮公鑰的哈希值可以用在這里。這一點我們后面再說。
再來看看這個輸出被花費時的情形。傳統交易的輸出在花費時的數據結構如下:
聲音 | EOS pacific創始人解讀EOS憲法2.0:刪減多條目是為仲裁機構減輕壓力:今天,EOS pacific創始人王棟在引力生態峰會上表示,BM推出的憲法2.0版最核心的有以下幾個方面:
1、CODE IS LAW。所有的法律都應代碼化,即使代碼有BUG。
2、BM進一步詮釋合約,把整個合約清晰定義。如果各方理解有不同,才需要仲裁員出現。仲裁機制主要的工作范圍已經大幅度縮小。
3、私鑰的丟失是個人的責任,不是通過仲裁可以解決的問題。
4、在智能合約定義的范圍內,仲裁能冷凍Token的轉移。
王棟還表示,EOS憲法從1.0版的20條減到9條,把很多東西去掉,就是讓Token不要根據自己對憲法的理解套用自己的情形,無限的給仲裁機構施加壓力。[2018/7/15]
但是,在花費一個隔離見證輸出的時候,交易的scriptSig將為空,而所有的簽名都會放到一個專門的地方:
在P2SH中嵌入隔離見證
幣安何一:對于紅杉的事情是大家過度解讀了:幣安聯合創始人何一在問答會中表示,幣安當時比較弱小,的確需要大的投資基金幫助,但后來發現紅杉對幣安未來的發展幫助比較有限。中國傳統文化喜歡給對方面子,不想幣安這樣懟來懟去。公司能否發展好不是看和誰的關系好,還是得看是否真正對行業做出貢獻,是否是一個偉大的公司,是否真正對股東負責。[2018/5/18]
我們已經看到,使用隔離見證是有好處的。不過,上面的例子只對發送者和接收者都有升級軟件的情形才適用。但現實并不總是如此。考慮這樣一種情形:
Alice希望給Bob轉賬一些btc,Bob有支持隔離見證的錢包軟件而她沒有。他們顯然只能用標準形式的交易,但Bob希望使用SegWit來減少手續費。
這時候,Bob可以創建一個包含了SegWit腳本的P2SH地址、Alice會把這個地址當成一個普通的P2SH地址,因此可以直接向這個地址轉賬而沒有任何問題。但Bob可以使用SegWit交易來使用這個輸出,并獲得手續費折扣。
這就是SegWit交易的兩種類型P2WSH和P2WPKH在P2SH內實現的方式。
P2SH(P2WPKH)
想在P2SH交易中實現一筆P2WPKH交易,Bob需要使用其公鑰創建一個見證程序。然后把結果哈希、轉碼成一個地址:
在一開始,我們創建的贖回腳本會經過一次哈希計算,如果結果符合鎖定腳本中的哈希值,這個腳本就會得到執行,程序會驗證放在witness字段的簽名。
P2SH(P2WSH)
P2WSH腳本也可以用P2SH來實現。我們考慮上面所說的2-5多簽名錢包的例子。所有的步驟都跟P2SH(P2WPKH)沒什么區別:
首先,創建一個見證程序:
第一個數值是版本號,第二個數值是32位的SHA256哈希值,對應于我們的簽名腳本。然后我們拿這個見證程序的HASH160哈希值轉成一個普通的P2SH地址。要使用發往這個地址的輸出時,我們需在scriptSig字段公布這個見證程序,在witeness字段提供完整的多簽名腳本。
隔離見證的好處
梳理清楚技術的部分之后,我們就可以理解隔離見證的主要優點了。
交易熔融性漏洞
SegWit解決的一個關鍵問題就是比特幣交易的“熔融性”,也即比特幣交易的ID是哈希值這一點所帶來的問題。我們詳細說一下。
在以往的比特幣交易中,簽名是放在交易的輸入部分的,第三方可以更改簽名且不會讓交易失效。這使得第三方可以在完全不更改交易的“關鍵”字段的前提下更改交易的ID。這樣一來,交易還是有效的,含義也還是一樣的,但是有了另一個ID,這可以用來執行另一種攻擊,比如DoS攻擊。
SegWit解決了這個問題,因為所有的簽名都是放在交易外面的,因此簽名的變動不會導致交易的哈希值變動,也就不會影響交易的ID。隔離見證還引入了一個專門的標識符,叫做“wtxid”:它是交易和整個witness部分的哈希值,所以如果一筆交易在傳播時沒有附帶任何witness數據,交易ID就等于wtxid。
這個解決方案使得我們可以創建一系列前后相繼的未確認交易,而無需擔心任何風險,這對閃電網絡這樣的協議來說是非常重要的。。
網絡和存儲的擴展
Witness數據往往是交易數據中占比最大的一部分。在使用多簽名腳本的交易中,witness最多可能占據交易數據量的75%。感謝SegWit,簽名的傳輸變成了一個可選項:只有節點想要驗證交易時,才需要請求這些數據。而沒有支持SegWit的SPV客戶端和節點也無需下載額外的數據,可以節省硬盤空間。
可用的區塊空間擴大,降低交易手續費
SegWit類型的交易比以往的交易類型更便宜,因為它減少了需要存儲的witness數據。準確來說,“Size”的概念在SegWit類型的交易上略有不同。它引入了一個“虛擬大小”的概念:所有放在witness部分的數據都會乘以0.25來計算數據量大小,從而一個區塊中可以塞進更多的交易。來看一個例子。
假設我們有一筆傳統類型的交易,數據量大小為200字節。那么1MB的區塊里面可以放進5000筆這樣的交易。而一筆等效的SigWit交易有120字節是放在witness區域的,因此其虛擬大小為80+0.25*120=110字節,所以區塊可以放入9090筆這樣的交易。如果上鏈的手續費是每字節40聰,則交易費會從8000聰減低到4400聰,幾乎打了個對折。
腳本版本
你可能已經注意到了,每個鎖定腳本都會有1個字節來表示腳本的版本。使用不同的版本號就能以軟分叉的形式增加或變更功能。
簽名驗證的效率優化
隔離見證也優化了簽名算法的效率。在SegWit之前,哈希計算的次數與簽名數量的平方成正比,但有了隔離見證后,算法的計算復雜度就減低到了O(n)。
參考文獻
Lightningnetworkindepth,part1:paymentchannels“Masteringbitcoin”—AndreasM.AntonopoulosBitcoinCoreblogManysegwitresourcesGoodarticleabouttxnmalleability
巴比特訊,8月23日,PolyNetwork團隊公布攻擊事件的最新進展,具體如下:1.USDT解鎖問題.
1900/1/1 0:00:00據LiveBitcoinNews報道,比特幣ATM運營商CoinFlip現在正在伊利諾伊州芝加哥的舊郵局地區開設新辦事處.
1900/1/1 0:00:00據科技邊角料消息,北京奇虎科技有限公司、中國信息通信研究院日前聯合公開一種“基于聯盟區塊鏈的標識解析方法、裝置、存儲介質及服務器”專利,申請日期為2021年4月29日.
1900/1/1 0:00:00原標題:《元宇宙「只不過」是對數字空間的一次升級》 撰文:李畫 元宇宙概念的膨脹速度似乎比宇宙的膨脹速度的還要快,但很多概念往往不僅沒有幫我們更清晰地了解元宇宙,反而讓我們陷入更大的困惑.
1900/1/1 0:00:00原標題:《四大行“激戰”數字人民幣》 來源:北京商報 作者:北京商報記者?孟凡霞?李海顏數字人民幣迎來試點“熱潮”,國有大行“期中考”成績單首度披露了數字人民幣業務進展.
1900/1/1 0:00:00巴比特訊,9月1日,太坊擴容網絡Arbitrum發推宣布主網測試版本ArbitrumOne已全面上線.
1900/1/1 0:00:00