ZOS:TEZOS，從治理明星到STO領航者

BCH又雙叒叕分叉了。起因是一個“基礎設施融資計劃”的升級，它想要做的是把礦工挖礦收益的一部分捐贈給向BCH提供技術支持的項目，而社區和很多礦工卻不同意這種強制性的協議修改。

這一次分叉除了帶來了BCH價格短時間10%左右的跌幅，并沒有引起太多的關注。不過兩年之前與BSV的那一次分叉，卻差點斷送了BCH整個社區的生命。

其實比特幣系的區塊鏈歷史上分叉已經成了家常便飯，比特幣僅在2017年就產發生了多次分叉，并產生了BCH、BTG、B2X、BCD、SBTC、BCHC等多種分叉幣。

分叉的原因在于社區的意見無法達成統一，深一層的原因是在去中心化的社區中沒人具有絕對的話語權，再深一層是因為比特幣的區塊鏈中沒有設計如何做決策的問題，沒有考慮如何解決社區分歧和區塊鏈軟件升級的問題。

也就是說比特幣的設計中沒有治理機制。

雖然說區塊鏈的分叉無可避免，區塊鏈的去中心化自由理念也允許分叉的存在，但是它無疑也會給項目帶來共識，社區，網絡效應，甚至是本身價值等多方面的損失。嚴重的分叉對一個初創項目更可能會帶來致命的打擊。

根據劉昌用老師的說法，比特幣在2017年的擴容之爭中受到的損耗非常大，但是因為當時處于牛市，分叉帶來的損失被人們忽視了。如果沒有那次分叉，比特幣的最終表現會好很多。

從上面的分析我們可以總結出比特幣的分叉原因，一方面是因為它本身的初始設計不能滿足后人的使用，而更重要和關鍵的原因卻是缺乏治理機制導致的。

今天我們要分析的第一個話題就是

一、治理對區塊鏈項目為何如此重要？

原因一，如上所述區塊鏈沒有具有控制地位的中心，就沒有具有絕對話語權的人或組織，所有人都可以秉持自己的主張。沒有一個有效的決策機制就很容易讓社區消耗在各種無畏的爭議和分歧之中，因此組織中如何做決策和達成共識就成為一個非常重要的課題。

CoinShares推出實物支持的Polkadot和Tezos ETP:1月26日消息，數字資產投資公司CoinShares宣布推出實物支持的加密交易所交易產品（ETP）：CoinShares Physical Staked Tezos和CoinShares Physical Staked Polkadot，旨在與投資者分享質押的回報，ETP將在德國主要市場Xetra上市。（PR News Wire）[2022/1/26 9:15:02]

治理就是幫助區塊鏈組織做決策和執行決策的機制。

原因二，區塊鏈根本上是一個由軟件系統支撐的分布式賬簿，任何軟件都會有出現bug的可能，也必然會產生隨時間推移環境變化而更新和升級的需要。而區塊鏈網絡中的軟件分布在世界各地的節點服務器上，升級就意味著需要所有節點的同意和同步。因此如何讓分布式節點統一升級賬本，以及如何升級又是一個需要達成共識的治理問題。

可以說治理是幫助區塊鏈實現自身進化的重要手段。

在比特幣和以太坊之后的很多區塊鏈項目都認識到了治理在區塊鏈項目中的重要性，也在治理方面進行了很多的探索，提出了很多區塊鏈進化的思路。

TEZOS就是這個探索過程中一個非常具有代表性的區塊鏈明星項目。它最重要的理念就是依靠治理實現區塊鏈的進化，避免類似比特幣系區塊鏈的分叉帶來的損失，從而實現更好地續存和發展的目標。

所以，我們要分析的第二個話題是TEZOS的自進化理念。

二、TEZOS的自進化理念

第一、TEZOS是個什么樣的區塊鏈？

1．TEZOS是一個能夠進行自我升級和進化的公鏈智能合約平臺，能夠通過對軟件代碼的修改來實現分布式賬本的升級，和區塊鏈協議的自我進化。這是TEZOS最大的特點。

2．進化原理是通過一套治理機制來實現。它定義了一套如何用程序化的方式來實現利益相關方同意區塊鏈升級的基礎協議，定義中升級的范圍既包括對軟件代碼本身的修改，也包括對修改內容投票的程序。也就是說TEZOS系統中可以進化的內容不僅僅是區塊鏈的賬本軟件，也包括對軟件升級的決策方式和操作流程。

