買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > BNB > Info

區塊鏈:V神最新演講:以太坊2.0到底是什么?_以太坊幣最新價格

Author:

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

原地址:https://www.youtube.com/watch?v=Km9BaxRm1wA祝賀中本聰共識誕生10周年!今天我的演講主題是以太坊2.0,但我希望呈現的不僅是以太坊2.0在技術上的要點,還包括為什么我們需要推進以太坊升級,我們會做哪些升級,又經由哪些嘗試走到今天。那么,什么是以太坊2.0呢?

幾年來,我們孜孜不倦地討論和研究系統的一些特性,也在App開發上投入了大量精力,最終,它們匯集在一起,組成一個融洽的世界。這些特性包括權益證明算法,Casper;可擴展性,分片;虛擬機升級,EWASM;跨鏈合約上的強化;協議經濟模型改進,以及非常多促成邏輯層分散化的改進。重要話題還真不少。我們做過哪些探索?

PoS權益證明的相關研究始于2014年。我在一月份發表的這篇博文闡述了一個叫做罰沒者的算法,引入了權益證明算法中最基礎的概念:如果你違反協議并且被發現了,,你就要接受懲罰;這一方法可以用來提升安全性。但在那時,正如你可以在幻燈片中看到的,我相信Slasher是一種非常有用的建構,可以讓權益證明“挖礦”的武器庫變得更充實,并為我們提供更強力的理由切換到權益證明。當然我們還沒這么做。因此,在那時,要不要PoS當成我們的方向還未有定論。但隨著時間推移,這一點變得清晰很多。可擴展性在2014年,首先,我們探討了一系列有趣且重要的觀念,比如“Proofofproofofwork”,這是一種提升可擴展性的建議;“中心輪輻鏈模型”,讓一條鏈成為中心,一系列的鏈成為附屬,這其實就是一個非常早期的可擴展性和分片提議,嘗試提高區域內交易的可擴展性,但并不能提高全局交易的可擴展性;“超級立方體模型”,立方體有12個維度而不是3個,因此我們可以達到比中心輪輻模型更強的可擴展性。現在,出于多個原因,這些觀念都被拋棄了;不過,真的有人弄了一場浩大的ICO來開發它們,真高興有人愿意嘗試。那么在2014年我們究竟有沒有取得正確的進展呢?2014年的進展有的。我們得到了一個概念叫做“弱主觀性”,某種程度上來說,這是一個半形式化的安全模型,嘗試探討PoS保證金的罰沒條件,以及在什么條件下PoS是安全的。同時,我們也越來越確定,具有更強安全屬性的PoS算法是存在的,所以點點幣及其變種是真的有可能的。我們也逐漸意識到,有一些可擴展性策略能夠通過隨機抽樣跟權益證明算法結合,但我們不知道具體怎么做。那時候我們確定了一個路線圖,VinayGupta在2015年3月寫了一篇很棒的博文,列舉了當時來看以太坊路線的4個主要階段。第一階段:Frontier,就是我們一開始啟動項目時所處的階段;第二階段:Homestead,從alpha走向beta版;第三階段,Metropolis,那時候的預期是開發Mist和用戶交互界面并提升用戶體驗。但自那時以來,我們的注意力轉向了實現更強的密碼學技術支持,而交互界面的提升變成了平行的目標。第四階段:Serenity,實現權益證明。從今往后,我愿意稱之為以太坊2.0,當然我也不會拒絕用Shasper來代指。為免混淆,我們還可以稱為“Serenity”。2015-16:低谷然后,我們就迎來了一個低谷:我們在解決PoS、可擴展性中的一些核心問題上遭遇了一系列失敗,Vlad悄悄地暫停了他在CasperCBC中的所有工作。我們得到的最有意思的觀念之一便是“投注共識”:參與者對下一次會敲定哪個塊打賭,而一旦某些人下注,他們下注的事實本身便會成為其他人下注的考量因素。這樣的話,在某種意義上我們就產生了一個遞歸公式,隨著時間推移,下注的人會越來越多,哪個塊會被敲定也會變得越來越明顯;在對數輪以后,每個人都會將自己所有的權益都投完,這樣我們就達到了去定性。我們沿著這條思路走得相當遠,為它創建了完整的概念證明,你可以看到確定化的過程,還有簽名函數什么的。我的意思是,我們在這里花去了絕大部分時間,但然后整個思路就停滯不前了,主要原因是我們認識到了哪種BFT啟發型共識算法可以真正安全地工作。存儲租金Rent的觀念其實是這樣的:與其為使用存儲空間收取一次性的高額費用,我們可以逐步收取費用。因此,以每天、每個區塊或其它方式為計,一旦特定的存儲空間被占滿,你就需要為此支付一定的ETH。這里寫的是EIP103,但實際上應該是EIP35才對,因為35才是issue號碼。這是一個初步的想法,試圖形成一個正式的概念。從那時開始,我們在如何才能最好地利用租金這一點上迭代了很多想法。2015年的可擴展性論文這一篇論文的目標是形成二次方分片和超二次方分片的概念,但它真的太復雜了。它會包含一些很復雜的激化博弈。整個觀念是受到escalation在法律系統中的作用的啟發,但我試圖把它用到基礎層。里面還包含“深度狀態逆轉“,就是說,如果有些事情真的弄錯了,那么大量的狀態可以在將來進行深度回滾。真的很復雜。實際上,其中一個我們無法完全把握、但在逐步接近的根本問題,就是所謂的”漁夫兩難“。這是分片研究中的一個非常根本的概念,描述了狀態的擴展性執行、程序的擴展性執行與數據擴展可得性之間的巨大區別。基本問題是這樣的:如果要運行程序,你可以讓人們承諾答案是什么,然后你可以用挑戰游戲、用二分法搜索確定在哪一步上誰算錯了,確認事實后就可以懲罰那些給出錯誤答案的人。而數據可用性的問題是:無論挑戰游戲如何運行,你都可以作弊,因為你可以完全不公開任何數據,直到機制來檢查你有沒有公開數據,然后你只要公開機制要檢查的那部分數據就可以了。這已經證明是許多可擴展性算法中的一個非常重大的問題。我過去還寫了一篇博文來討論這個問題,你們可以搜索ANoteonErasureCodingandDataAvailability,里面講到了更多問題的細節。這也是拖慢我們進度的其中一個原因。但即便如此,我們還是很高興能推動以太坊繼續前進,我們走在自己的道路上!嗯,然后,就出了TheDAO事件。這也沒什么,也沒別的問題了。慢著,好吧,又出了個”上海DoS攻擊“。總而言之,TheDAO事件、DoS攻擊,最終耽誤了很多人的事件和精力,甚至長達6個月。不過,我們還是在前進,EWASM在前進,關于虛擬機的研究在推進,我們還做了一個替代性版本EVM1.5。而且大家也多角度、更深入地理解了更優區塊鏈算法的形態。砥礪前行

