Tezos生态地图2.0发布

tezos

Tezos是新一代的区块链技术,这个项目允许持币者通过投票的方式来进行技术升级与迭代。项目中的绝大多数代码与算法都可以进行自我修正,从而很大程度上避免了传统区块链升级系统时出现的硬分叉问题。Tezos也引进了非常先进的形式验证技术,这项技术极大程度上减少了智能合约编写过程中可能出现的漏洞。更先进的DPoS挖矿算法允许持币者通过委托或自我运行节点的方式来维护区块链安全,以及获得奖励。

起源

项目的开始可以追溯到2014年,那个时候的以太坊还正在初步形成阶段。Tezos的最初设计非常有前瞻性,因为项目提出的治理以及扩容方案在那个时代的比特币还并不是一个问题。在经过多年的开发后,Tezos提供了一个交易吞吐量更高,治理机制更完善,更加安全的智能合约系统。

自我修正

自我修正是Tezos最为瞩目的创新之一,这套系统让Tezos可以适应飞速变化的加密货币世界。项目中绝大多数的代码以及算法都可以被选择性替代,而且替换过程非常简单。当社区为系统升级产生分歧时,比如2017年发生的比特币扩容方案的分歧,Tezos持币者可以选择自己支持的一方,被多数人支持的方案会被采纳,并且无需硬分叉完成代码升级。这意味着Tezos可以在未来的竞争中快速迭代代码以及升级算法,从而自我修正成为一套更加强大的区块链协议。

股份授权证明机制

Tezos采用股份授权证明机制(DPoS)的网络安全算法来维护系统安全以及奖励区块创造者。创造区块的过程称为之为烘焙(bake),区块创造后的奖励归烘焙人所有。现阶段在Tezos的系统中,如果你的持币量大于或等于10,000xtz,你选择可以自己运行节点烘焙。如果你的Tezzies的数量不足1万个,你可以选择把自己的Tezzies委托给别人从而参与到网络中。委托的过程并不涉及到你的私钥(private key),所以你并不需要担心资产丢失。现在的最大委托人数量理论值为80,000个,但是在实际中委托人的数量应该会远远小于这个数字;

交易吞吐量

因为DPoS的实现,Tezos相比使用PoW或者纯PoS的区块链协议拥有更大的吞吐量。虽然这在一定程度上牺牲了一些去中心化,但Tezos几乎找到了一个在保证系统安全的前提下扩大吞吐量的完美平衡点。我们知道Ethereum会在未来采用一些线下的扩容方案,比如Plasma,Sharding等,但Tezos计划采用一种更成熟的扩容方案 — recursive SNARK技术。这种技术可以通过recursive SNARK算法使得大量交易可以非常快速地完成,即使非常廉价的硬件也能处理这些交易。值得一提的是,ZCash项目的负责人同时也是Tezos的顾问,所以recursive SNARK的应用在扩容Tezos的同时,也可以让Tezos支持零知识验证等加密算法。

智能合约

Tezos拥有更完备的智能合约语言。项目引入的形式验证(formal verification)技术极大程度上减少了智能合约编写时因程序员经验不足而导致的漏洞,极大程度上保护用户财产不受损失。现阶段编写智能合约的语言为Michealson和Liquidity语言,更多的多样化的语言,例如fi,也正在被广大社区开发者开发中。

交易途径

目前Tezos网络现处于Betanet阶段,但是所有交易记录都会保留到Mainnet上线。Gate.io等交易所现提供现货交易。(声明:因交易存在风险我们不为任何交易所背书,用户需要自己进行风险评估。)

发行量

在创世区块中,一共有 763,306,929.69 XTZ会被创造。这其中 607,489,040.89 XTZ归属于资金筹集活动的参与者(约等于80%),3,156,502.85 XTZ属于早期支持者以及合约人,76,330,692.97 XTZ归属于官方Tezos基金会。总量的20%会被锁仓。30,317个钱包地址会在创世区块中被创建,平均每个钱包中有20,035 XTZ,中位数为2,331 XTZ。 总供应量将会以大概每年5%的速度增发,暂不设有总量限制。

 立场论文(中文版)
 Tezos白皮书(中文版)
 Michelson智能合约语言(英文版)

 

