NAR:尚未解决的区块链分片问题_BASE

编者按：本文来自财经网链上财经，作者：AlexanderSkidanov，编译：LornaQ，来源：medium，Odaily星球日报经授权转载。区块链分片的核心问题是链上的节点无法验证所有分片中的区块。因此，每当任一节点需要与特定分片交互时，他们通常无法下载并验证该分片的整个历史记录。然而，一个重大的潜在问题出现了：如果不能下载和验证一个特定的分片的整个历史记录，节点如何确定接收到的交易来自于有效区块。非分片区块链中不存在这样的问题。简单的应对策略

我们将首先讨论一个简单的解决方案，这个解决方案在许多协议都提到过，我们将进一步分析这个解决方案如何尝试解决它想要解决的问题。解决数据有效性的简单方案如下：假设整个系统有数千个验证器，其中不超过20％是作恶的，或者无效的。然后，如果我们对约200个验证器进行采样，假定超过1/3的节点失败率为零。值得注意的是：1/3是一个重要的门槛。拜占庭共识协议中指出，只要确保少于1/3的节点失败，无论是作恶还是违反协议的某一条，最后都将达成共识。假设诚实的验证器百分比，如果分片中的验证器为我们提供了一些区块，解决方案假定该区块是有效的，并且验证器建立在该分片的规范链基础上。他们开始验证时，验证器从前一组验证器中学习规范链。通过归纳，整个链是有效的，由于任何一组验证器都有产生分叉，解决方案也确定当前链是分片中唯一的链。如果假设验证器可能被破坏，上述简单的解决方案就会不起作用，这是个合理的假设。在含有1000个分片的系统中破坏单个分片比破坏整个系统的成本要低得多。因此，随着分片数量的减少，协议的安全性相应地减小。为了确定一个区块的有效性，我们必须确保，在记录中的任何一个节点，系统中的分片都不存在大多数验证者串通的情况;但是对于自适应对手，我们无法确保。正如我们在前一部分中所讨论的，串通验证器可以执行两种基本的作恶行为：创建分支和生成无效的块。恶意分叉可以通过交叉链接到信标链的区块来解决，信标链通常比分片链更具安全性。然而，生成无效的区块是一个具有挑战性的问题。数据验证

Acala官方通报：尚未推出ACA代币，请以官方公告为准:9月17日，波卡生态项目Acala在推特发布官方通报，称Acala的Layer1区块链和ACA网络代币尚未推出，任何ACA代币的发售都未经过Acala基金会批准，具有极大风险，投资者需保持警惕，并等待Acala基金会的官方公告。[2021/9/17 23:32:07]

如下图，分片#1已经被攻击，作恶者挖出了无效块B。假设区块B凭空捏造出来1000个token，并记录在Alice的账户上。接着，作恶者在区块B的基础上挖出有效区块C，然后在分片#2发起了跨分片交易，把这1000个token转到了Bob的账户。此事凭空造出来token在分片2上是完全有效的。解决上述问题的方案有：1.让分片＃2的验证者检验发起这笔交易的那个区块。但由于区块C似乎完全有效，因此，此方案不适用于上述示例。2.分片＃2的验证者可以大量检验发起这笔交易之前的区块。但是，通常对于接受交易的分片要验证的N个区块，恶意验证者可以在他们创建的无效块上创建N+1个有效块。比较好的解决方案是将分片按照无向图进行排列，每个分片都连接多个分片，跨分片交易只能在相邻的两个分片上进行。。如果要在不相邻的两个分片之间进行跨分片交易，这笔交易需要通过多个分片相互验证。在这个设计里，每个分片的验证者都要验证他们的分片以及与他们相邻的分片上的所有区块。假设有10个分片，每个分片相邻4个分片，不需要考虑两个以上的分片之间的交叉分片通信。分片＃2不仅验证自己的链，还需要验证所有相邻的链，包括分片＃1。所以，如果分片＃1上的恶意分子试图创建无效块B，然后在B的基础上构建区块C，并发起跨分片交易，分片＃2就可以通过验证分片＃1上的所有历史记录，识别出无效区块B。虽然现在攻击一个分片不再是可行的攻击方法，但是如果攻击多个分片仍是个问题。下图中，如果对方成功攻击了分片＃1和分片＃2，用无效区块B生成的“资金”可与分片＃3进行一笔跨分片交易。分片＃3验证了分片＃2上所有的区块，但是并未验证分片＃1上的区块记录，那么仍无法检测到无效块B。解决这个问题的其中一个主要方案是采用fishermen机制。这个方法背后的原理：无论何时，为了关联信标链或是发起分片交易，链之间相互通信区块头信息，在一段时间内，任意诚实验证者都可以提供无效区块的证明。有各种结构可以非常清楚的证明某个区块是无效的，接收节点的通信成本要比接收整个区块的成本小得多。使用这种方法，只要有一个节点是诚实的，系统就是安全的。但是这种方法有两个缺陷：1．这段验证的时间需要足够长，以便让诚实节点识别挖出的区块，下载并进行完全验证。这段验证时间会极大降低跨分片交易的速度。2．会创造出一个新的攻击向量，恶意的节点可以故意发起大量无效的验证请求。解决这个问题的方案是让验证者在指定的账户里存入一些Token，待验证成功时再返还。这只是部分解决方案，由于恶意的节点向系统发起大量无效的验证请求带有无效区块可能仍然存在，这些攻击被称为恶意破坏攻击。针对这两个问题，目前还没有很好的解决方案，但是这个方案仍然是解决数据验证问题的一个主要方法。简洁的非交互知识论证

