祝賀中本聰共識誕生 10 周年！

今天我的演講主題是以太坊 2.0，但我希望呈現(xiàn)的不僅是以太坊 2.0 在技術(shù)上的要點(diǎn)，還包括為什么我們需要推進(jìn)以太坊升級，我們會做哪些升級，又經(jīng)由哪些嘗試走到今天。

那么，什么是以太坊 2.0 呢？

幾年來，我們孜孜不倦地討論和研究系統(tǒng)的一些特性，也在 App 開發(fā)上投入了大量精力，最終，它們匯集在一起，組成一個融洽的世界。這些特性包括權(quán)益證明算法，Casper；可擴(kuò)展性，分片；虛擬機(jī)升級，EWASM；跨鏈合約上的強(qiáng)化；協(xié)議經(jīng)濟(jì)模型改進(jìn)，以及非常多促成邏輯層分散化的改進(jìn)。重要話題還真不少。

我們做過哪些探索？

1、PoS

權(quán)益證明（PoS）的相關(guān)研究始于 2014 年。我在一月份發(fā)表的這篇博文（Slasher: Punitive Proof-of-Stake Algorithm）闡述了一個叫做罰沒者（Slasher）的算法，引入了權(quán)益證明算法中最基礎(chǔ)的概念：如果你違反協(xié)議并且被發(fā)現(xiàn)了，（這是可以被證明的），你就要接受懲罰；這一方法可以用來提升安全性。但在那時，正如你可以在幻燈片中看到的，我相信 Slasher 是一種非常有用的建構(gòu)，可以讓權(quán)益證明“挖礦”的武器庫變得更充實(shí)，并為我們提供更強(qiáng)力的理由切換到權(quán)益證明。當(dāng)然我們還沒這么做。

因此，在那時，要不要 PoS 當(dāng)成我們的方向還未有定論。但隨著時間推移，這一點(diǎn)變得清晰很多。

2、可擴(kuò)展性

在 2014 年，首先，我們探討了一系列有趣且重要的觀念，比如“Proof of proof of work”，這是一種提升可擴(kuò)展性的建議；“中心輪輻鏈模型（Hub and spoke chains）”，讓一條鏈成為中心，一系列的鏈成為附屬，這其實(shí)就是一個非常早期的可擴(kuò)展性和分片提議，嘗試提高區(qū)域內(nèi)交易的可擴(kuò)展性，但并不能提高全局交易（即從某條鏈到另一條鏈）的可擴(kuò)展性；“超級立方體模型（Hypercubes）”，立方體有 12個維度而不是 3 個，因此我們可以達(dá)到比中心輪輻模型更強(qiáng)的可擴(kuò)展性。

現(xiàn)在，出于多個原因，這些觀念都被拋棄了；不過，真的有人弄了一場浩大的 ICO 來開發(fā)它們，真高興有人愿意嘗試（觀眾笑）。

那么在 2014 年我們究竟有沒有取得正確的進(jìn)展呢？

2014 年的進(jìn)展

有的。我們得到了一個概念叫做“弱主觀性（Weak Subjectivity）”，某種程度上來說，這是一個半形式化的安全模型，嘗試探討 PoS 保證金的罰沒條件，以及在什么條件下 PoS 是安全的。同時，我們也越來越確定，具有更強(qiáng)安全屬性的 PoS 算法是存在的，所以點(diǎn)點(diǎn)幣（Peercoin）及其變種是真的有可能的。我們也逐漸意識到，有一些可擴(kuò)展性策略能夠通過隨機(jī)抽樣跟權(quán)益證明算法結(jié)合，但我們不知道具體怎么做。