V神回擊YC聯合創始人:人們經常根據謠言信息進行交易:金色財經報道,針對YCombinator聯合創始人Paul Graham警告加密系統性風險的推文,以太坊聯合創始人Vitalik Buterin(V神)發推稱,我通過小道消息得知有重要的事情即將發生,請注意到我與預言大師的精英社會關系讓我很酷,麻煩幫助我驗證我的酷的自我形象」。早些時候,Graham在推特表示,我認識了十多年的一個人,我認為他值得信賴,他相信加密貨幣經濟很快就會經歷系統性風險。

Paul回復V神,我傳遞那個信息并不是為了看起來很酷。我有點不情愿地把它傳了下去,因為寫它的人要我這么做。他認為這可能會幫助那些過度接觸風險資產的人。隨后V神解釋道,我不是在回應你(Paul),只是提出一個我在過去一周發現難以忍受的一個現象,人們散布謠言,很多人轉發它們,很多人開始根據這些謠言信息進行交易……我不想為此創造空間。[2022/11/22 7:54:25]

然后,我們就非常迅速地取得了一系列重大進展。在這段時間,我們在很多不同的研究領域都有所收獲:一些是圍繞權益證明、希望讓我們的共識層更加高效的;一些是圍繞可擴展性,希望讓我們的基礎層共識可以分片;一些是嘗試提高虛擬機效率的;還有一些是圍繞賬戶抽象的,賬戶抽象可以讓用戶自己選擇要使用哪種簽名方案,這樣可以獲得后量子時代的安全性,并且讓隱私解決方案變得更簡單;還有圍繞協議層經濟模型的。當然所有這一切都還在生長。CasperFFG在2017年伊始的某個時間點,我們開發了一個協議,并且起了個謙虛的名字:最小罰沒條件。最小罰沒條件轉化了PBFT類型的傳統拜占庭共識;在80年代,Lamport、Shostak等人便創建了同類的材料,但我簡化了算法并把它放到了大多數區塊鏈的環境中。基本的觀念如下:在一條區塊鏈上會不斷產生新的區塊,你可以通過連續的合并和觀察來獲得一種流水線版的效率:每一輪開始時你都會為本輪添加數據,而在下一輪中人們可以確認這些數據中的一部分;我們可以從中獲得巨大的效率提升。一開始的最小罰沒條件有6條,然后我減少到4條,而一年后,我們終止合并prepare和commit,這便是CasperFriendlyFinalityGadget。分片上一年的Devcon上我演示了這種新的分片設計,就是保持主鏈不變,然后創建分片作為某種意義上的Layer-2系統掛載在現有的主鏈上,確認足夠可靠之后再升級成為Layer-1。CasperCBC然后是來自Vlad的CasperCBC~論文。CasperFFGPOC泰國時間2017年12月31日23:40,那時候我們恰好在泰國,CasperFFG概念驗證橫空出世。那時候我們真的非常想確定,一種PoW/PoS混合共識的技術詳述到底是什么樣子的,而這一種混合共識會使用一部分來自CasperFFG中的觀念,還有一部分傳統拜占庭容錯共識所啟發的觀念,并加載在現有的工作量證明鏈上。這會是一種可以讓我們快速轉向混合共識的機制,并且對現有區塊鏈造成的沖擊也最小,然后理論上我們將有可能升級為完全的權益證明。我們同樣在這條路上走了很遠,我們還做了一個Python測試客戶端,用不同的VPS、服務器和電腦通信來做測試。Shasper與此同時,我們在分片上也取得了許多進展。我們不斷完善分片的技術詳述,最終我們在18年3月的臺北組織了一次集體休整。在這里很多想法開始冒出來,如何實現一條分片區塊鏈看起來變得明朗起來。對,看起來變得明朗起來。在6月份,我們做了一個非常困難,但我個人認為從長遠來看非常有價值的決定。我們發現:咦,這邊我們有幾支團隊在實現混合權益證明,他們試圖將CasperFFG開發為一個現有鏈上的智能合約,對分叉選擇規則做調整;另一邊,有幾支完全隔離的團隊,要開發一個驗證者或者說管理者合約,在這個基礎上開發分片系統;他們之間是沒有交流的。在分片這一邊,最終變得越來越清楚的是:讓分片系統的核心放在PoS鏈上會給我們帶來更高的效率;變成PoW鏈上的一個合約,我們就不得不處理EVM的開銷,應付Gas機制,應付不可預測的PoW區塊時間;PoS+分片可以帶來更快的出塊時間等一系列好處。然后我們就意識到,為什么這邊有個團隊在開發PoS,那邊又有一個PoS項目?為什么我們要做重復工作呢?然后我們決定要把兩邊的工作合并起來。這個決定給之前的許多工作判了死刑,但意義深遠:我們會在一起工作,開發同一份技術說明,同一個協議,而我們可以同時讓CasperPoS和分片相得益彰。總而言之,與其這邊有一個目的,那邊有另一個目的,然后我們要努力分辨如何合并兩邊的成果,我們還不如在起點上多花一些時間,然后走向一套權益證明和分片區塊鏈。其它與此同時,我們花了不少時間討論分叉選擇規則,最終我們越來越接近也越來越深入地理解分叉選擇規則;GHOST算法雖然一開始是為工作量證明設計的,但因為一系列原因,我們重新提議用于權益證明。Justin開始研究可證延遲函數,我們在斯坦福有個工作室,Justin一直在跟那里的許多研究者合作。關于如何實現抽象和租金,我們也形成了更多想法。因為一些理由,我們決定將存儲租金重命名為存儲維護費。在研究方面,我們正在研究跨分片交易,比如csoss-shard-yanking,我們是普遍化傳統分布式系統中的一些概念,用到異步的跨分片環境中;還有資源定價的論文,包括最優化費用市場,如何收取存儲維護費,不同設計之間的權衡。Casey還寫了這篇文章討論同步假設下的跨分片交易。當然,CBC的研究也擴展到了,分片領域,對了,這個真的不叫Valding,Vlad很討厭這個詞。還有開發,我們在以太坊2.0開發推進中使用的策略是:追求創造性的多客戶端去中心化開發。這不僅僅是因為我們有去中心化的追求,這也是一套非常實用的策略,就是打賭別的團隊都不會有你干得漂亮;此外,上海事件讓我們醒悟,如果某個客戶端出了問題而別的客戶端沒有,整個網絡可以更好地運行;順便,還讓整個生態系統的開發更不依賴于基金會本身。基金會真正開發的客戶端是Python客戶端,Python在性能上有內在的限制,這也給了大家激勵去運行由Prysmatic創造的客戶端、Lighthouse、Status還有Pegasus以及其他如雨后春筍般冒出的團隊開發的客戶端。即將到來的Serenity

