ROLL:浅析3种ZK扩容方案_AlphaLink

作者：

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

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

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

ZKrollup

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

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

Maple Finance的代币化国库券向美国投资者开放:金色财经报道，区块链信贷市场 Maple Finance 周三表示，该公司已向美国投资者开放其由代币化国库券 (T-bills) 支持的现金管理池。

Maple 获得了美国证券交易委员会 (SEC) D 条例 (RegD) 第 506(c) 条的豁免。在此之前，只有非美国实体可以访问 Maple 池。

Maple上的现金管理池允许认可的投资者、公司、去中心化自治组织(DAO)将其闲置的USDC和USDT稳定币存放在一个月的美国国库券中，并获得4-5%的年收益率。自今年4月启动以来，该基金已吸引了2200万美元的存款。[2023/8/9 21:34:44]

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

外媒：SEC尚未提供数字资产市场结构法案所要求的实质性技术反馈:金色财经报道，美国议员Glenn Thompson计划本周正式提出数字资产市场结构法案，该法案提出一个新的监管框架，将加密货币归类为证券或商品，由美国商品期货交易委员会（CFTC）或美国证券交易委员会（SEC）监管。但熟悉该法案及其起草情况的人士表示，SEC尚未提供这项高度复杂的法案所要求的实质性技术反馈，这可能会阻碍该法案成为法律。[2023/7/20 11:07:18]

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

Cipher Mining从嘉楠科技购买1.1万台A1346矿机:5月9日消息，比特币矿企 Cipher Mining 公布 2023 年一季度更新，Cipher Mining 还宣布与 Canaan Creative Global Pte. 达成协议，以购买 11,000 台新的 A1346 型号矿机，这些矿机将于 2023 年第三季度交付，供 Cipher Mining 在德克萨斯州敖德萨的工厂使用。[2023/5/9 14:52:15]

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

谷歌推出用于Web3开发的区块链节点引擎，首先支持以太坊:金色财经报道，谷歌宣布推出用于Web3开发的区块链节点引擎，这是一种完全托管的云服务，用户不必雇用自己的团队来维护或监控他们的节点，此外还具有简化配置和安全开发的功能，以保护节点免受DDoS攻击等。以太坊将成为区块链节点引擎支持的第一个区块链，使开发人员能够提供具有安全区块链访问权限的完全托管的以太坊节点。谷歌表示，未来还将把该服务拓展至更多区块链网络。[2022/10/27 11:49:07]

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