那時候我們確定了一個路線圖，Vinay Gupta 在 2015 年 3 月寫了一篇很棒的博文，列舉了當(dāng)時來看以太坊路線的 4 個主要階段。第一階段：Frontier，就是我們一開始啟動項(xiàng)目時所處的階段；第二階段：Homestead，從 alpha 走向 beta 版；第三階段，Metropolis（直譯為“大都會”），那時候的預(yù)期是開發(fā) Mist 和用戶交互界面并提升用戶體驗(yàn)。但自那時以來，我們的注意力轉(zhuǎn)向了實(shí)現(xiàn)更強(qiáng)的密碼學(xué)技術(shù)支持，而交互界面的提升變成了平行的目標(biāo)。第四階段：Serenity，實(shí)現(xiàn)權(quán)益證明。從今往后，我愿意稱之為以太坊 2.0，當(dāng)然我也不會拒絕用 Shasper 來代指。為免混淆，我們還可以稱為“Serenity”。

2015-16：低谷

然后，我們就迎來了一個低谷：我們在解決 PoS、可擴(kuò)展性中的一些核心問題上遭遇了一系列失敗，Vlad 悄悄地暫停了他在 Casper CBC 中的所有工作。

我們得到的最有意思的觀念之一便是“投注共識（Consensus by Bet）”：參與者對下一次會敲定哪個塊打賭，而一旦某些人下注，他們下注的事實(shí)本身便會成為其他人下注的考量因素。這樣的話，在某種意義上我們就產(chǎn)生了一個遞歸公式，隨著時間推移，下注的人會越來越多，哪個塊會被敲定也會變得越來越明顯；在對數(shù)輪以后，每個人都會將自己所有的權(quán)益都投完，這樣我們就達(dá)到了去定性。我們沿著這條思路走得相當(dāng)遠(yuǎn)，為它創(chuàng)建了完整的概念證明，你可以（在幻燈片上）看到確定化的過程，還有簽名函數(shù)什么的。我的意思是，我們在這里花去了絕大部分時間，但然后整個思路就停滯不前了，主要原因是我們認(rèn)識到了哪種 BFT 啟發(fā)型共識算法可以真正安全地工作。

存儲租金

Rent 的觀念其實(shí)是這樣的：與其為使用存儲空間收取一次性的高額費(fèi)用，我們可以逐步收取費(fèi)用。因此，以每天、每個區(qū)塊或其它方式為計(jì)，一旦特定的存儲空間被占滿，你就需要為此支付一定的 ETH。這里寫的是 EIP 103，但實(shí)際上應(yīng)該是 EIP 35 才對，因?yàn)?35 才是 issue 號碼。這是一個初步的想法，試圖形成一個正式的概念。從那時開始，我們在如何才能最好地利用租金這一點(diǎn)上迭代了很多想法。

2015 年的可擴(kuò)展性論文

這一篇論文的目標(biāo)是形成二次方分片和超二次方分片的概念，但它真的太復(fù)雜了。它會包含一些很復(fù)雜的激化博弈（escalation game）。整個觀念是受到 escalation 在法律系統(tǒng)中的作用的啟發(fā)（我知道 Joseph 的哲學(xué)非常喜歡使用這種類比），但我試圖把它用到基礎(chǔ)層。里面還包含“深度狀態(tài)逆轉(zhuǎn)“，就是說，如果有些事情真的弄錯了，那么大量的狀態(tài)可以在將來進(jìn)行深度回滾。真的很復(fù)雜。

實(shí)際上，其中一個我們無法完全把握、但在逐步接近的根本問題，就是所謂的”漁夫兩難“（Fisherman's Dilemma）。這是分片研究中的一個非常根本的概念，描述了狀態(tài)的擴(kuò)展性執(zhí)行（scaling execution）、程序的擴(kuò)展性執(zhí)行與數(shù)據(jù)擴(kuò)展可得性（scaling availability）之間的巨大區(qū)別。基本問題是這樣的：如果要運(yùn)行程序，你可以讓人們承諾答案是什么，然后你可以用挑戰(zhàn)游戲、用二分法搜索確定在哪一步上誰算錯了（譯者注：即每次都只運(yùn)行一半的運(yùn)算步驟，比對結(jié)果，來發(fā)現(xiàn)雙方到底在那一步上算錯了），確認(rèn)事實(shí)后就可以懲罰那些給出錯誤答案的人。而數(shù)據(jù)可用性的問題是：無論挑戰(zhàn)游戲如何運(yùn)行，你都可以作弊，因?yàn)槟憧梢酝耆还_任何數(shù)據(jù)，直到機(jī)制來檢查你有沒有公開數(shù)據(jù)，然后你只要公開機(jī)制要檢查的那部分?jǐn)?shù)據(jù)就可以了。

