什么是特佐斯? 必读终极指南

Rajarshi Mitra

4 months ago
 什么是特佐斯? 必读终极指南
en flag
zh flag
de flag
ja flag
ko flag
ru flag

Tezos 在当时创纪录的 ICO 中收集 2.32 亿美元,从而闯入了加密空间。 自 ICO 以来,由于幕后戏剧和其他冲突,他们的发布日期不断推迟。 Tezos 在 2018 年 9 月正式推出,现在是研究这个令人兴奋项目的好时机。 那么,什么是特佐斯?

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

英联邦是出于共同的目标和利益而选择联系在一起的团体。 Tezos 的主要目的是让他们的代币持有者共同努力,做出决定,随着时间的推移改善他们的协议。 本地 Tezos 令牌是 XTZ。

Tezos 有很多功能,使其独一无二。 我们将在指南后面介绍它们。 现在,让我们给大家介绍一下这个项目的背景。

特佐斯的简史

共同创始人亚瑟 · 布赖特曼和凯瑟琳 · 布赖特曼自 2014 年起就与核心开发团队一起开发 Tezos。 公司总部设在瑞士。 正如我们已经说过的,他们在短短 2 周内在一个没有上限 ICO 中筹集了 2.32 亿美元,接受比特币和醚的贡献。 在他们历史悠久的 ICO 之后不久,Tezos 首先遇到了很多管理问题。 要了解这些管理问题,您必须知道 Tezos 创始公司被命名为 DLS(动态分类账解决方案),持有在 ICO 期间收集的所有资金的公司被命名为 “Tezos 基金会”。

亚瑟和凯瑟琳 · 布莱特曼钻进了公开争吵与特佐斯基金会主席,约翰 · 盖弗斯。 显然,控制这些资金的 Gevers 拒绝将资金支付给布雷曼公司。 这一争端导致社区内部混乱,估计汇率暴跌。 布赖特曼在 Gevers 上发表了一份严厉的声明,其中包括诸如 “自我交易、自我促进和利益冲突” 等词语。

最终,经过大量的戏剧性和媒体不希望的关注,Geververs 在收到超过 40 万美元的遣散费后离开了公司。 现在事情终于顺利航行了。 所以,关于这一点,让我们深入了解裸露的细节。

特佐斯建築

你不能正确地回答这个问题 “什么是特佐斯?” Tezos 区块链使用一种称为 “网络外壳” 的激动原生中间件。 这允许他们开发一个模块化的风格与自我修正的分类帐。 通用区块链协议分为三层:

网络协议:这是负责节点之间的对等监听和广播的八卦协议。

交易协议:这是交易层,它定义了由区块链实现的会计模型。

共识协议:相当不言自明。 这定义了共识协议,这将有助于我们的区块链就我们的交易状态达成协议。

在 Tezos 中,最后两个协议,交易和共识,被组合在一起,被称为区块链协议。 网络外壳程序有助于网络协议和区块链协议之间的通信。 网络外壳对事务协议和共识协议不可知。

特佐斯的两个账户

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

隐式账户。

原始账户。

隐式账户

这些是 Tezos 最常见的账户。 它们从一号开始(例如:一号大号大号大号大号大号)。 这是一个由一对公钥/私钥生成的简单帐户。 tz1 公共地址来自公钥,每个 tz1 帐户都有自己的私钥。 这些账户具有账户所有者和账户余额。

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

原始账户

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

经理-这是帐户的私钥

金额-此账户中的 Tz 金额

可委派-如果此账户的资金可以委派烘烤

委派字段-有关此帐户委派给谁进行烘焙的信息。

原始账户可以将其资金委托给面包师的隐式账户。 稍后我们将讨论更多关于面包师。

Tezos 有三种独特功能:

链上治理和自我修正。

液态股权证明共识机制

具有正式验证的智能合约。

让我们逐一浏览其中的每一个。

链上治理和自我修正

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

