原文:《Volitions:在ZK-rollup和Validium之间做选择的零知识证明方案》
作者:Chloe
目前以太坊基于零知识证明的扩容方案是ZK-rollup,但其实还有另外两种解决方案——Validium和Volitions。
本文简单介绍以上3种基于零知识证明的扩容方案。
ZK-rollup的运作简单来说是将多笔交易打包在一起,发布到L1上,同时发布一个证明(用零知识证明技术)来声称这些交易有效,一旦在L1上验证确实有效,那么zk-rollup的状态就会更新。
金色午报|1月17日午间重要动态一览:7:00-12:00关键词:马斯克、Avalanche、SpiceDAO、人民日报
1.马斯克发布元宇宙和NFT推文或暗示市场混乱;
2.Avalanche生态新基金Blizzard Fund宣布成立;
3.人民日报海外版:数字人民币是中国数字经济时代“新基建”;
4.数据:元宇宙近3个月融资近10亿美元;
5.Crypto.com将为女子澳足提供2500万美元的体育赞助;
6.前美联储审计经理:比特币绝对是社会正义的工具;
7.SpiceDAO 宣布以 266 万欧元成功竞拍《沙丘》电影的未出版手稿;
8.澳网:AO Decentraland于1月17日启动,6,776枚AO Art Ball NFT全部售罄。[2022/1/17 8:54:08]
这套证明机制也被称作「有效性证明」,目前ZK-rollup主要采用的证明机制是zkSNARK和zkSTARK。
金色晨讯 | 10月25日隔夜重要动态一览:21:00-7:00关键词:马斯克、周小川、美国财长、成都
1.马斯克:我支持狗狗币的原因是它就像是属于人们的加密货币;
2.周小川:央行数字货币并非100%稳定;
3.数据:以太坊桥TVL达到152.3亿美元;
4.美国财长耶伦:提高债务上限是绝对有必要的;
5.特斯拉CEO埃隆·马斯克回应称“没有”持有柴犬币;
6.黄奇帆:基于人工智能和区块链技术建立数据可追溯系统;
7.成都超算中心:已为35个城市560余家用户提供服务,将重点支撑区块链等未来产业。[2021/10/25 20:54:03]
尤其是zk-SNARK应用最为广泛,而zk-SNARK则是它的改进版,目前使用者并不多。
金色财经行情播报丨BTC上冲回落,7096-7014USDT区间构成支撑:据火币行情显示,今日BTC局部行情小幅上冲回落,日线图呈单针探顶,局部空头占优。从4个小时图看,此前在画门洞的行情中,在7096-7014USDT的震荡区间构成一个小箱体的支撑,预计空头难以一举攻破。但随着行情的推移,左侧交易思路会逐渐淡化,行情或将转为空头占优局面。截至18:30,火币平台的主流币的具体表现如下:[2020/4/20]
zk-SNARK即zero-knowledge succinct non-interactive argument on knowledge(简洁非交互式零知识证明),是一种文件很小且很容易验证的加密证明,而简洁jiu就在于非交互式。
分析 | 金色盘面:USDT折溢价指数持续走低:金色盘面综合分析:USDT折溢价指数最新值为99.0106,总体看随着美元指数调整,该指数也持续走低,但因溢价易导致套利行为,应密切关注折价率变化。[2018/8/30]
传统方案是交互式证明,即示证者和验证者之间反复确认。你可以理解为示证者不断向验证者询问“是或不是?”,然后验证者不断给出回答,直到最后碰出一个正确答案来,所以效率很低。
而SNARK的解决方案是提前先搞一个“可信初始化”,从而生成公共参考字符串(CRS),这样所有的示证者直接访问它就可以了。你可以理解为有一个标准答案,示证者就像批改试卷那样去验证。
但SNARK提前生成公共参考字符串提高了效率,但也留下了隐患——万一公共参考字符串泄漏了呢?于是就催生出了STARK。
STARK是交互式证明,但它是一种巧妙的交互式证明——通过哈希函数碰撞(一种概率证明的方式)来保证安全性,因此也比较高效(但还是没有SNARK高效)。
ZK-rollup是将交易分批发送到L1上去执行,是一种无需信任的「自定义安全性」。
Validiums则是直接在链下执行,并通过零知识证明来维护数据,只有需要的时候才在主网上验证取款请求的有效性证明。
所以Validiums可扩展性要高于ZK-rollup(目前最高的TPS可以达到20000以上),但它是把信任交给链外第三方的「弱信任扩容」,会被攻击导致数据不可用或者用户无法取出资金。
解决安全的方式是采用PoS机制,用经济激励来确保数据储存在各个节点之中并且随时可用。
目前采用Validiums方案的代表项目是Immutable X,以NFT为中心的扩展解决方案。
Vitalik认为Validiums其实被严重低估,因为大多数Dapp用Validiums就已经可以满足运行需求了。
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方案,也不失为一种兼顾了各种场景的解决方案。
链茶馆
个人专栏
阅读更多
金色财经 善欧巴
金色早8点
Arcane Labs
MarsBit
Odaily星球日报
欧科云链
深潮TechFlow
BTCStudy
澎湃新闻
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。