聲音 | V神:ICO與區塊鏈精神脫節:據AMBcrypto消息,在ETHWaterloo 2活動的一個討論小組中,以太坊創始人V神(Vitalik Buterin)表示,整個ICO機制,即使它號稱是一個去中心化的項目,這“與區塊鏈的精神是脫節的”。他解釋稱:“這就像區塊鏈一樣,它們是關于去中心化和信任最小化的,ICO基本上會說,‘嗨,我是一個中央集權的國王,你應該給我1億美元,因為你信任我,我將建立這個加密項目,我會把它做得很好。所以從哲學上來說,這是完全不一致的。”[2019/11/10]

那么就下來,我得說,即將到來的,不能被稱為Shasper。Serenity即將啟航!Serenity是什么?首先,Serenity是繼Frontier、Homestead以及Metropolis之后的第四個階段。當然Metropolis被分為拜占庭和君士坦丁堡兩個階段,并且君士坦丁堡升級就快啟動了。其次,它是我們在所有這些不同領域長達四年的研究的集大成者,包括Casper、分片、EWASM以及所有這些協議研究的觀念。然后,這是一種新的區塊鏈。從數據結構上來說是如此,但它會與當前的工作量證明區塊鏈保持一定的聯系。那么,比如,PoS鏈可以感知到PoW鏈的區塊哈希值,你可以將Ether從PoW鏈上轉移到PoS鏈上。這是一套新系統,也是一套相互連接的系統,最長遠的目標是:當這個新系統足夠穩定的時候,所有現有區塊鏈上的應用可以被存入新系統中某個分片上的合約,然后有一個用EWASM寫成的EVM解釋器。這一點還沒有最終確定,但從當前來看,這差不多就是我們的路線圖了。再次,Serenity會成為世界計算機,而不是像1999年的智能手機一樣,每秒只能處理15筆交易,勉強能玩一下貪吃蛇。最后,Serenity仍會是去中心化的,我們還希望在一些維度上,它可以比現有的區塊鏈更加去中心化。舉個例子,作為一個信標鏈的驗證者,你的存儲要求可能是小于1GB,比起今天你需要8GB來存儲狀態,或是像網上的流言說的那樣存儲以太坊區塊鏈需要1.8TB,都會好很多。期望的階段Phase0:權益證明的信標鏈。從某種角度來說,PoS信標鏈是一個區塊鏈倉庫,存儲著所有信息,但它自身是啞默的。在信標鏈上會有一些驗證者,這些驗證者會運行PoS算法;它就像是介于測試網和主網之間的東西,它肯定不是測試鏈,因為你可以質押真正的Ether進去并獲得真正的Ether獎勵,但它也不是主鏈,因為上面沒有應用,所以如果它崩潰了,人們也不會哭爹喊娘,不會像上海DoS攻擊事件時那樣痛哭流涕。Phase1:作為數據鏈的分片鏈。這就是分片會有的角色。這是一個簡化的版本,也就是說我們并不對狀態做分片,而是對數據做分片;你可以把數據放到鏈上,然后嘗試運行一個自己的狀態執行引擎。實際上,最容易分片的就是數據。因此,如果你想要在區塊鏈上做去中心化應用,現在你擁有了可擴展性,但并沒有因此具備狀態執行能力來開發智能合約應用以及所有那些非常復雜的東西。Phase2:支持EWASM的狀態轉換。這一點包括:支持虛擬機、支持賬戶、合約、分片間Ether轉移,等等。Phase3以及更遠:不斷迭代,加入新的技術。期望的特征純粹的PoS共識。更快的同步確認時間。注意,因為信標鏈的分叉選擇規則以及簽名機制,信標鏈上的一次確認包括數百個驗證者之間的消息傳遞,從概率學的角度來說,實際上等同于現有以太坊工作量證明區塊鏈上的數百次確認。在消息同步傳遞的假設下,已經可以被視為將一個區塊敲定。在同步確認的假設下,10-20分鐘達致經濟確定性。通過EWASM實現更快的虛擬機執行。在理想狀態下,達成1000倍的可擴展性。后Serenity的創新

