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

作者：

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

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

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

ZKrollup

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

Cosmos生态MEV基础设施提供商Skip Protocol推出Skip API:7月20日消息，Cosmos生态MEV基础设施提供商Skip Protocol推出Skip API，允许在Cosmos中的任何网络之间进行一键跨链代币兑换和转移，通过集成Skip API，任何钱包、前端或DApp都可以非常轻松地在IBC链之间无缝转移流动性。[2023/7/20 11:06:44]

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

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

美国区块链协会呼吁国会为加密质押技术确定适当的立法:2月10日消息，针对美SEC和Kraken之间的和解，美国区块链协会首席执行官Kristin Smith发布声明称：“美国证券交易委员会（SEC）继续攻击美国加密货币公司和散户投资者，通过执法进行监管并削弱美国公共区块链网络的潜力。质押是加密生态系统的重要组成部分，它允许个人参与去中心化网络，并为投资者提供更多选择来赚取被动收入。今天的和解不是法律，但这是另一个例子，说明为什么我们需要国会——而不是监管机构——来为这项新技术确定适当的立法。否则，美国就有可能将创新推向海外，剥夺个人用户的在线自由。”[2023/2/10 11:59:27]

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

报告：越来越多的LRC进入休眠，大量持有者处于亏损状态:10月9日消息，根据加密货币社交分析平台LunarCrush的数据，Loopring（LRC）在过去90天中创下每日社交贡献者人数最高记录 (5,260)。从历史上看，加密资产社交活动的反弹会促使其价格出现类似的增长。但就LRC而言，情况有所不同，其价格在过去三个月呈下跌趋势，三季度跌幅23%，季度收于0.285美元。

除了价格下跌外，LRC网络的开发活动在审查期间也受到影响，过去三个月下降了7%，交易LRC的每日活跃地址下降了 87%，同一时期每天在网络上创建的新地址减少了58%。[2022/10/9 12:50:20]

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

恒生电子旗下数字藏品平台予藏启动“清退”，已暂停发售新藏品:金色财经报道，数字藏品发售平台予藏已发布公告宣布关停业务并将进行清退。据悉，公告内容提及“目前国内尚未出台数字藏品相关的明确法律法规和政策文件，数字藏品作为新兴领域仍具有一定的不确定性与风险性”，因此该平台称经过审慎评估，平台决定于即日起暂停发售数字藏品，转赠功能也将暂停开放，同时平台也将关闭新用户注册通道。据悉，予藏是恒生电子区块链业务孵化的数字艺术收藏平台，而“予藏”公众号的账号主体认证也是恒生电子股份有限公司。[2022/6/29 1:38:21]

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

但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方案，顾名思义是关于「决断能力」。