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

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

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

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

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

流水线→验证交易

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

Peter Schiff:因为非常了解比特币和黄金所以只拥有黄金:黄金支持者、比特币反对人士Peter Schiff发推文说,他对比特币和黄金的广泛了解促使他只持有黄金,而不持有比特币。Peter Schiff在推特上发起了提供了一个“比特币vs黄金”(Bitcoin-vs-gold)民意调查,主题是黄金价格多长时间就能超过1枚比特币的价格。然而,其中一个选项是“永远不会发生”,最终这个选项得票最多。Peter Schiff发表评论称结果完全没有对他产生反作用。他补充说,他故意把这个支持比特币的选择加入调查,以观察比特币支持者试图说服其他人去买一些比特币。Peter Schiff在推特下回复网友评论表示,他非常了解比特币和黄金,正因为如此,他只拥有黄金。而加密货币交易员Josh Rager建议Schiff获得少量的BTC,以便他可以享受BTC的价格达到新的高度,而不仅仅是讨厌比特币。(U.Today)[2020/7/4]

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

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

声音 | LedgerX前首席执行官:董事会的其他人不了解计算机科学、比特币和衍生品:金色财经报道,加密货币衍生品平台LedgerX今天宣布,其联合创始人Paul和Juthica Chou已被行政停职。对此,此前担任首席运营官的Juthica Chou刚刚发推文称,除了我们与董事会就业务愿景和方向存在长期分歧外,(LedgerX)没有给出任何其他原因。Juthica还通过电子邮件告诉CoinDesk,董事会的组成难以捉摸。董事会中没有其他人了解计算机科学、比特币和衍生品,这使得这些冲突和分歧常常很难解决。[2019/12/10]

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

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

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

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

动态 | 南非交易所合伙人 非洲数字货币投资者需先了解行业:据Bitcoinist消息,针对今年早期在南非发生的数字货币事件,南非交易所AltcoinTrader合伙人Richard de Sousa近日表示:数字货币的关键是个人责任和反抗化。数字货币不适用于依赖政府的人,它更适合于那些了解区块链技术的自由思想家。[2018/7/28]

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

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

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

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

Jeremy Gardner发推称向政府官员了解到海关有权搜索手机中的加密财产:2月20日Jeremy Gardner发推文称前晚与政府官员共进晚餐了解到.海关或边境代理有权搜查手机中的加密资产,无论是托管在Coinbase或其他的托管机构;“如果被发现超过1万美元并且没有申报,那么你就完了。”[2018/2/23]

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

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

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

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

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

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内核的增加而自然扩展,而且它是唯一能做到如此的区块链。

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

银河链

非小号RedBlock获上市公司第九城市战略投资

RedBlock将依托第九城市的行业布局在海外业务、资产数字化等方向与第九城市及其麾下企业开展战略合作。7月11日消息,近日,区块链金融科技企业RedBlock宣布获得Nasdaq上市公司第九城市战略投资.

[0:0ms0-1:879ms