聲音 | V神:中繼注冊燃燒機制是以太坊在隱私解決方面的關鍵一步:V神在推特中轉發了一篇介紹中繼注冊燃燒機制的文章。該機制目的在于抵制垃圾交易,其在以太坊第二層網絡上建立一套仲裁注冊機制,每一筆交易在發送廣播中需要支付一定比例的費用,最后利用min_percent將其銷毀。V神評論稱,在中繼研究取得較大進展之后,這是以太坊短期在隱私解決方案上的關鍵一步。[2019/7/18]

強化隱私保護。我們已經做了大量的工作。比如,在拜占庭階段,我們激活了橢圓曲線運算、橢圓曲線匹配的預編譯。BarryWhite做了非常棒的工作,用Layer-2來保護代幣轉移、投票、聲譽系統中的隱私。這些工作都可以借用過來。跨分片交易。半隱私鏈。其中的觀念是,如果你想開發一些應用并讓數據在一部分用戶間保持私密狀態,你仍然可以將所有的數據都放到公鏈上,只不過你是用加密形式放上去的,或者上傳哈希值、零知識證明,都可以自己決定。權益證明上的創新。這是我們始終關切的一個事情。當CasperCBC在開銷上足夠經濟時,也會加入到我們的路線圖。在實現Serenity之后,我們準備將所有的東西都升級到STARK。比如,將STARK用于簽名聚合、驗證糾刪碼來檢查數據可用性,也許最終會用來檢驗狀態執行的正確性。更強的跨分片交易形式。更快的單次確認。將確認時間從8秒降到更低。中期的目標