Tezos聯合創始人：若ETH 2.0今年未能推出，Tezos或在許多方面超過以太坊:金色財經報道，Tezos聯合創始人Arthur Breitman在最近的播客中談到了Tezos與以太坊區。他稱：“Tezos多年來一直處于測試網絡中。在協議開發方面，Tezos比以太坊做得更好。我們一直在努力進行分片，并擁有超高的可擴展性。從表面上看，每個人都在使用以太坊，但我認為實際使用ETH的人并不多。”Breitman還指出，Tezos已經在研究股權證明 （PoS），而以太坊尚未做出改變。ETH 2.0目前仍然是加密社區中討論最多的話題。其計劃于2020年7月推出，還有一個月的時間，考慮到最近沒有關于ETH 2.0的更新，許多人開始懷疑ETH 2.0是否會在今年發布。如果ETH 2.0今年不能推出，那么Tezos生態系統的持續發展最終可能會在許多方面超過以太坊。[2020/5/29]

它們合起來構成了TEZOS的治理機制。

3．自進化的邏輯是：第一TEZOS提供了一個初始版本的區塊鏈基礎框架或者原型，它的功能和設計可能更多會考慮初始時期的需求，或者TEZOS理念中最重要的需求，可以理解為1.0版本；第二在之后使用的過程中，隨著區塊鏈的發展和人們需求的變化，會對TEZOS的系統能力提出更高的要求，在1.0版本無法適應新變化的時候，就可以發揮TEZOS在自進化解決方案中的優勢，通過對TEZOS區塊鏈的升級來提高系統能力，達到隨著形勢變化而自我進化的目的。

第二、TEZOS具體如何實現自進化的目標？

TEZOS的治理機制就是如何決定由利益相關方同意并執行區塊鏈升級的機制。在展開其具體實現過程之前我們需要通過TEZOS的共識機制來弄清楚利益相關方。

1.LPOS共識機制：

TEZOS共識采用的是權益證明POS的一種，以持幣數量多少來決定在網絡中的話語權。

持幣XTZ滿8000個，也就是一個卷，就達到成為區塊生產者的條件，TEZOS的區塊生產者被稱為面包師或者烘焙者。

Tezos創始人稱其即將推出的交易卡游戲不使用Tezos區塊鏈:Tezos創始人Kathleen Breitman告訴Tezos社區，她即將推出的交易卡游戲可能不會使用Tezos區塊鏈，盡管該游戲的白皮書引用了Tezos的本機加密貨幣的使用。這則消息使整個社區措手不及。此前消息，3月30日，Breitman宣布推出首款Tezos游戲Emergents的測試版本。（Cryptobriefing）[2020/4/6]

在眾多面包師中決定每一個區塊的出塊人，是通過隨機算法來選舉決定。每個生產周期選舉一次出塊人，每個周期生產4096個區塊，時間大概為2.84天。在周期開始之前，決定出下一個區塊的出塊人，同時需要決定出32個驗證人為新區塊做共識背書。

出塊人和驗證人被選中的概率與面包師擁有的卷數量成正相關，持幣越多，被選中的幾率會越大。

出塊人和驗證人盡職工作都會得到獎勵，獎勵來自系統的增發，比例目前為每年4.96%。

TEZOS對出塊人和驗證人數量沒有限制，但并不是所有持幣者都有能力成為面包師。對無法參與到區塊生產中來的持幣者，TEZOS采用了委托代理DPOS的機制，讓所有持幣者都可以將自己的XTZ委托給其他面包師，代理自己行使出塊和驗證的權利，享受區塊生產過程中產生的獎勵。

但是TEZOS的DPOS與EOS等其他項目采用的DPOS又有著根本的區別。

第一TEZOS的委托代理根本目的是為了激勵所有持幣者都能參與到區塊生產和網絡建設中來，最大可能的實現去中心化。而EOS的DPOS根本目的是為了選擇出21個超級節點來行使整個網絡的出塊權利，從某種意義上說是將權利集中到21個節點上的體現。

第二TEZOS中委托給驗證人的是代幣的生產權益，但并不鎖定代幣的流動性。也就是說在TEZOS系統中，持幣者將XTZ委托出去可以享受出塊和驗證的收益，但是XTZ的流動性仍然在自己的錢包中，甚至你還可以將XTZ轉移出去。因此TEZOS的DPOS又被稱為LPOS。

Bitfinex增加支持用戶使用信用卡購買Tron及Tezos:加密貨幣交易所Bitfinex在官方博客表示，將從3月20日增加支持用戶支持使用借記卡和信用卡選擇OMNR Wallet渠道，購買Tether Gold、Tron及Tezos。Bitfinex此前已通過與兩家第三方服務商OWNR及Mercuryo合作支持用戶購買比特幣、USDT、以太坊，這兩家公司均持有愛沙尼亞頒發的虛擬貨幣業務雙牌照，可提供虛擬貨幣與法定貨幣兌換業務以及虛擬貨幣錢包業務。[2020/3/27]

通過上面的分析我們可以整理出TEZOS網絡中的利益相關者與他們之間的關系，分別是出塊人，驗證者和委托者。

