閃電網路是一種去中心化的鏈下技術方案,可支持每秒上萬筆交易並發,接近於 Visa 系統能做到的程度(舉個例子)。而在當前的比特幣(世界上最流行的密碼學貨幣)區塊鏈上,只能支持每秒處理約 7 筆事務,還要付出高昂的手續費,並等待很長時間來確認交易生效,這些因素都使得用比特幣發送小額交易幾乎不可能。而閃電網路把這兩個問題都解決了。本文源自於 Magomed Aliev 的《 Lightning network in depth, part 1: Payment channels 》,由動區專欄作者 以太坊愛好者 整理、編譯與撰稿。
(前情提要:閃電網路的必要環節:一個去中心化的流動性市場)
(背景補充:科普 | 理解閃電網路 Part – 1:構建比特幣的雙向通道)
閃電網路是一種支付通道系統,與常見的多簽名錢包沒有任何區別。所謂開啟通道,就是參與方創建一個多簽名錢包,並向該錢包充入資金。這個錢包接收到的資金數量就成為這個通道的餘額。再然後,參與方之間的後續交易就全部在區塊鏈以外的環境中發生了。
任一參與方都能隨時關閉這個通道,這時候,最後一筆鏈下的交易(決定著該通道各參與方的餘額)會被發送到區塊鏈上,同時作廢掉所有中間的交易,因為所有這些交易都使用同樣的交易輸出。
結果是,我們只需一筆交易來開啟通道、一筆交易來關閉通道,中間所有的中間交易都是即時收發的,無需記錄在區塊鏈上(因此無需等待)。
(譯者註:比特幣不是賬戶裡面的餘額,是一張張的支票;所有的支票都是由具體的某筆交易創造的;每一張支票都只用一次就會作廢(也即只能用在一筆交易中)。交易可以任意分配所用支票的價值來生產任意數量的新支票。)
這樣的通道所組成的網路使你可以向網路的另一個參與者發送資金,即使你們之間並無直接的通道。唯一的條件是你們之間要能形成一條 「路徑」,即有通道能前後相接地把你和對方聯繫起來。此外,得益於特殊的智能合約(HTLC,哈希時間鎖合約),你不需要信任網路中的任何人,合約會保證安全地交付你支付的資金。
要理解閃電網路是如何運行的,首先要理解的是支付通道的運行以及構成支付通道基礎的 HTLC。這些話題都不小,所以我把文章分成了兩部分,從解釋支付通道的工作原理開始。
支付通道
如上所述,連接兩個參與者的支付通道實質就是一個普通的多簽名錢包。第一筆交易決定了一個通道的餘額,我們稱為 「充值事務」 或者 「錨點事務」。這筆交易需要廣播到網路中並記錄到區塊鏈上,以表明通道開啟。
做完了這一步之後,要更新通道雙方的餘額時,雙方就需要手動交換簽過名的 「承諾事務」。這些交易本身都是有效的,隨時可以發送到比特幣網路中,但雙方都會暫時保存起來,不會廣播出來,除非已準備關閉通道。
如此一來,通道內雙方的餘額狀態,一秒內變動幾千次也沒問題,更新的速度僅受限於雙方創建、簽名和向對方發送承諾事務的速度。
每次雙方交換了一筆新的承諾事務,他們也就把通道的前一個狀態作廢掉;因此,只有最新的一筆承諾事務可以 「執行」。這樣設計的目的是防止某一方詐騙對方,把一個過時的但對自己有利的狀態發送到鏈上來關閉通道。下文我會講解幾種防止這種詐騙的機制。
最後,通道既可以雙方一致同意關閉 —— 就是把一筆關閉事務(叫做 「結算事務」)發送到比特幣網路中 —— 也可以單方決定關閉,就是把最後一筆承諾事務發送到網路中。這是為了防止某一方離線導致另一方在通道中的餘額一直 「鎖定」 的情形。
在通道存在的整個生命週期裡,只有兩筆事務被發到了比特幣網路中並記錄到了比特幣區塊鏈上(就是充值事務和結算事務)。在這兩筆事務之間,雙方可以交換無數次承諾事務,這些事務都不需要提交到區塊鏈上。
一個簡單的支付通道案例
在解釋更加複雜的機制之前,我們先來考慮一個簡單的、單向的通道的例子。為了簡化這個解釋,我們假設雙方都是誠實的。後面我們會再考慮幫助我們阻止詐騙的機制。
假設一個通道有兩個參與者,Emma 和 Fabian。 Fabian 提供付費的視訊串流服務,而觀看者通過通道來實現小額支付 —— 每觀看一秒就要付出 0.00001 btc,相當於每小時 0.036 btc 。 Emma 是一個想看影音的普通用戶。
Emma 和 Fabian 使用一個特殊的程式來同步播放影音和運行支付通道。 Emma 在自己的網路瀏覽器中啟動這個程式,而 Fabian 在自己的伺服器上使用同一個程式。這個程式具有一個普通的比特幣錢包軟體的所有功能,它可以創建和簽名交易。支付通道的整個機制可以完全隱藏起來,用戶看到的事實就是這個程式是按秒計價的。
現在我們來看看這個付費服務的具體工作流程。一開始,Emma 和 Fabian 要開啟通道:建立一個 2 – 2 的多簽名地址。從用戶的視角來看,這個程式創建了一個 P2SH 地址(一個多簽名錢包)並要求用戶充入足以支付一個小時影音服務的資金。 Emma 轉了 0.036 btc 到這個地址,而這筆交易也就成了所謂的充值事務。
充值事務被打包到某個區塊之後,這個通道就算開啟了,影音也就開始播放。在第一秒鐘,用戶創建並簽名了一條承諾事務,改變了通道內的餘額:
現在 Fabian 有了 0.00001 btc,Emma 還剩 0.03599 btc 。這筆事務使用了充值事務的輸出,並創建了兩個輸出,含義就如我們這裡所述。從服務商的角度看,程式收到了這筆事務,於是也簽上名、連同第一秒的影音發回給 Emma。
現在雙方都有了一筆對方手動簽過名的、反映通道最新狀態的承諾事務;如有需要,任何一方都可以把這筆交易發送到比特幣網路中。
到了第二秒,Emma 這邊的程式又創建了一筆新的承諾事務,使用的同樣是充值交易的輸出(跟第一筆一樣),這一次,承諾事務的第一個輸出給了 Fabian 0.00002 btc,把 0.03598 給了 Emma。這筆事務用來支付第二秒的影音下載。
我們假設,Emma 看了 10 分鐘的影音,然後就退出了。在這段時間裡,她簽名並發送了 600 筆承諾事務(600 秒的影音)。最後的一筆有兩個輸出:0.03 btc 給 Emma,和 0.006 給 Fabian。 Emma 關閉了通道,把最後一筆承諾事務廣播到了比特幣網路中作為結算事務。如此,這個通道只有一頭一尾兩筆事務記錄到了區塊鏈上。
免信任的通道
當然,從這個例子來看,一切都好,但這是因為雙方都是誠實的。不難想像某些時候,其中一方會欺騙對方,像上面這麼簡單的設計可能就不夠用了。
雖然通道開啟著,Emma 還是需要 Fabian 的簽名來取出資金,因為這個通道是 2 – 2 的多簽名地址。如果 Fabian 消失了,Emma 的資金可能會永遠鎖在這個通道裡面。
雖然通道開啟著,Emma 可以使用任何一筆雙方都簽過名的承諾事務。在觀看影音 10 分鐘之後,她可以拿第一筆承諾交易上鏈,完全不需要經過 Fabian 的再次同意。
時間鎖
這些問題的一種解決方案是在承諾事務中使用時間鎖(事務層面的時間鎖(nLocktime))。為了保證資金不會在通道中永遠鎖定,Emma 使用她的充值事務的輸出創建了一個退款事務。她先給 Fabian 發送這筆事務,等 Fabian 簽名並發回後,Emma 才把充值事務廣播到比特幣網路中,開啟他們的通道。
這筆退款事務也成了第一筆承諾事務,而且它的時間鎖為通道設置了一個存在時間的上限。假設 Emma 把時間鎖設置為 30 天(4,320 個比特幣區塊)(即 30 天之後這筆事務才能記錄到區塊鏈上)。接下來所有的承諾事務,所設置的時間鎖會一個比一個短,這樣更新的事務就能更早廣播到網路中。
現在 Emma 不用再擔心了,她知道即使 Fabian 鬧失蹤,她也可以在 30 天之後取回自己的資金(如果這是一條雙向的支付通道,即 Fabian 也會存錢進去,那他也從自己的角度提出一筆退款事務)。
每一筆新的承諾事務的時間鎖都比前一筆要短,因此,新一筆承諾事務總是能比舊的更早上鏈並使舊的事務作廢(無法上鏈),這樣就能防止任何一方惡意使用舊的承諾事務。如果一切順利,Emma 和 Fabian 只需廣播雙方一致的普通結算事務,因此帶時間鎖的承諾事務只有一方下線時才會派上用場。
舉個例子,如果第一筆承諾事務的時間鎖是 4,320 個區塊,那麼第二筆承諾事務可以設成 4,319 個區塊,以此類推。如此一來,第 600 筆承諾事務可以比第一筆承諾事務早 600個區塊上鏈。
你可能也注意到了,這種方法雖然有助於防止某一方把更早的承諾事務上鏈(詐騙),但它有兩個明顯的缺點:
- 第一筆承諾事務的時間鎖限制了這個通道的壽命。如果這個時間鎖設置的時間太長(比如 1 年),通道可以存在很久,但如果某一方玩失蹤,另一方就不得不等待很長時間才能廣播最後一筆承諾事務、取回自己的資金。
- 第一筆承諾事務的時間鎖也限制了可以在通道內發生的交易次數。在我們的例子中,這個數值是 4,320,這個通道內只能發生 4,320 筆事務,因為每一筆新事務都會把時間鎖的時間減去 1 個區塊。而且,以區塊(10 分鐘)為間隔,等於是強迫參與方要追蹤比特幣網路的區塊,以免錯過什麼,以及在情形不對時儘早把最後一筆承諾事務上鏈。當然,這個間隔是可以延長的,但代價是通道內可以發送的交易數量會變得更少。
因此,時間鎖讓我們可以作廢舊的承諾事務並保證通道雙方都可以安全地關閉通道:如果他們都同意通道的最新狀態,他們可以發送一筆不帶時間鎖的結算事務(與最後一筆承諾事務意思相同),關閉通道;如果某一方不在線,另一方也可等待最後一筆承諾的時間鎖解鎖,然後把該筆承諾事務廣播到比特幣網路中。
不對稱的可撤銷承諾
另一種解決上述信任問題的辦法是取消早前的承諾事務。實際上,「取消」(cancellation) 這個詞是不準確的,因為在比特幣網路中,一筆上鏈的事務(得到區塊確認的事務)是永遠不可取消的。不過,特殊的構造方式可以使得上鏈較早的承諾事務無利可圖。只需給予各方一個 「撤銷密鑰」(revocation key)即可。
假設 Hitesh 和 Irene 決定開啟一個通道。雙方都充值了 5 btc 到這個通道中,確定了通道的初始餘額。現在,雙方不是簽署同一筆標準的承諾事務,而是各自創建兩筆不同的、不對稱的承諾事務。
Hitesh 拿到的由 Irene 簽名的事務有兩個輸出,第一個輸出不帶時間鎖,立即給 Irene 支付 5 btc,而第二個輸出帶有時間鎖,支付 5 btc 給 Hitesh,但要等(這筆事務上鏈後的) 1,000 個區塊之後,這個輸出才能花用。詳情如下:
與此同時,Irene 也可拿到由 Hitesh 簽名的一個承諾事務,有兩個輸出:一個立即給 Hitesh 支付 5 btc,另一個輸出則給 Irene 支付 5 btc,但要等 1000 個區塊之後才能花。
因此,雙方都拿到了一筆由對方簽名的承諾事務。 Hitesh 和 Irene 都可以隨時把手上的承諾事務簽名後廣播出去,但是,一旦這麼做了,另一方都會立即拿到錢,而自己只能等到 1,000 個區塊之後才能拿到,這可是大大的不利。不過,這還不足以讓雙方都誠實守信。
這就要講到我們的最後一個功能了,可撤銷的密鑰,使得任一方如果試圖詐騙,對方都可以懲罰 TA,使之血本無歸。
如上所述,每一筆承諾事務都有一個 「延後」 的輸出,我們把這個輸出做得再複雜一點:這個輸出既可以被等待了 1,000 個區塊的承諾事務發送者使用,也可以被通道的另一方使用,如果 TA 持有撤銷密鑰的話。
當 Hitesh 創建承諾事務並交給 Irene 時,他的第二個輸出既可以為自己所用(要等待 1000 的區塊)也可以為 Irene 使用,如果後者掌握了撤銷密鑰的話。
Hitesh 會秘密地保管這個密鑰,僅當他決定使用新的一筆承諾事務來更新通道內狀態時才會發給 Irene。事務的詳情如下:
(譯者註:看代碼會更清晰一些:第一個輸出是給立即 Irene 支付 5 btc;第二個輸出則是帶條件的,既可以使用撤銷密鑰,立即獲得 5 btc,也可在 1000 個區塊後,使用 Hitesh 的私鑰來使用這個輸出。注意這裡的 「IF…ELSE…”」式條件,它跟我們在其它的電腦編程中的含義是一樣的。)
附帶一個例子可能會更容易理解。假設 Irene 希望給 Hitesh 發送 2 btc,這時候他們要更新通道的狀態,也就是要創建一筆新的承諾事務。
雙方各自創建一個不對稱的承諾事務,並且,在簽名之前,先把上一筆承諾事務的撤銷密鑰交給對方,如此便 「撤銷」 了上一筆承諾事務。
如果 Hitesh 希望以通道最後的餘額來結算,而 Irene 看著覺得更舊的狀態對自己更有利,她可以嘗試把自己手中的上一筆承諾事務簽名後廣播到網路中,但這筆承諾事務的撤銷密鑰已經暴露給了 Hitesh;
如果他發現這筆承諾事務上鏈了,他有足足 1,000 個區塊的時間可以把通道內的所有錢都拿走(第一個輸出當下就給了他,而第二個輸出只需他提供撤銷密鑰就可以立即使用)(沒錯,這個 「取消」 的動作沒法自動化,Hitesh 必須關注 Irene 是否發送了舊的承諾事務到網路中,然後使用撤銷密鑰)。
因此,這種使用不對稱可撤銷承諾的通道的效率要更高,因為它不限制通道的壽命,也不限制交易發送的次數。
結語
到這裡,我們的第一篇文章就結束了,估計你也要一段時間來消化一下。在下一篇文章,我們會解釋 HTLC 的功能,最終解釋閃電網路是如何工作的。
📍相關報導📍
比特幣科普 | eltoo:閃電網路和鏈下合約的簡化更新機制
關鍵截圖曝光!工程師 : Twitter內建「比特幣小費支付」已好!使用閃電網路
a16z投資的 Substack 推出比特幣付款訂閱!合作 OpenNode 透過閃電網路支付
讓動區 Telegram 新聞頻道再次強大!!立即加入獲得第一手區塊鏈、加密貨幣新聞報導。
LINE 與 Messenger 不定期為大家服務