分叉是一种条件,即区块链的状态会分散到链中,其中一部分网络对交易历史有不同的视角,而不是网络的另一部分。 这基本上是一个叉子,这是一个分歧的观点的状态的区块链。 叉子可以通过软叉或硬叉来实现。

什么是软叉?

每当链需要更新时,有两种方法可以做到这一点:软叉或硬叉。 将 soft fork 视为向后兼容的软件中的更新。 这是什么意思? 假设你在笔记本电脑中运行 MS Excel 2005,并且你想打开内置在 MS Excel 2015 中的电子表格,你仍然可以打开它,因为 MS Excel 2015 是向后兼容的。

但是,说过是有区别的。 在旧版本中,您可以在新版本中享受的所有更新都不会对您可见。 再回到我们的 MS Excel 类比,假设有一个功能允许在 2015 年版本的电子表格中放入 GIF,你不会在 2005 年版本中看到这些 GIF。 所以基本上,你会看到所有的文本,但不会看到 GIF。

什么是硬叉?

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

What is Tezos? The Ultimate Guide

Andreas Antonopoulos 这样描述了硬叉和软叉的区别:如果素食餐厅选择将猪肉添加到他们的菜单中,它将被视为硬叉子。如果他们决定添加素食菜肴,每个人谁是素食主义者仍然可以吃素食主义者,你不必是素食主义者。 在那里吃,你仍然可能是素食主义者在那里吃,肉食者也可以在那里吃,所以这是一个软叉。

现在,有一件事应该很清楚。 叉子不是坏事。 高品质的平台应该始终不断地发展和自我更新。 要做到这一点,系统绝对需要经过坚硬和柔软的不断叉。 主要的问题在于有争议的硬叉,它分裂了社区。

最明显的例子就是比特币和比特币现金所经历的所有硬叉。 比特币被分成比特币和比特币现金,而比特币现金本身后来被分成比特币现金和比特币 SV。 比特币现金和比特币 SV 分裂特别难看。 它引发了所谓的 “哈希战争”。

散列战争基本上是这两个链使用它们的散列力量来挖掘最长的链。 最长的链条据说成为占主导地位的比特币现金链。 随着整个市场的价值下降,这种不必要的姿势使整个加密社区暴跌。 更糟糕的是,它把比特币现金社区分成两部分。

这正是特佐斯想要避免的。

正如 Kathleen Breitman 所说,“比特币的巨大讽刺意味在于它最终成为社区共识的工具,但它却是巨大的敌意。 Tezos 允许以系统化的方式进行创新,而不是从政治中诞生的创新。 你不会找到两个比亚瑟和我更厌恶政治的人。 这是 Tezos 背后的想法:让我们正式确定这个非常非正式的流程。”

Tezos 如何缓解这种情况?

Tezos 通过自我修正和链上治理来缓解有争议的硬叉。 自我修正有助于在不经历硬叉的情况下升级区块链。 链上治理只是意味着在平台上对拟议修正案进行表决。 通过结合上链治理和自我修正活动,投票过程可以根据需要修改,又名修改。 该系统的利益相关者(我们将在稍后讨论)负责投票。 这个系统的设计允许区块链的平稳发展,而不是硬叉。

好吧,那么这是如何工作的?

开发人员独立提交协议升级提案,并请求对其工作进行补偿。

赔偿要求确保开发商有强大的经济动力,为生态系统作出贡献

该提案经过一个测试阶段,即社区测试该协议,并批评其可能的改进。

经过反复测试,Tezos 代币持有者可以投票决定是否应该批准该提案。

一旦决定进行合法升级,协议上就会出现 “热交换”,从而启动协议的新版本。

由于这个系统,协议以分散的方式被动升级。 每个协议升级都经过多个测试期,并获得社区的相关反馈。 这确保了无论发生什么改进,都会得到大多数社群的认可。 这可以防止社区分裂硬叉的任何机会。

液态股权证明

共识机制是一个分散网络的核心和灵魂。 如果没有具体方法让多个节点相互沟通并做出决定,那么在广域网中连接多个节点就没有意义。 当中本聪创建比特币时,他集成了工作证明共识机制。 POW 机制的想法很简单:

