0
| 本文作者： 吳陽(yáng)煜 | 2018-02-11 19:08 |
雷鋒網(wǎng)AI金融評(píng)論此前報(bào)道，此前發(fā)布了DAG區(qū)塊鏈項(xiàng)目SPECTRE的區(qū)塊鏈初創(chuàng)企業(yè)DAG Labs在2月份正式公布了其最新擴(kuò)容協(xié)議PHANTOM的技術(shù)細(xì)節(jié)，透露其將兼容智能合約，并實(shí)現(xiàn)了在鏈上區(qū)塊的線性排列。據(jù)雷鋒網(wǎng)AI金融評(píng)論了解，在由伯克利區(qū)塊鏈主辦的特幣技術(shù)交流大會(huì)上，DAG Labs的首席科學(xué)家、GHOST協(xié)議的共同作者Yonatan Sompolinsky為在場(chǎng)聽眾詳細(xì)介紹了DAG應(yīng)用區(qū)塊鏈網(wǎng)絡(luò)遇到的具體技術(shù)挑戰(zhàn)，并講解了SPRECTRE項(xiàng)目針對(duì)區(qū)塊鏈交易的擴(kuò)展性、安全性的解決方案和基礎(chǔ)參數(shù)調(diào)整。
首先需要明白，區(qū)塊鏈?zhǔn)切律氖挛?。如果你有一個(gè)系統(tǒng)，要改善擴(kuò)展區(qū)塊鏈的性能，在SPECTRE項(xiàng)目上應(yīng)用DAG（Directed Acyclic Graph，有向無(wú)環(huán)圖）能很好地實(shí)現(xiàn)這一點(diǎn)。
如圖片所示，首先引出兩個(gè)問(wèn)題。首先，目前區(qū)塊鏈中的交易是怎么樣的？大家可以想象在銀行排隊(duì)辦理業(yè)務(wù)的情景，用戶們一個(gè)接著一個(gè)按序列排好等待，只有當(dāng)上一個(gè)用戶完成交易后下一個(gè)用戶才能開始行動(dòng)，通過(guò)這樣的方式來(lái)保證整個(gè)區(qū)塊鏈的一致性和貫徹性。當(dāng)有過(guò)多需要辦理業(yè)務(wù)的用戶擠進(jìn)銀行后，交易堵塞的情況就會(huì)變得越來(lái)越嚴(yán)重。
出于加快交易處理速率的考慮，節(jié)省用戶在等待交易時(shí)耗費(fèi)的時(shí)間，DAG的設(shè)計(jì)能實(shí)現(xiàn)這樣性能的優(yōu)化。對(duì)于這批涌進(jìn)銀行等待交易的用戶，無(wú)論他們手持現(xiàn)金還是辦理銀行卡業(yè)務(wù)，DAG網(wǎng)絡(luò)不再進(jìn)行分類，使他們分成一行行排隊(duì)等待，而是加速去為他們辦理業(yè)務(wù)。如果發(fā)生交易沖突，DAG網(wǎng)絡(luò)會(huì)先記錄在案，在處理完所有用戶的交易后再對(duì)出現(xiàn)的沖突進(jìn)行處置，從整體上加快整批用戶的交易速率。DAG網(wǎng)絡(luò)通過(guò)這樣的安排來(lái)取代傳統(tǒng)排序方式的區(qū)塊鏈，由此推廣為DAG應(yīng)用區(qū)塊鏈的日常。
通常從技術(shù)層面來(lái)說(shuō)，在一個(gè)分布式的系統(tǒng)里，開發(fā)人員都遵循著“CAP”定理來(lái)進(jìn)行開發(fā)和維護(hù)，它們分別是上述提到的一致性、可用性和隔離性。在以往的區(qū)塊鏈中，首先需要注意的因素即為一致性，分布式賬本需要一致，上鏈后的交易信息要保持一致，創(chuàng)建以區(qū)塊，它里面包含的信息必須要和以往的歷史信息保持一致，整個(gè)系統(tǒng)都要設(shè)計(jì)為盡力維持這個(gè)特性。這就是為什么會(huì)出現(xiàn)之前圖中看到的，在銀行排隊(duì)等待信息同步的情況。DAG區(qū)塊鏈網(wǎng)絡(luò)則更為注重可用性，保證每個(gè)用戶都能在這個(gè)網(wǎng)絡(luò)上面完成交易。
DAG應(yīng)用區(qū)塊鏈的技術(shù)挑戰(zhàn)：區(qū)塊混亂生成導(dǎo)致交易沖突
在現(xiàn)在，比特幣的交易速度約為3-7筆每秒，那么什么時(shí)候才能到達(dá)每秒過(guò)千筆的交易速度呢？要實(shí)現(xiàn)這樣的交易性能，需要對(duì)現(xiàn)有的區(qū)塊鏈系統(tǒng)做出什么改造？我們需要先對(duì)區(qū)塊鏈的技術(shù)局限有所了解。首先，讓我們來(lái)看看在一個(gè)包含十個(gè)區(qū)塊的區(qū)塊鏈系統(tǒng)簡(jiǎn)化圖，每秒的交易流程是什么樣的。如圖所示，在每個(gè)區(qū)塊里儲(chǔ)存的信息都會(huì)被導(dǎo)向下一個(gè)生成的連接著的區(qū)塊，每個(gè)分支都導(dǎo)向最初的創(chuàng)世區(qū)塊，使得信息可追溯，從而形成一條條“樹杈”。
而在DAG應(yīng)用區(qū)塊鏈的網(wǎng)絡(luò)中，每一個(gè)區(qū)塊都有相鄰的區(qū)塊可參照，關(guān)注其中一個(gè)區(qū)塊，可以發(fā)現(xiàn)其能與其他區(qū)塊相連打通，體現(xiàn)了高度的可用性，但與此同時(shí)，區(qū)塊之間打通之后，挖礦行為將由于發(fā)生頻繁有可能導(dǎo)致更多的硬分叉，一致性將遭到挑戰(zhàn)。同時(shí)更為嚴(yán)重的是：區(qū)塊不再遵循序列來(lái)排列之后，在各區(qū)塊里的交易沖突事件將會(huì)大幅提升，比如雙花問(wèn)題（double spending）。
特別地，針對(duì)這些問(wèn)題，在DAG網(wǎng)絡(luò)中的挖礦協(xié)議里形成了兩條共識(shí)原則：規(guī)則1，每個(gè)新增的區(qū)塊的誕生，都必須以過(guò)往的全部區(qū)塊作為參照；規(guī)則2，所有區(qū)塊生成的交易信息都必須在第一時(shí)間公布。
這樣一套DAG結(jié)合區(qū)塊鏈的系統(tǒng)，暴露出來(lái)的最大缺點(diǎn)在哪?交易的監(jiān)管是一個(gè)大問(wèn)題。如圖所示，比如用戶在某一個(gè)區(qū)塊里發(fā)生交易之后，有礦工想進(jìn)行挖礦時(shí)，其交易信息很快就會(huì)被公布到整個(gè)區(qū)塊鏈，許多礦工都會(huì)很快求得挖礦結(jié)果，沖突累積得非常之快。所以最主要的挑戰(zhàn)在于，在這樣的DAG網(wǎng)絡(luò)曲線圖里，通過(guò)參考之前的區(qū)塊生成區(qū)塊之后，如何保證新生成的區(qū)塊包含信息的一致性，及隨之而來(lái)在交易中產(chǎn)生的大量沖突?
如何分辨抓住針對(duì)這個(gè)區(qū)塊鏈網(wǎng)絡(luò)發(fā)起的攻擊也是一個(gè)難題，比如前面提到的雙花問(wèn)題。當(dāng)交易發(fā)生后，兩個(gè)礦工同時(shí)挖出結(jié)果的幾率很大，誰(shuí)獲得交易費(fèi)用的獎(jiǎng)勵(lì)?還有，如何計(jì)算不同礦工的工作量證明？另外存儲(chǔ)問(wèn)題也突出的非常嚴(yán)重，如果實(shí)現(xiàn)了每秒過(guò)千筆交易，產(chǎn)生的交易信息數(shù)據(jù)量將會(huì)巨大。還有許多其他隨之而產(chǎn)生的問(wèn)題，但其中最為重要需要解決的首要問(wèn)題還是一致性。
如何針對(duì)這些問(wèn)題研發(fā)解決方案？根據(jù)前面描述的DAG結(jié)合區(qū)塊鏈網(wǎng)絡(luò)應(yīng)用的困境，證明了其只是一個(gè)應(yīng)用模型，它本身是一個(gè)數(shù)據(jù)結(jié)構(gòu)框架，而非現(xiàn)成的解決方案，具體DAG應(yīng)用區(qū)塊鏈網(wǎng)絡(luò)的案例有好有壞。那么該如何制作一個(gè)性能優(yōu)異的DAG應(yīng)用區(qū)塊鏈網(wǎng)絡(luò)的協(xié)議?首先在一個(gè)復(fù)雜的區(qū)塊鏈環(huán)境中，區(qū)塊呈鏈條、分支狀結(jié)構(gòu)排列，很難找到隱藏其中屬于攻擊者的區(qū)塊，但它會(huì)干擾生成正確的區(qū)塊，并會(huì)拖慢整個(gè)區(qū)塊鏈環(huán)境的速度。所以一個(gè)好的DAG應(yīng)用區(qū)塊鏈的協(xié)議，首先需要做到易于分辨找到這些攻擊區(qū)塊。
建立一個(gè)DAG應(yīng)用區(qū)塊鏈的協(xié)議，第一原則是命令每個(gè)區(qū)塊按照給定次序排列，以此來(lái)得到一致性。如前面顯示的這些區(qū)塊，只有給出排列次序后，用戶才會(huì)明白哪個(gè)是創(chuàng)世區(qū)塊，哪個(gè)接在上個(gè)區(qū)塊之后，哪個(gè)區(qū)塊的交易是優(yōu)先處理，才能實(shí)現(xiàn)追溯和保持?jǐn)?shù)據(jù)的一致性。
由此我們從DAG應(yīng)用區(qū)塊鏈的模型進(jìn)入到具體的解決方案案例分析。在SPECTRE協(xié)議背后，有一個(gè)信息投票機(jī)制的考量設(shè)計(jì)。試想象一下，在一條區(qū)塊鏈上為許多杰出運(yùn)動(dòng)員投票，選出最佳，這就意味著用戶需要選出一個(gè)優(yōu)勝者，舍棄其他所有剩下的。這就像是在一個(gè)社區(qū)里面，投票的人互相告知自己最喜愛(ài)的運(yùn)動(dòng)員是哪個(gè)，要為哪位運(yùn)動(dòng)員投票。我們稱之為“單一贏家投票模式系統(tǒng)”（single winner vote system）。
但在這套系統(tǒng)里面，只是憑借最為多數(shù)的投票量選出唯一一個(gè)優(yōu)勝者，而無(wú)法對(duì)所有候選的運(yùn)動(dòng)員做出排名。在一個(gè)多勝者投票系統(tǒng)（multi-winner voting system）里，用戶可以對(duì)所有候選運(yùn)動(dòng)員進(jìn)行投票，分出名次。由此系統(tǒng)可以整合用戶對(duì)所有投票對(duì)象的偏好信息，擴(kuò)展補(bǔ)充了這些信息量。
回到甄別攻擊區(qū)塊的問(wèn)題上，如圖中所示，我們可以將區(qū)塊與區(qū)塊之間看成是彼此競(jìng)爭(zhēng)的存在，但針對(duì)紅色的這條獨(dú)立于主鏈的鏈條，區(qū)塊之間共享所有的信息后也無(wú)法得知這條獨(dú)立鏈條的存在，所以這條隱藏的孤鏈有小概率的可能在生成區(qū)塊的過(guò)程中變成較長(zhǎng)的一條，從而奪得對(duì)整個(gè)區(qū)塊鏈網(wǎng)絡(luò)的控制。
為了防止這種情況，在SPECTRE的DAG區(qū)塊鏈網(wǎng)絡(luò)協(xié)議中，我們采用了全體用戶投票的機(jī)制，來(lái)形成整個(gè)網(wǎng)絡(luò)的架構(gòu)。具體到每個(gè)區(qū)塊的生成次序，用戶可以在Z區(qū)塊上決定X區(qū)塊和Y區(qū)塊的生成次序，礦工沒(méi)有投票權(quán)，只需遵循這樣的順序進(jìn)行挖掘，去按照算法推導(dǎo)計(jì)算Y區(qū)塊在X區(qū)塊之后生成的邏輯過(guò)程，防止其出于牟利而主導(dǎo)控制整片區(qū)塊鏈網(wǎng)絡(luò)的生成。當(dāng)指定了具體的投票機(jī)制生成區(qū)塊后，在每個(gè)區(qū)塊上的投票匯集成大多數(shù)用戶的意見(jiàn)，由此來(lái)決定整個(gè)區(qū)塊鏈網(wǎng)絡(luò)的生成次序。
圖中新生產(chǎn)的區(qū)塊，它來(lái)源于X區(qū)塊群和Y區(qū)塊群共同投票的結(jié)果，根據(jù)多數(shù)原則，新的區(qū)塊緊跟在X區(qū)塊鏈后生成。藍(lán)色的Z區(qū)塊群只承載了X區(qū)塊的信息，沒(méi)有參考Y區(qū)塊鏈，這意味著，對(duì)于藍(lán)色Z區(qū)塊而言，Y區(qū)塊鏈屬于隱藏狀態(tài)，沒(méi)有辦法得知它的存在。
這是一個(gè)主觀的觀點(diǎn)，同樣的，對(duì)于連接在Y區(qū)塊鏈之后的紅色Z區(qū)塊群，由于沒(méi)有參考X區(qū)塊的信息，也沒(méi)辦法知道X區(qū)塊群的存在。所以，圖中這個(gè)黃色區(qū)塊生成的時(shí)候，通過(guò)參考相鄰的區(qū)塊可以得知，它是一個(gè)屬于X的區(qū)塊。依次類推下去，根據(jù)投票機(jī)制最終推導(dǎo)出全部區(qū)塊的歸屬，從而確定整個(gè)區(qū)塊鏈網(wǎng)絡(luò)的架構(gòu)?？梢钥吹?，Y區(qū)塊鏈沒(méi)有參考任何可信的區(qū)塊節(jié)點(diǎn)，實(shí)現(xiàn)針對(duì)這個(gè)區(qū)塊鏈網(wǎng)絡(luò)的雙花攻擊辨別。
所以我們可以總結(jié)出來(lái)，和一開始提到的其他DAG應(yīng)用區(qū)塊鏈網(wǎng)絡(luò)相比，SPECTRE的網(wǎng)絡(luò)架構(gòu)設(shè)計(jì)安全性有了很大的提升，原因在于在這樣的機(jī)制下，正常用戶生成區(qū)塊之后，攻擊者的區(qū)塊不可能占大多數(shù)的區(qū)塊來(lái)發(fā)起攻擊，可信的區(qū)塊永遠(yuǎn)優(yōu)于有問(wèn)題的可疑區(qū)塊，杜絕了51%攻擊的可能性，同時(shí)實(shí)現(xiàn)了整個(gè)網(wǎng)絡(luò)極高的可用性。這樣的設(shè)計(jì)保證了，在一秒生成十個(gè)甚至過(guò)百個(gè)區(qū)塊的前提下，在網(wǎng)絡(luò)上包括的可信區(qū)塊在內(nèi)的所有區(qū)塊，不會(huì)缺乏排序指令而互相散亂連接，從而導(dǎo)致開始提到的種種引起混亂的安全性問(wèn)題。
用戶在鏈上，什么時(shí)候應(yīng)該公布他們的交易？在區(qū)塊里，公布交易到整個(gè)網(wǎng)絡(luò)的速度會(huì)有數(shù)百秒的延遲，然后快速?gòu)V播到公網(wǎng)上，如果發(fā)生了由于雙花現(xiàn)象引起的交易沖突，在投票機(jī)制下會(huì)發(fā)生無(wú)限延遲的情況。X區(qū)塊群之所以優(yōu)于Y區(qū)塊群能成為主鏈，在于全體用戶投票生成區(qū)塊的機(jī)制，而如果X和Y同時(shí)公布交易，系統(tǒng)可能將無(wú)法即時(shí)判斷作出決定。但這樣只會(huì)傷害到攻擊者本身，無(wú)法對(duì)系統(tǒng)造成損失。作為一個(gè)可信區(qū)塊，其根據(jù)序列承載上個(gè)區(qū)塊信息生成，不會(huì)與相鄰區(qū)塊發(fā)生連接，故不會(huì)出現(xiàn)雙花問(wèn)題。
在保證安全性的基礎(chǔ)上，整個(gè)區(qū)塊鏈網(wǎng)絡(luò)展現(xiàn)出高擴(kuò)展性。那么，在這個(gè)網(wǎng)絡(luò)上實(shí)現(xiàn)每秒過(guò)千筆交易的性能，會(huì)遇到哪些限制?首要的局限性體現(xiàn)在帶寬上。如果每秒不限制地生成過(guò)百個(gè)區(qū)塊，太多的區(qū)塊生成累積將會(huì)超出承載，沒(méi)有辦法解決任何問(wèn)題。而是需要根據(jù)不同的目標(biāo)交易量的設(shè)置，來(lái)確定不同類型區(qū)塊的最小帶寬。舉個(gè)例子，為了實(shí)現(xiàn)一萬(wàn)TPS的交易性能，SPECTRE調(diào)整每秒五MB的帶寬，每秒生成十個(gè)零點(diǎn)五MB規(guī)模的區(qū)塊。
區(qū)塊的帶寬限制和交易頻率存在著擴(kuò)展性和追求去中心化的取舍關(guān)系：降低區(qū)塊的帶寬能允許更多的用戶參與，有利于去中心化的趨勢(shì)發(fā)展，但卻會(huì)使交易頻率受影響，如何在它們之間保持平衡是需要重點(diǎn)考慮的問(wèn)題。試著想象，假如將區(qū)塊的最低帶寬調(diào)整到兩MB每秒，那么每秒能處理的交易額遠(yuǎn)遠(yuǎn)達(dá)不到一萬(wàn)筆，系統(tǒng)可能會(huì)被擁堵的交易淹沒(méi)。所以在設(shè)計(jì)區(qū)塊鏈網(wǎng)絡(luò)時(shí)，不能出于單純提高更多用戶的參與度的考慮，任意改變區(qū)塊的帶寬和基礎(chǔ)參數(shù)的設(shè)置，這會(huì)影響到整個(gè)區(qū)塊鏈網(wǎng)絡(luò)的運(yùn)營(yíng)和目標(biāo)交易性能。
另一個(gè)限制是數(shù)據(jù)儲(chǔ)存的問(wèn)題。如果以每秒產(chǎn)生一MB的信息計(jì)算，每天將會(huì)生成八十六GB的數(shù)據(jù)量。在SPECTRE區(qū)塊鏈網(wǎng)絡(luò)上，不可能將所有的數(shù)據(jù)都儲(chǔ)存上鏈，這樣才是合理的選擇。因此，我們提出了一個(gè)名為“檢查點(diǎn)運(yùn)轉(zhuǎn)”（rolling checkpoints）的數(shù)據(jù)儲(chǔ)存解決方案。在每天的挖礦工作結(jié)束后，面對(duì)數(shù)百個(gè)生成的全新區(qū)塊，SPECTRE會(huì)將此前發(fā)生的交易數(shù)據(jù)信息儲(chǔ)存在一個(gè)固定的中心化節(jié)點(diǎn)，供整個(gè)區(qū)塊鏈網(wǎng)絡(luò)定期檢查更新。
這需要用戶對(duì)系統(tǒng)提交信任，相信此前其儲(chǔ)存的信息沒(méi)有遺漏錯(cuò)誤，或者篡改的情況。在這種情況下，儲(chǔ)存數(shù)據(jù)的中心節(jié)點(diǎn)需要驗(yàn)證演示儲(chǔ)存數(shù)據(jù)的真實(shí)性以保證無(wú)誤。同樣，在去中心化的數(shù)據(jù)儲(chǔ)存和系統(tǒng)性能之間，我們必須找到不停尋找更好的辦法來(lái)達(dá)到平衡。
從當(dāng)前來(lái)看，在分層結(jié)構(gòu)的區(qū)塊鏈網(wǎng)絡(luò)治理中，礦工是非常重要的因素，可以影響協(xié)議更新、激勵(lì)機(jī)制，還能覺(jué)得交易的有效性。假設(shè)現(xiàn)在需要購(gòu)買集裝箱的儲(chǔ)存服務(wù)，只能通過(guò)經(jīng)濟(jì)激勵(lì)的手段來(lái)號(hào)召工人來(lái)提供貨物的搬運(yùn)儲(chǔ)存服務(wù)。與其相類似，在區(qū)塊鏈數(shù)據(jù)層上的礦工服從于工作量證明的共識(shí)機(jī)制，在驗(yàn)證支付的獎(jiǎng)勵(lì)是正確的之后，才會(huì)繼續(xù)進(jìn)行下一項(xiàng)挖礦工作。沒(méi)有完善的激勵(lì)和獎(jiǎng)懲機(jī)制，礦工將有可能隨意處置用戶的交易信息，可能會(huì)在公網(wǎng)廣播公布，也可能會(huì)將正確發(fā)生的交易處理為無(wú)效交易。
在SPECTRE的分層結(jié)構(gòu)中，應(yīng)用層和數(shù)據(jù)層相互隔離。在數(shù)據(jù)層上，礦工只負(fù)責(zé)收集交易數(shù)據(jù)，確保這些數(shù)據(jù)代表了有效發(fā)生的交易，來(lái)形成一個(gè)可追溯的不可篡改的共享數(shù)據(jù)庫(kù)。而在應(yīng)用層上，需要生成分布式賬本來(lái)體現(xiàn)數(shù)據(jù)，解釋每一筆交易的來(lái)龍去脈，由于不同的應(yīng)用遵循著不同的交易邏輯，在DAG網(wǎng)絡(luò)中還要接入智能合約等不同的交易系統(tǒng)來(lái)實(shí)現(xiàn)執(zhí)行，并最終生成交易數(shù)據(jù)以驗(yàn)證礦工的工作結(jié)果。
雷鋒網(wǎng)
雷峰網(wǎng)原創(chuàng)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見(jiàn)轉(zhuǎn)載須知。
