以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

V神:基礎層和功能性的逃逸速度_LAYER:ROL

Author:

Time:1900/1/1 0:00:00

編者按:本文來自以太坊愛好者,作者: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神剛剛在推特表示,我并不認為加密貨幣會將政府對貨幣的權力減至零。[2020/8/11]

必須要能夠在鏈上執行用戶自定義的腳本。這種編程語言可以是很簡單的,實際上也不需要很高的性能,但是至少要具備一定程度的功能性,能夠滿足任意數據的驗證需求。這一點非常重要,因為搭建在Layer-1之上的Layer-2協議需要具備某種驗證邏輯,而且這種驗證邏輯必須能由區塊鏈執行。你可能聽說過圖靈完備性。用大白話來解釋就是,如果某種編程語言是圖靈完備的,就可以通過它來讓計算機執行理論上可以執行的一切操作。任何使用圖靈完備的語言編寫的程序都可以被翻譯成使用其他任意一種圖靈完備的語言編寫的相同程序。不過,事實證明,我們只需要稍微輕便一些的解決方案:哪怕只能寫出沒有循環的程序,或者寫出的程序在一定步驟之內必定會終止,都是沒問題的。RichStatefulness

除了要有編程語言之外,如何將這種編程語言集成到區塊鏈中也很重要。一種局限性較大的集成方法是,將這種編程語言用于純粹的交易驗證:當你要把密碼學貨幣發到某個地址上時,該地址就化身成一個計算機程序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神:很后悔在以太坊中采用“智能合約”這個術語:V神在某社交軟件中回復用戶關于\"CryptoLaw\"討論時稱,明確一點,非常后悔采用“智能合約”一詞。應該把它們稱為更乏味或偏技術性的東西,也許就像“可持續性腳本”。[2018/10/15]

已然清楚的是,像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神在推特中表示,看一個區塊鏈項目是否是去中心化的,一個簡單的點是看一個獨立的第三方能否成為其客戶,做任何“官方客戶”能做的事。[2018/7/22]

在區塊鏈可擴展性和功能性問題上,“保證Layer-1簡潔可用,在Layer-2充實功能”并不是一條普遍真理,因為它沒有考慮到,僅當Layer-1自身具備充分的可擴展性及功能性時,“在Layer-1基礎上開發”才會在實際上成為可能。不過,越過某個界限之后,所有的Layer-1功能都可以替換為在Layer-2上執行,而且大多數情況下,用這種辦法來提供可升級性都不失為一個好主意。因此,短期內我們要雙管齊下,而在長期中著重開發Layer-2。注:原地址:VitalikButerin'swebsite

V神:政府利用區塊鏈技術進行“ID+投票”應先從“請愿”開始:V神剛剛發推表示:若政府想利用區塊鏈技術進行“ID+投票”,應該先從請愿這一用例開始,因其不具有約束力,所以安全風險要小得多;但仍可以利用區塊鏈進行驗證和ZKP以保證隱私。[2018/6/12]

以太坊創始人V神:以太坊的治理模式并非有缺陷,只是溝通不暢: 據Coindesk,一月份以太坊改進方案EIP 867公布后,開發人員展開了激烈的討論。周五,以太坊創始人Vitalik Buterin在開發者會議上表示,他個人認為,以太坊的治理模式并非有缺陷,只是溝通不暢。根據V神的說法,例如有爭議的EIP 867,在與平臺的實時代碼合并之前所經歷的流程建議不明確。以太坊Mist瀏覽器的開發者Alex van de Sande提出了另一項提供拒絕資金回收標準的提案,該提案向社區表明,社區成員可以提出有爭議的提案,一個標準參與另一個標準,兩者都可以批準為草案。V神表示贊同這是更聰明的一種方式。[2018/2/24]

Tags:LAYER區塊鏈以太坊ROLPlayerCoin玩區塊鏈的都是什么人以太坊交易所app官網下Agrolot

芝麻開門交易所下載
真假區塊鏈?三個維度教你一眼識別偽區塊鏈項目_區塊鏈:SHA

如何判斷一個區塊鏈項目是能夠落地、能夠長久的好項目?那需要從它能夠解決什么問題?有什么核心競爭優勢以及市場需求有多大等方面來著手分析!“三個維度”甄別區塊鏈應用場景優秀與否近日.

1900/1/1 0:00:00
曹寅:DeFi 繁榮生態背后的隱患與 2020 展望_DEFI:DEF

作者:曹寅,數字文藝復興基金會董事總經理2019年被很多人稱為DeFi之年,從2019年1月1日至12月13日,各類DeFi應用中抵押的資產總額從2.75億美元增長到6.65億美元.

1900/1/1 0:00:00
誰來搶救DApp?_DAP:EOS

編者按:本文來自蜂巢財經News,作者:JXkin,Odaily星球日報經授權轉載。成人內容DApp哈希寶貝停運,去中心化應用的生存狀態再次令人關注.

1900/1/1 0:00:00
當庭爆料:挖礦機巨頭與這家A股公司鬧翻,10萬臺礦機交易是真是假?_VAS:VENT

編者按:本文來自證券時報網,作者:殺生,Odaily星球日報經授權轉載。2019年收官之際,上市公司眾應互聯與全球挖礦機巨頭浙江億邦聯袂上演了一場區塊鏈“礦機交易風云”:圍繞10萬臺礦機是否如約.

1900/1/1 0:00:00
星球前線|美國政府如何處理沒收的比特幣等加密貨幣?_元宇宙:BTC

美國海關與邊境保護局透露,今年繳獲了超過3.89枚BTC,而美國特勤局已繳獲3.9998枚BTC。這一切都始于絲綢之路的衰落絲綢之路是網上黑市.

1900/1/1 0:00:00
2019年熱門資產盤點(一):XTZ、ATOM、ALGO | 星球TV_ZOS:Tezos

作者|康康編輯|郝方舟Odaily星球日報出品2019年上線了很多用戶們期待的“天王級”項目,像Tezos、Algorand、Cosmos、Blockstack、Orchid等.

1900/1/1 0:00:00
ads