Casanova:区块链的可扩展共识协议(论文下载)

Pyrofex公司的研究人员最近推出了Casanova,这是一种适用于区块链的无领导乐观共识算法。Casanova不是生成链,而是在有向无环图(DAG)中生成块,它本质上是一个没有周期的有向图。Casanova管理投票并阻止生产以提高可扩展性,并且对于双花等冲突交易具有独特的“项目否决”功能。

Pyrofex研究团队通过电子邮件告诉TechXplore,“我们正在寻找一种可扩展的共识算法,我们可以用它来实现我们要进行的几个不同的区块链项目。” “我们最初认为卡斯帕可能是正确的,并试图证明它是安全的,并且生活在理想的网络条件下。没过多久就表明事实并非如此,并得出结论我们必须做出一些重大改变。我们的新算法解决了我们面临的所有问题,但它需要与以前的方法有很大的偏差。“

大多数现有的区块链技术浪费了大量的时间和资源,使整个网络能够就每个单一交易的全球订单达成一致。虽然这似乎是合理的,但研究人员认为一个好的区块链方法应该能够以任何顺序处理交易。

研究人员说:“我们应该只在必要时才利用能源和资源达成共识 – 即,当有两个相互冲突的交易时,网络必须选择一个,” “其他区块链尝试了类似的东西,但是Casanova我们能够确切地说明如何实现这一目标。”

Casanova的一个显着特征是它本身不构建区块链,而是建立一个DAG。研究人员将卡萨诺瓦的结构称为“封锁”。如果区块链的结构可以与一个字符串进行比较,那么一个块状类似于一块织物,其中几根绳子编织在一起。

“因此,Casanova不是一次确认一个区块,而是每个网络成员一次确认一个区块,”研究人员说。“因此,如果网络有1,000名成员,我们可以同时确认1,000个区块,而不仅仅是1.我们在常规区块链花费在单个区块上达成共识的同时完成所有这些工作。”

卡萨诺瓦拥有验证人而不是矿工,这些人每隔一分钟定期生产一次。当验证器从客户端收到一个事务时,它们会将它包含在下一个块中,并在块中签名以显示它们已经看到它。

验证器还相互交换块,以确保每个人都能看到所有事务。当验证器准备好生成新块时,它包含有关其他人看到的块的信息。

研究人员解释说:“唯一的担忧是当两个相互冲突的交易到来时,例如当用户试图加倍支出时”。“当验证者发现冲突时,它们会在下一个区块中包含有关它的信息。使用来自每个区块的信息,网络决定哪个交易有效以及哪些交易将被丢弃。”

虽然可能觉得此过程不足以保证安全性,但验证器使用数学结构来跟踪事务和其他验证器的投票。根据研究人员的说法,这使他们能够做出重要的推论,最终确保安全。

“Casanova的一个更值得称道的功能就是:你可以通过双花向网络发送垃圾邮件,但会被限速,也就是说,网络会减慢垃圾邮件发送者的帐户速度,”Pyrofex研究团队表示。“所有其他人的交易都以通常的速度处理,因为你不能强迫他们与你的交易发生冲突。据我们所知,Casanova对垃圾邮件交易有一种’项目否决权’,这在行业中是独一无二的。”

虽然有几种blockdag算法,但大多数都是工作证明(PoW),而Casanova是权益证明(PoS)。

“我们还开发了一种适用于Casanova的分类帐模型,我们将在不久的将来将其构建成区块链,”研究人员说。“我们正在研究一种适合的计算模型,它将使我们能够建立一个智能的合同区块链。还有很多工作要做,包括大部分利益证明机制,如奖励,费用,绑定,非绑定等等。这将是一个繁忙的一年。“

查看论文请点击“原文”按钮