前言:V神認為,雖然從長遠看,layer1應保持簡單和穩定,layer2聚焦更多創新,這種想法是好的。但是,從短期看,layer1還不夠強大,要想達成這種layer1和layer2的完美分層關系,首先要讓layer1足夠強大,而這個足夠強大就是要讓layer1協議達到一定級別的功能。所謂的一定級別,就是實現layer1和layer2完美互補關系的最小功能級別。V神用“功能逃逸速度”進行比喻。那么,layer1必須要有那些最小功能呢?其中包括一種可以驗證需要驗證的任意內容的編程語言;豐富的有狀態性;數據可擴展性和低延遲等。本文由“藍狐筆記”社群的“SIEN”翻譯。
區塊鏈領域有一個普遍的思路:區塊鏈應該最大程度上簡單,因為它們是很難改變的基礎架構,一旦破壞會造成巨大危害,而更復雜的功能應該在上層構建,以layer2協議的形式:狀態通道、Plasma、Rollup等。layer2是進行持續創新的地方,而layer1應該保持穩定性和進行維護,只有在緊急情況下才進行大的更改。
這種分離層的想法是非常好的主意,從長期看,我強烈支持這種想法。然而,這種想法忽略了一個重要的觀點:盡管layer1無法很強大,但是由于更大的能力意味著更大的復雜性并因此帶來更大的脆弱性,因此layer1也必須足夠強大,以使得構建其上的layer2協議首先是可能的。
V神:解決以太坊擴容問題比以太坊2.0更緊迫:2月28日消息,在今晚的社區問答中,對于以太坊2.0為什么不快點推出的問題,V神表示:現在要解決的是擴展的問題,現在不需要以太坊2.0,而需要Rollups。有了Rollups后,以太坊交易量就可以提高100倍。當然長期分片也需要,但現在這一問題并不緊迫。以太坊2.0現在的價值主要是遷移到Pos,計劃是先變成一條鏈,然后再考慮分片。[2021/2/28 18:01:25]
一旦layer1協議達到一定級別的功能,我將其稱為“功能逃逸速度”,那么到了這個時候,你可以在這個基礎上做其他所有事情,而無須改變基礎層。但是,如果layer1功能不夠強大,那么,你可以談論填補與layer2系統的空隙,但現實是,如果不再次引入layer1試圖擺脫的整套信任假設,實際上就沒有辦法構建這些系統。
本文會討論構成“功能逃逸速度”的最小功能的一些含義。
一種編程語言
必須有可能在鏈上執行定制的用戶生成的腳本。這種編程語言可以很簡單,且實際上并不需要高性能,但它至少需要擁有這種級別的功能:能夠驗證可能需要驗證的任意內容。這很重要,因為要構建于基礎層之上的layer2協議需要某種驗證邏輯,這種驗證邏輯必須以某種方式由區塊鏈執行。
V神:全節點驗證非常重要,有利于清除惡意礦工:V神在推特轉載了2017年他寫的一篇文章,他當時就認為全節點驗證非常重要,與BTC陣營的某些人想法迥異。在這篇文章中,他說區塊鏈共識機制及其客戶端驗證使得改變鏈上資產的規則很難,帶來了很強的安全性。而這一安全性與用戶去中心化程度息息相關。即使現在只有一個礦工,挖出來的幣和PayPal等中心化系統也有著天壤之別。由于網絡效應以及只有極大比例用戶同意時才有機會遷移到其他更好的網絡,中心化系統可以強行改變規則、凍結資金、提供低質量服務、提高費用等,整個機制有利于系統運營者。而區塊鏈客戶端驗證這一點意味著,對于想作惡的礦工,系統在機制層面將該種惡意清除,整個網絡是有利于用戶的。[2020/8/15]
你可能聽說過圖靈完備性。對這個術語,“外行人的直覺”是如果一種編程語言是圖靈完備的,那么它可以做計算機理論上可以做的任何事情。一種使用圖靈完備語言編程的程序可以翻譯成任何其他圖靈完備語言的等效程序。但是,事實證明,我們只需要更輕一些的東西:可以將編程限制為無循環,或者可以保證程序在特定數量的步驟之后終止。
V神:以太坊最早將于今年部署分片技術:3月7日,V神在ETHLondonUK會議上探討了以太坊在2020年的發展前景。他表示,以太坊最早將于今年部署分片(sharding)技術,這將會使以太坊網絡的規模擴大“100倍甚至數百倍”。此外,以太坊的生態系統將在明年“增加隱私性”。而對于最近鬧得沸沸揚揚的的“閃電貸(flash loan)”問題,V神認為,需要對去中心化的oracle做更多的研究。他進一步表示,應該針對“不同類型的oracle設計”加以研究,以使它們“更安全、更去中心化”。(Decrypt)[2020/3/8]
豐富的狀態
不僅存在一種編程語言重要,而且該編程語言如何精確地集成到區塊鏈中也很重要。在可集成語言的更受限的方法中,如果它用于純粹交易驗證:當你向某個地址發送代幣,該地址代表了計算機程序P,P可用于驗證從這個地址發送代幣的交易。
也就是說,如果你發送的哈希值為h的交易,你提供的簽名為S,那么區塊鏈會運行P,如果輸出為TRUE,那么交易是有效的。通常,P是用于加密簽名方案的驗證器,但它可以執行更加復雜的操作。尤其需要注意的是,在這一模型中,P并不能訪問交易的目的地。
聲音 | V神:如果CSW真是中本聰 那么就要改變對中本聰的看法了:V神發布推文稱,若CSW真是中本聰,那么就要質疑中本聰本人了。他說:“如果有證明CSW就是是Satoshi的確鑿證據,那么我不會改變對CSW的看法,而是要改變對中本聰的看法了。”[2018/8/26]
但是,這種“純函數”的方法還不夠。這是因為這種純粹基于函數的方法并不足以執行人們實際想實現的多種類型的layer2協議。它可以處理通道,但它無法實現具有強大屬性的其他擴展性技術,它也無法用于引導出具有更復雜狀態概念的系統,等等。
為了簡單說明純函數范式無法做什么,可以考慮一下具有如下功能的儲蓄賬戶:存在一個加密密鑰k,k可以發起提款,且如果發起了提款,在接下來的24小時內使用相同的密鑰k可以取消提款。如果提款在24小時內仍未取消,則任何人都可以“戳”該賬戶以完成提款。
這么做的目的是,如果密鑰被盜,賬戶持有人可以防止偷竊者提取資金。偷竊者當然可以阻止合法持有人獲得資金,但這種攻擊對于偷竊者來說將是無利可圖的,因此他們可能不會去干這種事。
V神:BCH不如狗狗幣是不正確的認識:據ambcrypto消息,比特幣基金會成員之一的V神在比特幣官方頻道發布了一段視頻,視頻中,V神表示,現在網絡上出現的狗狗幣(DOGE)比BCH更受歡迎的論調是錯誤的,狗狗幣的市值是4億美元,而BCH的市值則接近178億美元。而在過去24小時交易量中,狗狗幣的交易額為500萬美元,而BCH則超過5億美元,接近5.65億美元。BCH無疑是領先的。但在該視頻下面網友的評論卻表達了和V神不一樣的觀點,認為他是在“浪費時間”。[2018/6/7]
遺憾的是,如果僅用純函數這種技術無法實現。問題是:需要用某種方式將代幣從“正常”狀態轉變為“等待提款”狀態。但程序P無法訪問目標地。因此,任何可以授權將代幣移至等待提款狀態的交易也可以授權立即偷取這些代幣;程序P無法分辨出其中差異。
這種改變代幣狀態而無須完全釋放它們的能力,對很多應用來說都很重要,其中也包括layer2協議。Plasma自身就符合這種“授權,最終確定,取消”的范式:從Plasma退出必須被批準,然后有7天時間的挑戰期,在這個挑戰期內,如果能提供正確的證據,退出可能被取消。
Rollup也需要這種屬性:在rollup內的代幣必須由程序控制,該程序持續跟蹤狀態根R,并且如果某驗證器P返回TURE,則將R更改為R',但在這種情況下,它僅僅將狀態改變為R',它并不釋放代幣。
授權狀態改變而無須完全釋放一個賬戶中的所有代幣,這種能力我稱之為“豐富的有狀態性”。它可以在很多方面實現,有些基于UTXO的,但如果沒有它,區塊鏈不足以實現大多數layer2協議,而無須包含信任假設。
請注意:是的,我知道如果P可以訪問h,那么,你可以將目標地址包括進來作為S的一部分,然后對照h進行檢查,并以此方式來限制狀態改變。但是,可能有一種編程語言其資源太有限或受限于實際上的執行。讓人吃驚的是,在區塊鏈腳本語言中通常確實如此。
足夠的數據可擴展性和低延遲
事實證明,Plasma和通道以及其他完全鏈下的layer2協議有一些根本性的弱點,使得它們無法完全復制layer1的能力。
我在這里詳細探討。總結來說,這些協議需要一種判斷情形的方法,其中一些參與方惡意地不提供他們承諾提供的數據,且因為數據發布并非是全局可驗證的,這些判斷游戲在博弈論上看是不穩定的。
通道和Plasma巧妙地通過添加額外假設來解決這種不穩定性,特別是假定對于每個狀態,都有一個參與者對該狀態不被錯誤修改感興趣,因此,為其自身利益可以被信任。但是,這遠非通用。例如,像Uniswap這樣的系統,有一個大型的“中央”合約,它不歸任何人所有,因此,它們無法有效地受到這種范式的保護。
有一種方法可以解決這個問題,其中layer2協議在鏈上發布非常小量的數據,但完全在鏈下進行計算。如果數據可以確保可用,那么,鏈外進行計算是可行的,因為判斷誰正確計算誰沒有正確計算的游戲在博弈論上是穩定的。
這是ZKrollup和optimisticrollup背后的邏輯。如果區塊鏈允許發布并確保合理的大量數據的可用性,即使其計算能力非常有限,那么,區塊鏈也能支持這些layer2協議,并實現高水平的可擴展性和功能。
區塊鏈需要處理和確保多少數據?好吧。這取決于你想要多少TPS。通過rollup,你可以將大多數活動壓縮至每個交易大約10-20字節,因此,1kb/秒,大約可以有50-100的TPS,1MB/秒大約50,000-100,000的TPS,以此類推。
幸運的是,互聯網帶寬持續快速增長,并且在計算方面并沒有看到摩爾定律的減速,因此,在不增加計算負載的情況下增加數據的可擴展性,這對于區塊鏈來說,是非常可行的路徑。
請注意,不僅數據容量很重要,數據延遲也重要,也就是具有低區塊時間。Layer2協議,如rollup只是當數據實際發布到鏈上時才給予任何安全性保證。因此,數據被可靠地包含在鏈上所耗費的時間是指當Alice向Bob發送支付款項和Bob確信支付被包含進去之間所花費的時間。
基礎層的區塊時間設置了任何內容的延遲時間,這些內容的確認依賴于其被包含進基礎層。可以用鏈上安全存款來解決此問題,其代價是資本效率低下,這種方式本質上不完善,因為惡意行為者可以通過犧牲一個存款質押欺騙無數人。
結論
“保持layer1簡單,在layer2上彌補”并不是解決區塊鏈可擴展性和功能性問題的通用答案。因為它沒有考慮到layer1區塊鏈自身必須要有足夠的可擴展性和功能性,以使得構建其上實際上成為可能。
但是,在某個點之外,任何layer1功能確實可以在layer2上復制,且在很多情況下,通過這樣做提高可升級性是個好想法。因此,在短期內,我們需要layer1跟layer2并行發展,從長遠看,我們需要更多聚焦于layer2。
------
風險警示:藍狐筆記所有文章都
不能作為投資建議或推薦,投資有風險,投資應該考慮個人風險承受能力,建議對項目進行深入考察,慎重做好自己的投資決策。
編者注:原標題為《2019年度DeFi行業研究報告》 ○● 要點總結: 1.MakerDao在以太坊DeFi中約占50%的份額。2.至少總價值為8.5億美元的資產鎖定在DeFi生態中.
1900/1/1 0:00:00真本聰手記:每天精選5篇加密貨幣最新優質文章今天內容包括:1DeFi與蘋果/谷歌應用商店,無法解決的戰斗?;2個體的崛起;3比特幣的意義不在靈藥.
1900/1/1 0:00:00據DailyHodl1月11日報道,新研究發現,若按市值計算,主流加密貨幣所有權的集中度驚人得高.
1900/1/1 0:00:00金鍵,中國信息通信研究院工業互聯網與物聯網研究所所長,中國通信學會區塊鏈委員會副主任委員。 浙江:發展數字人虛擬主播、元宇宙新消費場景等新業態新模式:4月20日消息,浙江省政府辦公廳近日印發《關.
1900/1/1 0:00:00不管怎樣,實際情況證實了摩根大通策略師NikolaosPanigirtzoglou此前的預測:機構投資者對CME的期權交易躍躍欲試。對于2020年的加密貨幣市場來說,這算是一個好的開端.
1900/1/1 0:00:00本文來自?TheBlock?原文作者?|?TarunChitra 譯者|?Moni 出品?|?Odaily星球日報2020年即將到來,也預示著我們即將進入下一個全新的十年.
1900/1/1 0:00:00