這已經(jīng)證明是許多可擴(kuò)展性算法中的一個非常重大的問題。我過去還寫了一篇博文來討論這個問題，你們可以搜索 A Note on Erasure Coding and Data Availability，里面講到了更多問題的細(xì)節(jié)。這也是拖慢我們進(jìn)度的其中一個原因。但即便如此，我們還是很高興能推動以太坊繼續(xù)前進(jìn)，我們走在自己的道路上！

嗯，然后，就出了 The DAO 事件（觀眾笑）。這也沒什么，也沒別的問題了。慢著，好吧，又出了個”上海 DoS 攻擊“（觀眾反應(yīng)有點(diǎn)慢）。

總而言之，The DAO 事件、DoS 攻擊，最終耽誤了很多人的事件和精力，甚至長達(dá) 6 個月。不過，我們還是在前進(jìn)，EWASM 在前進(jìn)，關(guān)于虛擬機(jī)的研究在推進(jìn)，我們還做了一個替代性版本 EVM1.5。而且大家也多角度、更深入地理解了更優(yōu)區(qū)塊鏈算法的形態(tài)。

砥礪前行

然后，我們就非常迅速地取得了一系列重大進(jìn)展。在這段時間，我們在很多不同的研究領(lǐng)域都有所收獲：一些是圍繞權(quán)益證明、希望讓我們的共識層更加高效的；一些是圍繞可擴(kuò)展性，希望讓我們的基礎(chǔ)層共識可以分片；一些是嘗試提高虛擬機(jī)效率的；還有一些是圍繞賬戶抽象的，賬戶抽象可以讓用戶自己選擇要使用哪種簽名方案，這樣可以獲得后量子時代的安全性，并且讓隱私解決方案變得更簡單；還有圍繞協(xié)議層經(jīng)濟(jì)模型的。當(dāng)然所有這一切都還在生長。

Casper FFG

在 2017 年伊始的某個時間點(diǎn)，我們開發(fā)了一個協(xié)議，并且起了個謙虛的名字：最小罰沒條件（Minimal Slashing Condition）。最小罰沒條件轉(zhuǎn)化了 PBFT 類型的傳統(tǒng)拜占庭共識；在 80 年代，Lamport、Shostak 等人便創(chuàng)建了同類的材料，但我簡化了算法并把它放到了大多數(shù)區(qū)塊鏈的環(huán)境中。

基本的觀念如下：在一條區(qū)塊鏈上會不斷產(chǎn)生新的區(qū)塊，你可以通過連續(xù)的合并和觀察來獲得一種流水線版的效率：每一輪開始時你都會為本輪添加數(shù)據(jù)，而在下一輪中人們可以確認(rèn)這些數(shù)據(jù)中的一部分；我們可以從中獲得巨大的效率提升（譯者注：此即 FFG 的核心思想，一旦在某輪中某區(qū)塊獲得 2/3 的驗(yàn)證者同意，該區(qū)塊的父塊便被敲定）。

一開始的最小罰沒條件有 6 條，然后我減少到 4 條，而一年后，我們終止合并 prepare 和 commit，這便是 Casper Friendly Finality Gadget（FFG，友好的確定性小工具）。

分片

上一年的 Devcon 上我演示了這種新的分片設(shè)計(jì)，就是保持主鏈不變，然后創(chuàng)建分片作為某種意義上的 Layer-2 系統(tǒng)掛載在現(xiàn)有的主鏈上，確認(rèn)足夠可靠之后再升級成為 Layer-1。