让矿工使用他们的计算能力来解决密码难题问题。

奖励那些能够解决这些难题的矿工。

就这么简单。 这些难题是如此之难,它通常占用了大量的计算能力。 虽然 POW 在开始时绝对有效,但它确实有很多问题:

首先,证明工作是一个非常低效的过程,因为它消耗了大量的电力和能量。

能够负担得起更快、更强大的 ASIC 的人和组织通常比其他人有更好的挖掘机会。

战俘导致集中。

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

什么是股份证明?

股权证明将使整个采矿过程成为虚拟的,并用验证器取代矿工。

这是该过程的工作方式:

验证者将不得不锁定他们的一些硬币作为股份。

之后,他们将开始验证块。 也就是说,当他们发现一个他们认为可以添加到链条中的块时,他们会通过投注来验证它。

如果块被追加,那么验证者将获得与其投注成比例的奖励。

但是,这可能是一个问题,因为它仍然包括整个社区,可能不是最可扩展的方法。 这就是为什么,像 EOS,卡达诺,Lisk,NEO 等许多现代区块链都是使用委托协议构建的。 EOS 和 Lisk 使用委托的权益证明协议,其中预先选出固定数量的代表。 这些代表是负责共识和一般网络福祉的人。

Tezos 的共识机制与此相似,但有一点区别。 Tezos 不是硬派代表团,而是将流动民主模式纳入共识。

液体民主是如何运作的?

What is Tezos? The Ultimate Guide

这是一个在直接民主和代议制民主之间流动过渡的制度。

该过程具有以下功能:

人们可以直接投票他们的政策。

人们可以将投票责任委派给一个代表,该代表可以对他们的政策进行投票。

代表本身可以将其投票责任委托给另一位代表,后者可以代表他们投票。 委托可以指定他们自己的代表的这个属性称为传递性。

如果已授权投票的人不喜欢其代表所选择的投票,那么他们可以简单地收回其投票并投票表决该政策。

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

每个人的意见都很重要,并在最终的政策制定中发挥作用。

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

由于可以选择在直接民主与委托民主之间摆动,少数群体可以得到更公平的代表权。

最后,它有一个可扩展的模型。 任何没有时间对其政策进行投票的人都可以简单地委托他们的投票责任。

什么是股份的液体证明?

与 DPO(委托的股份证明)不同,不存在绝对需要选择委托的硬性和快速规则。 这完全取决于参与者,他们想要做什么。 好吧,让我们开始使用 LPO。

Tezos 是股权系统的流动证明,需要一个人持有一定数量的 Tezos 令牌才能参与区块链的共识。 投注 Tezos 令牌(XTZ)的过程被称为烘烤。

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

烘焙块

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

面包师根据他们的股份,获得块出版权。

每个块由随机面包师烘烤,然后由 32 个其他随机面包师进行公证。

如果块很好去,那么块会被添加到区块链中。

成功的面包师获得块奖励,并且可以为块内的所有交易收取交易费用。

正如我们之前所说,令牌持有者可以选择将其烘焙权委托给其他持有者,而不让其令牌的所有权。 烘焙过程完成后,面包师将与其他代表分享他们的奖励。

智能合约和正式验证

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

当涉及到语言,他们属于两个家庭:

当务之急

功能性。

命令式编程语言

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

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

整数 = 5;

整数 = 3;

整数 c;

c = a + 乙;

因此,正如你所看到的,添加过程需要多个步骤,并且每个步骤都在不断改变程序的状态,因为它们都是依次单独执行的。

添加过程采取四个步骤,步骤是:

声明一个整数 a 并将值 5 分配给它。

声明一个整数 B. 并将值 3 分配给它。

声明一个整数 c。

添加和 b的值并将其存储在 c 中。

函数式编程语言

第二类编程语言是函数式语言。 这种编程风格的创建是为了建立一个功能性的方法来解决问题。 这种方法被称为声明式编程。

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

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

