“佛罗伦萨”升级与未来：tezos存储前景

雍和比特币 Tezos是一个开源的去中心化区块链网络，为智能合约和数字财物供给了一个渠道。tezos的要害功用之一是自校对：网络参与者能够自己动态地晋级网络协议。这一修订进程将在与会者提出主张并进行表决时发动。在tezos存储仓库上工作了几年之后，这是咱们对这个提议的第一个奉献。咱们期望这将是第一次！正如游牧实验室在今日的布告中所胪陈的，佛罗伦萨的提案包含几个重要的改变，从引进烘焙账户到为智能合约开发商供给明显的日子质量改进。在所有这些改变中，咱们对在区块链上下文API中引进“子树”感到特别振奋。在本文中，咱们将扼要介绍这些子树在未来将给tezos带来什么。但首要，它们是什么？梅克尔子树tezos协议运转在一个名为“context”的版别树之上，该树保护链的状况（平衡、契约等）。从alpha年代之前开端，irmin，一个开端由mirageos unikernels编写的开源Merkle树数据库，就被用来履行tezos的“上下文”操作。关于mirageos来说，irmin的首要优势是灵活性：它能够在任何后端运转。这是tezos的抱负挑选，tezos有必要具有灵活性和广泛的可布置性。事实上，从开端运用git后端的原到irmin包的优化完成，tezos前端现已屡次利用了这种灵活性。但irmin不只能够交流后端，还能够做更多的工作！它还答应用户运用高档API操作存储的底层Merkle树结构。从mrdts到零常识证明，“树”；API支撑许多风趣的irmin用例；Tezos没有直接运用这些更强壮的功用。这便是梅克尔依据的来历！久经考验的轻量级tezos客户由于tezos“上下文”盯梢区块链的当时“状况”，每个参与者都需求自己的树副原本买卖。这个“上下文”或许变得十分大，所以尽或许紧凑地存储它是很重要的：这个方针刻画了咱们最新的irmin后端irmin包的规划。但是，Merkle树的法力能够进一步下降存储需求：个人只需求存储根树的一个片段，条件是他们能够经过向其他参与者发送其成员的“证明”来证明该片段是有用的。这个特点能够用来支撑超轻量级的tezos客户端，它现在正由tweeagio开发。为了使之成为实际，tezos协议需求细粒度地拜访“上下文”子树，从中构建Merkle证明。走运的是，irmin支撑它！咱们将协议扩展到子树的了解，提高了Merkle树对用户的了解才能。咱们很快乐与tweeagio和nomadic实验室协作，下降进入tezos生态系统的妨碍，并等待他们经过子树取得的成果！有用的Merkle证明表达式仅仅在tezos“context”API中揭露子树是不行的：轻量级客户机还需求有用地序列化它们，由于它们有必要经过网络交流来证明，以在协作节点之间树立信赖。进入布衣区。Plebeia是Dai lambda开发的tezos代替存储层，与irmin优势互补。特别是，布衣能够发生十分紧凑的梅克尔证明。这一方面得益于其特别的存储结构，另一方面也得益于其奇妙的优化，如途径紧缩和内联等。咱们正在与Dai lambda团队协作，将irmin和plebeia的优势结合起来，这将为tezos存储仓库带来内置的Merkle-proof支撑。Tezos的Merkle证明了一个光亮的未来！烘焙帐户搬迁树不只能够启用新功用；它们对功能也有很大的影响！当时，上下文的索引总是从它的根开端，当拜访树深处的相邻值时，它会重复。走运的是，新的子树为“上下文”中的“游标”供给了一个天然的表达式，因而协议能够优化它与存储层的交互。举一个比如，Dai lambda最近运用了这个特性，将把烘焙帐户引进网络所需的搬迁时间减少了15倍！咱们将与nomadic labs和Dai lambda协作，保证tezos从其存储中提取每一项功能。取得闪电般快速的存储搬迁特别令人振奋，由于它答应tezos在生态系统扩张的一起不断增加。其他言语存储当然，tezos不只仅是一个Ocaml项目：存储层也有一个高功能的rust完成作为tezoEdge的一部分。咱们正在运用简略的仓库，经过FFI东西链将irmin引进rust社区，从而使不同的tezos前端完成之间的衔接愈加严密。定论总而言之，这是一个激动人心的时间，能够与来自世界各地的许多开放源码协作伙伴在tezos存储方面进行协作。咱们很快乐看到tezos充分利用了irmin的才能，这将加强这两个项目，协助他们一起生长。假如这一切听起来很风趣，那么您能够经过irmin2.5.0的最新版别亲身体会一下。感谢您的阅览，并时间重视tezos的未来开展！