比Libra還令人振奮 以太坊2.0進展更新 (2019年6月)_ETH:TPS

作者|BenEdgington

編譯|Jhonny

我知道你們最近幾天都被有關Libra的消息刷屏了，所以這里有一點精神慰藉：本文不會提及Libra的相關信息，在這里我們將回顧一些最新的以太坊2.0開發進展。

本文的內容不是非常全面的，這些天發生的事情太多了。我將把過去幾周積累的各種片段整理成一些連貫的東西。

讓我們從開發更新開始。眾所周知，以太坊2.0的交付計劃分為三個不同的階段。最近最令人興奮的是有關階段0(接近信標鏈客戶端的互操作性)和階段2(以太坊2.0計算模型的開始)的進展。

階段0：信標鏈實現

信標鏈(beaconchain)是整個以太坊2.0系統的協調層，可能也是最難交付的部分。有關信標鏈的背景知識，請參閱我之前發表的StateofEthereumProtocol#2:TheBeaconChain這篇文章。

去年6月份，信標鏈被設想為以太坊2.0的未來。僅僅一年之后，階段0的規范將在今年6月30日被凍結敲定。它是一個全新的區塊鏈設計，其野心之大前所未有，包含了幾十項重大的創新和見解，8個客戶端實現已經準備就緒：這是驚人的以太坊社區一年以來的成就。坦率地說，這將使Libra相形見絀。任何對此不以為然的人，都生活在與我不同的宇宙中。

既然有關以太坊2.0規范的更新進展已經在Github上被很好地跟蹤和記錄了，我就不像在以前那樣詳細介紹了。今天我們將從更廣泛的角度來介紹相關的進展。

01.互操作性

隨著階段0的規范趨于穩定，現在的重點轉移到各個以太坊2.0客戶端實現之間的互操作性(interoperability)。當前由8個活躍團隊正在跟上最新的以太坊2.0規范。

一旦信標鏈網絡啟用，每個客戶端都將需要相互進行通信，以便就信標鏈的狀態達成一致。每個客戶端都需要遵循相同的規則：即使是一個位(bit)不正確，也會導致無法達成共識。

考慮到這一點，我們在布魯克林的BushwickGenerator舉辦了一個研討會，名為“通往互操作之路”(TheRoadtoInterop)。我拍了一些照片，感興趣的人還可以觀看現場錄制的長達四個小時的視頻，還有研討會的議程。這是一個讓幾個客戶端實施團隊聚在一起，計劃如何讓我們的客戶端彼此連貫地通信的場合。Vitalik在當天下午做了一個關于階段2想法的演講(見下文)。TerenceTsao也發布了關于Prysm客戶端架構和設計的演講幻燈片。

計劃中的下一個重大事件是大約在9月初舉辦的主題為“InteropLock-in”的研討會。那時，客戶端實現團隊將在聚集在安大略省某個偏遠的小屋，但只有在我們確認了所有客戶端都能夠很好地相處之后才會進行。

Web3娛樂內容平臺CeluvPlay加入Chainlink BUILD以獲得技術支持:金色財經報道，Web3娛樂內容平臺CeluvPlay加入Chainlink BUILD，以獲得Chainlink的oracle服務和技術支持。CeluvPlay將把其本地代幣供應總量的3%提供給Chainlink服務提供商，包括利益相關者。

CeluvPlay旨在利用NFT、用戶獎勵和去中心化治理創建一個區塊鏈生態系統。[2023/9/1 13:12:19]

JonnyRhea在Github上整理發布了擬定通往互操作性之路的各階段，大家可進行參閱。

02.網絡(Networking)

最終目標是使Libp2p成為以太坊2.0網絡基礎上的P2P通信協議(備注：Libp2p是一個便于使用者開發去中心化點對點應用程序的網絡框架)。

然而，作為實現這一目標的一個簡化步驟，各個客戶端正在實現更簡單的Hobbits協議，TrentonvanEpps發表的這篇文章對Hobbits協議進行了很好地介紹。Jonny也以推文風暴的形式闡述了Hobbits協議的基本原理，且ConsenSys也提供了一些獎勵金來鼓勵各團隊在客戶端中整合該協議。