Casper CBC

然后是來自 Vlad 的 Casper CBC ~ 論文。

Casper FFG POC

泰國時間 2017 年12 月 31 日 23：40，那時候我們恰好在泰國，Casper FFG 概念驗(yàn)證橫空出世。那時候我們真的非常想確定，一種 PoW/PoS 混合共識的技術(shù)詳述到底是什么樣子的，而這一種混合共識會使用一部分來自 Casper FFG 中的觀念，還有一部分傳統(tǒng)拜占庭容錯共識所啟發(fā)的觀念，并加載在現(xiàn)有的工作量證明鏈上。這會是一種可以讓我們快速轉(zhuǎn)向混合共識的機(jī)制，并且對現(xiàn)有區(qū)塊鏈造成的沖擊也最小，然后理論上我們將有可能升級為完全的權(quán)益證明。

我們同樣在這條路上走了很遠(yuǎn)，我們還做了一個 Python 測試客戶端，用不同的 VPS、服務(wù)器和電腦通信來做測試。

Shasper

與此同時，我們在分片上也取得了許多進(jìn)展。我們不斷完善分片的技術(shù)詳述，最終我們在 18 年 3 月的臺北組織了一次集體休整。在這里很多想法開始冒出來，如何實(shí)現(xiàn)一條分片區(qū)塊鏈看起來變得明朗起來。對，看起來變得明朗起來。

在 6 月份，我們做了一個非常困難，但我個人認(rèn)為從長遠(yuǎn)來看非常有價值的決定。我們發(fā)現(xiàn)：咦，這邊我們有幾支團(tuán)隊(duì)在實(shí)現(xiàn)混合權(quán)益證明，他們試圖將 Casper FFG 開發(fā)為一個現(xiàn)有鏈上的智能合約，對分叉選擇規(guī)則做調(diào)整；另一邊，有幾支完全隔離的團(tuán)隊(duì)，要開發(fā)一個驗(yàn)證者或者說管理者合約（后來被重命名為鏈上分片管理者合約），在這個基礎(chǔ)上開發(fā)分片系統(tǒng)；他們之間是沒有交流的。在分片這一邊，最終變得越來越清楚的是：讓分片系統(tǒng)的核心放在 PoS 鏈上會給我們帶來更高的效率；變成 PoW 鏈上的一個合約，我們就不得不處理 EVM 的開銷，應(yīng)付 Gas 機(jī)制，應(yīng)付不可預(yù)測的 PoW 區(qū)塊時間；PoS 分片 可以帶來更快的出塊時間等一系列好處。

然后我們就意識到，為什么這邊有個團(tuán)隊(duì)在開發(fā) PoS，那邊又有一個 PoS 項(xiàng)目？為什么我們要做重復(fù)工作呢？然后我們決定要把兩邊的工作合并起來。這個決定給之前的許多工作判了死刑，但意義深遠(yuǎn)：我們會在一起工作，開發(fā)同一份技術(shù)說明，同一個協(xié)議，而我們可以同時讓 Casper PoS 和分片相得益彰。

總而言之，與其這邊有一個目的，那邊有另一個目的，然后我們要努力分辨如何合并兩邊的成果，我們還不如在起點(diǎn)上多花一些時間，然后走向一套權(quán)益證明和分片區(qū)塊鏈。（掌聲）

其它

與此同時，我們花了不少時間討論分叉選擇規(guī)則，最終我們越來越接近也越來越深入地理解分叉選擇規(guī)則；GHOST 算法雖然一開始是為工作量證明設(shè)計(jì)的，但因?yàn)橐幌盗性颍覀冎匦绿嶙h用于權(quán)益證明。

Justin 開始研究可證延遲函數(shù)（Verifiable Delay Funciton，VDF），我們在斯坦福有個工作室，Justin 一直在跟那里的許多研究者合作。

