什么是Tezos?最新的深潜

Tezos在当时破纪录的ICO中筹集了2.32亿美元,从而进入了加密货币领域

自发行ICO以来,由于幕后戏剧和其他冲突,其发行日期一直被推迟。 Tezos于2018年9月正式启动,现在是研究这个令人兴奋的项目的好时机。那么什么是Tezos?

什么是Tezos硬币?

根据Tezos网站, “ Tezos是一个新的去中心化区块链,通过建立真正的数字联邦来管理自己。”

Tezos(XTZ)是链接到数字令牌(称为tez或tezzie)的区块链网络。 Tezos不是基于tez的挖矿。相反,代币持有人会因参与利益证明共识机制而获得奖励.

英联邦是由于共同的目标和利益而选择链接在一起的群体。 Tezos的主要目的是使他们的代币持有人共同努力,做出可以随着时间的推移改进其协议的决策。 Tezos原生令牌为XTZ.

Tezos中有很多功能使其独特。我们将在本指南的后面部分介绍它们。现在,让我们为您提供一些项目背景知识.

什么是Tezos简史

联合创始人Arthur Breitman和Kathleen Breitman自2014年以来一直与一群核心开发人员一起开发Tezos。该公司总部位于瑞士。正如我们已经说过的那样,他们在短短2周内通过无上限ICO筹集了2.32亿美元,接受了比特币和以太坊的捐款。在进行历史性的ICO之后不久,Tezos率先涉足了许多管理问题。要了解这些管理问题,您必须知道Tezos的创建公司名为DLS(动态账本解决方案),而持有ICO期间收集的所有资金的公司也称为“ Tezos Foundation”。

亚瑟(Arthur)和凯瑟琳·布雷特曼(Kathleen Breitman)与Tezos基金会主席约翰·格弗斯(Johann Gevers)发生了公开辩论。显然,掌控这笔资金的杰弗斯拒绝将资金拨给布雷特曼人。这场纠纷导致社区内部混乱,估计汇率暴跌。布雷特曼人在盖弗斯发表了严厉的声明,其中包括“自我交易,自我推销和利益冲突”之类的字眼.

最终,在经历了许多戏剧性事件和媒体的不受欢迎关注之后,Gevers在获得了超过40万美元的遣散费后离开了公司。现在事情终于顺利了。因此,就此而言,让我们深入了解一下详细信息.

Tezos建筑

您无法正确回答“什么是tezos”这个问题。 Tezos区块链使用一种称为“ Network Shell”的激动性本机中间件。这样一来,他们就可以使用自校正分类帐开发模块化样式。通用区块链协议分为三层:

  • 网络协议:这是八卦协议,负责节点之间的对等侦听和广播.
  • 交易协议:这是交易层,定义了由区块链实现的会计模型.
  • 共识协议:非常不言自明。这定义了共识协议,将帮助我们的区块链就交易状态达成协议.

在Tezos中,最后两个协议(交易和共识)组合在一起,称为区块链协议。网络外壳有助于网络协议和区块链协议之间的通信。网络外壳与事务协议和共识协议无关.

特佐斯的两个故事

您可以在Tezos中使用两种帐户:

  • 隐性账户.
  • 原始账户.

隐性账户

这些是Tezos中最常见的帐户。他们以tz1开头(例如: tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1)。这是一个由一对公钥/私钥生成的简单帐户。 tz1公共地址是从公共密钥派生的,每个tz1帐户都有其自己的私钥。这些帐户具有帐户所有者和帐户余额.

隐式帐户不能有委托。要委托资金,他们将需要将资金转移到原始帐户,然后必须设置委托人.

原始账户

除了隐式帐户,您还拥有智能合约的帐户,这些帐户称为原始帐户。这些以KT1开始(例如:KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Ddo)。这些帐户具有以下字段:

  • 经理-这是帐户的私钥
  • 金额–此帐户中的Tz金额
  • 可委托-如果该帐户的资金可以委托烘烤
  • 委托字段-有关此帐户委托给谁进行烘烤的信息.

原始帐户可以将其资金委托给面包师的隐式帐户。稍后我们将详细讨论面包师.

Tezos具有三个独特的功能:

  • 链上治理和自我修正.
  • 液态股权证明共识机制
  • 具有正式验证的智能合约.

