了解Solana:流水线、云散、存档器_SOLA:SOLACE

Solana是世界上性能很强的无许可区块链。Solana团队由来自高通、英特尔和谷歌的先驱技术专家组成,一直专注于构建Solana所需的技术,以满足这些突破性的性能标准。同时,Solana正在实施一些优化和新技术,以实现网络突飞猛进的扩展。

Solana的技术实现标志着区块链的发展已进入一个全新阶段。毕竟,Solana能够在全球200个不同的节点网络上实现5万TPS,10万笔交易仅在几秒钟内就能执行完毕。

为了创建一个与单节点性能匹配的去中心化、无许可的网络,Solana团队成功开发8项关键技术:工作历史证明PoH、基站拜占庭容错、涡轮机、海湾流、海平面、流水线、云散以及存档器。

之前两篇内容已经介绍过前5种技术,本文将解析最后三种创新技术——流水线、云散以及存档器。

流水线→验证交易

为了让Solana成为世界上第一个网络规模的区块链,我们需要其拥有亚秒级的确认时间和交易能力,仅仅快速达成共识是不够的。Solana团队必须开发一种快速验证大量交易块的方法,同时在整个网络上快速复制它们。

多数去中心化网络开发者并不十分了解去中心化网络:6月9日消息,去中心化数据聚合器Fluence Labs发布的一项针对去中心化网络开发人员的调查显示,大多数去中心化网络项目都是自筹资金的。受访者表示,普通用户缺乏对去中心化网络(DWeb)的了解,是项目发展面临的最大的挑战之一。此外,调查还显示,负责开发去中心化网络的开发者并不十分了解去中心化网络是什么,他们对DWeb中的“D”(Decentralized)所代表的意义存在分歧。(Decrypt)[2020/6/9]

为实现这一点,Solana网络上的交易验证过程广泛使用了CPU设计中常见的一种优化,称为流水线。

当有一个输入数据流需要通过一系列的步骤来处理,并且有不同的硬件负责每一个步骤时,流水线便是一个极为合适的优化方案。解释这一现象最典型的比喻是一个洗衣机和烘干机,它们依次清洗/烘干/折叠几件衣服。洗涤必须发生在干燥之前,干燥必须发生在折叠之前,但这三项操作中的每一项都是由一个单独的单元来完成的。

为了最大限度地提高效率,Solana创建了一个阶段性的流水线。我们可以称洗衣机为第一步,烘干机为第二步,折叠为第三步。为了运行这个流水线,在第一件衣服被放到烘干机之后,就会将第二件衣服放到洗衣机中。同样,在第二件衣服放入烘干机,第一件衣服被折叠之后,再将第三件衣服放入洗衣机。通过这种方式,人们可以同时洗三件衣服。考虑到无限负载,流水线将始终以流水线中最慢阶段的速度完成负载。

动态 | ING研究报告:对加密货币了解很少的人似乎却最有信心:荷兰国际集团(ING)最近的一项研究报告发现,相比于加密货币,现金仍然占据着主导地位。荷兰国际集团(ING)在其报告中表示,自该银行一年前进行类似调查以来,人们对加密货币及其实用性的普遍看法“没有发生显著变化”。该调查共对来自欧洲、澳大利亚和美国等15个国家的14824人进行了访问,大多数人仍然对加密货币知之甚少。在所有受访者中, 74%的人认为加密货币是数字货币的一种,63%的人指出数字货币的价值在不断变化。51%的受访者认为加密货币“被大多数商店接受”。有趣的是,那些对加密货币有中知之甚少的人似乎对加密货币最有信心。此外,当谈到加密货币会如何发展时,受访者基本上不确定未来会发生什么。ING指出,加密货币目前似乎处于某个过渡阶段,它们仍远未被视为传统现金或法定货币的可行替代品。(TNW)[2019/9/18]

Solana在软件中创建了一个四阶段交易处理器,称为TPU,即交易处理单元。