關(guān)于如何實(shí)現(xiàn)抽象和租金，我們也形成了更多想法。因?yàn)橐恍├碛桑覀儧Q定將存儲租金重命名為存儲維護(hù)費(fèi)。

在研究方面，我們正在研究跨分片交易，比如 csoss-shard-yanking，我們是普遍化傳統(tǒng)分布式系統(tǒng)中的一些概念，用到異步的跨分片環(huán)境中；還有資源定價的論文，包括最優(yōu)化費(fèi)用市場，如何收取存儲維護(hù)費(fèi)，不同設(shè)計(jì)之間的權(quán)衡。Casey 還寫了這篇文章討論同步假設(shè)下的跨分片交易。當(dāng)然，CBC 的研究也擴(kuò)展到了，分片領(lǐng)域，對了，這個真的不叫 Valding，Vlad 很討厭這個詞。還有開發(fā)，我們在以太坊 2.0 開發(fā)推進(jìn)中使用的策略是：追求創(chuàng)造性的多客戶端去中心化開發(fā)。這不僅僅是因?yàn)槲覀冇腥ブ行幕淖非螅@也是一套非常實(shí)用的策略，就是打賭別的團(tuán)隊(duì)都不會有你干得漂亮；此外，上海事件讓我們醒悟，如果某個客戶端出了問題而別的客戶端沒有，整個網(wǎng)絡(luò)可以更好地運(yùn)行；順便，還讓整個生態(tài)系統(tǒng)的開發(fā)更不依賴于基金會本身。基金會真正開發(fā)的客戶端是 Python 客戶端，Python 在性能上有內(nèi)在的限制，這也給了大家激勵去運(yùn)行由 Prysmatic 創(chuàng)造的客戶端、Lighthouse、Status 還有 Pegasus 以及其他如雨后春筍般冒出的團(tuán)隊(duì)開發(fā)的客戶端。

即將到來的 Serenity

那么就下來，我得說，即將到來的，不能被稱為 Shasper。Serenity 即將啟航！

Serenity 是什么？

首先，Serenity 是繼 Frontier、Homestead 以及 Metropolis 之后的第四個階段。當(dāng)然 Metropolis 被分為拜占庭（Byzantium）和君士坦丁堡（Constantinople）兩個階段，并且君士坦丁堡升級就快啟動了。

其次，它是我們在所有這些不同領(lǐng)域長達(dá)四年的研究的集大成者，包括 Casper（不僅是混合共識，還包括 100% 純粹的 Casper）、分片、EWASM 以及所有這些協(xié)議研究的觀念。

然后，這是一種新的區(qū)塊鏈。從數(shù)據(jù)結(jié)構(gòu)上來說是如此，但它會與當(dāng)前的工作量證明區(qū)塊鏈保持一定的聯(lián)系。那么，比如，PoS 鏈可以感知到 PoW 鏈的區(qū)塊哈希值，你可以將 Ether 從 PoW 鏈上轉(zhuǎn)移到 PoS 鏈上。這是一套新系統(tǒng)，也是一套相互連接的系統(tǒng)，最長遠(yuǎn)的目標(biāo)是：當(dāng)這個新系統(tǒng)足夠穩(wěn)定的時候，所有現(xiàn)有區(qū)塊鏈上的應(yīng)用可以被存入新系統(tǒng)中某個分片上的合約，然后有一個用 EWASM 寫成的 EVM 解釋器。這一點(diǎn)還沒有最終確定，但從當(dāng)前來看，這差不多就是我們的路線圖了。

再次，Serenity 會成為世界計(jì)算機(jī)，而不是像 1999 年的智能手機(jī)一樣，每秒只能處理 15 筆交易，勉強(qiáng)能玩一下貪吃蛇。

