原文：《Volitions：在ZK-rollup和Validium之间做选择的零知识证明方案》
作者：Chloe
目前以太坊基于零知识证明的扩容方案是ZK-rollup，但其实还有另外两种解决方案——Validium和Volitions。
本文简单介绍以上3种基于零知识证明的扩容方案。
Fuel升级FuelVM：提高网络TPS、增强EVM互操作性并优化开发体验:8月11日消息，模块化执行层 Fuel 表示通过升级增强了 FuelVM，显著提高了其性能和安全性，具体更新包括：
1、合约现在可以铸造无限类型的代币；
2、添加了对新加密签名类型的支持：包括 secp256r1 和 ed25519 (strict)；
3、Fuel 增加了对 256 位 bit 数字的原生支持，以使其更便宜地进行大型数学运算，并提高与 EVM 的互操作性；
4、删除了嵌套调用数量的限制，使开发人员能够创建更多可组合的应用；
5、可并行 predicate 验证使网络和内存池可以处理更多交易，从而提高网络的 TPS；
6、WASM Bindgen 支持 fuel-types 和 fuel-asm，统一 Rust 和 TypeScript SDK 代码库，从而实现快速的开发过程，并减少因不同实现而出现的错误。[2023/8/11 16:19:47]
ZKrollup
eToro联创：投资者正在从加密货币转向债券和股票:12月1日消息，eToro联合创始人兼投资基金Team8 Fintech合伙人Ronen Assia在出席Tech TLV大会时表示，疫情初期人们开始投资加密货币，但现在投资者正在从加密货币转向债券和股票，不过Ronen Assia表示加密货币会继续存在，不会因此消失。此外，Ronen Assia还透露eToro没有取消上市计划，目前正在等待市场条件，一旦市场好转仍会进行上市。（calcalistech）[2022/12/1 21:16:00]
ZK-rollup的运作简单来说是将多笔交易打包在一起，发布到L1上，同时发布一个证明来声称这些交易有效，一旦在L1上验证确实有效，那么zk-rollup的状态就会更新。
数据：两亿枚XRP从未知钱包转移到未知钱包:金色财经报道，Whale Alert数据显示，两亿枚XRP（价值约67,405,553美元）从未知钱包转移到未知钱包。[2022/9/14 13:29:54]
这套证明机制也被称作「有效性证明」，目前ZK-rollup主要采用的证明机制是zkSNARK和zkSTARK。
尤其是zk-SNARK应用最为广泛，而zk-SNARK则是它的改进版，目前使用者并不多。
zk-SNARK即zero-knowledgesuccinctnon-interactiveargumentonknowledge，是一种文件很小且很容易验证的加密证明，而简洁jiu就在于非交互式。
收益协议Stablegains在未披露情况下将客户资产投入Anchor，致4878名客户损失共4200万美元资金:5月19日消息，来自Terra研究论坛的FatMan在社交媒体上发文表示，收益协议Stablegains在未提前披露的情况下将客户的USDC和USD投入到Anchor，损失了4878名客户的共约4200万美元的资金，并且可能无法偿还。Stablegains已将其应用中的计价方式（denomination）从USD更改为 UST，还更改了其条款内容。根据截图，律师事务所Erickson Kramer Osborne已代表其客户向Stablegains发出信函。
Stablegains官网目前显示，已不对新用户开放。Stablegains在两天前发布的公告表示，当用户通过Stablegains存入资金时，资金将转换为UST，并存入Anchor协议，所有用户在Stablegains中的余额都会受到影响，用户可以选择提取资金或继续持有。[2022/5/20 3:29:04]
传统方案是交互式证明，即示证者和验证者之间反复确认。你可以理解为示证者不断向验证者询问“是或不是？”，然后验证者不断给出回答，直到最后碰出一个正确答案来，所以效率很低。
而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方案，顾名思义是关于「决断能力」。
Volitions方案本质上是同时提供ZK-rollup和validium这两种服务，它们共享同一个状态根，用户可以自行选择每笔交易的DA模式。即便Validium那部分被攻破，ZK-rollup上的资金仍然安全。
用户就可以在涉及重要资金往来时选择ZK-rollup模式，共享以太坊的安全性，如果是日常娱乐、社交或者小额交易，自然选择Validium模式来提高速度并节省成本。
结语
以太坊扩容战争还在刚开始，目前占据优势的是Optimisticrollups阵营，它们可以做到EVM兼容甚至完全等效，另外社区运营能力也非常强劲。
ZK-rollup落于下风很大程度上是因为一开始就要定制VM，这意味着来自EVM的代码要从头开始编写。
不过长远来看，相比于Optimisticrollups，ZKrollups具有内置的隐私和安全优势，未来实现EVM兼容性，很可能胜过Optimisticrollups。
而且可以在ZK-rollup和validium之间做决断的Volitions方案，也不失为一种兼顾了各种场景的解决方案。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。