h (g (f (x)))

这使得功能方法更容易在数学上推理。 这就是为什么功能程序应该是智能合约创建的更安全的方法。 这也有助于更简单的形式验证,这几乎意味着在数学上证明程序的作用以及它如何作用更容易。

让我们以现实生活为例,看看为什么它在某些条件下会变得极其重要,甚至拯救生命。

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

正如你可以想象的那样,编码这样的系统需要高度的精度和准确性。 我们不能盲目地编写一些东西,并希望在人们生命受到威胁时获得最好的。 在这样的情况下,我们需要一个可以证明工作在高度的数学确定性的代码。

这正是为什么功能方法如此可取。 这就是为什么 Tezos 使用 OCaml 和他们的智能合约使用米歇尔森。

下表比较了命令式方法与功能性方法。

What is Tezos? The Ultimate Guide

图片积分:文档微软网站

所以,让我们来看看功能方法的优点:

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

提高可读性和可维护性,因为每个函数都是为了完成特定任务而设计的。 这些职能也独立于国家。

代码更容易折射器,代码中的任何更改都更容易实现。 这使得重复性发展更容易。

单个函数可以很容易地隔离,这使得它们更容易测试和调试。

更多关于米歇尔森的资料

米歇尔森是一种基于堆栈的强类型语言。

在以太坊中,智能合约是用 Solidity 或 Viper 编写的,它们被编译为 EVM 字节码,然后在以太坊虚拟机(EVM)中执行。 在 Tezos 中,没有不必要的额外步骤,米歇尔森代码本身可以在 Tezos 虚拟机中运行。

这种方法的优点是什么? 它可以很容易地被人类读取,这将有助于建立正确性证明,并帮助避免错误。

下面是米歇尔森合同的一个例子

参数(对(Lambda 整数)(列表整数));

返回 (列表整数);

储存单元;

代码 {DIP {零整数};

汽车;

作垃圾处理;

DIP {汽车; 配对}; # 解包数据和设置累加器

CDR;

LAMBDA(对整数(对整数)(列表整数))

(对(Lambda 整数)(列表整数))

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

{DUP;

浸水 {浸水; 浸水 {CDAR}; 浸水;

汽车; 浸水 {CDDR; 交换}; 执行委员会; 缺点};

对};

减少;CDR;DIP {零整数};# 首先减少

LAMBDA(对整数(列表整数))

(列表整数)

{DUP; 汽车; 浸水 {CDR}; 缺点};

减少; # 正确的列表顺序

单位; 交换; 对} # 调用约定

结论

所以,你有它。 Tezos 是一个非常有趣的项目,不幸的是被所有的幕后戏剧所掩盖。 这个项目值得仔细分析,因为它正在为区块链空间带来一些有趣的实用工具。 现在我们需要等待,找出他们是否可以证明他们在 ICO 之后产生的炒作。