最終穩定化Layer-1的功能考慮使用Issuance,以及費用……在人們希望協議層提供的保證和屬性上能夠得到越來越多的共識考慮治理問題即將到來的更新

在最終發行之前,我們還會做哪些更新呢?首先,將協議層的詳述定型。一直在關注GitHub上的ethereum和2.0主要規范、信標鏈規范等內容的人應該直到,協議層發展得非常快,但我們很快會將它們穩固下來。繼續做開發和測試。現在以太坊2.0協議有8個實現正在開發。跨客戶端測試網。一些人表明非常希望看到跨客戶端測試網能在明年1月份跑起來。我當然也非常樂于看到,今年8月的時候我們已經看到了希望。在這里簡單回顧一下以太坊1.0的開發歷程。從白皮書提出概念到正式發布,中間隔了19個月,用了這么長時間的部分原因是在技術說明還沒有定稿之前,我們便試圖打造跨客戶端的兼容性,我們是先后同意做測試、發布測試網、等待協議變更,同意發布新測試網,然后等待更多的協議變更,這樣來來回回了5次。在這個事情中我們已經學到了教訓,我們并不需要完全專注于跨客戶端的兼容性,可以等到真正接近技術說明定稿時再說。我認為我們離發布技術說明的候選稿已經不遠了,至少在不包括狀態執行的部分中是如此。最后是安全審計。在座哪些觀眾認為安全審計是重要的?哪些觀眾認為安全審計不重要呢?誰認為這個世界是被蜥蜴人掌控的呢?嗯,第三部分的人還笑了一秒鐘呢,真棒。最后就是發行啦。你們覺得發行不重要嗎?嗯,那么在座哪位最喜歡的候選人是一個蜥蜴人呢?嗯,所以,發行就是我們期待已久并在過去四年中為之持續奮斗的里程碑。并且,我相信這一切不會太遙遠。謝謝!

