不便。最主要的区别是,它是完全选择加入的。我们认为 Polkadot 能够集成重点解决方案的同时,还可以保留使用非常通用的框架作为其最强大特性之一 —— 可选性。 平行链的一个最有趣的用例是作为可伸缩性的工具。可以创建具有自己的平行链的平行链,等等。这创建了一个树状结构,可以用于执行高度分布式的计算,而不会减少根中继链本身的总体负担。主要的问题是确保数据的可用性 —— 平行链区块意味着要有一个有效性的证明,任何人都可以在至少一段时间内检查。验证人负责确保他们验证的块证明仍然可用。不幸的是,如果没有在链上删除消息,就无法(或者至少非常困难)证明应该被发送的消息没有被发送。我们可以在很大程度上通过声誉保证来避免这个问题:当相对可信的一方指出验证人隐瞒数据时,他们可能会受到惩罚。这也可以推广到硬币投票制度或多层法院。为了降低恶意虚假报道的有效性和实用性,每一次不良行为的报道都应该伴随着不可退还的资金销毁。当有足够多的人在计算时,就像在一级平行链的情况下,通常会获得必要的数据。另一种缓解策略是设计平行链,当链出现停滞或受到攻击时,存储的价值可以被提取,尽管当链执行智能合约锁定资金或自动管理自己的费用时,这是困难的。 对于可伸缩性,一种更有趣的方法可能是使用零知识 (ZK) 证明。现代的非交互式 ZK 证明,如 ZK- snarks 或 ZK- starks,允许我们检查具有一些已知输入和一些未知输入的已知程序是否正确执行的证明,并在不泄露任何关于私人输入的信息的情况下了解该程序的输出是什么。最常见的,像这样的 ZK 证明被称为隐私工具,但它们也可以用于性能。令人惊讶的是,不管程序本身的复杂性如何,检查这种零知识证明的时间或多或少是恒定的,有些证明在比相应程序执行所花费的时间更少的时间内进行证明!这意味着,即使是可能需要数小时处理的极其复杂的交易,链的验证人也可以在很短的时间内验证。不幸的是,创建 ZK 证明的计算和内存成本仍然高于普通用户的可行性。在这些成本降低之前,实践 ZK 证明仍将是未来的事情。 但是,关于平行链的伟大之处在于它们是如此的通用。通过允许每个平行链定义其自身有效性的概念,我们可以从当前的庞大证明无缝过渡到将来的更轻,更高级的证明。随着分片研究的发展,可以轻松添加实施最新技术的平行链。最终,这就是 Polkadot 的价值主张:它处于正确的抽象层,可以在现在和将来使用,而没有任何不必要的成本。该系统的设计不仅可以适应任意进度,而且还具有可扩展性,可以毫不费力地集成可扩展性方面的最新发展。 (责任编辑:admin) |