研究|Tezos项⽬研究报告

Tezos是一个去中心化的开源区块链网络,可以执行交易并充当部署智能合约的平台,由全球验证者, 研究人员和建造者共同支持。

项目介绍

1. Tezos简介

Tezos是一个去中心化的开源区块链网络,可以执行交易并充当部署智能合约的平台,由全球验证者, 研究人员和建造者共同支持。Tezos区块链的加密货币是带有符号XTZ的tez。

2. Tezos历史

  • 2014年8月和9月,Waymo工程师Arthur Breitman 发布Tezos position paper和白皮书。
  • 2017年4月,Tezos基金会作为非营利组织在瑞士Zug特许成立,其任务是为Tezos和相关技术提供支持。
  • 2017年7月,Tezos基金会在首次代币发行中筹集了2.32亿美元,成为2017年加密货币热潮中最大的IC0之一。当时Tezos的IC0仅次于Filecoin,排名第二。
  • 同年8月,Tezos基金会面临基金会主席Johann Gevers使用募集资金的管理争议。当时专利持有人 Breitman发文指责Gevers中饱私囊,给自己发了价值150万美元的代币。
  • 2018年2月22日,Johann Gevers辞职.这场闹剧直接导致了 Tezos代币发放的延迟,在ICO期间向投资者们所保证的2–4个月上线Tezos主链的计划也一拖再拖。
  • 2020年8月,Tezos创始人和Tezos基金会解决了对他们的诉讼

3. Tezos团队

Tezos最先由Waymo工程师Arthur Breitman创立,Arthu曾在Goldman Sachs和Morgan Stanley 担任数值分析师。2017年4月,Tezos基金会成立,主席由Johann Gevers担任。Johann Gevers现任 Monates CEO,也是Crypto Valley创始人。

2017年7月,Tezos基金会在首次代币发行中筹集了2.32亿美元,值得注意的是,亿万投资人Tim Draper也成为其面包师。

Tezos代币经济模型

Tezos总体机构,来源:TokenGazer

1. 经济模型

入门经济学中教授的标准供求模型是经济模型的一个很好的例子。该模型用价格与其他变量(如收入) 来决定供求水平。市场平衡价格取决于在该价格下供应等于需求的要求。通常,需求会随着价格的下降而下降,而供应会随着价格的增长而增长,从而产生均衡发展的系统。简而言之,经济模型就是数学化供需博弈的一种手段。

2. 代币经济模型

代币经济模型不同于传统经济模型,它需要引入一个价值概念。传统经济模型中,价值通常是已经确定并完善的(如美元,黄金)。而代币经济模型,因为代币的发行与管理,是一个从无到有创造价值并吸引经济参与者的过程,它不仅与供需关系密切相关,同时也与参与者的数量直接相关,也即网络效应。

从无到有,就算不能打败传统经济体制,也想要在传统经济体中立足,那么就需要有创新。好在代币本身就是一种创新,相对于传统货币体制,代币在交易与储存上更为方便。但仅仅如此还不够,它需要能够为人们获得利益或者价值。只有人们在获得利益的时候才会更多的参与进来,从而扩大经济规模,带来更大收益。

很难去描述一个良好的代币经济模型所需要的充分条件,但是必要条件却显而易见。一个完善、均衡、良好的代币经济模型,至少需要做到安全、自治、便利,并且有良好的激励机制。从发行代币(或者说货币), 到确立利益相关者,保证市场安全,设计激励机制,实现自动化,都需要具体而切实的方案。

代币经济模型的价值原点在于区块链。代币持有者、矿工、研发人员,以及代币产品等参与者,以激励(或者激励-惩罚)机制促进参与者维持公链稳定,本质上也是一种多方博弈。

既然价值原点位于区块链,那么分布式账本(公链)的写入与新增(出块)就为代币经济模型的重点。前者是其中基础设施付费问题,是已发行代币在交易者与矿工之间的再分配,后者则是新发行的代币,或者说代币增发对原有代币交的通胀税。

公链的核心是共识算法,也即信任基础(信任也是价值的核心体现)。共识算法有两个关键点:代币增发与出块权分配。前者主要为奖励矿工维护账本的贡献,后者主要为防范作恶矿工对分布式账本的破坏。PoS和PoW是目前主流的两大共识算法。共识算法的目标是在存在各种差错,恶意攻击以及异步的分布式网络中,并且在没有中央协调的情况下,确保分布式账本在不同网络节点上副本的“最终一致性” 。达成这种一致状态毫无疑问需要成本,我们称之为“共识成本”。(再讲下去有点多了,这里不过多赘述,仅为笔者理解代币经济模型使用。)

Tezos模型

1. 专有名词解释

  • (baking)烘焙:即挖矿,产出新区块的行为。
  • (baker)面包师:即出块人,拥有烘焙资格者。
  • (holder)持有人代币持有人,可以委托面包师出块。
  • (roll)卷:基本出块单位,相当于10,000 XTZ.拥有不到1卷的持有人应当考虑委托代币。
  • (endorse)验证:验证烘焙出的区块正确性。
  • (bond)债券:质押金,烘焙一个区块需要质押1,536 XTZ。
  • (reward)奖励:烘焙一个区块奖励512 XTZ,验证一个区块奖励32/TXTZ,其中T为验证此区块与上一区 块之间的分钟数。

2. Tezos协议

