2021-12-11 17:32

如何让等离子再通俗易�

导读我们开始了等离子体的研究之旅,寻找一个高通量的支付系统,它保留了Ethereum链的安全性,只是偶尔和持续的在线交易。我们离开了等离子现金

我们开始了等离子体的研究之旅,寻找一个高通量的支付系统,它保留了Ethereum链的安全性,只是偶尔和持续的在线交易。我们离开了等离子现金结构,它给了我们很多想要的功能,尽管它带来了两大缺点:等离子现金“硬币”实际上是不可替代的代币(限制了支付面额的灵活性),它需要用户存储大量不断增长的数据集。

在这里,我们将探索基于等离子现金的一些其他功能和机制(和/或重新考虑),以避免或至少减轻这些缺点。

一些早期的免责声明:事情会变得复杂。为了从数学家彼得萨兰那里窃取一个隐喻,这种研究开始感觉像是试图把一块比它所在的房间略大的地毯弄平;踩着一个拐角,又一个零件不小心弹出来了。此外,这将开始接近等离子体研究的事件视界;我们会看到,有些问题还没有解决,这里讨论的大部分内容还在探索、发展和发现的过程中。

接下来是:

减少客户端数据,策略1:检查点

我们在香草等离子现金(我们在这里称之为)中看到的是,每个客户需要存储的数据量随着时间线性增长;也就是说,对于每枚硬币,每个等离子块都需要一个Merkle包含证书(硬币成本)或排除证书(硬币保留)。这个完整的历史是必要的,因为没有人知道用户可能需要解决争议的哪一部分。存储所有这些数据是痛苦的,每次付款时,所有这些数据都会被传输给下一个所有者。

为了帮助缓解这种痛苦,想象一下每两周或每500个等离子块就会发生一些“On Chain Thing”,一些(或全部)等离子现金金币的所有权将被正式确定。想法是这个“On Chain Thing”一旦最终确定,就会成为一个历史关卡:现在未来的所有权证明只需要回到这一点;不允许涉及任何既往历史的争议。因此,可以安全地丢弃所有先前块的Merkle校样。这将为所需客户端数据的大小设置一个特定的上限。大获全胜。

我们需要让这些检查点工作的第一件事是等离子操作员(或任何其他人,但为了简单起见,让我们假设操作员)证明给定等离子块的硬币所有权的完整状态。你现在可能已经猜到了,这将涉及一个Merkle树:操作者构建一个树,它只是将每个硬币映射到它的所有者地址,然后将Merkle根发送到主链;每个所有者将获得相应的Merkle分支;如果这一切在2周(或其他)后没有受到质疑,我们将考虑该检查站的州官员。(这确实需要每个用户在线接收这些数据并监控链,但请记住,对于Plasma,就像任何第2层结构一样,无论如何都需要此活动。)

我们都准备好了吗?唉,生活没那么简单。不幸的是,上面描述的检查点机制引入了非常讨厌的边缘情况。假设一个恶意/受损/无聊的操作员广播了检查点的Merkle根,但之后无法与用户共享任何Merkle证据数据。我该怎么办?任何允许用户强迫运营商提供这些数据的方法,都会让我们陷入说话人-受众的错误等同区域,这通常会导致恼人的问题和复杂的情况。我们可以指出,用户仍然可以安全地将资金提取到主链,这在技术上是正确的。但问题是现在每个用户都要踩主链。由于我们刚刚引入的检查点,他们必须在一些有限的两周窗口内这样做。我们在第1部分中如此巧妙按压的地毯“质量出口”角又出现了。