V神:與ASIC挖礦對抗并不容易,所以PoS權益證明是最好的:今晚V神在王峰十問上表示:ASIC太中心化了,我知道現在比特幣領域里,有一個人生產了市場上的絕大多數ASIC礦機,而且已經開始使用這些礦機進行挖礦了。一些工作量證明(PoW)算法開始抵抗ASIC挖礦,而且是去中心化的。但是今年,我們發現很多抵制ASIC挖礦的加密貨幣都受到了攻擊,這些事件表明,與ASIC挖礦對抗并不是一件容易的事情。所以,不管是對ASIC挖礦友好的工作量證明(PoW),還是抵制ASCI挖礦的工作量證明(PoW),其實看上去效果都不是很好,因此我覺得權益證明(PoS)是最好的。[2018/6/22]

以太坊創始人V神推特改名:以太坊創始人Vitalik Buterin(V神)推特賬號已改名為Vitalik “No I’m not giving away ETH” Buterin(Vitalik·我沒有送出任何ETH·Buterin)。此前曾有人假冒V神賬號“宣布了”一項ETH活動,向指定地址發送ETH即可獲得獎勵。[2018/3/4]

Tags:以太坊POS區塊鏈ASP以太坊幣最新價格cpos幣最新消息區塊鏈掙錢是真的假的Metasphere

BNB
ANC:2018區塊鏈+電商行業報告:區塊鏈初露鋒芒_加密貨幣怎么交易

前言 電商行業是典型的萬億美元藍海市場。近年來,電商市場保持著快速增長的勢頭,2017年全球電商市場交易額達2.3萬億美元,中國以29.16萬億元位居全球首位。電商市場長期以來面臨著幾大痛點.

1900/1/1 0:00:00
CEO:迅雷:與開發者同行_區塊鏈技術通俗講解

2018年是底層公鏈瘋狂的一年,這條賽道上一度涌現出數百條公鏈。對于核心競爭力是底層技術與生態閉環的公鏈玩家來說,無論是技術上的TPS能力之戰,還是偏營銷的節點競選大戰,吸引用戶的最終來源仍然依.

1900/1/1 0:00:00
SDT:比特幣美元交易對占70%?可能都是中國在帶節奏_Bitkeep錢包usdt怎么換人民幣

本文來自:哈希派,作者:LucyCheng,星球日報經授權轉發。比特幣交易市場與傳統的中心化證券股票交易市場最顯著的區別在于,傳統的中心化交易市場存在著區域性限制和時間性限制,而比特幣市場則是一.

1900/1/1 0:00:00
RAN:中國的區塊鏈為什么和西方這么不一樣?_Landworld

編者按:本文來自橙皮書,作者:orangefans,Odaily星球日報經授權發布。11月初,我在布拉格參加了一場很不一樣的區塊鏈大會,Devcon4,類似蘋果的WWDC,以太坊生態的參與者基本.

1900/1/1 0:00:00
TOK:一個區塊鏈項目的 40 種死法_KAIKEN價格

編者按:本文來自鏈捕手,作者:Frank,編輯:潘宇波,星球日報經授權發布。區塊鏈項目的死亡高峰期已至,它們為何會失敗?很多人認為是因為熊市,但真兇卻另有答案.

1900/1/1 0:00:00
DAILY:北大光華學院教授劉曉蕾:區塊鏈有助于降低交易成本,助力實體經濟_區塊鏈存證說法錯誤的是

日前,北京大學光華管理學院推出了首期有關區塊鏈領域的付費課程——《前沿應用與價值創造》。該課程為期三天,根據目前的公開資料顯示,授課嘉賓包括北京大學光華管理學院金融系主任、光華區塊鏈實驗室主任劉.

1900/1/1 0:00:00
ads