接下來我們來看TEZOS治理機制的具體實現。它包括從提議到投票的整個流程以及配套的系統，全流程以鏈上治理的形式完成。

2.TEZOS的治理流程

TEZOS的治理流程分為四個階段：提議階段，探索階段，測試階段和推進階段。每個階段的時長以周期來計算。

1）提議階段：第1-8周期。主要工作是廣泛收集議題。每個驗證節點都可以發起提議，并由所有驗證人投票，得票最多的議題將會進入下一個階段。

2）探索階段：第9-16周期。同樣是由驗證人投票，如果投票達到法定人數，并且80%的絕大多數卷投贊同票，則會進入測試階段。

3）測試階段：第17-24周期。這個階段又分成兩個階段，前面48小時會從主鏈分叉出一個測試鏈，用來測試經過投票進入這一階段的提案。之后的7.3周期時間會用來對測試結果進行評估。

4）上線推進階段：第25-32周期。經過測試和評估之后，驗證人可以對提案進行下一輪的投票，目的是推進提案從測試網到主網上線執行。在滿足法定投票人數和80%卷投贊成票兩個條件之后，提案便會被部署到主網并激活生效。

動態 | Tezos即將實施首次鏈上區塊鏈更新:據coindesk報道，在令牌持有者投票近三個月后，Tezos區塊鏈將在周三對網絡進行一系列向后兼容的變更。被稱為Athens A的升級提案是第一個進行網絡“自我修正”的過程，其中Tezos上的baker（相當于比特幣或以太坊上的礦工）將代幣捆綁成“卷”以顯示他們支持或反對升級提案。 經過三個月的投票和測試，baker們已正式通過最終投票門檻，以激活Tezos主網上的Athens A。[2019/5/29]

根據TEZOS的治理機制，底層協議的一次升級需要經歷3次驗證人的投票，48小時的測試以及20天左右的評估，歷時32個周期，大概90天左右才能最終被部署到主網。

這可以理解為TEZOS的一個進化周期。

從治理流程中我們能看出TEZOS的治理，決策主體是網絡中的驗證人，需要質押一定的持幣并需要注冊成為驗證人。也就是說認同項目長期發展并積極參與系統建設的持幣者才具有治理的資格。這也符合項目長期發展的利益訴求。

TEZOS的治理機制，讓長期利益相關者可以通過一套規范的標準和流程，針對系統的升級自動進行決策并執行。

升級提議的發起，討論，審議，投票，以及決策和執行整個過程都在社區所有人的參與和見證下進行，意味著原則上所有人的意見都可以被看見和傾聽，不同意見會經過足夠的時間去消化，最后能夠通過的提案都是代表了大部分人的意見并達成了共識。

因此它最大的作用應該是化解分歧，避免區塊鏈的分叉，當然根本目的是實現區塊鏈的自我進化。

以上所講的兩種機制是TEZOS項目非常重要的兩個特征，它們對TEZOS甚至整個區塊鏈行業都具有非同一般的意義。

第三、TEZOS兩種機制的重要意義

1.TEZOS的自進化機制，讓區塊鏈在使用過程中進行升級和提升變成了有章可循自動發生的行為，最大限度地避免了分叉。它帶來的意義是讓區塊鏈項目的發展過程更具有完整性，連續性，延續性和穩定性。

2.LPOS機制的意義，一在于它能使TEZOS的網絡具有很高的去中心化。TEZOS目前擁有408個能夠出塊的驗證節點，這一數據在所有類POS機制的公鏈中僅僅次于以太坊的4658個。而其他幾個知名的公鏈則都要遜色得多，比如EOS為21個，COSMOS為125，Polkadot為229。

LPOS機制的另一個意義在于它維持了經濟結構上的一種動態平衡。根據質押獎勵機制，在一定時間內TEZOS的通脹比例是固定的，它代表系統中獎勵總量是固定的。而獎勵總量的分配是根據系統中XTZ總質押量的比例決定，質押總量比例越多意味著參與分配獎勵的XTZ數量越多，單個XTZ獲得的收益越少。

目前網絡中的質押比例為78.35%，意味著占總量78.35%，也就是6.71832468億XTZ會參與到獎勵的瓜分中來。

因此總質押比例會影響兩個因素的變化，獎勵比例和XTZ價格。當質押比例越高，意味著單個XTZ獲得的獎勵會越少，也就是獎勵比例會減少；另一方面它意味著流通比例會減少，如果市場的需求不變，價格就會上漲。

這種時候，就會有人選擇減少質押，賣出一部分XTZ獲取更多利益。當這種行為增加到一定程度，又會導致市場流通量增多，價格下跌；同時因為質押總量和質押比例減少了，系統的獎勵比例又會提高，這種變化又會吸引一部分XTZ回到質押。經過多次的調節慢慢進入一個動態平衡的循環。