让我们一一讲解.

链上治理和自我修正

要了解链上治理和自我修正的重要性,您需要首先了解加密社区中的“ F字”,分叉.

分叉是一种条件,在这种条件下,区块链的状态分裂成链,其中一部分网络对交易历史的看法与另一部分网络的看法不同。从本质上讲,这就是叉子,从区块链状态的角度来看这是一个分歧。叉子可以通过软叉子或硬叉子来实现.

什么是软叉?

每当需要更新链时,有两种方法可以执行此操作:软叉或硬叉。可以将软叉看作是向后兼容的软件更新。那是什么意思?假设您正在笔记本电脑中运行MS Excel 2005,并且要打开内置MS Excel 2015的电子表格,由于MS Excel 2015向后兼容,您仍然可以打开它.

但话虽这么说,但有区别。在较新版本中,您看不到所有新版本中可以享受的更新。再次回到我们的MS excel类比,假设有一个功能允许在2015年版本的电子表格中放入GIF,而在2005年版本中则看不到这些GIF。因此,基本上,您会看到所有文本,但看不到GIF.

什么是硬叉?

软叉和硬叉之间的主要区别是它不向后兼容。一旦被利用,绝对没有任何回头路可走。如果您没有加入区块链的升级版本,那么您将无法访问任何新更新或与新系统的用户进行交互。 Think PlayStation 3和PlayStation4。您不能在PS4上玩PS3游戏,也不能在PS3上玩PS4游戏。.

什么是Tezos?终极指南

安德里亚斯·安托诺普洛斯(Andreas Antonopoulos)这样描述硬叉和软叉之间的区别:如果素食餐厅选择在菜单上添加猪肉,则将其视为硬叉。如果他们决定增加素食主义者的菜式,那么每个素食主义者仍然可以吃素食主义者,你不必在那里吃素食,也可以素食主义者在那里吃肉,肉食者也可以在那里吃,所以这是一个软叉子.

现在,这里应该清楚一件事。叉子不是一件坏事。高质量的平台应始终不断发展和更新。要做到这一点,对于系统来说,通过硬,软不断地拨叉是绝对必要的。主要问题在于有争议的硬分叉使社区分裂.

最明显的例子是比特币和比特币现金经历的所有艰难过程。比特币分为比特币和比特币现金,而比特币现金后来又分为比特币现金和比特币SV。比特币现金和比特币SV的分割特别难看。它引发了所谓的“哈希战争”。

哈希战争基本上就是这两个链,利用它们的哈希能力来挖掘最长的链。链条最长的一条据称将成为主导的比特币现金链。随着整个市值的下跌,这种不必要的姿态使整个加密社区大跌。更糟糕的是,它将比特币现金社区分为两个.

这正是Tezos想要避免的.

饰演Kathleen Breitman 把它, “比特币的讽刺之处在于,它最终是达成社区共识的工具,但它却受到了极大的敌意。 Tezos允许创新以系统化的方式发生,而不是源于政治。您找不到比阿瑟和我更讨厌政治的两个人。这就是Tezos的想法:让我们将这个异常非正式的过程正式化。”

Tezos如何缓解这种情况?

Tezos通过自我修正和链上治理减轻了有争议的难题。自我修正有助于在无需进行硬分叉的情况下升级区块链。链上治理只是意味着在平台上对提议的修正案进行投票。结合链上治理和自我修正事件,可以修改投票过程,也可以根据需要进行修正。系统的利益相关者(我们将在后面讨论)负责投票。该系统的设计允许区块链的平稳发展,而不必费力.

好吧,这到底如何工作?

  • 开发人员独立提交协议升级建议并要求补偿其工作.
  • 补偿要求确保开发商有强烈的经济动机为生态系统做出贡献
  • 该提案经历了一个测试期,在此期间,社区对协议进行了测试,并批评其可能的改进.
  • 经过反复测试后,Tezos代币持有人可以对提案是否应该通过投票进行表决.
  • 一旦确定了合法升级,协议上就会发生“热插拔”,从而启动协议的新版本.

由于有了这个系统,协议以分散的方式被动升级。每次协议升级都经历多个测试阶段,并从社区中获得相关的反馈。这确保了无论发生什么改进,都得到了大多数社区的认可。这样可以避免社区分裂硬叉的机会.

