大家好，非常感謝參加《EOS從入門到精通》系列課程，我是王巨，今天是EOS技術白皮書解讀的第四講。我們來解讀EOS白皮書的最後幾部分。今天的內容相對於上一節課會簡單一些，主要講EOS的治理，然後簡單講一下虛擬機器；跨鏈通訊部分我會在高階篇重點解讀

我們先來看治理部分，所謂的治理我的理解就是管理那些沒法完全使用軟體演算法實現的共識。在我們熟悉的區塊鏈產品比特幣和以太坊中是沒有這部分共識的，這樣就造成了一個非常嚴重的問題，社群經常因為一些原因分裂，導致分叉。2017年比特幣已經被分叉無數次了，以太坊也已經出現了數次分叉，而這樣的結果就是沒有管理好非程式碼共識所造成的。

EOS認識到區塊鏈的權力來源應該是Token持有人，而不應該是礦工，Token持有人將自己的權力通過投票的方式委託給區塊生產者，這樣區塊生產者就具備了凍結賬戶、更新有缺陷的應用程式、提出對底層協議硬分叉的改變的權力。當然這種權力是受限的、是被檢查的。可以用下面的結論總結這種權力：
所有的區塊鏈變更都需要區塊生產者同意，如果區塊生產者拒絕Token持有人想要的變更，那麼他將被投票出局，如果區塊生產者的變更沒有經過Token持有人的同意，那麼其他非區塊生產者的全節點會拒絕該改變。

一個智慧合約可能會出現異常比如說因為bug的原因導致行為不正確或者資源消耗不在一個合理的範圍內，在這種情況下區塊生產者有權力糾正這種情況，糾正的方式就是凍結賬戶，凍結賬戶的概念就是所有與待凍結賬戶有關的變更都不打包。凍結賬戶需要21分之17的區塊生產者同意才行，如果區塊生產者濫用權力，解決方案也很簡單，就是將他投票出局，這樣被凍結的賬戶就會被解凍。

如果凍結賬戶已經不能解決問題，不可預知的程式碼已經造成了破壞，此時EOS可以支援在不需要硬分叉的前提下修改賬戶程式碼。我的理解這有點類似於交易的回滾。當然與凍結賬戶類似，也需要21箇中的17個區塊生產者同意才行。

這裡的憲法不知道翻譯的準不準確，我的理解是這樣的，智慧合約也是要遵循法律法規的，很多事情是沒有辦法通過程式碼來進行約束的，同時由於EOS是全球性的，那麼合約遵循哪裡的法律法規就成了一個問題。這塊EOS是怎麼做的呢，就是將這些法規數字化，然後進行Hash簽名，後面所有交易都要選一個憲法來繫結到合約中，這樣就能解決管轄權和法律選擇帶來的爭端。這個理解不一定是對的，因為白皮書上我的感覺也是寫的不太清楚。

EOS還規定了升級協議和憲法的流程，我們可以看一下，如果要對憲法進行修改，需要區塊生產者提出，並獲得至少17個區塊生產者的批准，並且連續30天保持批准，然後所有使用者都使用新的憲法hash來簽署交易。升級程式碼協議也是類似的流程。按照EOS的預設配置，新增新特性的升級流程大概需要2-3個月，修復一般bug需要1-2個月。對於出現了嚴重的有害bug或安全漏洞，區塊生產者可能會加快修復，當然這一般來說是違反憲法的。具體如何權衡這個白皮書裡面沒有講，我猜這應該需要社群的努力了。治理這部分，對於需要長期穩定執行的區塊鏈產品是非常必要的，如果沒有這部分，那麼就沒法避免分叉帶來的危害。EOS在這方面我認為是當前做的最好的。

好的我們簡單講一下指令碼和虛擬機器，我們從上面可以看到，EOS首先給自己的定位是一個平臺，用於協調向賬戶傳送已認證的訊息。而具體的指令碼語言和虛擬機器的細節都是特定於實現的細節的，這些細節大多數獨立於EOS的技術設計。也就是說，任何具有足夠效能的確定性和正確的沙箱化的語言或虛擬機器都可以與EOS API整合。

模式定義的訊息和模式定義的資料庫，這兩個我們放在一起講，這兩個概念從字面意思上不是很好理解，我的理解是，所有的訊息或資料儲存其實在實現上是使用二進位制的方式傳送或儲存的，但是為了人類可讀，他們都可以被解碼成Json字串。

分離授權與應用，這段出現在白皮書的這個地方我認為有點怪，我理解這部分應該出現在效能和平行計算部分。不管怎麼說我們將這部分再講一下：

為了最大限度的實現平行計算，並最大限度的減少與事物日誌中重新生成應用程式狀態相關的計算債務，EOS將驗證邏輯分成三部分：1、驗證訊息是否內部一致；2、驗證所有先決條件都是有效的；第三步才是修改應用程式狀態。驗證訊息的內部一致性是隻讀的，而且不需要訪問區塊鏈狀態，這意味著它可以以最大的並行度來執行；驗證先決條件也是隻讀的，因此也可以從並行性中受益；修改應用程式狀態才需要寫許可權，並且必須順序處理每個應該程式。身份認證是一個驗證訊息可被使用的只讀過程。 應用程式實際上在發揮作用。 實時計算時兩者都需要被計算，然而一旦訊息被包含進區塊它就不再需要進行訊息驗證的操作了。

我們再來看一下虛擬機器獨立架構，上面的簡介我們說了，理論上只要符合效能、確定性、正確性和沙箱化這幾個條件的任何虛擬機器都可以跟EOS進行對接，也就是說EOS的架構是獨立於虛擬機器的，所以叫虛擬機器獨立機構。白皮書上沒有任何虛擬機器的技術細節，就講了兩個虛擬機器Web Assembly和以太坊虛擬機器。Web Assembly是一個新興的、高效能的虛擬機器，它擁有llvm的編譯後端，因此理論上可以支援所有支援llvm編譯的眾多程式語言，包括c和c++等。當前EOS的測試網路僅支援Web Assembly，也僅支援C和C++程式語言開發智慧合約。EOS規劃中也會支援以太坊虛擬機器，以太坊虛擬機器其實跟Web Assembly有點像，移植起來比較容易。當然支援以太坊虛擬機器的重點不在於技術上的難易程度。試想一下，如果以太坊上的智慧合約只要稍作修改就能在EOS上執行，那原來很多在以太坊上的專案就可以比較平滑的遷移到效能更高的EOS上。這對EOS的生態建設會有很大助力，當然以太坊也是一個不小的打擊。

關於跨鏈通訊，我今天不準備跟大家講細節，白皮書上的內容其實遠遠不夠，只是跟大家同步一下，通過Merkle證明可以實現輕量級客戶端，並且還能比較容易的實現跨鏈通訊。我會在高階篇重點講解跨鏈通訊技術。

好了今天就講到這裡，經過四節課程我們終於將EOS的白皮書講完了，非常感謝大家的參與。關於EOS白皮書的任何問題大家都可以提問了，我會挑選我能回答的問題回答。