对此,Solana公司创始人兼首席技术官GregFitzgerald解释说:“我们需要找到一种方法,让所有硬件一直保持忙碌。这就是网卡,CPU内核和所有的GPU内核。为了做到这一点,我们从CPU的设计中借鉴了经验”。

动态 | 美国作家Chrissy Teigen发推称不了解比特币,加密社区鼓励其进一步研究:美国模特兼作家Chrissy Teigen近期发推称:“我不了解,但也懒得去研究并尝试的两件事:比特币和TikTok。”到目前为止,已有超过7000人转发了这条推文,在撰写本文时,这条推文获得了近8万个赞。虽然有一些反对加密货币的人加入了讨论,但绝大多数回复都表示支持,并鼓励Teigen更深入地研究比特币,其中包括Morgan Creek创始人Anthony Pompliano。[2019/7/15]

在Solana网络上,流水线机制通过内核级的数据获取、GPU级的签名验证、CPU级的银行和在内核空间的写入来进行。当TPU开始向验证器发送区块时,它已经获取了下一组数据包,验证了它们的签名,并开始计入代币。

验证器节点同时运行两个流水线进程,一个用于领导者模式,一个用于验证器模式。在这两种情况下,流水线化的硬件是相同的,包括网络输入、GPU卡、CPU内核、写到磁盘和网络输出。TPU的存在是为了创建分类账条目,而TVU的存在是为了验证它们。

在这个四阶段流水线的GPU并行化过程中,在任何特定的时刻,SolanaTPU可以同时处理50000笔交易。

动态 | 巴西要求新外交官了解区块链和加密货币:据cointelegraph报道,巴西外交学院里约布兰科研究所现在要求外交官候选人了解加密货币和区块链。据悉,该研究所为外交官提供两个升读课程,其2019年挑选新外交官的布告中包括要求候选人了解区块链和数字货币。[2019/7/9]

GregFitzgerland声称:“这一切都可以用一台低于5000美元的现成计算机来实现,而不用超级计算机。”

云散→水平扩展账户数据库

在没有分片的情况下扩展区块链,只扩展计算是不够的。

用于跟踪账户的内存在大小和访问速度上都将很快达到瓶颈。比如,一般来说,许多现代区块链使用的本地数据库引擎LevelDB不能在单台机器上支持超过5000TPS。这是因为虚拟机无法通过数据库抽象利用对账户状态的并发读写访问。

一个简单的解决方案是在RAM中维护全局状态。然而,期望消费级计算机有足够的RAM来存储全局状态是不合理的。

而Solana的设计原则是设计出不受硬件影响的软件,以实现100%的利用率。Solana设计了水平扩展内存方案——Cloudbreak来进行优化。

现场 | Flyingcarpet创始人:多中心化杀手级应用不一定需要人们了解区块链 ?:金色财经9月20日现场报道,在新加坡共识大会探寻分布式网络中的杀手级应用圆桌讨论环节中,Flyingcarpet创始人及CEO Julien Bouteloup提到了通过无人机对数据进行提取并将数据存储至区块链分布式网络中创造价值,如对自然灾害或事故数据进行记录便于灾后保险审计工作等应用。他认为不一定要让大众都先了解区块链,更重要的是创建能够融入人们生活场景的内嵌区块链技术的应用,应用先行,实现区块链技术的价值。[2018/9/20]

Cloudbreak是一种状态架构,这种结构支持提前执行交易。只要验证器观察到交易,海平面可以开始从磁盘中预取所有账户,并为执行准备运行。这有利于进一步优化区块时间。

组织账户数据库使32个线程之间可以并发读写,这是一个挑战。像LevelDB这样的普通开源数据库会达到瓶颈,因为它们没有针对区块链环境中的这一特定挑战进行优化。

Solana并没有使用传统的数据库来解决这些问题。相反,Solana使用了操作系统所利用的几种机制。

首先,Solana利用了内存映射文件。内存映射文件是将其字节映射到进程的虚拟地址空间的文件。

一旦一个文件被映射,它的行为就像任何其他的内存。内核可以在RAM中保留部分或全部的内存缓存,但是物理内存的数量是由磁盘的大小,而不是由RAM的大小所限制。读取和写入显然仍然受到磁盘性能的限制。