股权证明

社区共识机制是去中心化网络的灵魂。如果没有具体的方法使它们彼此通信并做出决定,那么在广域网中连接多个节点毫无意义。中本聪(Satoshi Nakamoto)创建比特币时,他在其中集成了工作量证明共识机制。 POW机制的想法非常简单:

  • 让矿工使用其计算能力来解决密码难题.
  • 奖励能够解决这些难题的矿工.

它是如此简单。这些难题是如此艰巨,以至于通常会占用大量的计算能力。尽管POW在开始时肯定是有效的,但确实存在很多问题:

  • 首先,工作证明是一个极其低效的过程,因为它消耗了大量的能量和精力.
  • 负担得起更快,功能更强大的ASIC的人和组织通常比其他人和组织有更好的挖掘机会.
  • 战俘导致集中化.

为了解决POW的问题,创建了一个新的共识协议,称为“权益证明”或POS.

什么是权益证明?

权益证明将使整个采矿过程变为虚拟,并用验证器代替采矿者.

这是该过程的工作方式:

  • 验证者将不得不锁定一些硬币作为股份.
  • 之后,他们将开始验证块。意思是,当他们发现自己认为可以添加到链中的区块时,将通过在其上下注来对其进行验证.
  • 如果添加了块,则验证者将获得与其下注成比例的奖励.

但是,这可能是一个问题,因为它仍然包括整个社区,并且可能不是最可扩展的方法。这就是为什么许多现代区块链(例如EOS,Cardano,Lisk,NEO等)都是使用委托协议构建的。 EOS和Lisk使用委托的股权证明协议,其中预先选举了固定数量的代表。这些代表负责共识和整个网络的福祉.

Tezos的共识机制与此类似,但有一点区别。 Tezos并非硬性授权,而是将流动民主模型纳入其共识.

流动民主如何运作?

什么是Tezos?终极指南

它是在直接民主与代议制民主之间流畅过渡的制度.

该过程具有以下功能:

  • 人们可以直接对其政策进行投票.

  • 人们可以将投票职责委托给可以为其政策投票的代表.

  • 代表们自己可以将投票职责委托给可以代表他们投票的另一位代表。代表可以任命自己的代表的属性称为 可及性.

  • 如果代表投票的人不喜欢代表们选择的投票,那么他们只需收回表决权,然后自己对政策进行投票.

那么,流动民主的优势是什么?

  • 每个人的意见都将在最终政策制定中发挥作用并发挥作用.

  • 为了成为代表,一个人要做的就是赢得一个人的信任。他们不需要花费数百万美元进行昂贵的选举活动。因此,进入壁垒相对较低.

  • 由于可以选择在直接民主和委派民主之间摇摆,因此可以更公平地代表少数群体.

  • 最后,它具有可扩展的模型。没有时间对其政策进行投票的任何人都可以简单地委派投票职责.

什么是液体股权证明?

与DPoS(委托股权证明)不同,没有硬性规定必须绝对选择委托人。参与者完全想知道自己想做什么。好了,让我们开始使用LPoS.

Tezos是一种权益证明的液体证明系统,需要一个人来抵押一定数量的Tezos代币才能参与区块链共识。放入Tezos令牌(XTZ)的过程称为烘焙.

代币持有者又称为“面包师”,可以将其验证权委托给其他代币持有者,而无需转移所有权。与EOS不同,委派是可选的.

烤块

您可以通过称为“烘焙”的过程找到并向Tezos区块链添加块。它是这样工作的:

  • 面包师根据自己的股份获得块出版权.
  • 每个块由随机面包师烘烤,然后由32个其他随机面包师公证.
  • 如果该区块行得通,那么该区块将被添加到区块链中.
  • 成功的面包师可获得块奖励,并可以为块内的所有交易收取交易费用.

如前所述,代币持有者可以选择将其烘焙权委托给其他持有者,而不必放弃其代币的所有权。烘焙过程完成后,面包师将与其他代表分享奖励.

智能合约和形式验证

Tezos已使用OCaml进行编码。将在Michelson上创建将在Tezos上运行的智能合约。那么,这些语言有什么特别之处呢?它们都碰巧是功能语言.