分析 | 比特币尚未见顶 交易所的BTC存量或预示进一步上涨:近期在交易所存储的比特币数量似乎表明，比特币市场还没有完全饱和。加密货币市场研究公司Unfolded强调了加密市场上存款相对于其他资金来源的规模。根据GlassNode研究人员提供的数据，在交易场所的存款激增之后，市场通常会形成一个局部的顶部。Unfolded在推特上指出，过去三年几乎每一次市场见顶的时候，存放在交易所的比特币数量都会急剧增加。此外，2017年夏初和秋季、2018年春季和2019年夏季的趋势变化，都伴随着发送到交易所的比特币数量的明显增加。（BeInCrypto）[2020/2/13]

解决攻击多个分片的第二种方法是使用某种密码结构，允许人们证明正确执行某个计算。例如zk-STARKs和其他一些共识协议，以及一些被广泛地用于私人支付的共识协议，其中最著名的是ZCash。这种共识协议存在的主要问题是计算速度非常慢。例如：CodaProtocol，使用zk-SNARKs专门证明区块链中的所有区块都是有效的，每次交易可能需要30秒来进行一笔交易证明。有趣的是，证明不需要由可信方来计算，因为不仅需要证明它所构建的计算的有效性，而且需要证明本身的有效性。因此，这种证明的计算可以在一组参与者之间进行划分，它比执行某些不可信计算更加简洁。除此之外，它还允许计算zk-SNARK的节点在特定的硬件上运行，而不会降低系统的分布式。除了性能外，zk-SNARK的局限性是什么？依赖于较少研究过的和较少时间测试的密码学原语；“Toxicwaste”是zk-SNARK依赖于一组可信的设置，其中一组人执行一些计算，然后忽略该计算的中间值。如果程序的所有节点都串通并保留中间值，则可以制造假证明；系统设计中引入了额外的复杂性算法;zk-SNARK仅适用于可能计算的子集，因此，具有图灵完备智能合约语言的协议将无法使用SNARK来证明链的有效性。数据的可用性

分析 | 市场或进入整理阶段 尚未做出方向性选择:据Bgain Digital投研数据：截止北京时间2020年2月11日18:00点，BTC价格9782.8美元，24小时内BTC价格下跌0.5%，结合量化交易的BTC本位增强指数涨跌互现，其中Bgain交易指数下跌0.01%，CTA指数下跌0.05%，对冲交易指数上涨0.13%。截至18点，OKEX精英用户多空占比为57%/40%；火币精英用户多空占比44%/55%，Bitfinex多/空保证金占比为84%/16%，BitMEX多空仓位占比为60%/40%，市场情绪相对看多，OKEX季度合约基差335.29，24小时内基差下跌5.53%。币价24小时内没有明显波动，整体走势平稳，上下波动幅度仅200美元，近日市场或进入整理阶段，观望情绪增强，市场尚未做出方向性选择，建议交易者耐心等待机会。[2020/2/11]

