編者按:本文來自以太坊愛好者,作者:VitalikButerin,翻譯&校對:閔敏&阿劍,Odaily星球日報經授權轉載。
區塊鏈圈子里有一種常見的觀點是這樣的:區塊鏈應該盡可能簡單,因為它們是基礎設施的一部分,難以變更,而且一旦出了問題就會導致巨大的損失;更復雜的功能應該以Layer-2協議的形式,如狀態通道、Plasma、rollup,等等,建立在基礎層之上。也就是說,想創新,就應該在Layer-2上做文章,而Layer-1應該盡可能穩定,以維護為主,除非事態緊急,不應引入大的變更。這種分層構想很妙,從長遠角度來看,我表示強烈支持。然而,這一構想忽視了很重要的一點:Layer-1不能過于強大,否則會增強復雜性和脆弱性,但是Layer-1又必須強大到足以支持人們在其基礎上搭建Layer-2協議。一旦Layer-1協議實現了一定程度上的功能性——我稱之為“功能性逃逸速度”,那么你就能在不改變基礎層的情況下隨心所欲地搭建任何東西。但如果Layer-1不夠強大的話,你再怎么設想用Layer-2系統來彌補,你都不得不引入一系列信任假設,這就與Layer-1一直以來都在追求的免信任性沖突了。在本文中,我會談一談構成“功能性逃逸速度”的最低限度功能性是哪些。一種編程語言
V神:永久性的流動性挖礦獎勵毫無意義:V神在推特表示,永久性的流動性挖礦獎勵毫無意義,因為流動性挖礦獎勵本質上是從未來的LP到現在的LP的一種財富轉移。為使UNI保值,需要收取一部分LP費,并在某時將其銷毀。[2020/11/20 21:26:27]
必須要能夠在鏈上執行用戶自定義的腳本。這種編程語言可以是很簡單的,實際上也不需要很高的性能,但是至少要具備一定程度的功能性,能夠滿足任意數據的驗證需求。這一點非常重要,因為搭建在Layer-1之上的Layer-2協議需要具備某種驗證邏輯,而且這種驗證邏輯必須能由區塊鏈執行。你可能聽說過圖靈完備性。用大白話來解釋就是,如果某種編程語言是圖靈完備的,就可以通過它來讓計算機執行理論上可以執行的一切操作。任何使用圖靈完備的語言編寫的程序都可以被翻譯成使用其他任意一種圖靈完備的語言編寫的相同程序。不過,事實證明,我們只需要稍微輕便一些的解決方案:哪怕只能寫出沒有循環的程序,或者寫出的程序在一定步驟之內必定會終止,都是沒問題的。RichStatefulness
V神:去中心化技術可在經濟上降低依賴中介機構的風險:V神剛剛發推表示,使相互依存武器化是21世紀塑造權力關系的一個關鍵概念。我們的經濟互動在很大程度上依賴于中央集權的中介機構,而這些中介機構很容易利用這種依賴達到有害的目的。去中心化技術(如區塊鏈等)讓我們相互依賴,降低相互依賴被用來對付我們的風險。這就是為什么它如此重要和有價值。[2020/3/29]
除了要有編程語言之外,如何將這種編程語言集成到區塊鏈中也很重要。一種局限性較大的集成方法是,將這種編程語言用于純粹的交易驗證:當你要把密碼學貨幣發到某個地址上時,該地址就化身成一個計算機程序P,該程序日后將被用于驗證從那個地址發出的交易。也就是說,如果你發送了一個哈希值為h的交易,然后提供一個簽名S,區塊鏈就會運行程序P(h,S),如果輸出為TRUE,該交易即為有效的。通常來說,P是密碼學簽名方案的驗證程序,但它可以執行更為復雜的操作。特別要注意的是,在這種模式中P無法訪問交易的目標地址。但是,這種“純函數”解決方案還不夠。這是因為這種基于純函數的解決方案還不夠強大,無法實現人們想要的多種Layer-2協議。它可以實現狀態通道,但是無法實現更強大的擴容技術,也不能用來引導具有更復雜的狀態概念的系統,等等。下面舉一個簡單的例子來解釋純函數范式的局限性。想象一個儲蓄賬戶,還有一個可以發起提款的密鑰k。如果發起了提款,可以在24小時之內使用同一個密鑰k取消提款。如果在24小時內仍未取消提款的話,任何人都可以“poke”一下賬戶來完成提款。其目的是,如果密鑰被偷了,賬戶持有者可以防止小偷提取錢包內的資金。小偷當然可以阻止賬戶所有者提取資金,但是這種攻擊是無利可圖的,因此小偷不會自找麻煩。遺憾的是,這個技術無法僅通過純函數來實現。問題在于:需要某種辦法將密碼學貨幣從“常規”狀態轉換到“等待提款”狀態。但是,程序P無法訪問目標地址!因此,凡是可以授權將這些幣轉換到“等待提款”狀態的交易也可以授權盜取這些密碼學貨幣。P無法分辨其中的差異。對于包括Layer-2協議在內的許多應用程序來說,重要的是要能夠改變密碼學貨幣的狀態,但又不會徹底釋放這些密碼學貨幣。Plasma本身就符合這種“授權、最終確定、取消”范式,必須得到許可才能從Plasma上退出,而且還會開啟7天的挑戰期。在挑戰期內,只要提供了正確的證據,就可以取消退出。Rollup也需要這一功能:Rollup內的資金必須由一個持續追蹤狀態根R的程序來控制,如果某個驗證程序P(R,R',data)返回“TRUE”,這個狀態根就會從R更改為R’——僅在這種情況下,狀態才會改為R’,并且不會完全釋放這些資金。能夠在不完全釋放賬戶內資金的情況下授權狀態變更就是我所說的“富狀態性”。富狀態性可以通過多種方式實現,其中一些方式是基于UTXO的。但是,如果不具備富狀態性的話,區塊鏈必須引入信任假設,否則無法支持大多數Layer-2協議的實現。注:我知道如果P可以訪問h的話,你就可以將目標地址作為一部分包括在S里,并對照h進行檢查,從而限制狀態變更。但是有可能出現一些問題,即,編程語言在資源或者其他因素上太過受限,以至于無法做到這一點。令人驚訝的是,區塊鏈腳本語言經常會出現這些情況。充分數據可擴展性及低時延
聲音 | V神:希望CBDC能和加密貨幣融洽相處:金色財經報道,以太坊聯合創始人V神(Vitalik Buterin)希望央行數字貨幣(CBDC)能和加密貨幣融洽相處。他今天在推特上提出了一個問題,即CBDC交易是否可以通過密碼驗證?也就是說,如果可以使用數學方法證明已完成交易,就會帶來一些有趣的可能性。V神補充說,如果可以向以太坊鏈證明在CBDC系統中進行了交易,則可以使用它來構建自動化的智能合約DEX。[2020/2/5]
已然清楚的是,像Plasma、狀態通道或者其他完全放在鏈下的Layer-2協議,都有一些根本性的弱點,這使得它們無法完全取代Layer-2的功能。我在這篇文章里細究過其中的緣由;總的來說,問題在于,當惡意參與方沒能拿出他們承諾要提供的數據時,協議必須有能力評斷是非,但是,因為數據公開的行為并不是全局可驗證的,所以這些挑戰游戲是沒有博弈理論均衡的。狀態通道和Plasma都通過加入額外的安全假設來解決這個問題,尤其是假設:對于任一部分狀態,皆有某個與之有利益相關的行動者保存有未被非法修改的狀態,因此我們可以相信他們會為了自己的利益站出來。但是,這個假設并不是普遍為真的;舉個例子,像Uniswap這樣的應用就包含一個很大的、不屬于任何人的“中心化”合約,既然它不屬于任何人,這種訴諸自利的模式也就沒法起到保護作用。有一種辦法可以解決這個問題,就是利用Layer-2協議僅在鏈上發布極少量數據,但是把計算完全放到鏈下。只要能保證數據是可以用的,那么把計算放到鏈下就沒問題,因為評斷誰有沒有做出正確計算的挑戰游戲在博弈理論上是存在均衡的)。這就是ZKrollup和optimisticrollup背后的理念。只要一條區塊鏈支持發布合理大小的數據,并能保證其可用性,那么即便其計算能力很有限,該區塊鏈一樣能支持這些Layer-2協議,并實現高可擴展性和功能性。那么區塊鏈到底需要處理和保護多大的數據量呢?這取決于你想要系統表現出多高的性能。使用Rollup技術,你可以將絕大多數活動的交易數據壓縮到約10~20字節/筆,所以1kb/秒的數據吞吐量可以實現50~100TPS,而1MB/秒的數據吞吐量就是5萬至10萬TPS,以此類推。好消息是,互聯網的帶寬增長得越來越快,而且似乎沒有像計算領域的摩爾定律一樣減慢速度,所以提升數據吞吐量同時不改變計算負擔,極有可能是區塊鏈可以采取的一條路徑!同樣值得注意的是,不僅數據的容量很重要,數據的時延也很重要。像Rollup這樣的Layer-2協議,只是給出了數據將會發布到鏈上的安全性保證;因此,Alice和Bob的支付體驗,就取決于Alice發出交易、Bob確信自己已經收到錢兩個事件之間的間隔,就等于數據被可靠地打包到鏈上所花去的時間。基礎層的出塊時間決定了任何基于數據上鏈來確認的事項的時延。此外,雖然可以通過鏈上安全保證金來緩解這種問題,但代價就是低下的資金流轉效率,而且因為惡意者可以通過犧牲一份保證金來蒙騙無數人,所以這種辦法也是有內在缺陷的。結論
聲音 | V神:可通過加密簽名驗證應用程序消息的真實性:以太坊創始人V神發推表示:我們應該建立一個標準,在這個標準中,消息應用和社交媒體應用的每條消息旁邊應放置幾個幾乎不引人注意的像素,這些像素是消息內容的加密簽名。然后圖像查看器可以自動檢測截圖并檢查其真實性。 值得一提的是,V神在該條推文下@了特斯拉CEO馬斯克。[2019/7/15]
在區塊鏈可擴展性和功能性問題上,“保證Layer-1簡潔可用,在Layer-2充實功能”并不是一條普遍真理,因為它沒有考慮到,僅當Layer-1自身具備充分的可擴展性及功能性時,“在Layer-1基礎上開發”才會在實際上成為可能。不過,越過某個界限之后,所有的Layer-1功能都可以替換為在Layer-2上執行,而且大多數情況下,用這種辦法來提供可升級性都不失為一個好主意。因此,短期內我們要雙管齊下,而在長期中著重開發Layer-2。注:原地址:VitalikButerin'swebsite
V神:中本聰編程水平并不高明,但運氣不錯:以太坊創始人Vitalik Buterin指出:“中本聰作為一個老派C++程序員,編程水平并不高明,但運氣不錯”。V神還評價說,“雖然中本聰在2008年為比特幣做出的絕大多數決策我們仍堅持著,但他的選擇絕對不是完美的,幸運的是他正確的次數經常比錯誤要多,事實上有幾個實例,因為中本聰的選擇我們獲得了更好的結果”。[2018/3/17]
Tags:LAYER區塊鏈ROLROLLReady Player One區塊鏈運用的技術中不包括哪一項a共識算法Rolaz GoldTROLLBNB價格
Overview概述本文將從電子票據行業出發,整體分析電子票據及區塊鏈電子票據行業,以求完善行業圖譜.
1900/1/1 0:00:00編者按:本文來自鏈聞,策劃與編輯:李畫,Odaily星球日報經授權轉載。壞消息:過去這一年,我們期待的區塊鏈上的重大突破依然沒有出現.
1900/1/1 0:00:00Odaily星球日報出品作者|王也編輯|郝方舟上周,Telegram拒絕了向SEC透露有關其ICO的財務數據.
1900/1/1 0:00:002019年注定是區塊鏈行業值得銘記的一年。2019年的市場并非像2018年一樣殘酷:年初IEO的火爆讓平臺通證收獲了數倍的漲幅,四月初開始的小牛市讓BTC從3200美元上漲到14000美元,主流.
1900/1/1 0:00:0012月30號20:00,BlockManiaAMA直播第38期繼續進行,本期主題為「DAO的誕生與運行」,分享嘉賓為DAOStep發起人、ASResearch合伙人Ruby.
1900/1/1 0:00:00編者按:本文來自星傳媒STARMEDIA,作者:雪穗,Odaily星球日報經授權轉載。炮聲一響,黃金萬兩“空軍頭子”,是圈內人對美國總統特朗普的戲稱.
1900/1/1 0:00:00