最后，Serenity 仍會是去中心化的，我們還希望在一些維度上，它可以比現(xiàn)有的區(qū)塊鏈更加去中心化。舉個例子，作為一個信標(biāo)鏈的驗(yàn)證者，（從當(dāng)前來看）你的存儲要求可能是小于 1GB，比起今天你需要 8GB 來存儲狀態(tài)，或是像網(wǎng)上的流言說的那樣存儲以太坊區(qū)塊鏈需要 1.8TB，都會好很多。

期望的階段

Phase 0：權(quán)益證明的信標(biāo)鏈。從某種角度來說，PoS 信標(biāo)鏈?zhǔn)且粋€區(qū)塊鏈倉庫，存儲著所有信息，但它自身是啞默的。在信標(biāo)鏈上會有一些驗(yàn)證者（validator），這些驗(yàn)證者會運(yùn)行 PoS 算法；它就像是介于測試網(wǎng)和主網(wǎng)之間的東西，它肯定不是測試鏈，因?yàn)槟憧梢再|(zhì)押真正的 Ether 進(jìn)去并獲得真正的 Ether 獎勵，但它也不是主鏈，因?yàn)樯厦鏇]有應(yīng)用，所以如果它崩潰了，人們也不會哭爹喊娘，不會像上海 DoS 攻擊事件時那樣痛哭流涕。

Phase 1：作為數(shù)據(jù)鏈的分片鏈。這就是分片會有的角色。這是一個簡化的版本，也就是說我們并不對狀態(tài)做分片，而是對數(shù)據(jù)做分片；你可以把數(shù)據(jù)放到鏈上，然后嘗試運(yùn)行一個自己的狀態(tài)執(zhí)行引擎。實(shí)際上，最容易分片的就是數(shù)據(jù)。因此，如果你想要在區(qū)塊鏈上做去中心化應(yīng)用，現(xiàn)在你擁有了可擴(kuò)展性，但并沒有因此具備狀態(tài)執(zhí)行能力來開發(fā)智能合約應(yīng)用以及所有那些非常復(fù)雜的東西。（譯者注：此句應(yīng)有疑義。在原文鏈接所附視頻的第 23 分鐘。）

Phase 2：支持 EWASM 的狀態(tài)轉(zhuǎn)換。這一點(diǎn)包括：支持虛擬機(jī)、支持賬戶、合約、分片間 Ether 轉(zhuǎn)移，等等。

Phase 3 以及更遠(yuǎn)：不斷迭代，加入新的技術(shù)。

期望的特征

• 純粹的 PoS 共識。

• 更快的同步確認(rèn)時間（8-16 秒鐘）。注意，因?yàn)樾艠?biāo)鏈的分叉選擇規(guī)則以及簽名機(jī)制，信標(biāo)鏈上的一次確認(rèn)包括數(shù)百個驗(yàn)證者之間的消息傳遞，從概率學(xué)的角度來說，實(shí)際上等同于現(xiàn)有以太坊工作量證明區(qū)塊鏈上的數(shù)百次確認(rèn)。在消息同步傳遞的假設(shè)下，已經(jīng)可以被視為將一個區(qū)塊敲定。

• 在同步確認(rèn)的假設(shè)下，10 - 20 分鐘達(dá)致經(jīng)濟(jì)確定性（Economic Finality）。

• 通過 EWASM 實(shí)現(xiàn)更快的虛擬機(jī)執(zhí)行。

• 在理想狀態(tài)下，達(dá)成 1000 倍的可擴(kuò)展性。

后 Serenity 的創(chuàng)新

強(qiáng)化隱私保護(hù)。我們已經(jīng)做了大量的工作。比如，在拜占庭階段，我們激活了橢圓曲線運(yùn)算、橢圓曲線匹配的預(yù)編譯。Barry White 做了非常棒的工作，用 Layer-2 來保護(hù)代幣轉(zhuǎn)移、投票、聲譽(yù)系統(tǒng)中的隱私。這些工作都可以借用過來。

• 跨分片交易。

