一波三折的Tezos,如何用POS与自我修正机制说话?

  • 时间:
  • 浏览:0

声明:本文由站长之家内容合作者者伙伴 36 氪战略合作者者区块链媒体“Odaily星球日报” 授权发布。

近期 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 ,为抵押总值位居第二的代币。

“烘焙”与“面包师”

你烘焙什么时间?你选的是哪个面包师?

因为分析都要中放区块链的语境中,以上对话很容易误以为是美食话题,但实际上,这是有另2个 Tezos 矿工的对话。

在法国出生与长大的Arthur Breitman,深受受法国烘焙文化影响,于是将烘焙(bake)和面包师(baker)融入了Tezos 的术语。没人它们的区块链意思是你你是什么 呢?你可不可不能不能通俗的理解为,面包师通过烘焙打包区块,并广播全网记录,完成出块;烘焙则是生产区块的过程,都要通过质押代币你你是什么 动作来完成。

准确的说,Tezos 采用 LPOS(流动权益证明)的共识机制。在 staking 经济学研究兴盛后后,Tezos 你你是什么 共识机制常被归类在 DPOS 中(代理权益证明),实际上,两者还是发生很大的不同。

Tezos 对烘焙设置了门槛,即烘焙所需 Tez 最小数量为 10,000 tez,你你是什么 数额被称为“一卷(roll)”。因为分析个人持有量低于一卷(即 300000tez),你最好的选则是,支付手续费将你的 tez 委托给大约有一卷 tez 的面包师,或让个人将亲戚让让我们 的 tez 委托你可不可不能不能,没人一来,你积累至一卷太少 参与烘焙。

烘焙即因为分析参与网络共识,每次生成因为分析验证一有另2个区块之际,烘焙人都太少 妙招 身旁持有的 tez 数量占完整烘焙 tez 数量的比率,得到一定的 tez 奖励,你你是什么 奖励来自于基于 Tezos 代币总量每年 5% 的增发奖励,统统,烘焙比率越高,权益奖励也就越少。因为分析闲置,则闲置的 tez,都要因为分析增发而被稀释掉一次责价值。

以上几乎是每个 POS 公链的通用流程。接下来,则是 Tezos 的独特设置。

  • 在 Tezos 中,4096 个区块算作一有另2个周期(cycle),因为分析每一有另2个区块的生成时间平均在一分钟左右,一有另2个 Cycle 的周期大约为 3 天,其中前 6 个周期由基金会烘焙,没人收益,从第 7 周后后刚开始,面包师才后后刚开始产生收益。当获得权益收益后,都要锁仓 5 个周期(约 15 天) ,加起来却说都要 36 天(7*3+15)后后太少 拿到收益。

  • 面包师无数量限额,系统设置最多 3000000 名,因为分析 XTZ 总量为 7.6 亿。其中,面包师并不可无限制的烘焙代币,其烘焙额受到保证金的限制。保证金(bond)是 Tezos 对于面包师设置的门槛之一。在烘焙后后,面包师还需缴纳基于烘焙额 8.5% 的保证金,因为分析烘焙总值超过保证金限额,没人超额的 tez 将太少得到收益,统统都要注意委托的面包师算不算有超过保证限额的问提图片;另外,当面包师有意或无意(宕机 / 掉线)作恶,没人面包师也会收到 tez 没收的惩罚,但委托人并太少受到惩罚。

  • Tezos 平均每 256 个区块生成一次快照(snapshoot),一有另2个 cycle 一共中含 16 个快照。亲戚亲戚让让我们 因为分析你在第 X 周期中途进行烘焙,因为分析系统会随机从这第 X 周期中的 16 个快照中选则一有另2个作为基准,你将有一半的概率太少被计入其中,因为分析没人被计入其中,没人你的烘焙收益从 X+1 后后刚开始。

