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

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

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

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

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

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

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

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

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

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

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

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

Snoop Dogg兒子與Tezos基金會合作，推出100萬美元加密基金“Champ Medici Arts Fund”:12月2日消息，說唱明星Snoop Dogg兒子Cordell Broadus宣布和Tezos基金會達成合作，雙方合作成立一支100萬美元的加密基金“Champ Medici Arts Fund”，為Tezos區塊鏈上的新興藝術家提供支持，尤其針對少數群體。

據悉，該基金將于2023年1月2日正式啟動，目前已經公布了首個支持對象Rush Philanthropic Arts Foundation，該機構主要幫助藝術家采用NFT。（雅虎財經）[2022/12/2 21:17:25]

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

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

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

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

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

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

二、TEZOS的自進化理念

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

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

USDT現已正式上線Tezos網絡:7月21日消息，Tether官方宣布USDT現已正式上線Tezos網絡。Tether首席技術官Paolo Ardoino表示：我們很高興在Tezos上推出USDT，Tezos網絡正在迅速壯大，我們相信這種整合對其長期增長至關重要。

此前報道，6月9日，Tether宣布將在Tezos網絡上發行USDT，為Tezos生態支付、DeFi等領域的革命性應用程序提供動力。[2022/7/21 2:29:29]

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

它們合起來構成了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個驗證人為新區塊做共識背書。

Tezos生態推進組織TZ APAC宣布與新加坡國立大學計算機學院合作培育科技創新人才:5月10日消息，Tezos 生態推進組織 TZ APAC 宣布與新加坡國立大學計算機學院合作，雙方將建立計算機人才培育中心，共同培育新加坡下一代科技創新人才。

TZ APAC 將打造區塊鏈開發者課程，學生可直接通過線上或線下方式向 TZ APAC 團隊成員學習。此外，TZ APAC 還將舉辦研討會和基于 Tezos 生態系統用例的黑客松，提供相關教程。

TZ APAC 是亞洲率先支持 Tezos 生態系統、推動區塊鏈應用的實體組織，以自下而上的方式，與區塊鏈專家和 Tezos 生態系統其他利益相關方密切合作，為企業和創新人才設計區塊鏈增值轉型戰略。TZ APAC 由 Tezos 基金會支持，總部設在新加坡。[2022/5/10 3:03:31]

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

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

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

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

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

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

報告：EOS、Tezos及XRP三大區塊鏈平臺上大多數交易無價值:倫敦帝國理工學院博士生Daniel Perez、倫敦大學學院研究員Jiahua Xu和Brave首席科學家Benjamin livshits撰寫的一份研究報告發現，三個主要區塊鏈平臺上的大多數交易都是無價值的。在許多情況下，它們主要用于垃圾郵件或空投毫無價值的代幣。該報告的摘要指出：“分析表明，只有一小部分交易用于價值轉移。特別是EOS上95％的交易是由當前無價值代幣的空投觸發的；在Tezos上82％的吞吐量用于保持共識；XRP分類帳中只有2％的交易會導致價值轉移。” 作者的結論是，雖然此類區塊鏈處理大量的吞吐量，但其中大部分可能根本沒用。（Decrypt）[2020/5/8]

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

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

2.TEZOS的治理流程

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

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

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

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

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

動態 | eToro宣布上線Tezos:據官方消息，多資產交易平臺eToro官方宣布，現已上線Tezos并支持交易服務。[2019/8/6]

根據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幣

TUSD