Tezos白皮书中称,Tezos最多允许100亿个XTZ。烘焙和验证会给予一定奖励。同时,烘焙一个区块需要质押一定数量的代币(与面包师所需要烘焙的区块数成正比),这些质押作为信任成本。如果面包师欺诈, 那么这些质押也会没收,反之,则会在一个选举周期(后面介绍)结束时返还给面包师。烘焙一个区块需要 16个随机选取的验证者,这些验证者不需要质押债券。

1年以上不烘焙的面包师将会被取消烘焙资格,直到账户重新激活为止。此举为了减小参与度的不确定性。

选举周期为协议改革周期,也是链上治理的核心。一个选举周期持续131072个区块,大约三个自然月。均分为四个阶段。第一阶段为协议提出期,面包师可投票。第一阶段产生的最受欢迎的协议将在第二阶段进行投票。若超过80%投票通过,则第三阶段在试用版上线新协议并运行。若第四阶段二次投票仍超过 80%通过,则新协议正式上线Tezos。

3. Tezos共识算法

LPoS协议以2048个块的周期展开。现存XTZ以卷为单位标记,满一卷记为单独标记,每个协议周期开始产生一个随机种子,用于生成随机卷标记序列。拿到最高优先级的卷的持有人(面包师)有权在1分钟后烘焙下一个区块,若该面包师未烘焙,则拿到次高优先级的面包师有权在2分钟后烘焙新区块,以此类推。与DPoS不同的是Tezos共识算法中面包师可由持有人自由选择,且质押金与烘焙区块数成正比。截至 2021年1月,流通的所有XTZ中有将近80%由面包师直接抵押或委托给面包师进行抵押。

Tezos创世区块产生了大约7亿个XTZ,剩余的93亿个将随着时间的推移以通胀方式释放。通过烘焙或委派面包师代表其利益参与共识达成的持有人将参与通胀的收益。目前来说,通胀率预期为每年5%。

4. Tezos实现

Tezos使用OCaml编译,支持一种名为Michelson的特定领域语言,支持图灵完备的智能合约。迈克尔逊(Michelson)是一种纯功能性的基于堆栈的语言,减少了指令集,没有副作用,在设计时就考虑了形式验证。

5. Tezos估值

  1. 总供给:876,068,118 XTZ (15.05.2021)
  2. 价格:$6.389 (15.05.2021)
  3. 24h交易额:$355,327,732.20 (15.05.2021)

*Tezos风评

项目优劣势

1. 优势

  • 链上治理,自我修正。它号称永不过时,所有Tezos代币持有者都可以提出建议并投票赞成更改,从而创建一个可以听到所有用户并消除自上而下的决定的联合体。通过自我修正的性质,升级无需拆分成 两个不同的区块链即可进行。
  • LPoS流动性权益证明作为共识算法。用户的令牌委托给哪位区块生产者是可选的。用户在验证“烘 焙师”的名声后,可以将持有的代币委托给他们进行投票.由于用户都是天生懒惰的(大多数来说),他们更喜欢直接投票给名声最好的“烘焙师”。因此,大“烘焙师”会随着时间积累更多的选票, 获得对网络更多的控制权,从而导致网络越来越中心化。Tezos通过让”烘焙师”在网络中冻结一些资 金,来解决这个问题。如果你想”烘焙”(即生产)更多的区块,你必须在网络中抵押更多的资金;如果 你违反了规则,你将会失去这些资金.相对于比特币的PoW和EOS的DPoS( De legated proof of stake), Tezos的LPoS更加民主,去中心化一些.不过缺点是牺牲了一些交易速度(TPS)。
  • Michelson语言的优越性。迈克尔逊(Michelson)可以在数学上证明代码的正确性。这通常用于关键任 务环境(例如航空航天),还可以防止系统中发生错误.Michelson属于函数式代码,区别于C, python, 甚至是以太坊所使用的Solidity,后者属于命令式代码.函数式代码有助于简化并保证数学推理和验 证.简单来说,如果数学上出了错,函数式代码更容易识别,而如果数学上没出错,那么函数式代码也 不会出错,但是命令式代码需要二次编译再执行,可能出错。

2. 劣势

  • 信托责任的概念应用于加密资产生态系统方面仍处于萌芽阶段。将代币委托给面包师本质上是一种信托。选择委托本就是选择代理人,且代理人拥有投票权。这方面目前虽然没出大问题,但相关问题可能在经济规模起来后呈现。
  • 链上治理仍存在理论上的风险。极端情况是链上改革后逐渐变为中心化,因为区块链并不改变人性。
  • Michalson语言缺乏广泛受众,其推广的前景与风险未知。函数式代码目前专家也较少,领域较窄,前景未知。
  • Tezos创立之初存在基金会创始人与Tezos创始人之间的风波,导致代币发行严重滞后,并深陷诉讼。信任是价值之本,当初的丑闻使得很多一开始看好Tezos的用户开始犹豫。

Reference

1. 何为经济模型. https://www.imf.org/external/pubs/ft/fandd/2011/06/pdf/basics.pdf

2. 何为代币经济模型. https://www.chainnews.com/articles/931973236071.htm

3. 代币经济模型的今生未来. https://zhuanlan.zhihu.eom/p/103279907

4. Tezos白皮书. https://tezos.com/whitepaper.pdf

5. It’s a baker’s life for me. https://medium.com/tezos/its-a-baker-s-life-for-me-c214971201el

作者:衡友喆

--

--

Distributed blockchain research institution. Focusing on underlying technology research and practice. Support us: http://giveth.io/project/cyc

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
CYC

Distributed blockchain research institution. Focusing on underlying technology research and practice. Support us: http://giveth.io/project/cyc