• 半隱私鏈（Semi-private chain）。其中的觀念是，如果你想開發(fā)一些應(yīng)用并讓數(shù)據(jù)在一部分用戶間保持私密狀態(tài)，你仍然可以將所有的數(shù)據(jù)都放到公鏈上，只不過你是用加密形式放上去的，或者上傳哈希值、零知識證明，都可以自己決定。

• 權(quán)益證明上的創(chuàng)新。這是我們始終關(guān)切的一個事情。當(dāng) Casper CBC 在開銷上足夠經(jīng)濟(jì)時，也會加入到我們的路線圖。

• 在實(shí)現(xiàn) Serenity 之后，我們準(zhǔn)備將所有的東西都升級到 STARK。比如，將 STARK 用于簽名聚合、驗(yàn)證糾刪碼（erasure code）來檢查數(shù)據(jù)可用性，也許最終會用來檢驗(yàn)狀態(tài)執(zhí)行的正確性。

• 更強(qiáng)的跨分片交易形式。

• 更快的單次確認(rèn)。將確認(rèn)時間從 8 秒降到更低。

中期的目標(biāo)

• 最終穩(wěn)定化 Layer-1 的功能

• 考慮使用 Issuance，以及費(fèi)用……

• 在人們希望協(xié)議層提供的保證（guarantee）和屬性上能夠得到越來越多的共識

• 考慮治理問題

即將到來的更新

在最終發(fā)行之前，我們還會做哪些更新呢？

首先，將協(xié)議層的詳述定型。一直在關(guān)注 GitHub 上的 ethereum 和 2.0 主要規(guī)范、信標(biāo)鏈規(guī)范等內(nèi)容的人應(yīng)該直到，協(xié)議層發(fā)展得非常快，但我們很快會將它們穩(wěn)固下來。

繼續(xù)做開發(fā)和測試。現(xiàn)在以太坊 2.0 協(xié)議有 8 個實(shí)現(xiàn)正在開發(fā)。

跨客戶端測試網(wǎng)。一些人表明非常希望看到跨客戶端測試網(wǎng)能在明年 1 月份跑起來。我當(dāng)然也非常樂于看到，今年 8 月的時候我們已經(jīng)看到了希望。在這里簡單回顧一下以太坊 1.0 的開發(fā)歷程。從白皮書提出概念到正式發(fā)布，中間隔了 19 個月，用了這么長時間的部分原因是在技術(shù)說明還沒有定稿之前，我們便試圖打造跨客戶端的兼容性，我們是先后同意做測試、發(fā)布測試網(wǎng)、等待協(xié)議變更，同意發(fā)布新測試網(wǎng)，然后等待更多的協(xié)議變更，這樣來來回回了 5 次。在這個事情中我們已經(jīng)學(xué)到了教訓(xùn)，我們并不需要完全專注于跨客戶端的兼容性，可以等到真正接近技術(shù)說明定稿時再說。我認(rèn)為我們離發(fā)布技術(shù)說明的候選稿已經(jīng)不遠(yuǎn)了，至少在不包括狀態(tài)執(zhí)行的部分中是如此。

最后是安全審計(jì)。在座哪些觀眾認(rèn)為安全審計(jì)是重要的？（觀眾呼聲）哪些觀眾認(rèn)為安全審計(jì)不重要呢？（鴉雀無聲）誰認(rèn)為這個世界是被蜥蜴人（Lizardman）掌控的呢？（觀眾笑聲）嗯，第三部分的人還笑了一秒鐘呢，真棒（譯者注：意思是相信世界被蜥蜴人掌控的，都比認(rèn)為審計(jì)不重要的人多）。

最后就是發(fā)行啦。你們覺得發(fā)行不重要嗎？（無人回應(yīng)）嗯，那么在座哪位最喜歡的政治候選人是一個蜥蜴人呢？（觀眾大笑）

嗯，所以，發(fā)行就是我們期待已久并在過去四年中為之持續(xù)奮斗的里程碑。并且，我相信這一切不會太遙遠(yuǎn)。謝謝！