與此同時，Whiteblock在Libp2p上做了一些性能測試，DanielChoi在ScalingEthereum探討會上進行了介紹。他們的發現對Libp2p在某些情況下的性能提出了一些問題。但是，通過與PrtcocolLabs進行合作，我們還將對Libp2p進行一些進一步的測試，以探索與以太坊2.0相關的更真實的參數范圍。

另一個有趣的進展是，PegaSys研發團隊發表的拜占庭容錯聚合協議Handel：PracticalMulti-signatureAggregationforLargeByzantineCommittees(《Handel：實現更大規模的拜占庭委員會的實用多重簽名聚合》)。

該協議可以顯著地加快以太坊2.0中驗證者搜集區塊證明(attestations)的速度，允許更大的委員會規模(committeesizes)，因此可能更快地實現交易的最終性(finality)。

03.Testing測試(Testing)

在當前對階段0進行開發的期間，大量的測試工作正在進行。值得注意的是AntoineToulme關于測試運行器(runner)的工作，這項測試工作由MolochDAO資助，可以通過這個視頻來了解最近的進展更新，該視頻非常值得客戶端開發人員查看。

該規范是可執行的，并且所有跨客戶端測試向量都可以直接從編寫好的規范生成，這一點是非常棒的。

還需要進行大量的工作來對該規范進行模糊測試(fuzz-test)，并提供一個用于對客戶端進行模糊測試的框架，正如在最新版的以太坊2.0規范中所體現出來的那樣。

火必已聯合Gala Games將對pGALA增發攻擊事件受損用戶進行賠償:4月3日消息，火必發布官方公告，宣布已與Gala Games協商完成pGALA增發攻擊事件受損用戶賠償計劃，賠償金額達5000萬美金。公告顯示，本次賠付將由火必與Gala Games共同承擔，其中火必為受損用戶提供2500萬美金等額現金和權益作為補償，包括：1500萬USDT及1000萬等值權益補償；同樣，Gala Games將為受損用戶提供2500萬美金等值的節點補償，上述賠償計劃將于本周內啟動。

據悉，pGALA事件源于pNetwork協同黑客在BSC鏈上利用跨鏈橋漏洞增發10億美金等值的天量pGALA，并從流動池內拋售并提現，累計獲利預計超千萬美金。受鏈上幣價大跌及pNetwork故意隱瞞該信息惡意套利的影響，致使Gala Games及火必在內的諸多第三方蒙受巨大損失。除上述賠償計劃，目前火必已與Gala Games達成共識，將通過法律途徑對pNetwork進行聯合起訴追繳。[2023/4/3 13:41:37]

04.形式化驗證(FormalVerification)

RuntimeVerification已經編寫了有關以太坊2.0存款合約增量Merkle樹實現的審計報告，該報告使用Vyper語言(而不是Solidity)進行編寫。

這是一個重要的里程碑，為將存款合約部署到當前的以太坊1.0鏈鋪平道路。為了便于閱讀，我們團隊(備注：即PegaSys團隊)的JoeDelong撰寫了一篇解釋性的有關以太坊2.0存款Merkle樹的實現的文章。稀疏的Merkle數是非常棒的！

RuntimeVerification還將在K語言中生成信標鏈的正式可執行規范。

05.信標鏈上線

在上周以太坊2.0實施者的電話會議上，JustinDrake提出了信標鏈部署階段的兩個目標日期：

在DevCon5會議期間：將存款合約部署到當前的以太坊1.0鏈上。這一公開儀式將有助于避免騙子發布虛假地址來竊取人們的存款。

2020年1月3日：信標鏈創世區塊可能誕生。那時信標鏈將正式啟用。