可見這種質押機制會在質押比例，獎勵比例和XTZ價格三者之間通過市場的博弈力量逐漸找到平衡和穩定，但是又會隨著博弈力量的變化進行動態的調節。這樣就形成了一種宏觀上的經濟結構的動態平衡和穩定。

這樣的特征使得TEZOS的性能和發展可能在短期內不如其他注重性能的公鏈那么出色，卻給TEZOS注入了去中心化，穩定，安全等基因。區塊鏈的這些基因一經形成在后期就很難被改變，比如EOS的21個節點已經形成了絕對的控制權，它在去中心化上的硬傷幾乎已經無法改變。

相反，TEZOS性能的問題卻可以在后期利用自進化的機制進行擴展和升級。

可見TEZOS從一開始選擇的就是一條讓基礎更為穩妥牢靠的路。而這種基因正好是涉及大量價值存儲和轉移的金融活動所急需的。因此經過市場幾年時間檢驗的TEZOS，目前已開始在大型金融機構涉足的數字證券領域嶄露頭角。

今天分析的最后一個話題是讓TEZOS經受住金融機構嚴格考驗的另一個特征：形式化驗證。

三、形式化驗證

這個概念比較難理解，舉個例子來說明。假設你擁有一項發明專利，產品正式生產需要投入比較大的資金，如果不知道量產后的市場接受度就可能導致很大的虧損。因此你需要提前進行一些測試，比如市場的反應，產品的可行性，商業模式的邏輯等等。

那么就需要有一個產前測試和驗證的模式和標準，比如根據所在市場的人口流量縮小一定比例選擇測試人群，還需要設定測試方式，流程，參數等等。

而形式化驗證就是這樣一個測試和驗證的模式，不過它是為了測試和驗證軟件代碼而設計。它是一種根據事先定義好的形式化數學模型，用機器來對軟件中的算法，邏輯，定理，狀態等代碼進行測試，以驗證其正確性和可行性。作用和目的是避免在代碼運行過程中才發現錯誤和漏洞造成損失。

這個功能很重要是因為目前的區塊鏈行業確保智能合約安全的方式決定的。

大多數公鏈都不支持智能合約的修改，因為智能合約涉及業務的規則，邏輯，甚至是用戶的資金。其安全性的保證目前主要是依靠智能合約的可驗證性，也就是人們要能夠隨時驗證部署在公鏈上運行的智能合約必須始終如一，保持與審計時一樣的狀態。

智能合約不能修改，那么編碼過程中確保代碼不出漏洞和錯誤就很重要了。而對信任和安全要求特別高的金融行業，這個需求就比其他行業和項目更要高得多。

而形式化驗證的目的就是為了在編碼過程中測試和驗證合約，避免出錯。

TEZOS的設計中選擇了多種能夠友好支持形式化驗證的函數式語言，包括

1）底層架構由OCaml編寫；

2）智能合約的底層用基于OCaml的Mickelson語言編寫；Mickelson對語意定義清晰明了，是一種能夠在編譯代碼時輕松檢測出任何Bug或錯誤的語言；

3）智能合約高級可以用Pascal,OCaml,ReasonML，Haskell,Pathon等語言編寫。雖然智能合約底層使用的是Mickelson語言，但是DAPP的開發者卻可以用更為廣泛使用的Pathon來編寫。這樣就能既充分發揮Mickelson在安全性和審計性上的優勢，又能發揮Pathon在易編程性上的優勢。

對編程語言的創新組合使TEZOS能夠在減少開發者學習成本的基礎上，實現函數式語言的嚴謹性，精確性，安全性和穩定性，也讓TEZOS的智能合約達到了企業級的需求。

可以說，在對智能合約的形式化驗證方面，目前還沒有哪個區塊鏈能與TEZOS媲美。

最后，做個總結

因為在治理上的可進化性，在區塊鏈網絡上的去中心化，在宏觀經濟結構上的平衡和穩定性，在智能合約的形式化精確驗證性，TEZOS區塊鏈以其安全，穩定，精確的特性，已經成為大型金融機構進行證券通證化時無可替代的最佳選擇。

如今，在TEZOS上已經發行證券通證STO的金融機構包括紐約資產管理公司ElevatedReturns，拉丁美洲最大私人投行BTGPactual，迪拜資管公司DalmaCapital，英國房地產開發商投資公司AllianceInvestments，德國區塊鏈科技公司Fundament，數字資產軟件提供商Vertalo，Overstock旗下證券型代幣交易平臺tZERO等等。在TEZOS上部署和執行的STO金額已達30億美金的規模。

Tezos已經成為證券代幣和其他高價值、高復雜度用例的最佳智能合約平臺，并正在崛起成為STO領域一個突出的領航者。

Tags：ZOS區塊鏈XTZZOS幣ZOS價格區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢XTZ價格XTZ幣

以太坊交易