TEZOS，從治理明星到STO領航者_ZOS:ZOS價格區塊鏈工程專業學什么

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

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

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

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

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

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

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

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

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

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

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

美國里諾市將基于Tezos創建Reno DAO，并推出著名藝術品NFT:美國內華達州里諾市市長Hillary Schieve和Reno DAO創建者Theodore Clapp在Tezos Commons的“Tez Talks”播客上宣布，Reno DAO將建在Tezos之上，目前正在設計項目的初期階段。火人節“Space Whale”等著名藝術作品將轉化為基于Tezos的NFT。此外還引入了“Reno Coin”，將被平等地發放給Reno DAO成員。（CryptoSlate）[2021/3/5 18:18:25]

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

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

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

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

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

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

二、TEZOS的自進化理念

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

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

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

ETH錨定幣ETHtz已在Tezos主網上推出:根據StableTech創始人兼Wealthchain首席執行官Kevin Mehrabi發表的一篇文章，ETH錨定幣ETHtz代幣現已在Tezos主網上推出，相關活動也于12月12日開啟。這將使Tezos用戶能夠購買與ETH錨定的原生代幣。據悉，Wealthchain是StableTech的支持公司之一，StableTech是一群專注于基于Tezos的DeFi的開發者。[2020/12/19 15:47:30]

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

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

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

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

1.LPOS共識機制：

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

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

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

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

區塊鏈開發團隊Madfish發布BETA版Tezos錢包Thanos:金色財經報道，區塊鏈開發團隊Madfish發布BETA版本的Tezos錢包Thanos，功能包括匯款和收款、從其他錢包導入賬戶、查看賬戶交易歷史和創建和管理多個帳戶。Madfish提醒用戶該版本為Beta版，用戶必須自己承擔使用風險。[2020/4/26]

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

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

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

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

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

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

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

2.TEZOS的治理流程

動態 | Tezos將在印度設立非盈利基金會:據Decenter消息，XTZ的Tezos基金，準備在印度設立Tezos印度基金（Tezos India Foundation）。Tezos準備為印度國人與企業提供Tezos區塊鏈，并且通過教育，Workshop，MeetUp培養250名區塊鏈開發技術人員。[2019/8/9]

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

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

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

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

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

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

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

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

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

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

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

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

以上所講的兩種機制是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幣

芝麻開門交易所下載