信標鏈創世區塊的誕生將取決于兩個先決條件。首先，存款合約中必須質押有足夠多的ETH。之前的一個硬性目標是質押的數量超過200萬ETH，但這個要求已經被移除。但質押數量的目標將是一個保證信標鏈安全啟動的指令。

第二個先決條件是目標為3個(或至少兩個)“生產就緒”的信標鏈客戶端和網絡驗證者。在此之前，所有客戶端都要完成大量的兼容性、優化、測試、審計、改進、工具化、文檔化和打包工作，所以我認為1月3日的目標有些雄心壯志。

階段1：分片數據

StarkNet生態加密錢包Braavos已開源賬戶合約:2月6日消息，StarkNet生態加密錢包Braavos已開源賬戶合約，開發人員可訪問源代碼并進行審查。

金色財經此前報道，Braavos于2022年10月份宣布完成1000萬美元融資，PanteraCapital領投，Brevan Howard Digital、Cryptocom和Matrixport等參投。[2023/2/6 11:50:01]

最近，階段1的規范已經成了Serenity的一片綠洲。

階段2：狀態執行

公平地說，就在幾個月前，以太坊2.0要交付的階段2還是一片迷霧。階段2是所謂的“執行層”，這使得以太坊2.0區塊鏈實際可用。該階段將提供資金轉移、實現智能合約和所有讓dapp得以構建等功能。但是，就在最近的4月初，我們還不清楚該階段將會是什么樣子。CaseyDetrio在ScalingEthereum會議期間上做了一個關于階段2的歷史和現狀的精彩演講，非常值得你花五分鐘的時間進行觀看……當時針對此階段的所有問題都是開放的，設計空間仍然是巨大的，可能性也是無限的，那時我們不知道從哪里開始。

為了打破這一僵局，Casey在Ethresear.ch上發布了一項令人興奮的提議：PhaseOneandDone:eth2asadataavailabilityengine。在不深入所有細節的情況下，這引發了一股創新浪潮，階段2迅速而令人興奮地開始成為關注的焦點。

之后Vitalik默默地公開了有關階段2的首個提案及其后續跟進，以回應Casey的提議。新成立不久的Quilt團隊的WillVillaneuva在Medium上發表了一篇對此進行解釋的文章。在紐約的Interopday期間，Vitalik講述了有關階段2的最新想法(相關視頻見)，最后在多倫多的ScalingEthereum會議期間闡述了更多的背景信息(視頻見)。

Vitalik提議的主旨是將以太坊區塊鏈在執行交易中的作用降至最低。在以太坊1.0鏈中，只有一種執行交易的方式，即通過EVM。在執行了某個區塊中的交易之后，交易狀態的Merkle根將被寫入該區塊中。為了在該區塊中的交易上運行EVM，所有的節點都需要存儲整條鏈的狀態(包含賬戶余額、合約存儲情況等)。

目前的階段2建議采用這個模型并加以推廣。現在可以有幾種(甚至很多)EVM類型(我們稱之為執行環境，executionenvironments(EEs))。

執行環境(EE)就是在eWASM中編寫的、(幾乎)作為純函數運行的代碼。這意味著執行環境本身并不會存儲任何狀態：執行環境所需要知道的任何信息都必須伴隨著交易一并被提供。因此，假如我想要發送一枚代幣給你，那伴隨這筆交易，我需要提供一個證明(比如一個Merklebranch)，從而證明我的余額中有這枚代幣；該執行環境不知道我的余額有多少，因為它并不存儲任何信息。實際上，這并不完全正確：每個執行環境都將存儲一個32字節的值，該值是其當前全局狀態的某種概要或累加器(也許是一個Merkle根，但這并不是規定性的，它可以是任何足夠安全的東西)。

Nomad跨鏈橋現已重新啟動，將按比例定期返還用戶資金:12月21日消息，跨鏈互操作性協議Nomad宣布跨鏈橋已重新啟動，此前進行過KYC驗證的madAsset持有者可以開始回收其資金，Nomad將按照比例定期返還用戶資金。本月早些時候，Nomad曾發布跨鏈橋重啟指南。此前8月份Nomad因合約漏洞被盜近2億美元，9月份宣布將在審計完成后發布重啟跨鏈橋的代碼。[2022/12/21 21:59:27]

