通告 | Eth2 更新速覽，No.9

多事之秋，希望各位一切安好，請保護好自己，保護好你的家人，和你的鄰人。

我的更新可能有些慢了，非常抱歉。這篇速覽發佈以後我會保證定期更新。Eth2 總體來說進展順利 —— Phase0 的各項規範已經確定下來了，客戶端團隊正日夜兼程，而且一些頗有前景的研究表明無狀態模式並不遙遠。

摘要：

Phase 0 技術規範 v0.11.0 已放出，作爲多客戶端測試網的穩定目標
論述 GHOST 與 Casper 結合特性的論文已放出
多項式承諾看起來對無狀態模式很有用
IEFT BLS 技術規範有一些變化，但後續應該不會再有改動了

經過審計之後，Phase 0 技術規範 v0.11.0 放出

Phase 0 技術規範 v0.11.0 —— 代號 “Lan party” —— 已於上週放出。本次更新代表了一個 “經過審計” 的 Phase 0 技術規範，以準備作爲多客戶端測試網的長期不變的實現目標。

該更新對核心共識機制只作了少量修改，大部分的改動放在細化網絡協議上 —— 例如，提出更清楚的同步協議、強化 DoS 抗性，更好地把網絡與鏈分離，等等。我們的更新說明裏有更詳細的信息。

客戶端團隊正在努力吸收這些更新，同時繼續推行穩定性、優化工作和多客戶端協同實驗。實際上，客戶端團隊在三月的工作主旋律就是爲即將到來的多客戶端測試網打基礎。現在，Teku 客戶端可以與 Prysm 客戶端同步，Prysm 可以與 Lighthouse 同步，大部分使用 DiscoveryV5 的實現都可以發現彼此了。

##論述 GHOST 與 Casper 結合特性的論文已放出

本週，我們在 arXiv 平臺上放出了《Combining GHOST and Casper》論文。這篇論文形式化了 Eth2 的核心共識機制 —— Casper FFG 和 LMD-GHOST ——證明了兩者的結合如何能夠形成一個安全且具備活性的系統。這篇論文的基礎是由《Casper the Friendly Finality Gadget》論文首創的概念，並將這些概念放到了更具體的權益證明及按時隙推進的語境下（即 Eth2 信標鏈的設計）。

該論文是跟 Phase 0 規範的發展同步產生的。它不僅影響了 spec 的設計，還點出了一些必須得到解決的關鍵問題。我們也非常高興能放出這篇論文，接受大家的欣賞、評論，反饋乃至批評。

該論文脫胎於 Vitalik 講解過的 “mini-spec” ，但大部分工作是由 Yan X. Zhang 和他在聖何塞州立大學（San Jose State University）的學生推動並完成的。我們在此對 Yan 和他的學生 —— Diego Hernandez、Thor Kamphefner、Khiem Pham、Zhi Qiao、Juhyeok Sin 和 Ying Wang —— 表示誠摯的謝意，感謝你們完成了 Eth2 的關鍵里程碑。

多項式承諾對無狀態模式很有用

Vitalik 最近寫了一篇激動人心的 ethresearch 帖子：《Using polynomial commitments to replace state roots》。該文提議使用多項式承諾（polinomial commitment）替代傳統的默克爾樹累加器，用於表示區塊鏈的狀態和數據。如果這個研究方法是對的，那麼我們就可以將 “見證數據”（即處理一個區塊所需的狀態證據）大小從 0.5MB 減小到 10KB 以內，解決無狀態以太坊研究中的核心問題。

再講清楚一點：以太坊現正努力向一個更加 “無狀態” 的模式轉型（請看以太坊 1.x 的研究）。多項式承諾可能會是一個重大突破，因爲它能大幅減少無狀態模式在區塊大小上的開銷。

雖然這一方向看起來頗有前景，但一些研究和天花亂墜的數學仍然是 非常前沿的 。我們需要花更多時間來理解其中的複雜性及其犧牲、獲得對新技術和已有技術的更深刻洞見。