第二个重要的设计考虑是,顺序操作要比随机操作快得多。不仅对SSD来说是如此,对整个虚拟内存栈也是如此。CPU很擅长预取按顺序访问的内存,而操作系统很擅长处理顺序页面故障。

由于账户更新是写时复制的,并附加到一个随机的SSD上,Solana获得了顺序写入数据和在许多SSD上水平扩展写入数据的好处。读取仍然是随机访问,但由于任何既定的分叉状态升级都分布在许多SSD上,读取最终也是水平扩展的。

Cloudbreak还执行了一种垃圾收集的形式。在回滚之后,分叉最终完成,账户被更新,旧的无效账户将被垃圾收集,内存将被释放。

Cloudbreak这种架构还展现出一个很大的好处——计算任何既定分叉的状态升级的默克尔根,可以通过顺序读取来完成,这些读取是在SSD上水平扩展的。

存档器→分布式账本存储

2017年,Filecoin引入了复制证明。

2018年,Solana使用可验证延迟函数构建了Solana的PoRep版本,并对批量验证进行了优化。

在满负荷状态下,Solana网络每年将产生4PB的数据。如果要求网络中的每个节点都存储所有这些数据,就会将网络成员限制在拥有这种存储能力的少数中心化成员。

Solana的历史证明技术可以通过允许快速验证复制证明,来缓解这个问题,并使Bittorrent式的分类账分布在世界各地的数百万个复制者节点上。更为重要的是,存档器对硬件的要求很低。

在更高层次之上,Solana复制者网络的功能如下:存档器必须向网络发出信号,表明他们有X字节的空间可用于存储数据。Solana网络根据复制者身份的数量和存档器的总可用存储空间,将分类账历史分成若干份,以达到某种复制率和容错率。数据分配完成后,每个存档器都会从共识验证器下载各自的数据。在某些情况下,存档器将被挑战,以证明他们正在存储数据,这时他们必须完成PoRep。存档器因其努力可获得通货膨胀率3%左右的奖励。

复制证明的基本思想是使用CBC加密法,用公共对称密钥加密数据集,然后对加密后的数据集进行散列。这种方法在Filecoin的复制证明技术报告中得到了详细解释。

不幸的是,这种方法的问题是,它很容易受到攻击。

Solana对这种方法进行了改进,以更快的速度对加密区块进行随机抽样,并将这些样本的哈希值记录到PoH账本中。因此,区块在每个PoRep中保持完全相同的顺序,验证可以流化数据,并在一个批次中验证所有的证明。这样,Solana可以同时验证多个证明,每个证明都在自己的CUDA内核上。

接下来,Solana要在验证者和存档者之间构建博弈,以确保存档器生成证明,而验证者在真正验证PoRep。

所有客户端都被强制使用相同的PoH哈希值作为签名,因此签名随机分布在所有客户端之间。由于签名与PoH有关,因此样本的结果哈希对于那个时间点和那个特定的复制是唯一的。

验证器可以反过来检查客户端的证明。验证器根据GPU内核的数量,可以宣称自己能够验证多少个PoRep。验证器会定期对PoH哈希进行签名。

客户端可以通过寻找惰性验证器来查出验证器是否存在失败的证明。

另外,为了防止grinding攻击,客户端必须连续使用同一个密钥对身份。为了防止垃圾邮件,协议中的所有信息都会产生转发费。

存档器根据成功提交的证明的数量来赚取奖励。验证者通过验证证明赚取权益加权奖励。

结语

基于这8项关键的创新技术,Solana网络是一种全新的闪电分布式账本技术,并且它将一直进行下去。它不会因为共识而减慢速度。此外,Solana系统优化了数据传播,大量利用并行GPU进行交易处理,并且不会用大量的存储链给验证器造成负担。

由于Solana的精心设计,硬件能够以最大能力运行。因此,Solana可以随着带宽、SSD和GPU内核的增加而自然扩展,而且它是唯一能做到如此的区块链。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:15ms0-7:520ms