『股指配资1:20』zk-SNARKs和zk-STARKs解释

时间:2019-09-04 03:25 来源: 未知

匿名性一直被视为加密货币社区的非常有价值的特征之一。它是可替代性的前身,该特性对于广泛使用的货币形式来说也是必要的。同样,大多数加密资产......匿名性一直被视为加密货币社区的非常有价值的特征之一。它是可替代性的前身,该特性对于广泛使用的货币形式来说也是必要的。同样,大多数加密资产持有者不希望他们的资产和交易记录被完全公开。在所有在为区块链提供隐私性的各种加密技术中,zk-SNARK和zk-STARK是两个值得注意的例子。

zk-SNARK代表了简洁化的非交互式零知识证明,而zk-STARK代表了简洁化的全透明零知识证明。Zk-SNARK已经在基于区块链的支付系统上如Zcash,JPMorganChase项目中使用,并作为一种客户端到服务器的安全验证方式。但是,虽然zk-SNARKs已经很成熟并被很广泛的使用,但zk-STARK现在也被吹捧为该协议的新版本和改进版本,旨在解决zk-SNARKs先前的许多缺点。

阿里巴巴的洞穴寓言

1990年,密码学家Jean-JacquesQuisquater(以及其他合作者)联合发表了一篇题为“如何向孩子解释零知识证明协议”的论文。本文介绍了零知识证明的概念,其中包含阿里巴巴洞穴的寓言。自创建以来,这个寓言已经被多次改编,我们现在有多种版本。但所表达的内容基本上一致的。

让我们想象有一个环形洞穴,它有一个入口和一个将两条路分开的魔法门。为了打开魔法门,人们需要低声说出正确的秘密。因此,考虑到Alice(黄色)想要向Bob(蓝色)证明她知道密码是什么,但同时也要对密码保密。为此,Bob同意在外面等待,同时Alice进入洞穴并从两条路径中选择一条走到尽头。在该案例中,她决定通过路径1。

过了一会儿,鲍勃走到入口处,喊出他希望爱丽丝从哪一边出现(在该案例中应该是路径2)。

如果Alice确实知道这个密码,她将可以正确地按照Bob所要求的路径中走出来。

这个过程可以重复多次,以确认Alice不是通过运气才选择正确的路径。

阿里巴巴的洞穴寓言说明了零知识证明的概念,它是zk-SNARK和zk-STARK协议的一部分。零知识证明可用于证明拥有某些知识并且不会泄露任何有关它的信息。

zk-SNARKs

Zcash是zk-SNARKs的首个广泛应用。虽然像Monero这样的隐私项目也采用了环形签名和其他技术,通过这些技术也可有效地创建了一个烟幕弹保护发送者,而zk-SNARKs也从根本上改变了数据的共享方式。Zcash的隐私源于这样一个事实,即网络中的交易可以被加密,但仍然可以通过使用零知识证明来验证有效性。因此,那些执行共识规则的人不需要知道每个交易的所有数据。值得一提的是,Zcash中的隐私功能默认情况下是处于不活动状态,是可选的,取决于手动设置。

零知识证明允许一个人向另一个人证明其所陈述的是真实的,且不会泄露超出陈述有效性的任何信息。有关各方通常被称为证明者和验证者,他们所持有的秘密被称为证据。这些功能的主要目的是让双方之间尽可能少的进行数据交换。换句话说,人们可以使用零知识证明来证明他们是知晓某些知识但不会泄露有关知识本身的任何信息。

在SNARK首字母缩略词中,首字母“succinct”意味着这些该证明较简单,可以快速验证。“非交互式”意味着证明者和验证者之间几乎没有交互。较早版本的零知识证明协议通常要求证明者和验证者进行通信,因此被认为是“交互式”零知识证明。但在“非交互式”结构中,证明者和验证者只需交换相关证明。

目前,首选捷希源zk-SNARK证明依赖于证明者和验证者之间的初始化可信设置,这意味着需要一组公共参数来构建零知识证明,从而构建私有交易。这些参数几乎就像游戏规则,它们通过编程写到协议中,股市最新消息胡立阳并且是证明交易有效的必要因素之一。然而,民权配资公司这会产生潜在的集中化问题,因为参数通常由非常小的群体制定。

虽然最初的公共设置是如今zk-SNARK实施的基础,但研究人员正在努力寻找其他替代方案,以减少交互流程中所需的信任。初始设置阶段对于防止伪造支出非常重要,因为如果某人有权访问生成参数的随机性,他们就可能会创建对验证者有效的假证明。在Zcash中,初始设置阶段称为参数生成过程。

