不同的密码学证明方案之间关系的示意图（来源：Alex Gluchowski）

架构

本文所述解决方案的共同点是都使用了零知识密码学。它们之间的差异性则源自数据可用性问题。

数据可用性问题

用户余额相关的交易数据和信息可以存储在底层区块链上，也可以不存在区块链上，这就要在可扩展性和安全性之间进行基本的权衡取舍。

链上存储数据的安全性类似于直接将资产存储在以太坊上，而无需用户执行额外的操作。用户可以随时获取数据。这一点非常重要，尤其是在可扩展性解决方案提供商的服务器被破坏或作恶的情况下。链上数据可用性可以让用户创建一个证明来证明他们持有一定数量的代币，无需与二层系统进行交互就可以直接将这些代币从智能合约中取出。将数据存储在链上的基于零知识证明的解决方案被称为 zkRollup。

将数据存储在链下的可扩展性方案引入了数据可用性问题，因此会削弱二层方案的安全性。一旦某个可扩展性解决方案提供商终止合作，普通用户就无法取出他们的资金，除非他们能获得代表其余额的数据。这类解决方案被称为 Validium。为了缓解数据可用性问题，这类方案或将引入一个多方委员会（multi-party committee），由这个委员会负责存储数据副本，并在提供商作恶或终止服务的情况下将数据副本分享给用户。

但是，将数据存储在链下有一个很大的优势：更高的可扩展性。采用链下存储的解决方案无需受制于区块链的局限性。因此，相比采用链上存储的解决方案，这类方案更有助于提高交易吞吐量。

最近，StarkWare 提出了一种混合式解决方案，可以让用户自由选择将数据存储在链上还是链下。用户每发起一笔交易都可以选择一次，因此他们的选择是动态变化的。这种可扩展性解决方案被称为 Volition。

来源：https://medium.com/starkware/volition-and-the-emerging-data-availability-spectrum-87e8bfa09bb

(责任编辑：admin)