編者按:本文來自以太坊愛好者,作者: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神:技術上已有欺詐證明 而約為1kb的merkle證明將只用于證明欺詐:8月3日,V神在回答網友“查詢1個欺詐需要多少kb的merkle證明”一問時表示,從技術上說,如果我們已經在使用欺詐證明,那么答案本身實際上并不需要任何merkle證明。只需發送樹中的索引和區塊編號,merkle證明(估計約為1kb)將只用于證明欺詐。[2020/8/3]
必須要能夠在鏈上執行用戶自定義的腳本。這種編程語言可以是很簡單的,實際上也不需要很高的性能,但是至少要具備一定程度的功能性,能夠滿足任意數據的驗證需求。這一點非常重要,因為搭建在Layer-1之上的Layer-2協議需要具備某種驗證邏輯,而且這種驗證邏輯必須能由區塊鏈執行。你可能聽說過圖靈完備性。用大白話來解釋就是,如果某種編程語言是圖靈完備的,就可以通過它來讓計算機執行理論上可以執行的一切操作。任何使用圖靈完備的語言編寫的程序都可以被翻譯成使用其他任意一種圖靈完備的語言編寫的相同程序。不過,事實證明,我們只需要稍微輕便一些的解決方案:哪怕只能寫出沒有循環的程序,或者寫出的程序在一定步驟之內必定會終止,都是沒問題的。RichStatefulness
聲音 | V神:BCH 12.5%獎勵提議是強制性的軟分叉:1月23日,針對江卓爾等人提出的BCH 12.5%出塊獎勵開發基金提議,V神發推文表示不認同該方案,稱BCH此舉是強制性的軟分叉。V神還表示,比較具有諷刺意味的是,BCH是一種對某種意識形態的反應而誕生的區塊鏈,這種意識形態認為軟分叉是進行改變的唯一合理方式,因為它們屬于“自愿行為”。而現在BCH將進行爭議性的軟分叉,并影射這是“自愿行為”。同時,V神還稱,當前的主要挑戰是治理。他稱公共物品問題不是一時的緊急情況,而是一個系統問題,需要系統的解決方案,這需要人們長期能接受可信中立治理。V神提到,不知道BCH所指的“香港公司”機構將向誰捐款,且對資金多大程度上真正為必要開發者提供資金的問題也存在很大不確定性。[2020/1/23]
除了要有編程語言之外,如何將這種編程語言集成到區塊鏈中也很重要。一種局限性較大的集成方法是,將這種編程語言用于純粹的交易驗證:當你要把密碼學貨幣發到某個地址上時,該地址就化身成一個計算機程序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神:再次恭喜Sparkpool礦池為繆爾冰川升級揭幕:在以太坊完成“繆爾冰川(Muir Glacier)”升級后,以太坊創始人V神發推稱,再次恭喜Sparkpool礦池為繆爾冰川升級揭幕!據此前消息,在12月8日以太坊完成伊斯坦布爾升級后,V神曾在推特上恭喜Sparkpool礦池挖出此次升級的首個區塊。Eth.Btc.com數據顯示,過去24小時,Sparkpool礦池以33.97%的算力占比位列第一;Ethermine礦池算力占比為24.28%,排名第二,兩大礦池控制了58.25?%的以太坊網絡算力。注:以太坊今日下午16:30分左右已達到原定“繆爾冰川”升級區塊高度9200000,升級已激活。本次“繆爾冰川”硬分叉解決方案旨在再次延遲難度炸彈,硬分叉升級后,在400萬個新區塊被開采出來之前,難度炸彈將會被凍結,這意味著以太坊至少未來幾年內不會受到難度炸彈的威脅。[2020/1/2]
已然清楚的是,像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神:USDC能公開代碼已經是傳統金融的進步了:據cryptoslate消息,在Circle推出穩定USDC協議中,包含一項黑名單政策,Circle解釋說他們幾乎可以完全控制用戶帳戶,包括凍結資金,終止賬戶,甚至向當局報告賬戶。在某些情況下,Circle還會向執法機構報告非法活動,此事用戶可能會喪失以美元兌換USDC的能力。Coinbase此前稱USDC是邁向更開放金融體系的重要一步,對此,有推特用戶截取相關代碼,并質疑Coinbase關于USDC的說法。V神回復該推特網友稱:事實上,這些代碼不得不公開,任何人都可以圈出來并在推特上進行批評。(但)這一點已經是一項超越傳統金融的進步了,我認為我們需要予以贊賞。[2018/10/26]
在區塊鏈可擴展性和功能性問題上,“保證Layer-1簡潔可用,在Layer-2充實功能”并不是一條普遍真理,因為它沒有考慮到,僅當Layer-1自身具備充分的可擴展性及功能性時,“在Layer-1基礎上開發”才會在實際上成為可能。不過,越過某個界限之后,所有的Layer-1功能都可以替換為在Layer-2上執行,而且大多數情況下,用這種辦法來提供可升級性都不失為一個好主意。因此,短期內我們要雙管齊下,而在長期中著重開發Layer-2。注:原地址:VitalikButerin'swebsite
聲音 | V神:區塊鏈行業正轉向實際應用階段:據cointelegraph消息,以太坊創始人Vitalik Buterin在接受采訪時表示,加密和區塊鏈行業的快速發展現在正在達到“上限”,并且正在從“只關注人們”轉向“實際經濟的實際應用”階段活動。Buterin解釋說,該領域爆炸性增長的時期可能即將結束,因為對該行業的膚淺認知水平已經顯著增長,并且很可能是穩定的:“如果你在此時與普通受過教育的人交談,他們可能至少聽說過一次區塊鏈。這個領域的任何事物都不可能再增加1000倍。“[2018/9/10]
Tags:LAYER區塊鏈以太坊ROLPlayerMint區塊鏈工程專業學什么課程以太坊幣最新價格美元The Troller Coin
在傳統金融市場,公平、透明,甚至流動性,已經成了理所當然的存在。這三個條件也毋庸置疑得成為任何一個市場或者交易所存在的必要條件。但是,對于數字資產市場來說卻并非如此.
1900/1/1 0:00:00本文發表至今已將近三個月,Libra的現實環境也已發生一定變化,如針對Libra又進行了聽證會,若干Libra協會會員已退出,目前Libra協會僅剩22個會員.同時.
1900/1/1 0:00:00編者按:本文來自量化踢馬河,Odaily星球日報經授權轉載。DeFi建立在區塊鏈之上,區塊鏈通常被稱之為通用基礎架構層,由此,DeFi可以被視為該基礎架構之上的集群dApp.因此,DeFi的固有.
1900/1/1 0:00:00編者按:本文來自一本區塊鏈,作者:林格,Odaily星球日報經授權轉載。幣圈,從來不缺套路。近日,李笑來站臺的聊天和錢包工具Mixin,便因為充滿套路的簽到,陷入了一片質疑聲中.
1900/1/1 0:00:002019.12.30第2期1、甘孜藏族自治州出臺《甘孜州清理整治比特幣礦場工作方案》12月24日,甘孜藏族自治州發布《我州積極做好迎峰度冬保電工作》通知,通知顯示,落實限電措施.
1900/1/1 0:00:00本文來自:哈希派,作者:LucyCheng,星球日報經授權轉發。經歷過股票等風險資產全線崩潰的2018年,大部分投資市場終于在2019年迎來復蘇.
1900/1/1 0:00:00