Tezos 在当时创纪录的 ICO 中收集 2.32 亿美元,从而闯入了加密空间。 自 ICO 以来,由于幕后戏剧和其他冲突,他们的发布日期不断推迟。 Tezos 在 2018 年 9 月正式推出,现在是研究这个令人兴奋项目的好时机。 那么,什么是特佐斯? 根据 Tezos 网站,“Tezos 是一个新的分散式区块链,通过建立一个真正的数字联邦来管理自己。” 英联邦是出于共同的目标和利益而选择联系在一起的团体。 Tezos 的主要目的是让他们的代币持有者共同努力,做出决定,随着时间的推移改善他们的协议。 本地 Tezos 令牌是 XTZ。 Tezos 有很多功能,使其独一无二。 我们将在指南后面介绍它们。 现在,让我们给大家介绍一下这个项目的背景。 Tezos 的简要历史共同创始人亚瑟 · 布赖特曼和凯瑟琳 · 布赖特曼,自 2014 年开始与核心开发团队一起开发 Tezos。 公司总部设在瑞士。 正如我们已经说过的,他们在短短 2 周内在一个没有上限 ICO 中筹集了 2.32 亿美元,接受比特币和醚的贡献。 在他们历史悠久的 ICO 之后不久,Tezos 首先遇到了很多管理问题。 要了解这些管理问题,您必须知道 Tezos 创始公司被命名为 DLS(动态分类账解决方案),持有在 ICO 期间收集的所有资金的公司被命名为 “Tezos 基金会”。 亚瑟和凯瑟琳 · 布莱特曼钻进了公开争吵与特佐斯基金会主席,约翰 · 盖弗斯。 显然,控制这些资金的 Gevers 拒绝将资金支付给布雷曼公司。 这一争端导致社区内部混乱,估计汇率暴跌。 布赖特曼在 Gevers 上发表了一份严厉的声明,其中包括诸如 “自我交易、自我促进和利益冲突” 等词语。 最终,经过大量的戏剧性和媒体不希望的关注,Geververs 在收到超过 40 万美元的遣散费后离开了公司。 现在事情终于顺利航行了。 所以,关于这一点,让我们深入了解裸露的细节。 Tezos 架构你不能正确回答这个问题 “什么是特佐斯?” Tezos 区块链使用一种称为 “网络外壳” 的激动原生中间件。 这允许他们开发一个模块化的风格与自我修正的分类帐。 通用区块链协议分为三层:网络协议:这是负责节点间对等监听和广播的八卦协议。 交易协议:这是交易层,它定义了由区块链实现的会计模型。 共识协议:相当不言自明。 这定义了共识协议,这将有助于我们的区块链就我们的交易状态达成协议。 在 Tezos 中,最后两个协议,交易和共识,被组合在一起,被称为区块链协议。 网络外壳程序有助于网络协议和区块链协议之间的通信。 网络外壳对事务协议和共识协议不可知。 Tezos 的两个账户您可以在 Tezos 中使用的两种账户是:隐式账户。 原始账户。 隐式账户这些是 Tezos 最常见的账户。 它们从一号开始(例如:一号大号大号大号大号大号)。 这是一个由一对公钥/私钥生成的简单帐户。 tz1 公共地址来自公钥,每个 tz1 帐户都有自己的私钥。 这些账户具有账户所有者和账户余额。 隐式账户不能有委托。 要委派资金,他们需要将资金转移到原始账户,然后必须设置委托。 原始帐户除了隐式帐户之外,您还有智能合约的帐户,这些帐户称为原始帐户。 这些都始于 KT1(例如:KT1)。 这些账户具有以下字段:经理-这是账户金额的私钥-金额 TZ 在此帐户可委派-如果此帐户的资金可以委派烘焙委派字段-此帐户已委派给烘焙谁的信息。 原始账户可以将其资金委托给面包师的隐式账户。 稍后我们将讨论更多关于面包师。 Tezos 有三种独特功能:上链管理和自我修正。 液态的股权证明共识机制智能合约与正式验证。 让我们逐一浏览其中的每一个。 链上治理和自我修正要了解链上治理和自我修正的重要性,您需要首先了解加密社区,分叉中的 “F 字”。 分叉是一种条件,即区块链的状态会分散到链中,其中一部分网络对交易历史有不同的视角,而不是网络的另一部分。 这基本上是一个叉子,这是一个分歧的观点的状态的区块链。 叉子可以通过软叉或硬叉来实现。 什么是软叉? 每当链需要更新时,有两种方法可以做到这一点:软叉或硬叉。 将 soft fork 视为向后兼容的软件中的更新。 这是什么意思? 假设你在笔记本电脑中运行 MS Excel 2005,并且你想打开内置在 MS Excel 2015 中的电子表格,你仍然可以打开它,因为 MS Excel 2015 是向后兼容的。 但是,说过是有区别的。 在旧版本中,您可以在新版本中享受的所有更新都不会对您可见。 再回到我们的 MS Excel 类比,假设有一个功能允许在 2015 年版本的电子表格中放入 GIF,你不会在 2005 年版本中看到这些 GIF。 所以基本上,你会看到所有的文本,但不会看到 GIF。 什么是硬叉? 软叉和硬叉之间的主要区别在于它不向后兼容。 一旦它被使用,绝对没有任何回头路。 如果您没有加入区块链的升级版本,那么您将无法访问任何新的更新或与新系统的用户进行交互。 想想游戏机 3 和游戏机 4. 你不能在 PS4 上玩 PS3 游戏,你不能在 PS3 上玩 PS4 游戏。 Andreas Antonopoulos 这样描述了硬叉和软叉的区别:如果素食餐厅选择将猪肉添加到他们的菜单中,它将被视为硬叉子。如果他们决定添加素食菜肴,每个人谁是素食主义者仍然可以吃素食主义者,你不必是素食主义者。 在那里吃,你仍然可能是素食主义者在那里吃,肉食者也可以在那里吃,所以这是一个软叉。 现在,有一件事应该很清楚。 叉子不是坏事。 高品质的平台应该始终不断地发展和自我更新。 要做到这一点,系统绝对需要经过坚硬和柔软的不断叉。 主要的问题在于有争议的硬叉,它分裂了社区。 最明显的例子就是比特币和比特币现金所经历的所有硬叉。 比特币被分成比特币和比特币现金,而比特币现金本身后来被分成比特币现金和比特币 SV。 比特币现金和比特币 SV 分裂特别难看。 它引发了所谓的 “哈希战争”。 散列战争基本上是这两个链使用它们的散列力量来挖掘最长的链。 最长的链条据说成为占主导地位的比特币现金链。 随着整个市场的价值下降,这种不必要的姿势使整个加密社区暴跌。 更糟糕的是,它把比特币现金社区分成两部分。 这正是特佐斯想要避免的。 正如 Kathleen Breitman 所说,“比特币的巨大讽刺意味在于它最终成为社区共识的工具,但它却是巨大的敌意。 Tezos 允许以系统化的方式进行创新,而不是从政治中诞生的创新。 你不会找到两个比亚瑟和我更厌恶政治的人。 这是 Tezos 背后的想法:让我们正式确定这个非常非正式的流程。” 特佐斯如何缓解 这个? Tezos 通过自我修正和链上治理来缓解有争议的硬叉。 自我修正有助于在不经历硬叉的情况下升级区块链。 链上治理只是意味着在平台上对拟议修正案进行表决。 通过结合上链治理和自我修正活动,投票过程可以根据需要修改,又名修改。 该系统的利益相关者(我们将在稍后讨论)负责投票。 这个系统的设计允许区块链的平稳发展,而不是硬叉。 好吧,那么这是如何工作的? 开发人员独立提交协议升级提案,并请求对其工作进行补偿。 赔偿要求确保开发商有强大的经济动力为生态系统做出贡献。提案经过一个测试阶段,社区测试协议,并批评其可能的改进。 经过反复测试,Tezos 代币持有者可以投票决定是否应该批准该提案。 一旦决定进行合法升级,协议上就会出现 “热交换”,从而启动协议的新版本。 由于这个系统,协议以分散的方式被动升级。 每个协议升级都经过多个测试期,并获得社区的相关反馈。 这确保了无论发生什么改进,都会得到大多数社群的认可。 这可以防止社区分裂硬叉的任何机会。 股份共识机制的液体证明是一个分散网络的心脏和灵魂。 如果没有具体方法让多个节点相互沟通并做出决定,那么在广域网中连接多个节点就没有意义。 当中本聪创建比特币时,他集成了工作证明共识机制。 战俘机制的想法很简单:让矿工们使用他们的计算能力来解决加密难题。 奖励那些能够解决这些难题的矿工。 就这么简单。 这些难题是如此之难,它通常占用了大量的计算能力。 虽然 POW 在开始的时候肯定是有效的,但它确实有很多问题:首先,工作证明是一个非常低效的过程,因为它消耗的力量和能量。 能够负担得起更快、更强大的 ASIC 的人和组织通常比其他人有更好的挖掘机会。 战俘导致集中。 为了解决 POW 的问题,创建了一个新的共识协议,称为 “股权证明” 或 POS。 什么是股份证明? 股权证明将使整个采矿过程成为虚拟的,并用验证器取代矿工。 这是该过程的工作方式:验证者将不得不锁定他们的一些硬币作为股份。 之后,他们将开始验证块。 也就是说,当他们发现一个他们认为可以添加到链条中的块时,他们会通过投注来验证它。 如果块被追加,那么验证者将获得与其投注成比例的奖励。 但是,这可能是一个问题,因为它仍然包括整个社区,可能不是最可扩展的方法。 这就是为什么,像 EOS,卡达诺,Lisk,NEO 等许多现代区块链都是使用委托协议构建的。 EOS 和 Lisk 使用委托的权益证明协议,其中预先选出固定数量的代表。 这些代表是负责共识和一般网络福祉的人。 Tezos 的共识机制与此相似,但有一点区别。 Tezos 不是硬派代表团,而是将流动民主模式纳入共识。 液体民主是如何运作的? 这是一个在直接民主和代议制民主之间流动过渡的制度。 该过程具有以下功能:人们可以直接投票他们的策略。 人们可以将投票责任委派给一个代表,该代表可以对他们的政策进行投票。 委托人自己可以委托他们的 投票责任分配给另一名代表,他们可以代表他们投票。 委托可以指定他们自己的代表的这个属性称为传递性。 如果已授权投票的人不喜欢其代表所选择的投票,那么他们可以简单地收回其投票并投票表决该政策。 那么,流动民主的优势是什么? 每个人的意见都很重要,并在最终的政策制定中发挥作用。 为了成为代表,需要做的就是赢得一个人的信任。 他们不需要花费数百万美元进行昂贵的竞选活动。 因此,入境壁垒相对较低。 由于可以选择在直接民主与委托民主之间摆动,少数群体可以得到更公平的代表权。 最后,它有一个可扩展的模型。 任何没有时间对其政策进行投票的人都可以简单地委托他们的投票责任。 什么是股份的液体证明? 与 DPO(委托的股份证明)不同,不存在绝对需要选择委托的硬性和快速规则。 这完全取决于参与者,他们想要做什么。 好吧,让我们开始使用 LPO。 Tezos 是股权系统的流动证明,需要一个人持有一定数量的 Tezos 令牌才能参与区块链的共识。 投注 Tezos 令牌(XTZ)的过程被称为烘烤。 代币持有人(又称 “面包师”)可以将其验证权委托给其他代币持有人,而无需转让所有权。 与 EOS 不同,委派是可选的。 烘焙块您可以通过称为 “烘烤” 的过程找到并添加块到 Tezos 区块链。 这就是它的工作原理:贝克根据他们的股权获得块发布权。 每个块由随机面包师烘烤,然后由 32 个其他随机面包师进行公证。 如果块很好去,那么块会被添加到区块链中。 成功的面包师获得块奖励,并且可以为块内的所有交易收取交易费用。 正如我们之前所说,令牌持有者可以选择将其烘焙权委托给其他持有者,而不让其令牌的所有权。 烘焙过程完成后,面包师将与其他代表分享他们的奖励。 智能合约和正式验证 Tezos 已使用 OCaml 编码。 将在 Tezos 上运行的智能合约将使用米歇尔森创建。 那么,这些语言有什么特别之处? 它们都碰巧是功能性语言。 当涉及到语言,他们属于两个家庭:命令式功能。 命令式编程语言在命令式方法中,编码器需要放下计算机需要达到目标的所有步骤。 我们所有的传统编程语言,如 C + +,Java,甚至 Solidity 都是命令式编程语言。 这种编程方法也被称为算法编程。 让我们举一个例子来说明我们的意思。 让我们来看看 C + +。 假设我们想添加 5 和 3。int a = 5; int b= 3; int c; c = a + b; 所以,正如你所看到的,添加过程需要多个步骤,每个步骤都在不断改变程序的状态,因为它们都是依次单独执行。 添加过程采取四个步骤,步骤是:声明一个整数 a,并为它分配值 5。 声明一个整数 B. 并将值 3 分配给它。 声明一个整数 c. 添加和 2 的值并将其存储在 c. 函数式编程语言第二类编程语言是函数式语言。 这种编程风格的创建是为了建立一个功能性的方法来解决问题。 这种方法被称为声明式编程。 那么,函数式编程如何工作? 假设有一个函数 f(x),我们要用它来计算函数 g(x),然后我们要用它来与函数 h(x)一起工作。 而不是在一个序列中解决所有这些问题,我们可以简单地将它们全部结合在一个像这样的函数中:h(g(f(x))),这使得功能方法更容易在数学上推理。 这就是为什么功能 程序应该是一种更安全的智能合约创建方法。 这也有助于更简单的形式验证,这几乎意味着在数学上证明程序的作用以及它如何作用更容易。 让我们以现实生活为例,看看为什么它在某些条件下会变得极其重要,甚至拯救生命。 假设我们正在编码一个控制空中交通的程序。 正如你可以想象的那样,编码这样的系统需要高度的精度和准确性。 我们不能盲目地编写一些东西,并希望在人们生命受到威胁时获得最好的。 在这样的情况下,我们需要一个可以证明工作在高度的数学确定性的代码。 这正是为什么功能方法如此可取。 这就是为什么 Tezos 使用 OCaml 和他们的智能合约使用米歇尔森。 下表比较了命令式方法与功能性方法。 图像信贷:Docs.microsoft.com 所以,让我们来看看功能方法的优点:有助于创建高保证代码,因为它更容易证明代码在数学上的表现。 提高可读性和可维护性,因为每个函数都是为了完成特定任务而设计的。 这些职能也独立于国家。 代码更容易折射器,代码中的任何更改都更容易实现。 这使得重复性发展更容易。 单个函数可以很容易地隔离,这使得它们更容易测试和调试。 更多关于米歇尔森 · 米歇尔森是一种强类型,基于堆栈的语言。 在以太坊中,智能合约是用 Solidity 或 Viper 编写的,它们被编译为 EVM 字节码,然后在以太坊虚拟机(EVM)中执行。 在 Tezos 中,没有不必要的额外步骤,米歇尔森代码本身可以在 Tezos 虚拟机中运行。 这种方法的优点是什么? 它可以很容易地被人类读取,这将有助于建立正确性证明,并帮助避免错误。 以下是米歇尔森合同参数的示例(对(Lambda int int)(列表整数)); 返回(列表整数); 存储单元; 代码 {DIP {NIL int}; 汽车; DUP; DIP {CAR; PAIR}; # 解包数据和设置累加器 CDR; LAMBDA(对整数(对(列表整数)))))列表 int)))# 应用 并将新元素添加到列表中 {DUP; CDR; DIP {DUP; DIP {DUP; DIP {DUP; DIP {DUP; 交换}; EXEC; 缺点}; 对}; 减少; CDR; DIP {NIL INT}; # 首先减少 LAMBDA(列表整数))(列表整数){DUP; CAR; DIP;; 缺点}; 减少; # 正确的列表顺序单位; 交换; 对} # 调用约定结论 所以,你有它。 Tezos 是一个非常有趣的项目,不幸的是被所有的幕后戏剧所掩盖。 这个项目值得仔细分析,因为它正在为区块链空间带来一些有趣的实用工具。 现在我们需要等待,找出他们是否可以证明他们在 ICO 之后产生的炒作。

Like what you read? Give us one like or share it to your friends

196
3

3
Discussion

Please to comment
newest oldest most voted
Hungry for knowledge?
New guides and courses each week
Looking to invest?
Market data, analysis, and reports
Just curious?
A community of blockchain experts to help

Get started today and earn 4 bonus blocks

Already have an account? Sign In