您好,欢迎您来到国盈网!
官网首页 小额贷款 购房贷款 抵押贷款 银行贷款 贷款平台 贷款知识 区块链

国盈网 > 区块链 > zksnark--零知识证明,Volitions:在ZK-rollup和Validium之间做选择的零知识证明方案

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

区块链 岑岑 本站原创

作者:克洛伊

目前基于零知识证明的以太坊的扩展方案是ZK-rollup,但实际上还有另外两种方案——Validium和wilotions。

本文简要介绍上述三种基于零知识证明的扩展方案。

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

ZK汇总

ZK-rollup的操作简单来说就是将多个交易打包在一起发布在L1上,同时发布一个证书(使用零知识证明技术)来宣称这些交易是有效的。一旦在L1上验证,zk-rollup的状态将被更新。

这种证明机制也被称为“有效性证明”。目前ZK-rollup采用的主要证明机制是zkSNARK和zkSTARK。

尤其是zk-SNARK应用最为广泛,zk-SNARK是它的改进版,目前用户并不多。

ZK-斯内克是零知识成功的关于知识的非交互论证,是一种文件小、易于验证的加密证明,简洁的九是非交互的。

传统的方案是交互式证明,即证明者和验证者之间的反复确认。你可以理解证明者不停地问验证者“是还是不是?”然后验证者不断给出答案,直到最后碰到一个正确答案,这样效率就很低了。

SNARK的解决方案是提前做一个“可信初始化”,从而生成一个公共引用字符串(CRS),让所有证明者都可以直接访问。你可以理解为有一个标准答案,见证人会像批改试卷一样去验证。

然而,SNARK早期的公共引用字符串提高了效率,但也留下了隐患——公共引用字符串被泄露怎么办?史塔克就这样诞生了。

STARK是一种交互证明,但却是一种巧妙的交互证明——它通过哈希函数碰撞(概率证明的一种方式)来保证安全性,因此也更高效(但仍然没有SNARK高效)。

验证

ZK-rollup是一种“自定义安全”,它将交易批量发送到L1执行。

Validiums直接在链下执行,通过零知识证明维护数据,只在必要时在主网上验证取款请求的有效性证明。

因此,Validiums的可扩展性高于ZK-rollup(目前最高TPS可达20000以上),但它是一种“弱信任扩展”,将信任赋予链外第三方,会导致数据不可用或用户无法提现。

解决安全问题的办法是采用PoS机制,利用经济激励,保证数据存储在每个节点,随时可用。

目前Validiums方案的代表项目是以NFT为中心的扩展解决方案Immutable X。

Vitalik认为validium实际上被严重低估了,因为大部分Dapp已经可以用validium满足运营需求。

意志

StarkWare团队结合ZK-rollup和validium,创造性地推出了意志计划,顾名思义,这是关于“决策能力”的计划。

本质上,Volitions方案同时提供ZK-rollup和validium服务,它们共享同一个状态根,用户可以自行选择每笔交易的DA模式。即使Validium的部分被攻破,ZK-rollup上的资金仍然是安全的。

当涉及到重要的资金交易时,用户可以选择ZK-rollup模式来共享以太坊的安全性。如果是日常娱乐、社交或者小额交易,他们自然会选择Validium模式,提高速度,节约成本。

标签

以太坊的扩张战才刚刚开始。目前占优势的阵营是Optimal Rollups,可以做到EVM兼容甚至完全等价,社区运营能力也很强。

ZK-rollup落后很大程度上是因为VM必须从一开始就定制,这意味着来自e VM的代码必须从头开始编写(尽管难度越来越低)。

然而,从长远来看,与optimal roll ups相比,ZK rollups具有内置的隐私和安全优势,EVM兼容性将来可能会比optimal roll ups更好。

此外,可以在ZK-罗博和validium之间做出决定的Volitions方案也是一种考虑到各种场景的解决方案。

温馨提示:注:内容来源均采集于互联网,不要轻信任何,后果自负,本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权,请给我们来信(j7hr0a@163.com),我们会及时处理和回复。

原文地址"zksnark--零知识证明,Volitions:在ZK-rollup和Validium之间做选择的零知识证明方案":http://www.guoyinggangguan.com/qkl/176698.html

微信扫描二维码关注官方微信
▲长按图片识别二维码