波卡是一個以平行鏈跨鏈為主要特色的公鏈項目。在波卡生態中,一個被頻繁提到的一點是:開發者可以根據自己的需要開發獨立的平行鏈,而波卡的生態將為所有的平行鏈提供安全性。因為波卡是一條公鏈,所以波卡的安全性就是公鏈安全性。
所謂謊言重復一千遍就會成為真理。當所有人都在重復一個觀點的時候,人們往往會選擇相信這個觀點,而不是自己去探尋思考波卡的安全性設計能否站住腳。波卡基于Validator的巡查制度,究竟能為平行鏈提供多高的安全性,其實是值得質疑的。
這一期,我們來討論一下波卡共識協議中與安全相關的設計內容,以及不同角色的參與方應該如何應對。
幾周前,烤仔曾經質疑了波卡的跨鏈延遲。在社區伙伴的幫助下,烤仔注意到了GavinWood在hackmd.io的博客中提到了跨鏈延遲,他是這么說的:
證券日報頭版評論:增強資本市場樞紐功能 構建完善現代金融體系:在金融委部署的八個方面工作中,資本市場工作列在第四位,之前分別是建設現代中央銀行制度、構建金融有效支持實體經濟的體制機制、深化銀行體系改革,之后分別是推進金融雙向開放、完善現代金融監管體系、整治各種金融亂象、穩妥防范化解金融風險。可以說,資本市場在金融大系統中處于承上啟下的樞紐位置,其有序發展、功能提升既受其他七個方面的約束和激勵,也為其他七個方面提供反饋、發揮作用。[2020/11/2 11:23:41]
Completefinalitymighttakeupto60secondsforaparachaintransaction,andafewsecondslessforaRelaychaintransaction.?
大意是說,波卡的確認時間在一分鐘上下。烤仔對此是驚訝的,因為在波卡的Validator巡查制度中,同時驗證一個平行鏈的Validator并不是很多。如果這少數的Validator作惡,就會把錯誤的賬本狀態通過中繼鏈傳染到其他的平行鏈上去,最終摧毀整個波卡的正確性和安全性。而為了緩解這種安全威脅,允許任何人提交錯誤證明、留出足夠時間給錯誤證明,是波卡公鏈安全中重要的一環。
評論:KuCoin被盜事件表明DeFi用于洗錢的風險在增加:據福布斯評論文章,KuCoin被盜事件表明DeFi用于洗錢的風險在增加。DeFi的創新有很多風險,比如缺乏KYC/AML措施,交易時缺乏保障。保障措施的缺乏會導致“壞人”增加,把這一領域帶向危險境地,也讓某些DeFi項目方涉嫌洗錢、恐怖融資。而這也不是第一次DeFi被用于洗錢。[2020/10/1]
在以太坊的二層協議OptimisticRollup中,提交錯誤證明的時間窗口是以天計的。然而,這個時間窗口,在波卡中被設成了不到一分鐘。GavinWood也解釋了為何設計如此短的時間窗口:
Asofthemostrecentlypublisheddeisgn,fishermenarenolongerrequiredforourbaselinesecurityguaranteesaswehaveintroducedexplicitly-appointedsecondary-checkersfromthevalidatorset(seeSection4.4.2ValidityandAvailabilityinOverviewPaper).Fishermenarekeptsincetheyonlybolstersecuritywithnootherimplications.
央視財經評論:中國在數字貨幣“新賽道”上有望跑出加速度:我國央行數字貨幣各項測試及準備工作正有條不紊地推進。在深圳,數字貨幣內部測試工作正在有序開展;在蘇州,有的公務員已領取用數字貨幣形式發放的部分工資;在雄安新區,麥當勞等19家公司已開始試點數字貨幣。可以預期,雖然與支付寶、微信支付并非一回事,但未來數字貨幣將像支付寶和微信支付一樣隨處可見。目前中國央行數字貨幣走在世界前列已是不爭的事實。人們有理由相信,我國將在數字貨幣“新賽道”上跑出加速度,它將給我們帶來更高品質的消費體驗,也將更有力地促進我國數字經濟發展,更為經濟運行降本增效提供多一種可能。[2020/8/25]
大概意思是說,因為波卡引入了?secondary-checkers,所以原先“允許任何人提交錯誤證明”的設計就不需要了。如果fishermen能趕得上一分鐘內的提交窗口,那它還可以提交錯誤證明,但波卡已經不關心它趕不趕得上了。
聲音 | 經濟日報評論:多家上市公司因“涉鏈”被問詢:5月30日,針對“近日多家上市公司因涉及區塊鏈業務收到監管函”一事,經濟日報發表評論稱,去年上半年不少上市公司就發布公告稱要進軍區塊鏈。結果,業務進展沒多少,多家“涉鏈”上市公司就迎來了一輪股價上漲。不過,漲得快跌得也快。隨后不久,多家公司股價沖高回落,留下一地雞毛。因此,交易所對“區塊鏈”謹慎不無道理。整體看,監管部門針對區塊鏈的問詢主要集中在區塊鏈技術的營業收入情況以及對主營業務的影響方面。從回復情況看,大多上市公司還處于探索起步階段,缺乏相應的應用場景,也未產生營業收入,對公司業績影響也具有較大不確定性。因此,投資者要謹慎看待所謂“涉鏈”概念。[2019/5/30]
這個secondary-checkers是個啥,為什么可以取代fishermen的地位?白皮書4.4.2章節是這么說的。
李啟威就XVG與Pornhub合作推特評論:應該該接受主流幣了:萊特幣創始人李啟威今日在推特中,針對XVG與新Pornhub達成合作這一事件評論到:“你們與Verge的前戲做得足夠了,是時候接受像BTC、LTC、XMR一樣的真正的數字貨幣了。行業是技術被采用的先行指標,我們很高興看到該行業也開始向數字貨幣市場開放。[2018/4/18]
Thethirdlevelofvaliditycheckingisexecutedbyafewrandomlyandprivatelyassignedvalidators.Wedeterminethenumberofvalidatorsinthethirdlevelofvaliditycheckingconsideringtheamountofinvalidityreportsgivenbyfishermenandunavailabilityreportsgivenbycollators.?
這個設計在烤仔之前的文章中也提到過。波卡引入了秘密檢查的Validator,有點類似于暗訪調查組。暗訪的Validator數量沒有具體說明,只說是“afew”,具體的參數要根據fishermen(任何一個提交錯誤證明的人)和collator(側鏈全節點)報告的異常數量來看。暗訪調查組的設計能夠防止攻擊者與平行鏈當前的Validator合謀,因為你不知道暗訪的Validator是誰。但這種設計無法阻止一個壞的Validator被選進暗訪組.這個設計可以加強波卡生態的安全性、提升攻擊難度,但不能完全取代fishermen,因為它無法排除暗訪的Validator自身是惡意的情形。
但,波卡就是放棄了fishermen.?
波卡在白皮書中并沒有講他把錯誤證明窗口設成了極為激進的一分鐘,也沒有講他們在安全設計中放棄了fishermen。在一篇和另一個公鏈項目對比性能時,GavinWood又拋出這個一分鐘的參數來展示波卡的性能,而對安全性輕描淡寫一筆帶過。
跨鏈延遲一小時的波卡固然有它的局限性,但如果為了追求效率而放棄了提供安全性保障,那么波卡越繁榮,就越能吸引攻擊,最終摧毀的是整個波卡的生態。如果波卡堅持這種不安全的方案,生態各方又應該如何應對呢?
對于波卡平行鏈的開發者,烤仔的建議是Don'tbeevil。上述討論的所有安全性威脅,都需要平行鏈全節點參與合謀。即使其他平行鏈的作惡行為會通過中繼鏈傳染過來,但只要保證自己的平行鏈不首先出錯,就足以問心無愧了。
對于波卡未來生態的用戶,要謹慎地選擇平行鏈。波卡的Validator機制不足以提供充足的安全性,但平行鏈的全節點可以彌補。選擇節點足夠多、足夠分散的平行鏈,可以緩解這一安全性問題。但是,一個平行鏈被Validator操縱的后果是會隨著中繼鏈傳染的。即使自己選擇的平行鏈足夠可靠,其他不可靠的平行鏈通過跨鏈消息發來的資產也會影響這一平行鏈的安全性。
對于DeFi合約的開發者,波卡跨鏈的故事雖然新穎,但波卡生態著實沒有帶來什么新東西。功能上,諸如零知卷疊、隱私計算等新功能均可以通過EVM合約或者二層網絡設計來完成。性能上,波卡的技術架構注定了平行鏈單鏈性能只會比以太坊更差,波卡只能不斷講多鏈的總性能比以太坊單鏈好。
但是多鏈無法解決好跨鏈延遲和安全性之間的平衡,使得互操作性成為一種需要犧牲安全性才能做到的事情,這是在整個公有鏈領域獨此一家的。而EVM生態的性能問題,也已經被各種新興公鏈解決。
最后,波卡這個“放棄fishermen”的改動是一個定時炸彈,你永遠不知道它什么時候會炸。在一個足夠去中心化的、兼容EVM的、有用戶和生態基礎的、高性能的公有鏈上做開發,才是一個對產品發展和用戶負責的選擇。
最后,烤仔也提醒大家,警惕波卡不公開協議修訂的安全風險。像“將fishermen從安全設計中排除”這種重大改動,波卡都是在和別人比性能時才透露的,而至今沒有體現在白皮書里。波卡可以對此有自己的解釋,畢竟fishermen并沒有被完全去除,如果所有的fishermen都有比OptimisticRollup的錯誤提交者高幾十倍的效率的話,波卡的安全性不會有任何影響。
對于這種解釋,我想波卡的忠實信仰者們一定是會接受的。
END
Tags:ALIVALLIDATORALIST幣Dark Land SurvivalSolidblockSenator Karen
金色財經報道,Bakkt正在與星巴克等商戶合作伙伴一起推出其數字錢包應用程序。Bakkt在一份新聞稿中說,在周二公開發布之前,該應用在僅限邀請試用中吸引了50萬名用戶.
1900/1/1 0:00:00來源:鏈得得,作者:毛利五郎今天是4月1日,日本財年開始的第一天,數字貨幣交易市場就有2大重磅消息.
1900/1/1 0:00:00比特幣市場回顧 雖然特斯拉創始人埃隆馬斯克在本周宣布特斯拉美國地區已正式支持比特幣支付,但比特幣市場的反應似乎并不熱烈.
1900/1/1 0:00:00本周,似乎每家大公司都希望消費者開始使用數字資產付款。 昨天,PayPal開始允許客戶使用其加密貨幣余額付款.
1900/1/1 0:00:00原題《為什么越來越多的公司希望消費者使用加密貨幣支付?》本周,似乎每家大公司都希望消費者開始使用數字資產付款。 昨天,PayPal開始允許客戶使用其加密貨幣余額付款.
1900/1/1 0:00:00撰文:Erica 1月,StakeDAO針對GitcoinGR8捐贈者等群體的空投,成為不少加密社區津津樂道的話題之一.
1900/1/1 0:00:00