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

作者:Chloe

现在以太坊根据零常识证明的扩容计划是ZK-rollup，但其实还有别的两种处理计划——Validium和Volitions。

本文简单介绍以上3种根据零常识证明的扩容计划。

ZK rollup

ZK-rollup的运作简单来说是将多笔买卖打包在一起，发布到L1上，一起发布一个证明（用零常识证明技能）来声称这些买卖有用，一旦在L1上验证确实有用，那么zk-rollup的状况就会更新。

这套证明机制也被称作「有用性证明」，现在ZK-rollup首要选用的证明机制是zkSNARK和zkSTARK。

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

zk-SNARK即zero-knowledge succinct non-interactive argument on knowledge（简练非交互式零常识证明），是一种文件很小且很容易验证的加密证明，而简练jiu就在于非交互式。

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

而SNARK的处理计划是提早先搞一个“可信初始化”，然后生成公共参阅字符串（CRS），这样所有的示证者直接拜访它就能够了。你能够理解为有一个标准答案，示证者就像批改试卷那样去验证。

但SNARK提早生成公共参阅字符串提高了功率，但也留下了隐患——如果公共参阅字符串泄漏了呢？于是就催生出了STARK。

STARK是交互式证明，但它是一种巧妙的交互式证明——经过哈希函数碰撞（一种概率证明的方法）来保证安全性，因此也比较高效（但仍是没有SNARK高效）。

Validiums

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

Validiums则是直接在链下履行，并经过零常识证明来维护数据，只有需要的时分才在主网上验证取款请求的有用性证明。

所以Validiums可扩展性要高于ZK-rollup（现在最高的TPS能够到达20000以上），但它是把信任交给链外第三方的「弱信任扩容」，会被进犯导致数据不可用或许用户无法取出资金。

处理安全的方法是选用PoS机制，用经济激励来保证数据储存在各个节点之中并且随时可用。

现在选用Validiums计划的代表项目是Immutable X，以NFT为中心的扩展处理计划。

Vitalik认为Validiums其实被严峻轻视，因为大多数Dapp用Validiums就已经能够满意运转需求了。

Volitions

StarkWare团队结合ZK-rollup和validium，创造性地推出了Volitions计划，望文生义是关于「决断才能」。

Volitions计划本质上是一起提供ZK-rollup和validium这两种服务，它们同享同一个状况根（state root），用户能够自行挑选每笔买卖的DA形式。即便Validium那部分被攻破，ZK-rollup上的资金依然安全。

用户就能够在涉及重要资金往来时挑选ZK-rollup形式，同享以太坊的安全性，如果是日常文娱、社交或许小额买卖，自然挑选Validium形式来提高速度并节省成本。

结语

以太坊扩容战争还在刚开始，现在占据优势的是Optimistic rollups阵营，它们能够做到EVM兼容甚至彻底等效，别的社区运营才能也十分微弱。

ZK-rollup落于劣势很大程度上是因为一开始就要定制VM，这意味着来自EVM的代码要从头开始编写（虽然难度已经越来越低了）。

不过长远来看，比较于Optimistic rollups，ZK rollups具有内置的隐私和安全优势，未来完成EVM兼容性，很可能胜过Optimistic rollups。

并且能够在ZK-rollup和validium之间做决断的Volitions计划，也不失为一种兼顾了各种场景的处理计划。

此时快讯

【白宫经济顾问：财政部正在监测硅谷银行可能的传染风险】金色财经报道，白宫经济顾问：财政部正在监测硅谷银行可能的传染风险。