一波三折的Tezos，如何用POS与自我修正机制说话？
编者按：本文来自36氪战略合作区块链媒体“Odaily星球日报”（公众号ID：o-daily，APP下载）
文 | 芦荟
编辑 | 卢晓明
近期 Cosmos 的主网上线，把 POS 挖矿带入了主流视野。将代币委托给节点商，从而获取稳定的通胀奖励，这一动作成为时下 staking 经济中的流行姿势。
但在 staking 领域，早在 2018 年上线主网的 Tezos 则算的上是 Cosmos 的前辈。
Tezos 由夫妻档——Arthur Breitman 和他的妻子 Kathleen 在 2014 年共同创办，Kathleen 曾就职于埃森哲（Accenture）与分布式分类账初创公司 R3CEV，Breitman 在 2013 年至 2016 年期间担任摩根士丹利（Morgan Stanley）副总裁。对标比特币与以太坊的 Tezos，强调能够通过其链上治理的“自我修正”，解决前者不可避免的硬分叉问题。
3 年后，Breitman离开摩根，开启了 Tezos 的 ICO，仅两周时间内，Tezos 便筹集到价值 2.32 亿美元，一举成为当时融资额最高的 ICO 项目，投资人包括 Gemini 交易所创始人 Winklevoss 兄弟。财富暴涨之后项目内部经历过一段时间的内讧崩盘，但随着团队回归正轨以及主网的顺利上线，目前，据 stakingreward 数据，Tezos 的 staking 市值仅次于 EOS ，为抵押总值位居第二的代币。
“烘焙”与“面包师”
你烘焙了吗？你选的是哪个面包师？
如果不是放在区块链的语境中，以上对话很容易误以为是美食话题，但实际上，这是两个 Tezos 矿工的对话。
在法国出生与长大的Arthur Breitman，深受受法国烘焙文化影响，于是将烘焙（bake）和面包师（baker）融入了Tezos 的术语。那么它们的区块链意思是什么呢？你可以通俗的理解为，面包师通过烘焙打包区块，并广播全网记录，完成出块；烘焙则是生产区块的过程，需要通过质押代币这一动作来完成。
准确的说，Tezos 采用 LPOS（流动权益证明）的共识机制。在 staking 经济学研究兴盛之前，Tezos 这一共识机制常被归类在 DPOS 中（代理权益证明），实际上，两者还是存在很大的不同。
Tezos 对烘焙设置了门槛，即烘焙所需 Tez 最小数量为 10,000 tez，这个数额被称为“一卷（roll）”。如果个人持有量低于一卷（即 10000tez），你最好的选择是，支付手续费将你的 tez 委托给至少有一卷 tez 的面包师，或让其他人将他们的 tez 委托给你，如此一来，你积累至一卷才能参与烘焙。
烘焙即意味着参与网络共识，每次生成或者验证一个区块之际，烘焙人都能够依据手中持有的 tez 数量占全部烘焙 tez 数量的比率，得到一定的 tez 奖励，这些奖励来自于基于 Tezos 代币总量每年 5% 的增发奖励，所以，烘焙比率越高，权益奖励也就越少。如果闲置，则闲置的 tez，都会因为增发而被稀释掉一部分价值。
以上几乎是每个 POS 公链的通用流程。接下来，则是 Tezos 的独特设置。
在 Tezos 中，4096 个区块算作一个周期（cycle），由于每一个区块的生成时间平均在一分钟左右，一个 Cycle 的周期大约为 3 天，其中前 6 个周期由基金会烘焙，没有收益，从第 7 周开始，面包师才开始产生收益。当获得权益收益后，需要锁仓 5 个周期（约 15 天） ，加起来就是需要 36 天（7*3+15）之后才能拿到收益。
面包师无数量限额，系统设置最多 80000 名，因为 XTZ 总量为 7.6 亿。其中，面包师并非可无限制的烘焙代币，其烘焙额受到保证金的限制。保证金（bond）是 Tezos 对于面包师设置的门槛之一。在烘焙之前，面包师还需缴纳基于烘焙额 8.5% 的保证金，如果烘焙总值超过保证金限额，那么超额的 tez 将不会得到收益，所以需要注意委托的面包师是否有超过保证限额的问题；另外，当面包师有意或无意（宕机 / 掉线）作恶，那么面包师也会收到 tez 没收的惩罚，但委托人并不会受到惩罚。
Tezos 平均每 256 个区块生成一次快照（snapshoot），一个 cycle 一共包含 16 个快照。我们如果你在第 X 周期中途进行烘焙，由于系统会随机从这第 X 周期中的 16 个快照中选取一个作为基准，你将有一半的概率不会被计入其中，如果没有被计入其中，那么你的烘焙收益从 X+1 开始。
当前，据浏览器数据显示，Tezos 主网中已有超过 25 万个账户，超过 5 亿 tez 被烘焙在权益池中；一共有 456 个面包师，每日烘焙师保持在 150 个上下，前 15 名面包师占据 53.98% 的质押，其中包括 8 个来自 Tzeos 基金会的烘焙师；目前进行至 102 个周期。
目前 Tezos 的烘焙师收益率维持在 5%-8% 的区间中，所收的手续费在 2%-30% 之间，国内烘焙师有 Wetez 钱包、ViewNodes、Tezos cats。
总之，即使烘焙师作恶委托人并不会受到惩罚，选择 Tezos 烘焙师仍然是一件需要留心的事。可以参考 Hashquark 给的参考维度：手续费高低、团队实力和背书、成功出块率（Efficiency）和抵押容量。可以参考该网站：https://mytezosbaker.com/
对标以太坊
Tezos 自比为以太坊竞争者，作为一条公链，Tezos 与以太坊相似的地方在于：两者均为一个去中心化的分类帐本及智能合约平台，皆有一套图灵完备的智能合约语言。
但在 Tezos 的白皮书中，Tezos 提出了两个不同于以太坊的两个关键升级：一为自治系统（Self-Governance），即通过一个在线用户投票系统对其协议进行自我迭代升级，从而避免硬分叉的发生；二为创建了新的编程语言 Michelson。
自治系统号称是 Tezos 的灵魂所在，其内容占据了 Tezos 白皮书的二分之一，Tezos 认为硬分叉对社区的划分，改变了利益相关者的激励，也破坏伴随时间形成的网络效应，而自我修正能够让 Tezos 无需通过硬分叉成两条链升级。
如何执行呢？目前，Tezos 提案需要经历 Proposal（提案）、Exploration（探测）、Testing（测试）和Promotion（推广应用）四个阶段。在该自治系统中，如果产生需要更新的需求，Tezos 面包师们可以在区块链上提交提案并发起投票（每位代表最多可提交 20 份提案，包括重复提案。）第一次投票是决定是否激活提案。
一旦被激活，在Exploration（探测）期间则发起第二次投票，此次投票表决是否同意更新被编译部署到 Tezos 的测试网络上试运行。
在 48 小时的测试运行之后，将会发起第三次确认的投票，决定是否同意该更新协议自动部署到主网上，并强制网络每个节点更新成最新的协议。据创始人接受密码极客采访时表示，投票法定人数的支持率都需达到 80% 以上。
2019 年 2 月，Tezos 进行了主网上线一来的首次投票，投票选项包括「雅典 A」和「雅典 B」其中，在超过一半的烘焙社区实际上选择弃权的情况下。「雅典 A」计划调高区块的计算限制，以允许更大的交易吞吐量，获得了 18181 票，「雅典 B」则计划将「烘焙师」门槛 从 1 万 XTZ 减至 8 千，获得了 7674 票。据 Wetez 钱包运营负责人 Jeff Zhang 表示，目前「雅典 A」已经通过前两个阶段。
此后接下来的提案或将围绕是否与 Zcash 的 zk-SNARKs 库进行交互，以实现 Tezos 网络的隐私交易。对于之后提案的命名，官方表示可能使用城市名称，英文字母和字母顺序，比如 “Brasília”，“Canberra”，“Delhi” 等。
Tezos 还创建了新的编程语言 Michelson，该编程语言去掉了以太坊虚拟机的概念，允许进行形式验证 Formal Verification。这是一种通过数学验证智能合约等程序的可靠性来提高安全性的技术。通俗的来讲就是，用证明数学题的方法，来开发软件，来用一些数学的公式来证明你开发的软件是完全正确的，是没有任何 bug 的。形式验证有助于减少了智能合约编写时因程序员经验不足而导致的漏洞，保护用户财产不受损失。
目前，几乎所有的以太坊智能合约都是用 Solidity 编写的。与 Solidity 不同，Michelson 没有被编译成任何东西; 它是 Tezos 虚拟机直接解释的低等级的，基于堆栈的图灵完整的编程语言。因此从技术上来说，和 EVM 字节码更加类似，但它包含高层次的结构，如路线图、集合、lambda 表达式、加密算法和特定于合约的操作，以便人们更容易读写。它是纯函数型，同时有强类型和静态类型检查，以简化正确性证明的构造，并消除困扰 Solidity 智能合约的多种类型的漏洞。
Tezos 创始人 Arthur B 曾表示，以太坊的智能合约容易遭受黑客攻击，使得人们不愿意使用它的智能合约机制。通过设计，Tezos 的智能合约规避了许多影响 solidity 和 EVM 的 bug。
2019 年 3 月 15 日，Tezos 官方宣布将上线新的智能合约语言 Ligo，据官方介绍，Ligo 是一种简单的智能合同语言，用于开发比Michelson 语言更长的合同。 它是一种命令式语言，可以编译下来清理 Michelson 代码，具有 pascal 语法和简单类型系统的特点。
Tezos 需要面临的问题是，大多数程序员并不熟悉智能合约语言 Michelson，这对开发人员来说仍有一定的认知门槛。
Tezos 的挑战
除了开发语言不怎么 “接地气” 之后，Tezos 也面临其他一些挑战。
比如 TPS，据 Arthur B 透露，保守估计为 40，这一数字显然对于一个 dapp 平台来说远远不够，相比 EOS 的 3996，Tezos 对于 dapp 开发者来说并不友好，但 Arthur B 似乎并不在意，他认为现在不是 TPS 决定胜负，目前 Tezos 有很多种方法可以提高 TPS, 比如修正 mempool，可以让 tps 增加三倍，也可以减少出块时间来增加 tps。
此外，凭借 2.32 亿美元成为当时融资额最高的 Tezos，如今的知名度似乎并不及同类项目，这来源与 Tezos 在 2017 年 ICO 过后陷入了一场团队管理危机。
当时，创始人夫妇指派了 Crypto Valley 的重量级人物 Johann Gevers 来出任 Tezos 基金会的董事长，但两方的合作关系不久后便破裂，2017 年 10 月，Breitman 夫妇突然发文，指责 Gevers 中饱私囊，给自己发了价值 150 万美元的代币，造成的影响是，创始人夫妇负责 Tezos 开发的 DLS 公司与 Gevers 负责的基金会之间的分歧使得目前产品开发毫无进展，开发团队扩编工作陷入停滞，社区开发、产品宣传的等工作也受到了影响。
更严重的是，这场高层争端也造成了 Tezos 代币发放的延迟，愤怒的投资者们以 “非法售卖未经登记的证券” 一举将 DLS 公司，Breitman 夫妇和 Tezos 基金会全部告上了法庭。
虽然经过了半年多的拉锯战后， Gevers 退出，Tezos 更换了新的基金会团队，Tezos 也得以澄清其代币非证券，团队开始走向正轨，但经此一举后，Tezos 的声望便受到了一定影响，如今，Tezos 如何重回高光时候，全要凭借自身的技术实力了。目前，Tezos 主推的 “自我修正机制” 也仅在近期开始实践，效果还有待时间的检验。
Tezos 算得上一颗不可多得的璞玉，如果能细细打磨，且在 POS 共识机制崛起的情况下，不少人仍然看好 Tezos 的未来与发展。
参考网站：
从史上最大ICO到4起集体诉讼 麻烦不断的Tezos前路何方
Welcome to Athens: Tezos Completes ‘Historic’ First Blockchain Vote
工具网站
Tezos官网：https://tezos.com/
Tezos区块浏览器：https://tzscan.io/、https://mytezosbaker.com/
