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

作者:Chloe

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

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

  ZK rollup

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

Revolut已开始为澳大利亚用户提供加密货币交易服务:对加密友好的英国金融科技银行Revolut今日宣布,其澳大利亚用户现在能够交易和持有加密货币。用户可以将法定货币转换为比特币、以太坊、莱特币等。此前消息,Revolut表示已获得澳大利亚金融服务(AFS)许可证。(cointelegraph)[2020/9/3]

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

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

zk-SNARK即zero-knowledge succinct non-interactive argument on knowledge(简洁非交互式零知识证明),是一种文件很小且很容易验证的加密证明,而简洁jiu就在于非交互式。

Telos与EvolutionDex集成,将为EOS带来流动性池:7月21日,高容量区块链平台和网络 Telos 宣布与EvolutionDex集成,,该协议允许任何人在去中心化交易所上创建和启动自己的交易对。交易者还将能够通过增加通过这些代币池流动性获得额外收益。EvolutionDex 是 EOS Argentina 团队创建的一个开源和免费协议,任何开发者都可以将其集成到前端,让不同的去中心化交易所共享相同的流动性。智能合约的私钥将由Telos的前21个区块生产者持有,不允许第三方访问。该协议已经在Alcor交易平台实施,预计未来还会有更多的应用。

EvolutionDex也将能够将Telos与EOS(或基于 EOS 开发,如 WAX)连接。Telos交易者将向流动性提供商支付费用,但是没有像以太坊和其他网络中的转账费用。

持续的流动性池最大限度地发挥了去中心化交易平台的优势。无需将资金托管给机构,价格根据可用的流动性以算法计算。Telos 首席架构师、白皮书作者 Douglas Horn 表示,随着流动性提供者加入不同的 Telos 池,EvolutionDex 有助于 Telos 价格稳定,并成为基于Telos DeFi的重要补充工具。[2020/7/22]

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

报告:近两年成千上万微软服务器被加密采矿僵尸网“Vollgar”感染:一份新的报告称,自2018年以来,成千上万的Microsoft服务器受到加密采矿僵尸网络“Vollgar”的感染。过去几周,黑客每天成功感染近2000至3000台服务器。报告称,中国、印度、韩国、土耳其和美国的医疗、航空、IT、电信和教育等领域的实体都受到了影响。(Coindesk)[2020/4/1]

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

但SNARK提前生成公共参考字符串提高了效率,但也留下了隐患——万一公共参考字符串泄漏了呢?于是就催生出了STARK。

动态 | 美国政府或将干预CFTC对Volantis负责人的指控:11月18日,美国政府向纽约南区法院提交了一系列文件,请求法院针对CFTC对Volantis负责人的指控授权美国政府干预,并保留民事诉讼程序,直到该案件结束。此前消息,9月30日,美国商品期货交易委员会(CFTC)指控加密货币托管公司Volantis的负责人Jon Barry Thompson“有意或武断地向客户作出了虚假陈述,而这与客户购买价值700多万美元的比特币有关”。在向美国纽约南区地方法院提起的申诉中,CFTC声称,与Thompson的虚假陈述相反,他和他所关联的公司都没有拥有或控制将要交付给客户的比特币。(Finance Feeds)[2019/11/19]

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

  Validiums

ZK-rollup是将交易分批发送到L1上去执行,是一种无需信任的「自定义安全性」。

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

所以Validiums可扩展性要高于ZK-rollup(目前最高的TPS可以达到20000以上),但它是把信任交给链外第三方的「弱信任扩容」,会被攻击导致数据不可用或者用户无法取出资金。

解决安全的方式是采用PoS机制,用经济激励来确保数据储存在各个节点之中并且随时可用。

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

Vitalik认为Validiums其实被严重低估,因为大多数Dapp用Validiums就已经可以满足运行需求了。

  Volitions

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

澎湃新闻

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

BTC硅谷银行搬起石头砸自己的脚

编译:Dali/img/2023525214259/0.jpg" />硅谷银行首席风控官与首席审计官将离职:金色财经报道,据消息人士报道,硅谷银行首席审计官与仅上任三个月的首席风控官 Kim Olson 将离职.

[0:31ms0-1:899ms