以這種方式將執行層提取出來，這能夠提供最大程度的靈活性。可能會出現針對zk-Rollups、ERC20之類的代幣或者企業友好型環境、Plasam，亦或者使用Haskell編寫的智能合約的EE(執行環境)等等。

其理念是，只要支付相當高的費用(大約100ETH？)，任何人都可以部署自己的EE來支持自己的專業區塊鏈環境。以太坊2.0分片鏈只關注基本方面：交易排序和數據可用性。

當前，一些問題仍在積極討論中：是否支持EE之間的同步調用、如何組裝區塊的細節以及收取gas費用、EE是永久性的還是需要支付一些存儲費用(storagefee)、EE最初將在以太坊2.0中部署什么等等。但在我看來，這無疑是正確的方向。

如果你想了解更多關于這一切的細節，你可以查看Casey和Alex的Scout庫，他們正在做一些可能的原型，以及他們在Ethersear.ch上發表的文章：Phase2executionprototypingengine。

對于我們這些更熟悉當前EVM執行的具體情況的人來說，所有這些聽起來可能相當抽象和陌生。不用擔心，適應以太坊1.0和以太坊2.0之間的平穩過渡路徑已經成為一項優先事項，現在有一些有趣的想法可以有效地實現這一點。雖然還存在一些挑戰，但相關的討論一直在Ethresear.ch行進行展開。

其他信息

以下是我在過去一個月左右的時間里隨機收集的一些零碎信息：

Chainsafe的ColinSchwartz正在撰寫一篇以太坊2.0的完整指南以及有關以太坊2.0擴展性的第一部分；

DannyRyan在Ethereal會議期間傳遞的“CautiousOptimism(審慎的樂觀態度)”；

EthGasStation與Prysm團隊合作并發布了相關報告；

AlexStokes撰寫了一篇解釋以太坊2.0如何充當以太坊1.0的最終性小工具的文章，以及一篇有關以太坊2.0共識的經濟安全性的文章；

MattGarnett列出的開啟以太坊2.0學習的資源列表；

可以在Twitter或Peepeth上關注我，了解更多信息。

更多資源

Amber Group在巴西推出零售交易平臺WhaleFin:金色財經消息，加密金融服務平臺Amber Group在巴西推出零售交易平臺WhaleFin，允許用戶購買和出售加密貨幣以及加密貸款，將其零售交易業務擴展到巴西。Amber Group首席執行官Michael Wu表示，一旦巴西批準了加密貨幣的特殊監管框架，他預計巴西的市場將進一步增長。（Coindesk）[2022/8/9 12:11:33]

相關的規范文檔

?Pullrequests

?Commits

?Issues

驗證者注冊合約

兩周一次的以太坊2.0實施者電話會議

https://ethresear.ch/

https://gitter.im/ethereum/sharding&https://gitter.im/ethereum/casper

Eth2.0Handbook更新

Sharding路線圖更新

信標鏈相關問題

https://github.com/ethresearch/p2p/issues

以太坊Reddit社區地址

加密貨幣領域相關推特賬戶

----

文中涉及的鏈接：

:https://media.consensys.net/state-of-ethereum-protocol-2-the-beacon-chain-c6b6a9a69129

:https://github.com/ethereum/eth2.0-specs/releases

:https://photos.app.goo.gl/eV81rzNZoBBtnm1HA

:https://www.youtube.com/watch?v=NlDA3gKqysA

:https://hackmd.io/@vJTdwcwQSByvMaZGfTX_oQ/Hyz8Mw-9V?type=view

:https://docs.google.com/presentation/d/1UN5EV6nb2UHAQdVkE5BGkL2fyKKND0cdWi7gS2SWhAw/edit#slide=id.p

:https://github.com/ethereum/eth2.0-pm/tree/master/interop/hobbits

