平行鏈是如何從研究論文,變成代碼實現的?平行線程、嵌套中繼鏈等,未來將如何發展?平行鏈可擴展性的極限在哪里?在2021PolkadotDecoded的圓桌討論“解析平行鏈:誰做了平行鏈?平行鏈是什么?為什么要有平行鏈?”中,研究員Jeff、代碼實現者Rob和主持人Joe一起討論了一些對于平行鏈發展很重要的問題。PolkaWorld在本文中總結了該圓桌主要內容。
Jeff:JeffBurdges,W3F密碼學研究員,做了很多平行鏈開發方面的研究
Rob:RobertHabermeier,波卡聯合創始人/Parity核心開發者,帶領實現團隊讓平行鏈能夠在實際中運行起來
Joe:JoePetrowski,W3F技術集成負責人,本場圓桌主持人
Joe:大約一年半以前,Jeff帶領著一個團隊發表了一篇關于可用性和有效性的論文。在實現時,這個方案已經改變了很多。Jeff,你可以簡單談一談這篇論文的想法是如何產生的嗎?
Jeff:我們從以太坊生態那里獲得了一些想法,比如使用糾刪碼的想法。但是圍繞這些想法的一些具體的東西,比如如何優化分片,都沒有正式確定下來。
WalletConnect 發布錢包開源解決方案 Web3Modal v2.0 版本,新增 ENS 域名解析等功能:9月17日消息,Web3 基礎設施 WalletConnect 發布錢包開源解決方案Web3Modal v2.0版本,新功能包括可自定義的UI、支持上百個錢包、最終用戶登陸、可定制的條款和條件、ENS域名解析,未來幾周內也計劃添加和增強更多功能,包括支持React和Vanilla等多種框架、為賬戶地址和實時余額等功能預建組件、支持非EVM鏈等。[2022/9/17 7:02:59]
在2019年末,我們決定要把這些想法正式化,提出更精確的方法。一般來說,我們設計復雜協議的方式是,我會寫下所有可能的設計選項,然后用排除法。
在2020年初,我寫下了這個設計,并且和大家討論,我們注意到了一些問題,我想出了一個叫“Two-phaseinclusion”的技巧。也就是說在真正開始之前,平行鏈中繼鏈必須知道一個區塊,驗證人必須說這個區塊是有效的。
之后我們開始做糾刪碼,然后開始做真正的檢查它的工作。這樣做的好處之一是,因為有人在這個過程中投入了很多切身利益,從而會限制其可以嘗試的次數。從而做到如果你要攻擊它,那么你也會毀掉你自己。它不是加密學安全性,而是分布式系統安全性,但是是合理的。
Joe:對于不熟悉分片的人來說剛剛說的可能有點抽象。其實就是,我們有一千個驗證人,當你想要包含這些平行鏈區塊中的一個時,你其實需要把數據塊發給所有驗證人,涉及到費用、復雜性、網絡、存儲等,讓所有人都得處理這個消息,所以你想要真正確保這些消息是有效消息,而且是有理由的。
Beosin解析Reaper Farm遭攻擊事件:_withdraw中owner地址可控且未作任何訪問控制:8月2日消息,據 Beosin EagleEye 安全輿情監控數據顯示,Reaper Farm 項目遭到黑客攻擊,Beosin 安全團隊發現由于_withdraw 中 owner 地址可控且未作任何訪問控制,導致調用 withdraw 或 redeem 函數可提取任意用戶資產。攻擊者(0x5636 開頭)利用攻擊合約(0x8162 開頭)通過漏洞合約(0xcda5 開頭)提取用戶資金,累計獲利 62 ETH 和 160 萬 DAI,約價值 170 萬美元,目前攻擊者(0x2c17 開頭)已通過跨鏈將所有獲利資金轉入 Tornado.Cash。[2022/8/2 2:54:18]
Jeff:是的。糾刪碼其實挺老了,有不同類型的糾刪碼。不過一般來說當如果你用密碼學的話,一般是使用一些基于拉格朗日插值法或者里德-所羅門碼之類的。原因是它的閾值很陡峭,所以我們可以從任何三分之一的碎片,來恢復全貌。
那我們怎么做呢?我們有平行鏈區塊,叫做候選區塊,我們有3f+1個驗證人。那么我們把這些東西糾刪碼為3f+1個碎片,你只要有了任何的f+1個碎片,就可以重構原始區塊。也就是說只要比1/3多一點點的碎片,你就可以重構原始區塊。
這是一種很古老的數學方法,實際上是讓我們的速度更快。根據我們目前的驗證人數量,我們必須找到一些比較新的論文,來進行優化。這就是我們今年做的事——去大大優化糾刪碼。我們讓它的運行速度快了400倍,漸進地看其實更快。從O(N2)?算法到了O(logn)算法。這讓計算變得沒有那么的有負擔。之后我們可能還會做得更好。這是我們最近的一個突破,當然了如果我們能在更早就解決的話就好了哈哈哈。
Etherscan現支持以太坊域名服務ENS反向解析:5月12日消息,以太坊域名服務(Ethereum Name Service,簡稱ENS)發推稱,Etherscan目前支持ENS反向解析。ENS反向解析可使用戶的ENS域名成為跨DApp的以太坊賬戶的便攜式用戶名。除Etherscan外,使用此功能的其他DApp包括Uniswap、Opensea、Aavegotchi和Snapshot Labs等。目前,要使用該服務,用戶必須手動啟用反向解決,之后將更改為自動啟動;DApp須在其UI代碼中使用PR。
注:正向解析(Forward resolution,FR)是將一個ENS域名解析到以太坊地址等資源,反向解析(Reverse resolution,RR)是指將一個以太坊地址解析到一個ENS域名。[2021/5/12 21:52:40]
Joe:把這些研究變成代碼,其實也是很大的挑戰。我們去年年中上線了Rococo測試網,Rob可以談談這個協議的實現早期遇到的一些挑戰嗎?
Rob:我記得第一次跟平行鏈相關的代碼提交是在2018年下半年,2019年中有了我們所說的V0協議的初稿,在最初的幾年中,我們更多地投入在BABE、GRANDPA共識上,也就是出塊和區塊確認方面,那時候其實還沒有真的深入研究平行鏈的東西,因為平行鏈的部分更復雜,需要更多的開發時間。
從2019年中后期到2020年初左右,事情有了很大的進展,就像剛剛Jeff提到的,研究團隊開始真正把協議確定下來了,像是可用性確保了平行鏈區塊仍然存在,以便其他人可以檢查它們,來進行額外的檢查,從而確保安全性。
V神:預測市場的結果解析層和市場層正在分離:V神在推特表示,預測市場正在分離:結果解析層(如果發生某些事件,給1美元的代幣,沒有發生返回0代幣)與市場層(如何交易這些代幣)分離。[2020/9/26]
我覺得實現所有的這些研究其實非常困難。如果你在構建任何類型的系統,那么你每向系統添加一點額外的復雜性,那么創建該系統所需的時間就會指數級增加。這個規則也同樣適用于代碼,因為一旦你達到了一定的代碼量,其實真的很難再添加更多的東西,因為新的東西一定會擾亂、破壞之前做好的一些東西。
所以說有一個好的設計和規劃是很重要的,在我們迭代協議的時候,我們肯定會來來回回做一些研究。但是2020年的時候,我們把精力放在了《實現者指南》上,在那里面進行迭代,而不是在代碼里。我可以和Jeff和Al通話,來討論論文草案里的內容,然后寫一個頁面來說明“我們會這樣寫代碼”,而不是直接就去寫代碼,我們用這種方法節省了幾周的時間,之后我可以把這些寫代碼的工作分配給很多個開發者。
所以我覺得在建設這樣的系統的時候,有一個很好的計劃很重要。還有就是有一個模塊化的系統,這樣的話你可以添加一個獨立部分的代碼,你可以把這些代碼整理成小的包,而不是一整個系統,因為一個人很難搞定一整個龐雜的系統。
Joe:說到目前的階段。現在Kusama已經上線了Shell空白鏈,Rococo上已經有了12條平行鏈,但是Kusama的出塊時間在12秒左右,我們正在解決這個問題。為了將出塊時間提高到6秒,并且在Kusama上上線更多的鏈,短期內我們面臨的挑戰是什么?
分析 | USDT聽證會解析:瑞海君看幣觀點:一、預計聽證會圍繞的主題有如下兩個:
1.Bitfinex和Tether不顧美國法律和監管,為紐約州居民提供了相關服務。
2.Bitfinex和Tether之前在美國的業務,觸犯了美國的反洗錢法(這個才是對USDT具有巨大殺傷力的議題)。
二、?今晚可能達成的幾種結果:
1.BFX和Tether違規為美國居民提供服務罪名成立,會導致兩家共識會繼續被調查,且會被美國要求提供更多的運營資料,洗錢的事情沒結果,但是也要提交更多資料自正清白,這是利空!會導致USDT這個雷持續懸在整個幣圈的頭上,然后美國來一條新聞,幣圈震動一次,簡直就是噩夢。(概率中性)
行情影響:短暫反彈,然后繼續震蕩陰跌。
2.兩項罪名都沒結果,短暫利好,BFX繼續和美國扯皮,大家松一口氣暫時?,價格可能出現反彈。(可能性較大)
行情影響:短暫反彈,后市寬幅震蕩為主。
3.兩項罪名都成立,不可想像(可能性較小)!
行情影響:區塊鏈騙局。
洗錢罪名直接成立可能性也較小,調查沒那么快,所以請大家系好安全帶,等待靴子落地,兩只靴子到底如何落地,落地幾支,只有靜候今晚的聽證會了。[2019/7/29]
Rob:我覺得這一切本質上說都歸結到網絡。Kusama有900個驗證人,這些驗證人都是一些擁有KSM的人,在全球部署了節點來同步鏈。這件事很酷,這可能是全球最大的驗證人集之一。
但是當你向這個網絡添加一些復雜性,比如添加平行鏈的時候,肯定就會增加很多負載。其實我們之前也在Rococo上用相同的參數測試過,但是在Kusama上的效果卻完全不同,因為在Kusama上驗證人節點在全球各地運行,所以最主要的挑戰就是讓網絡代碼盡可能平穩地運行。我們寫網絡代碼的時候,做了很多反作弊的機制,這種東西就是,如果沒人搗亂的時候你都注意不到它的存在,但是如果有人作惡,你就會發現這些防御機制非常重要。
Jeff:沒錯。當我們添加越來越多的平行鏈的時候,會出現更多的計算負載,我們會看看到時候會如何發展,我們會如何在這個過程中成長。其實觀察這些操作會如何影響網絡,也是一個漸進的學習過程。
Joe:這就是Kusama存在的意義,不是嗎?
Rob:沒錯。隨著平行鏈變多,驗證人的負載肯定會變多的。因為驗證人要驗證一個區塊,并且要把自己的幣抵押在區塊背后,其他的一些驗證人就會自我選擇去做檢查。平行鏈越多,你要做的計算就會越多,雖然計算量應該比平行鏈增加的數量慢,這也是為什么這個網絡是可擴展的,而不是像其他一些區塊鏈一樣不可擴展。但是作為驗證人,你可能還是需要在每秒內驗證幾十個區塊。
Joe:我們聊點更實際的吧,聊下接下來一年波卡和Kusama的計劃吧。我們有一個平行線程的規劃,其實現在在UI里面已經能看到了,因為鏈在升級為平行鏈之前,都是以平行線程的形式注冊的。但是之后我們會讓平行線程更加的實用,你們可以談談平行線程的設計、實現,為了實現它還剩下哪些工作待完成嗎?
Rob:平行線程跟平行鏈差不多,主要區別在于它被調度的方式不同。我們有一個調度程序,如果你是平行鏈,那么每個區塊都會被安排到;如果你是平行線程,那么你需要進行拍賣,平行線程收集人可以互相競爭,來獲得寫入區塊的的權利。這會帶來收集方面的網絡改變,當你是平行線程出塊人的時候,你需要讓驗證人知道你有區塊要提交。
所以總的來說挑戰有三點:調度程序、拍賣、網絡方面的改變。
Jeff:其實當時做平行線程有種設計,但是最后我們選擇了有拍賣的這個。因為這個設計可以更好地防止作弊,但是對于平行線程來說,如果它們出于某些原因無法提交區塊的話,它們可能會丟失資源。所以我們還得再看看一些經濟方面的問題。
Joe:我們說過會把一些核心功能從中繼鏈中釋放出來,下放到平行鏈中,來進一步實現可擴展性,和實現嵌套中繼鏈的想法。你們想談談為什么要這樣做嗎?
Jeff:其實相比“嵌套中繼鏈”的說法,我更愿意稱其為“中繼鏈分片”,因為嵌套中繼鏈聽起來像是某一條鏈是主導地位。
從某種意義上說,中繼鏈的分片比我們現在已經做到的還要簡單一些。不過我覺得可能會在超過3000個驗證人的時候來做這個事,我想告訴大家現在還不用急著去實現它。在這之前,我們希望能先讓中繼鏈的功能盡可能簡單,我覺得這樣對于開發者來說工作量是最小的。
Rob:目前來看,Staking和選舉模塊和一些治理功能其實是比較重的,會給中繼鏈帶來較大的負載。所有中繼鏈上發生的事,中繼鏈驗證人都需要去執行。而根據設計,發生在平行鏈上的事情只需要驗證人的子集來處理。所以這就是可擴展性的來源,把每個驗證人機器都需要執行的事變得盡可能少。
我覺得安全地去提煉出Staking和治理之類的東西其實挺難的。因為波卡有一些故障模式,比如一個機制是在進行爭議分析的時候的時候,鏈可能會被阻止出塊。你可能無法進行Slash交易,驗證人集無法更新交易等。這些都是很棘手的挑戰。
不過這個其實也不是很緊急。在這之前,我們應該會優化節點那邊,比如如何處理平行鏈和網絡消息,來獲得更高的擴展性,和運行更多的平行鏈。
Jeff:我覺得我們的目標應該是,雖然這個目標可能無法達到,但是目標應該是達到同等水平,讓每條平行鏈有一個驗證人。這個可能無法實現,但是當我們到達這個情況的時候,我們應該知道這個極限的存在,然后朝其他的方向努力。
Joe:剛剛你說3000個驗證人,意味著3000條平行鏈。Rob你作為實現者,怎么評價這個目標?
Rob:暫時還做不到,這是肯定的。我覺得代碼經過一輪優化之后能運行80-100條平行鏈,我就很開心了,而且這對社區來說也綽綽有余了。
Jeff:是的。最終我們可能會到達一個點,用戶耗盡了,我們得開始說服更多的人來使用,所以我猜可能會有很多次這樣的爆發。
Rob:我想是的,我覺得這有點像波卡治理遇到的挑戰——拍賣計劃的長尾效應是什么?因為在某些時候,如果所有的技術進展順利,那么我們可能有能力運行更多的平行鏈,甚至可能超出市場對平行鏈的需求。但是我們也不希望平行鏈的資源被一些垃圾項目填滿,占用個兩年,當然之后社區的發展趕上來了,肯定會有這種來來回回的發展過程。
歡迎學習Substrate:?https://substrate.dev/關注Substrate進展:https://github.com/paritytech/substrate關注Polkadot進展:https://github.com/paritytech/polkadot
巴比特訊,6月29日,去中心化跨鏈交易協議THORChain發推稱發現一個針對THORChain的惡意攻擊,THORChain節點已作出反應并隔離防御,該次攻擊造成的資金損失為14萬美元.
1900/1/1 0:00:00巴比特訊,7月5日,Dfinity宣布將推出InternetComputer擴展網絡Badlands,該網絡旨在成為一個低門檻的去中心化計算網絡,保證低配置的節點機也可參與網絡.
1900/1/1 0:00:00據TheBlock消息,鏈上指標顯示比特幣網絡活動短期下降明顯,數據顯示,昨天比特幣鏈上交易數的7天移動平均值下降至217,000,上一次這一數據如此之低是在2018年8月31日.
1900/1/1 0:00:00據國外媒體報道,近日,2021年比特幣大會在美國邁阿密市舉行,這次大會被稱為史上最大的加密貨幣活動,吸引了1.2萬名參與者.
1900/1/1 0:00:00巴比特訊,根據FX168報道,曾在2006-11年擔任美聯儲理事的KevinWarsh表示,美聯儲不太可能在8月份的杰克遜霍爾會議前改變對利率或資產購買的立場.
1900/1/1 0:00:00加密資產誕生于2009年,這意味著加密資產投資最長也只有12年歷史。2020年至今,加密資產普漲被認為是機構牛,這意味著傳統投資人正快馬加鞭涌入加密資產投資領域.
1900/1/1 0:00:00