ROL:Volitions：在ZK-rollup和Validium之间做选择的零知识证明方案

作者：

时间：1900/1/1 0:00:00

目前以太坊基于零知识证明的扩容方案是ZK-rollup，但其实还有另外两种解决方案——Validium和Volitions。

本文简单介绍以上3种基于零知识证明的扩容方案。

ZKrollup

ZK-rollup的运作简单来说是将多笔交易打包在一起，发布到L1上，同时发布一个证明来声称这些交易有效，一旦在L1上验证确实有效，那么zk-rollup的状态就会更新。

高盛数字资产主管：加密市场正在\"向高质量发展\":金色财经报道，高盛数字资产主管Mathew McDermott周五在CNBC表示，加密货币市场正在\"向高质量发展\"。他指出，大银行计划关注加密货币的关键领域：代币化、重塑金融市场的管道以及数字货币对整个市场的 \"深远 \"影响。自那时起，继续参与该领域的大型投资者变得更加挑剔。我们已经看到更多的大型客户渴望加入，并与他们可能认为是更好的监管和资本化的实体进行交易，并指出这是去年的一个副产品。[2023/2/11 12:00:40]

这套证明机制也被称作「有效性证明」，目前ZK-rollup主要采用的证明机制是zkSNARK和zkSTARK。

The Verge：马斯克接管首周，推特用户增长创历史新高:金色财经报道，据美国科技媒体The Verge：马斯克接管首周，推特用户增长创历史新高。[2022/11/8 12:30:11]

尤其是zk-SNARK应用最为广泛，而zk-SNARK则是它的改进版，目前使用者并不多。

zk-SNARK即zero-knowledgesuccinctnon-interactiveargumentonknowledge，是一种文件很小且很容易验证的加密证明，而简洁jiu就在于非交互式。

传统方案是交互式证明，即示证者和验证者之间反复确认。你可以理解为示证者不断向验证者询问“是或不是？”，然后验证者不断给出回答，直到最后碰出一个正确答案来，所以效率很低。

FSB：稳定币可能会加快降低X-Border支付:金色财经报道，金融稳定委员会(FSB)将稳定币视为实现其降低跨境支付所需成本和时间目标的一种方式。FSB在一份报告中表示，它“正在考虑使用精心设计和风险管理的稳定币安排是否以及如何通过解决现有摩擦来增强跨境支付，这些摩擦包括长交易链、遗留技术平台、碎片化和截断的数据格式，以及取决于其设计的资金成本。

此外，FSB补充说，引入新风险的可能性需要仔细权衡权衡，并且需要使不同司法管辖区的法律和监管框架兼容是很困难的。其中最困难的可能是已经禁止支付稳定币的大型经济体。[2022/10/17 17:28:10]

而SNARK的解决方案是提前先搞一个“可信初始化”，从而生成公共参考字符串，这样所有的示证者直接访问它就可以了。你可以理解为有一个标准答案，示证者就像批改试卷那样去验证。

数据：萨尔瓦多加密钱包Chivo使用率未达预期，汇款占比只有该国总汇款额1.9%:金色财经报道，据前萨尔瓦多央行行长、独立顾问和经济学家卡洛斯·阿塞韦多(Carlos Acevedo)最近接受彭博社采访时称：“现在萨尔瓦多已经没有人真正谈论比特币了，这是一种被遗忘的形式。”数据显示，萨尔瓦多的加密钱包Chivo和比特币几乎没有被用作汇款渠道，从2021年9月到2022年6月期间，通过Chivo汇入的汇款金额只有1.089亿美元，只占到萨尔瓦多57.6亿美元总汇款额的1.9%。此外，自2022年2月以来，该国绝大多数 Chivo 售货亭都处于非运营状态。根据《巴伦周刊》此前报道，萨尔瓦多总统布克勒为财政部购买了2381枚比特币，花费约1.07亿美元，截至今年9月账面价值已下跌约58%。（cryptonewsbtc）[2022/9/26 7:20:26]

但SNARK提前生成公共参考字符串提高了效率，但也留下了隐患——万一公共参考字符串泄漏了呢？于是就催生出了STARK。

STARK是交互式证明，但它是一种巧妙的交互式证明——通过哈希函数碰撞来保证安全性，因此也比较高效。

Validiums

ZK-rollup是将交易分批发送到L1上去执行，是一种无需信任的「自定义安全性」。

Validiums则是直接在链下执行，并通过零知识证明来维护数据，只有需要的时候才在主网上验证取款请求的有效性证明。

所以Validiums可扩展性要高于ZK-rollup，但它是把信任交给链外第三方的「弱信任扩容」，会被攻击导致数据不可用或者用户无法取出资金。

解决安全的方式是采用PoS机制，用经济激励来确保数据储存在各个节点之中并且随时可用。

目前采用Validiums方案的代表项目是ImmutableX，以NFT为中心的扩展解决方案。

Vitalik认为Validiums其实被严重低估，因为大多数Dapp用Validiums就已经可以满足运行需求了。

Volitions

StarkWare团队结合ZK-rollup和validium，创造性地推出了Volitions方案，顾名思义是关于「决断能力」。

Volitions方案本质上是同时提供ZK-rollup和validium这两种服务，它们共享同一个状态根，用户可以自行选择每笔交易的DA模式。即便Validium那部分被攻破，ZK-rollup上的资金仍然安全。