在语言方面,它们属于两个家族:

  • 至关重要的
  • 功能性.

命令式编程语言

在命令式方法中,编码人员需要放下计算机达到目标所需采取的所有步骤。我们所有的传统编程语言,例如C ++,Java甚至Solidity都是命令式编程语言。这种编程方法也称为算法编程.

让我们举一个例子说明我们的意思。让我们看一下C ++。假设我们要加5和3.

整数= 5;

int b = 3;

int c;

c = a + b;

因此,如您所见,加法过程分多个步骤,并且每个步骤都在不断更改程序的状态,因为它们都是依次依次执行的.

加法过程分为四个步骤,这些步骤是:

  • 声明整数a并为其分配值5.
  • 声明整数b并为其分配值3.
  • 声明一个整数c.
  • 将和的值相加并将其存储在c中.

功能编程语言

编程语言的第二族是功能语言。创建这种编程风格是为了建立一种解决问题的实用方法。这种方法称为声明式编程.

那么,函数式编程是如何工作的?

假设我们要使用一个函数f(x)来计算一个函数g(x),然后我们要使用它与函数h(x)一起使用。不必按顺序解决所有这些问题,我们可以将所有这些简单地合并到一个函数中,如下所示:

h(g(f(x)))

这使得函数方法更容易进行数学推理。这就是为什么功能程序被认为是创建智能合约的一种更安全的方法。这也有助于简化形式验证,这意味着在数学上更容易证明程序的功能以及其执行方式.

让我们以一个现实生活中的例子为例,看看为什么它在某些情况下会变得极为关键甚至挽救生命.

假设我们正在编写一个控制空中交通的程序.

可以想象,对这样的系统进行编码需要很高的精度和准确性。当人们的生命受到威胁时,我们不能盲目地编写某些代码,并希望做到最好。在这种情况下,我们需要可以证明在数学上具有高度确定性的代码.

这就是为什么功能性方法如此理想的原因。这就是Tezos使用OCaml和他们的智能合约使用Michelson的原因.

下表将命令式方法与功能性方法进行了比较.

什么是Tezos?终极指南

图片来源: Docs.Microsoft.com

因此,让我们看一下功能性方法的优点:

  • 有助于创建高保证代码,因为更容易证明代码在数学上的行为方式.

  • 由于每个功能都旨在完成特定任务,因此提高了可读性和可维护性。这些功能也与状态无关.

  • 该代码更易于实现,并且代码中的任何更改也更易于实现。这使得迭代开发更容易.

  • 各个功能可以轻松隔离,从而使其更易于测试和调试.

有关迈克尔逊的更多信息

Michelson是一种强类型的基于堆栈的语言.

在以太坊中,智能合约以Solidity或Viper编写,然后被编译为EVM字节码,然后在以太坊虚拟机(EVM)中执行。在Tezos中,没有不必要的额外步骤,并且Michelson代码本身可以在Tezos VM中运行.

这种方法的优势是什么?人类可以轻松阅读它,这将有助于建立正确性证明并帮助避免错误.

以下是迈克尔逊合同的示例

参数(对(lambda int int)(list int));

返回(列表int);

存储单元;

代码{DIP {NIL int};

   车;

   DUP;

   DIP {CAR;一对}; #解压数据和设置累加器

   CDR;

   LAMBDA(对int(对(lambda int int)(list int)))

      (对(lambda int int)(list int))

      #应用lambda并将新元素添加到列表中

      {DUP; CDAR;

       DIP {DUP; DIP {CDAR}; DUP;

          车; DIP {CDDR;交换};执行;缺点};

       一对};

   减少; CDR; DIP {NIL int}; #首先减少

   LAMBDA(对int(列表int))

      (列出int)

      {DUP;车; DIP {CDR};缺点};

   减少; #正确的列表顺序

   单元;交换; PAIR}#调用约定

Tezos –结论

所以你有它。特佐斯(Tezos)是一个非常有趣的项目,不幸的是,所有幕后戏都使它黯然失色。这个项目值得进一步分析,因为它正在将一些有趣的实用程序带入区块链领域。现在我们需要等待,看看它们是否可以证明他们在ICO之后产生的炒作.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me