当前,据浏览器数据显示,Tezos 主网中已有超过 25 万个账户,超过 5 亿 tez 被烘焙在权益池中;一共有 456 个面包师,每日烘焙师保持在 3000 个上下,前 15 名面包师发生 53.98% 的质押,其中包括 8 个来自 Tzeos 基金会的烘焙师;目前进行至 102 个周期。

目前 Tezos 的烘焙师收益率维持在 5%-8% 的区间中,所收的手续费在 2%-300% 之间,国内烘焙师有 Wetez 钱包、ViewNodes、Tezos cats。

总之,即使烘焙师作恶委托人并太少受到惩罚,选则 Tezos 烘焙师仍然是一件都要留心的事。可不可不能不能参考 Hashquark 给的参考维度:手续费高低、团队实力和背书、成功出块率(Efficiency)和抵押容量。可不可不能不能参考该网站:https://mytezosbaker.com/

对标以太坊

Tezos 自比为以太坊竞争者,作为第一条公链,Tezos 与以太坊类似于的地方在于:两者均为一有另2个去中心化的分类帐本及智能合约平台,皆有一套图灵完备的智能合约语言。

但在 Tezos 的白皮书中,Tezos 提出了有另2个不同于以太坊的有另2个关键升级:一为自治系统(Self-Governance),即通过一有另2个在线用户投票系统对其协议进行自我迭代升级,从而解决硬分叉的发生;二为创建了新的编程语言 Michelson。

自治系统号称是 Tezos 的灵魂所在,其内容发生了 Tezos 白皮书的二分之一,Tezos 认为硬分叉对社区的划分,改变了利益相关者的激励,也破坏伴随时间形成的网络效应,而自我修正太少 让 Tezos 太少通过硬分叉成两条链升级。

怎样才能执行呢?在该自治系统中,因为分析产生都要更新的需求,Tezos 面包师们可不可不能不能在区块链上提交提案并发起两次投票(每位代表最多可提交 20 份提案,包括重复提案。)第一次投票是决定算不算同意更新被编译部署到 Tezos 的测试网络上,试运行。在 48 小时的测试运行后后,因为分析发起第二次确认的投票,决定算不算同意该更新协议算不算自动部署到主网上,并强制网络每个节点更新成最新的协议。据创始人表示,两轮投票法定人数的支持率都需达到 3000% 以上。

2019 年 2 月,Tezos 进行了主网上线一来的首次投票,投票选项包括「雅典 A」和「雅典 B」其中,在超过一半的烘焙社区实际上选则弃权的情况下。「雅典 A」计划调高区块的计算限制,以允许更大的交易吞吐量,获得了 18181 票,「雅典 B」则计划将「烘焙师」门槛 从 1 万 XTZ 减至 8 千,获得了 7674 票。据 Coindesk 报道,雅典 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,你你是什么 数字显然对于一有另2个 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 中饱私囊,给个人发了价值 3000 万美元的代币,造成的影响是,创始人夫妇负责 Tezos 开发的 DLS 公司与 Gevers 负责的基金会之间的分歧使得目前产品开发毫无进展,开发团队扩编工作陷入停滞,社区开发、产品宣传的等工作也受到了影响。

更严重的是,这场高层争端也造成了 Tezos 代币发放的延迟,愤怒的投资者们以 “非法售卖未经登记的证券” 一举将 DLS 公司,Breitman 夫妇和 Tezos 基金会完整告上了法庭。

实在经过了多日 多的拉锯战后, Gevers 退出,Tezos 更换了新的基金会团队,Tezos 也得以澄清其代币非证券,团队后后刚开始走向正轨,但经此一举后,Tezos 的声望便受到了一定影响,如今,Tezos 怎样才能重回高光后后,全要凭借自身的技术实力了。目前,Tezos 主推的 “自我修正机制” 也仅在近期后后刚开始实践,效果还有待时间的检验。

Tezos 算得上一颗不可多得的璞玉,因为分析能细细打磨,且在 POS 共识机制崛起的情况下,不少人仍然看好 Tezos 的未来与发展。