我们再来谈下首字母缩略词的“ARguments”。zk-SNARK被认为是可合理计算的,这意味着伪造的证明者成功欺骗系统的可能性非常小。此属性称为健壮性,假设证明者具有有限的计算能力。从理论上讲,具有足够计算能力的证明者可以创建伪造证明,这也是量子计算机被许多人视为可能对zk-SNARK和区块链系统产生威胁的原因之一。

最后一个首字母是“Knowledge”,这意味着证明者无法在没有实际知识(或证人)支持其陈述的情况下构建证据。

零知识证明可以快速验证,通常比标准比特币交易占用的数据少得多。这为zk-SNARK技术开辟了一条新道路,使其可用作匿名性和可扩展性解决方案。

zk-STARKs

zk-STARKs是作为zk-SNARK协议的替代版本而创建的,被认为是该技术的更快和更便捷的实现方式。但更重要的是,zk-STARK不需要进行初始化可信设置(因此,字母“T”代表了透明性)。

从技术上讲,Zk-STARKs不需要初始化可信设置,因为它们依赖于通过哈希函数碰撞进行更精简的对称加密方式。这种方式还消除了zk-SNARK的数论假设,这些假设在计算上成本很高,并且理论上容易受到量子计算机的攻击。

Zk-STARK能够提供更便捷和更快速实现的主要原因之一是因为证明者和验证者之间的通信量相对于计算的任何增量是保持不变的。相反,在zk-SNARK中,所需的计算越多,各方须来回发送消息的次数就越多。因此,zk-SNARK的整体数据量大小远大于zk-STARK证明中的数据量。

很明显,zk-SNARKS和zk-STARK都吸引了越来越多的关于匿名性的问题。在加密货币领域,这些协议具有巨大的潜力,可能成为一种被广泛使用的开创性途径。

更多区块链信息:www.qukuaiwang.com.cn/news

关键词:zk-SNARKszk-STARKs

从市场的活跃度表现来看,BTC出现了4月2日以来的最低成交量,日内成交仅为116亿美元。这个时候,如果主力资金开始推升BTC价格,那么抛盘一定是比较小的。毕竟投资者的交易热情不高,推升BTC涨幅很容易实现。关键是主力有没有短线拉升的可能性。

随着BTC价格涨幅扩大至9800,目前来看BTC已经收复了8月29日以来跌幅的50%。短线价格表现依然较弱,缩量反弹明显限制了我们的想象空间。

近期不管是从BTC交易数据看,还是点位上判断,都没能出现支持反弹的信号。

BTC在今年4月2日强势回升以后,出现了今年4月14日最低100亿美元成交量。接下来的4个月里,成交量从未低至100亿美元。而24小时BTC的成交量达116亿美元,也是本次调整的最低成交量。116亿美元显然不足以维持BTC强势上涨。

短期来看,BTC涨幅受限而调整预期较强。

在BTC连续回调的时候,价格运行的区间已经达到江恩回落趋势中的3/1线和回升趋势的3/1线之间,也就是8100美元到11000美元的价格区间。短线来看,BTC正处于该区间的上限9800美元附近运行。而考虑到缩量调整的延续,未来BTC依然会出现靠近8100美元的倾向。操作上看,短线看涨空间不多。近期最重要的变盘将会在11月初到来。在这之前,预期BTC波动空间依然较小。

因为在不活跃的行情里,价格波动潜力本身会受到抑制。

从持币地址数的表现看,8月29日BTC大幅度回落以后,持币地址数大幅度回落到3000万附近。从从3200到3000万的回落期间,表明场内很多投资者已经出逃,也许这就是成交量大幅度回落的原因了

ETH作为市值第二的币种,如果出现触底信号,对于数字货币的企稳意义非凡。从点位上看,150美元是前期4月份前的主要顶部位置,支撑效果不容忽视。点位上看,当前171美元的ETH距离150美元还有14.9%。如果ETH能够获得支撑,投资者依然不能忽视这期间的回调力度。毕竟,任何一个点位跌幅接近15%,都是比较大的调整力度。

BNB作为平台币中的强势品种,同时也是牛市以来涨幅最大的大市值币种,该币种补跌到22美元附近,这与4月下旬的价位相当。从减少抛售压力的角度来看,BNB的下跌无疑减少了估值压力。

总结,数字货币企稳信号还需关注BTC的市场表现,点位上BTC跌破1万美元以后,其目标区间已经大幅度降低的情况下,对短线反弹的确认依然需要时间。因此,操作上投资者不宜过于激进,低价BTC短期不会消失,买入BTC可以寻求低位介入而非追涨建仓。

相关推荐