我们将要讨论的第二个问题是数据的可用性。通常，将特定区块链的节点分为两类：全节点，下载每个完整区块并验证每笔交易的节点，以及仅仅下载区块头的轻节点，并使用Merkle校样来处理他们感兴趣的状态和交易。现在，如果大部分主要全节点串通，则它们可以生成有效或无效的区块，并将其哈希值发送到轻节点，但不透露区块的全部内容。他们可以通过各种方式从中受益。如下图所示：假设有三个区块：前者A，由诚实的验证者生成;当前区块B，由验证者串通;下一个区块C，由诚实的验证者产生；假设你是商家。当前区块的验证者从先前的验证者那接收到区块A，计算出你接收钱的区块，并向你发送该区块头，其中通过Merkle证明包含你有钱的状态。确保交易最终确定，你就可以提供服务。但是，验证器永远不会将区块B的全部内容分发给任何人。因此，区块C的诚实验证器无法检索该区块，并且被迫停止系统或构建在区块A之上，从而剥夺了你作为商家的权利。当我们将相同的场景应用于分片时，全节点和轻节点的定义通常适用于每个分片：每个分片中的验证者下载该分片中的每个区块并验证该分片中的每笔交易，但验证系统中的其他节点，包括那些快照分片链状态进入信标链，只需要下载区块头。因此，分片中的验证者实际上是该分片的全节点，而系统中的其他参与者作为轻节点。对于我们上述的fisherman方案，诚实的验证者需要能够下载与信标链交叉链接的区块。如果恶意验证者交叉链接无效区块头，而从未分发区块，则诚实的验证者无法进行验证。监管权证明

声音 | 路透社调查：石油币尚未在委内瑞拉流通 为其提供支撑的油田未被开采:据路透社消息，该社记者在委内瑞拉长达四个月的实地探访发现，该国此前发行的数字货币石油币（Petro）并未真正开始流通，因为记者一直无法找到接受石油币（Petro）的用户和投资者。此外，记者还通过实地走访和调查发现，阿亚库乔（Ayacucho）油田目前尚未被开采。委内瑞拉政府此前宣称，该油田为石油币（Petro）提供支撑。流亡国外的前石油部长拉斐尔·拉米雷斯对此表示，至少花费200亿美元才能在该区域获得政府承诺的53亿桶石油。[2018/9/3]

需要迫切解决的问题是一旦区块发布，是否区块就具可用性？一个名为公证人的解决方案是让分片之间公证人轮换的频次比验证者高，验证者的唯一的工作是下载一个区块，并证明他们能够下载。与验证者不同的是，公证人可以更频繁地轮换，因为他们不需要下载分片的整个状态。这种的方法的问题是，无法证明公证人是否能够下载该区块，因此公证人可以选择始终证明他们能够下载该区块而不尝试检索它。解决该问题方案是公证员提供一些证据，或者投入一定数量的Token来证明该区块已被下载。纠删码技术

量子链帅初：区块链商业模式尚未清晰，首先要解决技术问题:今日，由31区和人民网联合举办的“链·未来”春季区块链技术闭门论坛在京举办。量子链Qtum创始人帅初发表演讲时表示，整个区块链行业伴随财富的效应才催生了现在的氛围，当下应该更多探讨技术的方向。区块链的商业模式尚未清晰，未来需要从技术研发角度理清其发展脉络。[2018/3/27]

当特定的轻节点接收到一个区块的哈希值时，为了提高节点对该区块可用的信心，它可以尝试下载该区块的一些随机片段。这不是一个完整的解决方案，因为除非轻节点共同下载整个区块，否则恶意区块生产者可以选择保留未被任何轻节点下载的区块的部分，从而导致区块不可用。对此问题的解决方案是使用一种称为纠删码技术的结构，即使只有区块的某些部分可用，也可以恢复整个区块：Polkadot和以太坊Serenity都围绕这个想法进行了设计，为轻节点提供了合理地确信区块可用的方法。这两种方法都依赖于验证者，因此可能容易受到恶意攻击。长期可用性和结论

上述讨论的所有解决方案都证明了一个事实，即一旦一个区块发布，则该区块立即可用。区块随后可能由于各种原因变得不可用，例如：节点脱机、节点故意删除历史数据等等。一篇值得借鉴的解决方案是Polyshard，即使几个分片完全丢失了它们的数据，Polyshard使用纠删码技术让跨分片区块依然可用。不幸的是，他们的解决方案要求所有分片从其他分片那下载所有区块，合格过程成本高昂。由于预计系统中没有节点能够验证所有分片中的所有链，因此分片协议的安全性需要以这样的方式设计：即使某些分片中的某些以前的区块变得完全不可用，系统也是安全的。在设计安全协议时，数据有效性和数据可用性仍然是首先需要关注的问题。

标签：NARINBCOINBASENAR价格coinbase下载BollyCoincoinbase下载app

比特币行情热门资讯