原文作者:Beam
声明:本文仅作为行业研究探讨,不代表任何投资建议。
2022年9月15日,以太坊合并。这是一个历史性的时刻,以太坊为此准备了5年、推迟了6次,由于反复的调试与长期的开发、万众瞩目的晕轮效应,很多人误以为合并会自然而然地带来更高的可扩展性、安全性和可持续性,实际上并不是——我们还是用两个列车的比喻,从PoW到PoS的过渡,只是更换了轨道和轮子,它并不会直接地带来更快的速度、更大的容量、更低的车票费用,真正能完成以上三点的,是一整套解决方案:拥有分片能力的主网搭配增强可扩展性的Layer2解决方案。
正如以太坊创始?VitalikButerin所指出的,分?是可扩展性三难困境下的一种扩容解决?案,通过将?络中的节点分成更?的组,处理不同的事务集并实现并行处理。通过分担处理整个网络上汇总所需的大量数据的负担,就像我们在Walmart购物结账时一样,通过多开设几条购物结账的收银通道,可以直观地减少排队时间和提升结账效率。
图1分片的简单逻辑
这就是分片的逻辑,直接而简单,然而,魔鬼都在细节中——原理和方向没错,但在实施中总会遇到很多问题。本文想通过理顺在“分片”这条路上的方向和困局,绘制一张仰望星空与脚踏实地的分片探索者地图。同时通过比较现有的分片解决方案,找到一些共性的问题,并提出一种可行的探索方向:Shardeum与动态分片。
一、关于“分片”
简单来说,考虑不可能三角的制约,从以太坊作为坐标系原点出发,按照“纵向”和“横向”两种思路,我们将当前的区块链的扩展性方法分为两大类:
纵向扩容:通过提高系统现有硬件的性能来实现。建立一个去中心化网络,而网络中的每个节点都具有超级计算能力,即每个节点都需要“更好”的硬件——这种方式简单有效,可以达成吞吐量的初步改进,尤其适用于高频交易、游戏以及其他对延迟比较敏感的应用场景。然而这种扩容方式会限制网络的去中心化水平,因为运行验证节点或全节点的成本变高了。维持去中心化水平受限于计算硬件性能的大致增长速度。
横向扩容:横向扩容一般有几种思路。一种是在区块链的语境下,将某一生态中的交易计算量分散到多个独立的区块链上,每条链都拥有自己的区块生产者和执行能力,这种方式可以充分定制化每条链的执行层,比如节点硬件要求、隐私功能、gas费用、虚拟机以及许可设置等。另一种横向扩容方案是模块化区块链,将区块链的基础架构划分成执行层、数据可用性层以及共识层。最主流的区块链模块化机制就是rollup。还有一种是将一条区块链分成很多片,并行执行。每个分片可以看成一个区块链,也就是说许多区块链可以并行执行。另外,通常还会有一条主链,其唯一的任务就是保持所有分片同步。
需要指出的是,以上的扩容思路都不是孤立存在的,每一种解决方案都是在不可能三角中找到一个权衡点,配合系统中经济力量创造的激励机制设计,达到宏观和微观层面的有效平衡。
为了讨论“分片”,我们需要从头开始梳理。
依然假设这样一种情景,Walmart购物结账,为了提高结账效率,降低客户等待时间,我们从单一的结账通道,扩展到10个结账窗口,为了避免账本错误,这个时候我们需要制定统一的规则:
第一,如果我们有10个收银员,该如何分配他们去哪个窗口工作?
第二,如果我们有1000个客户排队等待,该如何决定每一个客户去哪个窗口结账?
第三,这10个窗口对应的10个单独账本,该如何进行汇总?
第四,为了避免发生账目不匹配的情况,该如何防止收银员出现错误?
这几个问题其实对应了分片中的几个关键问题,分别是:
该如何确定全网的节点/验证者属于哪个分片?即:如何进行网络分片;
该如何确定每一笔交易分配给哪个分片?即:如何进行交易分片;
区块链资料如何在不同分片中储存?即:如何进行状态分片;
俄法外长强调明斯克协议是解决乌克兰问题的唯一选择:当地时间2月19日,俄罗斯外长拉夫罗夫应邀与法国外长勒德里昂进行了电话交谈。拉夫罗夫指出,由于基辅当局始终不愿意全面执行明斯克协议,拒绝与顿涅茨克和卢甘斯克代表进行直接对话,以及在宪法中巩固顿巴斯作为乌克兰一部分的特殊地位,因此在解决乌克兰内部冲突方面缺乏进展。基辅在巴黎和柏林方面的纵容下,明显拒绝履行其在明斯克协议中做出的承诺,在顿巴斯的接触线上集结军队,开展居民军事化运动并持续进行武装挑衅。两国外长认为,为了实现乌克兰的可持续和平,除了执行明斯克协议外没有其他选择。(金十)[2022/2/19 10:02:48]
复杂意味着风险,在以上所有的基础上,该如何避免整个系统安全性的分裂?
01网络分片
如果我们将区块链简单理解成一种去中心化账本,无论是PoS还是PoW的共识机制,都是为了让各个节点按一定的既定规则争夺记账权,在这个过程中保证账本的正确性。而网络分片是指,需要另一种既定规则,将区块链网络分片,在尽量降低互相通信的前提下,由各个分片处理链上交易,争夺记账权——即,节点的分组规则。
而在这个过程中遇到的问题是,随着区块链内部节点被划分成不同的片,攻击者的难度和成本会直线下降。我们可以推理,假定这个分组过程的规则和结果是固定且可以预知的,那攻击者想要控制整个区块链网络,只需要定向地控制其中一个分片,收买分片内的部分节点即可。
Near的创始人AlexanderSkidanov这样描述这个问题:如果一个有X个验证者的单一链决定硬分叉成一个分片链,并将X个验证者分成10个分片,每个分片现在只有X/10个验证者,破坏一个分片只需要破坏5.1%(51%/10)的验证者总数。这就引出了第二点:谁为每个分片选择验证者?只有当所有这5.1%的验证者都在同一个分片中时,控制5.1%的验证者才是有害的。如果验证者无法选择在哪个分片中进行验证,则控制5.1%的验证者的参与者极不可能将所有验证者都放在同一个分片中,从而大大降低了他们破坏系统的能力。
图2攻击某个分片的难度大大降低
分片系统必须开发一种机制来信任网络不会从外部分片中逆转这些交易。迄今为止,可能最好的答案是确保分片内的验证者数量高于某个最小阈值,这样不诚实的验证者压倒单个分片的几率就会很低。最常见的办法是构建一定程度上的无偏随机性,依靠数学的方式,将攻击者的成功概率降到最低。比如以太坊,以太坊的解决办法是随机从所有验证者中选出某个分片的验证者,并且每6.4分钟更换一次验证者。
图3以太坊2.0中构想的验证者轮换
说的简单一点就是将节点随机分组,再将工作分配给各组节点独立验证。
然而需要指出的是,区块链中的随机性是一个非常具有挑战性的话题,按照逻辑来说,这个随机数的生成过程不应该依赖于任何特定分片的计算。对于该计算,很多的现有设计思路都是开发一个单独的区块链,维护整个网络。这样的链在Ethereum和Near中称为Beacon链,在PolkaDot中称为Relay链,在Cosmos中称为CosmosHub。
02交易分片
交易分片是指关于“哪些交易要被分配到哪些分片”的规则制定,则既能够达到并行处理的目的又能避免双花问题的出现。区块链的帐本模型的不同会对交易分片的开发造成影响。
目前区块链网络中存在两类记账方式,分别为UTXO模型和账户/余额模型,前者的典型代表是BTC,后者如ETH。
UTXO模型:在BTC交易中,每笔交易都会有一个或多个输出,UTXO指尚未花费的区块链交易的输出,可以作为新交易的输入,而已花费的交易输出不可再花费,类似纸币交易情况下的支付和找零,顾客将一张或多张纸币支付给店家,店家则将一张或多张纸币找零给顾客。UTXO模型下,交易分片需要跨分片通信。一笔交易可能包括多个输入和多个输出,没有帐户的概念,也不会有余额的纪录,一个可能的方式是:按照其交易的某个输入值将其放入哈希函数处理成为离散型的哈希值以确定数据应该去哪个分片。如下:
报告: 稳定币能解决数字货币市场高浮动性问题:据区块链平台Xangle最新报告,2020年第一季度稳定币市值环比上涨48.19%。反而比特币的市值环比下跌了9.68%。2020年比特币价格下跌最严重时,稳定币全体市值反而增长了55.22%。对此,Xangle报告称:“稳定币能够解决数字货币市场的高浮动性问题,能够成为促进数字资产的金融产品化的中间桥梁。而且,稳定币逐渐被认定为数字资产市场的风险对冲手段。BTC暴跌时投资者的提币(兑现)需求暴增,多数投资者把自己持有的数字资产兑换成价格浮动相对稳定的稳定币。”[2020/4/23]
图4针对UTXO的一种可能的交易分片思路
为了确保条目以一致的方式放置在正确的分片中,输入到哈希函数中的值都应该来自同一列。此列称为ShardKey。之后,将产生为1值的交易都分入分片1,将产生为2值的交易都分入分片2。而这种方式的弊端在于,分片之间不得不进行通信以避免双花攻击。如果限制跨分片交易将限制平台的可用性,而允许跨分片交易则不得不权衡跨分片通信的成本和性能提升带来的收益。
账户/余额模型:系统记录每个账户的余额,在进行交易时,系统检查账户是否有足够余额用于支付,类似于银行转账时,银行会记录每个账户的余额,只有账户余额大于所需转账金额时,交易才能够进行。在账户/余额模型下,由于一笔交易只有一个输入,因此只要将交易按照发送者地址进行分片,就可以保证同一个账户的多笔交易在同一个分片中处理,有效防止双花。因此,大多数采用分片技术的区块链,都是像以太坊一样的账户帐本系统。
03状态分片
状态分片指的是,在区块链资料是如何分配在不同分片中储存的。
依旧沿用我们Walmart排队的例子,每个窗口都有一笔账,他们的账本是如何记录的?如果:客户来排哪个队,就记哪个账,比如A客户去了A窗口,那第二天该客户去了别的结账窗口比如B窗口,而B窗口并没有该客户的过往账户信息,该怎么办?向A窗口调用该客户的账户信息?
状态分片是分片最大的难题,比上述的网络分片和交易分片更棘手。因为在分片机制下,交易会根据地址分配在不同的分片处理,也就是说,状态只会储存在其地址所在的分片中,此时要面临的一个问题是,交易不会只在一个分片中进行,时常会涉及到跨分片。
考虑一种转账情形,A账户转账10U给B账户,而A的地址分配在分片1,交易的纪录也会储存在分片1。B的地址分配在分片2,交易的纪录就会储存在分片2。
一但A要转账给B,就会形成跨分片交易,分片2就会向分片1调用过去的交易纪录,确认交易的有效性,如果A频繁地打币给B,分片2就必须不断跟分片1互动,交易的处理效率便会因此降低。但是,如果不下载和验证特定分片的整个历史,参与者则不一定能确定他们之间交互的状态是某些有效块序列的结果,且这样的块序列确实是分片中的规范链。
因此,相比于无分片的单一链,分片系统面临的新挑战是用户无法直接完全验证任何给定链的有效性和可用性,因为数据太多。必须为用户提供最大限度的去信任和实用的间接方法来验证哪条链是完全可用且有效,以便于他们可确定哪条链是规范链。在实践中,区块链开发者可以使用如下技术解决验证中的一些问题:如委员会、SNARKs/STARKs、渔夫机制、以及欺诈和数据可用性证明等。
有两种思路可以解决这个问题,一个是同步跨分片,即紧耦合,每当需要执行跨分片交易时,包含状态转换的相关块都同时发生,每个分片上的节点协作执行交易。看起来很自然,使用体验也最好,该模型最著名的设计称为MergeBlocks,但在实践中实现这一点很复杂。要完成以上,需要分片之间的验证器彼此同步通信。如果对跨分片事务的需求足够高,性能可能会降低,因为更多的分片工作者必须一起协作来处理跨分片事务。
另一种方式是异步跨分片,即松耦合。这种思路的采用更广泛,比如NEAR、以太坊、Cosmos、Kadena等。而在这个过程中,最具有挑战的事项是交易的原子性。根据ScalarCapital的联合创始人JordanClifford,如果我们想象收据的概念,接收者通过提供源分片中的交易的默克尔路径来证明他们将从外部分片接收了Token。目标分片使用收据并将其记入收件人的帐户。这必须以原子方式完成。发件人和收件人的帐户要么一起修改,要么不一起修改。如果存在差距或一端失败,发件人可能会收件人,让他们相信他们已经收到了他们永远不会得到的资金。
动态 | 中国福彩管理中心将研究区块链技术解决开奖系统存在的问题:据深圳晚报消息,4月4日,中国政府采购网发布《中国福利彩票发行管理中心基于区块链智能合约技术的可公证性电子开奖技术研究与应用项目的招标公告》。公告中提到,中国福利彩票发行管理中心将研究把区块链智能合约技术应用到电子开奖系统的手段和模式,解决当前福利彩票行业电子开奖系统不可公正、不可审计的关键问题,对下一代摇奖与开奖系统技术进行研究。[2019/4/9]
这里对原子性一词做出一种生活化的比喻,比如我们想要进行一趟海边旅行,需要同时订购机票以及酒店,如果预定不到酒店,我希望也不要购买飞机票,如果预定不到飞机票,则也不要预定酒店。这就叫做原子性——要不然都成功,要不然就都不要成功。
二、分片的探索与尝试
我们回顾一下以上有关于分片的讨论时,提到的一些关键性问题:
一是如何进行状态分片,即区块链资料是如何分配在不同分片中储存,如果要进行跨分片通讯时,该如何保证其中的效益平衡。
二是如何处理交易的原子性问题,一个分片对于共同访问的状态的修改,需要及时地让另一个分片知道,否则就容易出现状态错乱。
在下文中,我们梳理了业内比较知名的公链以及其技术解决方案。其中可以窥见部分脉络,并在此基础上讨论Shardeum的前沿性和革新性。
01计算分片
Zilliqa是最早尝试分?的智能合约平台之?,是分片技术的一种很有益也很有效的尝试。
其成立于2017年,由与新加坡国立大学相关的专门研究人员和学者组成的团队推动,主要目标是解决可扩展性问题,专为计算密集型任务而构建。Zilliqa网络能够通过称为计算分片的并行化过程,在其网络上处理高吞吐量的交易。在分片式区块链网络上,计算交易的任务分布在网络的各个分片上。
从分片过程来说,Zilliqa将其分为两部分。首先,选择目录服务委员会节点,然后启动分片过程并将节点分配给每个分片。一旦在分片中验证了交易,便可以通过整个网络对其进行验证,并进入一个全局状态,该状态将所有分片中的交易组合到Zilliqa区块链上的单个可验证真相来源。
简单来说,对于区块链中的节点具有的三个主要功能:
-处理交易
-打包交易并广播到其他节点
-存储整个网络的历史账本
Zilliqa利用了一种简洁有效的思路来解决我们提到的跨分片通讯以及原子性问题,即:只进行计算分片,不进行网络和储存的分片。该平台中的所有节点都存储了完整的状态,并且每个交易都被每个节点接收。为了验证交易,?络根据账?的地址空间被分割成多个分区。这被称为计算分?,因为它划分了验证交易的?作,这通常是计算密集型的。由于每个节点仍然接收每笔交易并更新所有账?的状态,因此?络带宽和存储操作仍然成为瓶颈——?络和存储没有分?,因此?法真正扩展。
02静态状态分片
更为通用的分片方法是将帐户的地址空间划分为多个称为分片的固定大小区域,并将网络中的节点分配给不同的分片。这称为状态分片。Near、Elrond和Harmony等平台正在采用这种方法。尽管以太坊最初计划实施状态分片,但新方法仅对数据进行分片以增加可访问性。
2.1以太坊的数据分片构想
在以太坊环境中,分片将通过分担处理整个网络上汇总所需的大量数据的负担,与Layer2协同工作。这将继续减少网络拥塞并增加每秒交易量。
应该指出的是,随着更有效的扩展路径的开发,以太坊的分片计划也在不断发展。以太坊对于未来分片构想其中一个方案版本是基于“数据可用性”的分片,“Danksharding”是一种新的分片方法,它不使用分片“Chain”的概念,而是使用分片“Blob”来分割数据,同时使用“数据可用性抽样”来确认所有数据是否可用。
而另一种方案版本涉及到在方案一的基础上,为每个分片添加额外的功能,使每一个分片更像今天的以太坊主网,允许分片存储和执行代码并处理交易,因为每个分片都将包含其独特的智能合约和账户余额集,跨分片通信将允许分片之间的交易。然而这种方案还在社区辩论中,因为方案一的数据可用性加上Layer2的协同,已经可以为以太坊提供足够的可拓展性,因此社区还在评估版本二的经济成本与收益价值。
动态 | Michael Dubrovsky提出光学工作证明(oPoW)解决ASIC矿业的能源使用问题:据bitcoinexchangeguide消息,保护比特币网络的工作证明(PoW)活动需要大量能源来为ASIC挖掘硬件供电。这开始引起监管机构和政府的一些担忧,一些司法管辖区已经禁止了加密采矿活动。有些开发人员目前正在研究其他解决方案,以便使挖掘活动更加有效,PoWx的创始人Michael Dubrovsky提出了光学工作证明(oPoW),它是一种与光子集成电路相兼容的新算法,用于解决PoW生态系统的动力学问题,其目标是解决ASIC矿业的能源使用和集中化问题。[2019/1/28]
2.2Harmony
Harmony是一个基于PoS的分片网络,采用了一种更为标准的分片方法,这种方法的想法是拥有多个称为分片的小型区块链,每个分片负责状态的一部分,以及一个协调它们的区块链,在Harmony中称为信标链。我们按照之前的讨论,先看看Harmony是如何从下到上解决网络分片、交易分片和状态分片的问题。
网络分片:Harmony将验证者网络分为不同分片,每个分片都包含一组不同的验证器,它们彼此紧密相连,在它们之间运行共识。
交易分片:Harmony的交易由单个分片处理和处理。这使得分片能够同时处理交易,提高了区块链的总交易容量。对于交易,用户只需在签名交易中指定shard_id字段,表示交易所属的分片。
状态分片:在Harmony中,每个分片的验证者都需要存储1/N的全局状态,因为他们维护自己的区块链和状态数据库。这减轻了验证者对数据可用性的担忧。此外,交叉分片进一步提高了分片之间的状态一致性。
Harmony主网支持多个分片中的数千个节点,在几秒钟内生成具有即时确定性的块。通过质押机制的安排减少了中心化,同时支持质押委托、奖励复合和双签削减。采用了EPoS(EffectiveProof-of-Stake)的有效抵押机制和安全的随机分片技术(RandomSharding),靠协议的规定把大户抵押的代币打散成许多细小的部分,并随机分配到多个分片里,这样任何人就无法把他抵押的代币集中到单一分片内,从而无法攻击单一分片。
而关于跨分片,在跨分片交易和信标链同步的情况下,来自不同分片的验证者通过全球连接的网络跨分片发送消息。根据Harmony官方文档,采用了「Kademlia跨片路由技术」,来控制跨片间通信的网络开销,并且利用「纠删码」对区块广播过程进行优化,使广播者的网络压力更小,避免发送者的网络瓶颈问题,从而实现高效的横向分片扩展。已经装备自己成为第一个完成跨分片消息传递的分片区块链。借助有效的跨分片消息传递协议和全网状设计,分片之间将能够进行无缝通信,随着团队积极朝着这个目标努力,用户和开发人员可以期待今年晚些时候在Harmony上的跨分片消息传递协议。
对于Harmony上的构建者和开发者来说,这是一个重大突破,因为他们可以通过整理特性和使用驻留在不同分片上的数据来构建。此外,分片间数据的一致性也很重要。这两种追求将决定这种无限可扩展性的可持续性。
2.3Elrond
Elrond是一个高吞吐量的公共区块链,旨在提供安全性、效率、可扩展性和互操作性。使Elrond与众不同的两个最重要的特性是自适应状态分片和安全的权益证明共识机制。
对于交易、数据和网络,Elrond采用所有级别的自适应状态分片。动态自适应分片机制将执行分片合并和分片拆分,同时考虑可用验证节点的数量和网络使用情况。由于跨分片的定期节点改组,对恶意攻击保持高弹性。每个epoch,每个分片中最多1/3的节点被重新洗牌到其他分片,以防止串通。在随机性方面,使用BLS签名保护随机源,这使其无偏见和不可预测。
而对于分片状态架构上的智能合约采用跨分片执行过程处理,分片负载均衡。跨分片平衡智能合约允许Elrond并行运行多个智能合约。
同时,对于跨分片,Elrond采用他们称为元链的设计,可以做到在几秒钟内快速确定跨分片交易。通过研究其技术白皮书,我们简化其过程如下:假定Elrond网络仅有两个分片和元链。假设用户从他的钱包中生成一笔交易,该钱包的地址位于分片0,并希望将EGLD发送给另一个钱包地址位于分片1的用户,则需要下图所示的步骤来处理跨分片交易。
日本将在东京奥运会之前解决关于虚拟货币等的网络安全问题:日本警察署网络安全对策总部在2日举行了开设新政府大楼(被称为“网络大厦”)的仪式。其中包括部,刑事部和生活安全部等6个部门,调查人员约500人左右。警视厅首长吉田尚正表示通过去年流行的“?Ransomware”病以及今年一月发生的coincheck公司的虚拟货币流出事件可以看到网络安全的威胁越来越严重。在东京奥运会来临之前,将全力解决并得到结果。[2018/4/3]
块的结构由包含有关块的信息的块头表示,以及包含内部实际交易的每个分片的小块列表。在我们的例子中,对于分片0中的一个块,通常会有3个小块:
miniblock0:包含分片0的分片内交易
miniblock1:包含与分片0中的发送者和分片1中的目的地的跨分片交易
miniblock2:包含跨分片交易,发件人在分片1,目的地在分片0。这些交易已经在发件人分片1中处理,将在当前分片处理后完成。
一个块中具有相同发送者和接收者的小块的数量没有限制。这意味着具有相同发送者和接收者的多个小块可以出现在同一个块中。在这个过程中,跨分片执行的原子处理单元是一个小块:要么立即处理小块的所有事务,要么不处理,小块的执行将在下一轮重试。
Elrond的跨分片交易策略使用异步模型。验证和处理首先在发送者的分片中完成,然后在接收者的分片中完成。交易首先在发送者的分片中分派,因为它可以完全验证从该分片中的帐户发起的任何交易。之后,在接收者的分片中,节点只需要元链提供的执行证明,进行签名验证和检查重放攻击,最后为接收者更新余额,添加交易金额。
分片0处理小块0中的分片内交易和一组跨分片交易,这些交易的地址来自分片1作为小块1中的接收者。块头和小块被发送到元链。元链通过创建一个新的元链块来公证分片0的块,其中包含有关每个小块的以下信息:发送者分片ID、接收者分片ID、小块哈希。
分片1从元块中获取小块1的哈希,从分片0请求小块,解析交易列表,请求丢失的交易,在分片1中执行相同的小块1并发送到元链结果块。经过公证,交叉交易集可以被认为是最终确定的。下图显示了完成交易所需的轮数。这些轮次被认为是从第一个包含在小块中到最后一个小块被公证。
图5Elrond的跨分片异步模型
2.4Near
Near是一个全状态分片、对开发者友好的可拓展性公链,他们提出了一种新的协议和解决方案,称之为夜影协议。
与上述两个分片公链不同的是,它的技术架构并不是由一个信标链和多个分片链组成的,而是把系统建模成一个单独的区块链,在区块级别进行了分片,每个分片中有很多“段”。
图6Near放弃了信标链的做法,采用了Nightshade的设计
Nightshade将系统建模为单个区块链,其中每个块在逻辑上包含所有分片的所有事务,并更改所有分片的整体状态。在物理上,没有参与者下载完整状态或完整逻辑块。相反,网络的每个参与者只维护与他们验证交易的分片相对应的状态,并且块中所有交易的列表被分成物理块,每个分片一个块。
在理想条件下,每个块每个块的每个分片恰好包含一个块,这大致对应于具有分片链的模型,其中分片链以与信标链相同的速度生成块。然而,由于网络延迟,一些块可能会丢失,因此实际上每个块的每个分片都包含一个或零个块。
在Nightshade中有两个角色:区块生产者和验证者。在任何时候,系统都包含w个块生产者和wv个验证者,在near的模型中w=100v=100,wv=10,000。系统包含n个分片,在near的模型中n=1000。在Nightshade中没有分片链,而是所有的区块生产者和验证者都在构建一个单一的区块链,称之为主链。主链的状态被分割成n个分片,每个区块生产者和验证者在任何时候都只在本地下载了与该分片的某个子集对应的状态子集,并且只处理和验证影响这些部分的交易状态。网络的维护是按时期完成的,其中一个时期是几天的时间段。
块生产者和块生产者根据固定的时间表轮换每个块。区块生产者有一个订单,并按该顺序重复生产区块。例如,如果有100个区块生产者,第一个区块生产者负责生产区块1、101、201等,第二个区块生产者负责生产2、102、202等)。由于块生产与块生产不同,需要维护状态,并且对于每个分片,只有sww/n个块生产者维护每个分片的状态,相应地,只有那些sww/n个块生产者轮换创建块。
而关于跨分片,如果一个事务需要影响Near中的多个分片,则需要分别在每个分片中连续执行。完整的交易被发送到第一个受影响的分片,一旦该交易被包含在该分片的块中,并在该块被包含在一个块中后应用,它会生成一个收据交易,该交易被路由到下一个需要在其中执行事务的分片。如果需要更多步骤,则收据事务的执行会生成新的收据事务,依此类推。具体见下图:
图7Near中的跨分片交易
由上述对Harmony、Elrond以及Near的分析中,我们可以看到对于我们提出的两个问题的解答:
但是同时,通过分析目前市场上的探索与解决方案,我们发现了目前阶段公链分片的一些新问题:
在跨分片交易时,如何在避免分片连续执行的基础上,同时保证交易的原子处理?2.如果要网络中增加了不足一个分片节点数量的节点,网络如何处理多出来的这部分节点?
作为一个专注于促进区块链的大规模应用、重塑web3价值范式与赋能未来的专业投资公司,Jsquare一直关注区块链的扩展性和安全性,在关注Web3运用层的同时,对更去中心化的基础架构、无感的区块链使用体验以及依托于加密技术的安全性未来抱有极大的信心。即使分片的概念并不是新的,即使在这个道路上人们已经探索了一年又一年,我们在接触Shardeum的时候,依然觉得他们对于分片赛道的洞察以及他们所做出的革命性技术改善值得我们下注。与这两个问题对应的,Shardeum提出了两种新颖的解决方式。
3.1Shardeum与交易级共识
Shardeum形成了一种独特的技术与共识算法,该算法将法定人数证明(PoQ)与权益证明(PoS)相结合,共识算法将通过trustless投票收集和验证节点的质押来帮助保护网络。每个交易会在被分组到块/分区之前按照收到的顺序进行处理。
而与上述成名已久的公链网络不同,Shardeum网络上的共识是在每个交易级别而不是块级别完成的,允许跨分片同时处理事务,而不是像Near的块级共识那样连续处理。这种交易级共识消除了确保原子处理所需的复杂性。因此可以做到秒级的finality和低延迟,从而防止网络拥塞。
3.2Shardeum与线性扩展
要解释什么叫线性扩展,我们需要想象下面一种情形:
Near主?1个100个节点的分?。预计将来会添加更多分?。Harmony有4个分片,每个分片250个节点,主网共1000个节点。所有的合约在同一个分片。Elrond有3个分片与1个元链,每个分片800个节点,主网共3200个节点。
如果在Harmony中添加100个节点,不足一个分片中需要的250个节点,Harmony该如何处理这部分节点?是否可以考虑将这共1100个节点分成11个分片,每片100个节点?
听起来更美好,但是由于某些分片的静态特性,许多额外的节点需要加入网络才能创建新的分片。假如,我们要向上述网络中加入一些节点,如果只增加1个单独的节点,是无法提高整个区块的表现的,至少要为目前“最小分片大小”数量的节点——因为目前的分片都是静态分片,不支持线性扩展,还没有生产网络实际能做到静态分片的拆分和合并。
在“交易级别的共识”之外,Shardeum的白皮书提到,一个独特功能是它使用动态状态分片,不同于静态分片中的所有节点都覆盖相同的地址范围,Shardeum的虚拟分片可以让每个节点持有不同的地址范围,覆盖的地址之间存在重叠节点——这样做具有更大的复杂性,但是好处是它允许真正的线性缩放。
通过地址空间和节点对应关系的动态变化,加上一种新的数据可用性证明来做跨分片验证,Shardeum可以做到拟合或者近似的“线性扩展”。这种按照“交易级别”进行验证和确认的方式,可能会一定程度上牺牲单片内的性能,但是对于网络整体,是非常有益的扩展。
Shardeum目前拥有10个分片,每个分片128个节点,共1280个节点,主网预计2022年第四季度上线。虽然Shardeum仍在开发中,但在协议层面使用的Shardus技术已被证明可以实现线性扩展。在2021年第三季度的更新活动中,shardus运行在AWSt3.medium硬件上的1000个节点的网络被证明可以达到5000TPS的跨分片交易。
图82021年第三季度,Shardus被证明可以达到5000TPS的跨分片交易
2022年8月,Shardeum在具有完整分片功能的测试网Liberty2.0上,通过ERC20代币转移成功展示了100TPS的能力。通常来说,一个区块链需要几年的时间才能建立并达到更高的TPS,但Shardeum在推出Liberty1.0后不到4个月就实现了这一目标。目前,Shardeum用50个节点测试并发布了Liberty2.0,其中每个节点存储了约1/5的总数据,执行了1/5的总交易。
四、结语
一个真正的分片和可扩展的区块链需要从头开始。同样,一个拥有钻石般共识的社区也需要从无到有地构建,而社区的建设从来不比技术的研究和突破轻松容易。我们看到了Shardeum测试网上线后,活跃的测试人数以及测试交易数,兴奋于我们发现的革新之路有更多人携手同行,同时也看到了一些质疑的声音,只是我们相信进步的道路是螺旋而曲折的,任何的创意和探索都值得一试。
正如《抱朴子·用刑》中说,“国有六职,百工与居一焉。或坐而论道,或作而行之”。也有一说,与其坐而论道,不如起而行之,Jsquare始终以开放的态度,希望更多建设者们加入去中心化与分片的测试与探索中。2022年4月26日Shardeum推出了Shardeumalphanet1.0,从那时起,很多用户参与了Shardeum测试,超过100K的钱包创建,1000的智能合约部署,导致更大的TPS要求。正如我们相信,只有在Web3大面积采用的时候,那些高质量高性能去中心化的公链才会在市场竞争中脱颖而出,也正如我们所相信的,那些经历了质疑、指责、公开讨论和反复论证的社区,才能在去中心化的路上走得越来越远。
Reference
1.https://blog.chain.link/blockchain-scalability-approaches-zh/
2.https://www.odaily.news/post/5147856
3.https://docs.near.org/concepts/basics/transactions/overview
4.https://medium.com/nearprotocol/the-authoritative-guide-to-blockchain-sharding-part-1-1b53ed31e060
5.https://medium.com/nearprotocol/unsolved-problems-in-blockchain-sharding-2327d6517f43
6.https://medium.com/nearprotocol/why-doesnt-near-just-replicate-ethereum-serenity-design-3e2cfa2f960c
7.https://ethereum.org/en/upgrades/sharding/#what-is-sharding
8.https://blog.ethereum.org/2020/03/27/sharding-consensus
9.https://www.web3.university/article/ethereum-sharding-an-introduction-to-blockchain-sharding
10.https://medium.com/harmony-one/enabling-cross-shard-communication-at-harmony-22f26483d0d1
11.https://en.elrondwiki.com/article/multi-shard-the-answers-to-certain-questions
12.https://docs.elrond.com/technology/cross-shard-transactions/
13.https://near.org/papers/nightshade/
14.https://shardus.com/whitepaper.pdf
Jsquare是一家投研和技术驱动的投资机构,专注于赋能Web3行业的Alpha项目,以推进区块链技术的大规模应用。目前我们的自有资金管理规模超过1.5亿美元。投资组合包括CeFi(CoinList,3iQ,Republic,FVBank),游戏/NFT(Efinity,BigTime,ThetanArena,Apeiron),基础设施/工具(Pocket,Render,ChainSafe,GSN)等。
www.jsquare.co
推特|@JSquare_co
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。