:https://medium.com/whiteblock/introducing-hobbits-a-lightweight-wire-protocol-for-eth-2-0-b1bfae5e4843

:https://twitter.com/JonnyRhea/status/1139245584169209858

:https://explorer.bounties.network/profile/0xb7693d3f040d66ab89ab86e7f8688c01febbc77c

:https://youtu.be/RW7K3JQOZOg?t=9335

:https://twitter.com/DeanEigenmann/status/1137032627230089216

:https://arxiv.org/pdf/1906.05132.pdf

:https://www.youtube.com/watch?v=4V-WQ2CnRfA

:https://github.com/ethereum/eth2.0-specs/tree/dev/test_generators

:https://github.com/ethereum/eth2.0-specs/releases/tag/v0.7.1

:https://medium.com/@josephdelong/ethereum-2-0-deposit-merkle-tree-13ec8404ca4f

:https://twitter.com/RosuGrigore/status/1131066228460675072

:https://github.com/ethereum/eth2.0-specs/pull/1152

:https://github.com/ethereum/eth2.0-specs/blob/dev/specs/core/1_shard-data-chains.md

:https://www.youtube.com/watch?v=RW7K3JQOZOg&t=6284

:https://ethresear.ch/t/phase-one-and-done-eth2-as-a-data-availability-engine/5269?u=benjaminion

:https://notes.ethereum.org/s/HylpjAWsE#

:https://ethresear.ch/t/proposed-further-simplifications-abstraction-for-phase-2/5445

:https://medium.com/@william.j.villanueva/a-journey-through-phase-2-of-ethereum-2-0-c7a2397a36cb

:https://youtu.be/NlDA3gKqysA?t=9441

:https://www.youtube.com/watch?v=RW7K3JQOZOg&feature=youtu.be&t=2090

:https://sites.google.com/consensys.net/fae

:https://ethresear.ch/t/one-fee-market-ee-to-rule-them-all/5608?u=benjaminion

:https://github.com/ewasm/scout

:https://twitter.com/alexberegszaszi/status/1132242394102009856

:https://ethresear.ch/t/phase-2-execution-prototyping-engine-ewasm-scout/5509?u=benjaminion

:https://twitter.com/cdetrio/status/1134949249974767616

:https://twitter.com/matt_garnett/status/1135925934882775043?s=03

:https://ethresear.ch/t/work-to-natively-integrate-eth1-into-eth2/5573?u=benjaminion

:https://medium.com/chainsafe-systems/ethereum-2-0-a-complete-guide-d46d8ac914ce

:https://medium.com/chainsafe-systems/ethereum-2-0-a-complete-guide-3739a74be61a

:https://www.youtube.com/watch?v=Z_dhq0MlFtc

:https://ethgasstation.info/blog/eth2-proof-of-stake-testnet-what-we-learned/

:https://medium.com/@ralexstokes/the-finality-gadget-2bf608529e50

:https://medium.com/@ralexstokes/how-secure-is-ethereum-2-0-consensus-41523a59f270

:https://twitter.com/matt_garnett/status/1136049338176720896

:https://twitter.com/benjaminion_xyz

:https://peepeth.com/benjaminion_xyz

:https://github.com/ethereum/eth2.0-specs/tree/master/specs

:https://github.com/ethereum/eth2.0-specs/pulls?q=is:prsort:updated-desc

:https://github.com/ethereum/eth2.0-specs/commits/master

:https://github.com/ethereum/eth2.0-specs/issues

:https://github.com/ethereum/deposit_contract/

:https://github.com/ethereum/eth2.0-pm

:https://notes.ethereum.org/s/BkSZAJNwX

:https://github.com/ethereum/wiki/wiki/Sharding-roadmap

:https://github.com/ethereum/beacon_chain/issues

:https://www.reddit.com/r/ethereum/

:https://twitter.com/benjaminion_xyz/following

Tags：ETHHTTTPSCOMethicalsiliconpoliceBHTThttps://etherscan.ioCOMB

狗狗幣價格