理解 zk-SNARKs 和 zk-STARKS 的区别_BIT:ARB

SNARK 和 STARK 是零知识证明技术,允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。

零知识证明 (ZKP) 引起了广泛关注,因其在增强安全性、保护用户隐私和支持第 2 层网络扩展方面都有很大的潜力。

ZKP 使一方能够向另一方证明声明是真实的,而无需透露任何其他信息。ZKP 既有利于增加隐私——因为它们减少了各方之间共享的信息量——也有利于可扩展性,因为它只需要证明而非整个数据集被验证,这样验证速度会更快。

两个最受关注的零知识证明系统是 SNARK 和 STARK。在本文中,我们将深入探讨它们是什么、它们如何工作以及它们的主要区别。

SNARK 是什么?

zk-SNARK 全称 Zero-Knowledge Succinct Non-interractive Argument of Knowledge(零知识简洁非交互式知识论证)——它们是在 2012 年由 Nir Bitansky、Ran Canetti、Alessandro Chiesa 和 Eran Tromer 合著的一篇论文中介绍的。SNARK 使一方能够在不泄露秘密的情况下向另一方证明他们知道秘密。

美联储梅斯特:美联储对通货膨胀“持续性和幅度”的理解是错误的:9月30日消息,美联储梅斯特:美联储对通货膨胀“持续性和幅度”的理解是错误的。(金十)[2022/9/30 6:03:02]

zk-SNARKs 可以作为零知识证明协议添加到分布式账本解决方案中,以增强隐私性和可扩展性。Zcash 是 zk-SNARKs 的第一个广泛应用,应用该技术来创建屏蔽交易(shielded transaction),其中发送者、接收者和金额都是保密的。Zcash 中的屏蔽交易可以在区块链上完全加密,但仍然可以通过使用 zk-SNARKs 在网络的共识规则下验证为有效。

一些 SNARK 的一个重要属性是它们要求配置过程是可信任的——在这个过程中,隐私交易的证明和生成证明的密钥会被创建。如果在事件期间用于创建这个密钥的秘密没有被销毁,它们可能被用来创建虚假证明。在涉及加密资产的场景中,这将使参与者能够伪造交易或凭空铸造新通证。由于 SNARKs 固有的隐私性,所以无法验证伪造的证明是否确实是伪造的。

乌克兰预防腐败局:议员Anna Skorokhod未能合理解释其加密货币来源:金色财经报道,乌克兰国家预防腐败局声称,发现Za Majbutne党议员Anna Skorokhod持有的加密货币来源存在“不准确信息”。根据Slovoidilo的说法,其拥有44 BTC(289万美元)、130 ETH(620,660美元)和135 ETC(7,758美元)。尽管监管机构表示拥有加密货币没有利益冲突,但他们对Slovoidilo对如何获得了这些数字资产的解释完全不满意。目前乌克兰法律要求所有政客申报其加密资产。Slovoidilo辩称,她没有足够的“技术知识”来购买这些加密货币。相反,是通过她现已离婚的丈夫获得的。但国家预防腐败局声称其发现的真正差异在于,存在9347美元的未申报资金。差异源自购买的时间和她据称为这些加密货币支付的价格。[2021/11/13 6:49:45]

SNARK 的安全级别是通过为找到虚假陈述的证据而必须完成的工作量来衡量的。换句话说,如果 SNARK 在计算上无法产生令人信服的虚假陈述证明,那么它就是安全的。对于需要可信设置才能被认为是安全的 SNARK,仪式中至少有一名参与者必须生成并销毁一个 trapdoor,如果与其他 trapdoor 结合使用的话,否则就有可能危及 SNARK 的安全性。因此,受信任的设置通常需要许多参与者一起运行,以使这种情况发生的可能性足够低。

声音 | 联通尹正军:区块链底层技术等可以理解为数字经济的底层框架:金色财经报道,12月12日,区块链与数字经济高峰论坛暨2019第八届中关村大数据日上,联通大数据有限公司高级架构师尹正军演讲表示,区块链底层技术、P2P通信网络、大规模更高效的分布式存储计算技术、密码学等可以理解为数字经济的底层框架。数字经济类似于智慧城市,需要有一套科学、合理的度量标准。参考工信部的评价办法,数字经济分为基础指标和前瞻性指标,前瞻性指标包括5G、物联网、区块链等。[2019/12/14]

虽然可信设置仅在最初需要且仅适用于某些 SNARK,但基于 SNARK 的网络的用户必须相信可信设置的仪式(ceremony)已正确执行,并且秘密已被销毁并且不被创建事件的参与者持有。对这种仪式的依赖一直是一些 SNARK 的备受批评的领域,认为它是潜在的安全弱点。

一些 SNARK 的另一个限制是它们不被认为是抗量子的。SNARK 的支持者认为,如果量子计算机开始对 SNARK 构成威胁,密码学领域将面临更大的问题。此外,一些 SNARK 可能会在未来升级为抗量子的。

声音 | INE熊羽睿:正确理解“无币区块链”:近日,INE熊羽睿表示,区块链的核心价值之一,是“可信账本”,这个账本上记录的东西一定不要是扰乱全球社会秩序的黑产,而是世界、区域、国家有共识的价值。目前数字货币、加密货币、数字证券等等模糊概念的东西,正在被真正的人类罪恶所利用,走向光明正大还有很长的征程,而区块链要能顺利落地运用,必须规避传统法币秩序、证劵流通、税收等红线,借助区块链的可信账本,打造“可信积分”体系,设置流通边界,用于“价值循环、使用权通证、税外价值激励、中间渠道摩擦成本、系统燃料、产能租用、税后资源流通”等等提高价值流通的经济作用。可以预见的未来,基于技术稳定的公链基础上的数字资产,将针对不同国家体系、不同运用领域特征的子母TOKEN体系同步运行。[2018/12/25]

STARK 是什么?

zk-STARK 全称 Zero-Knowledge Scalable Transparent Argument of Knowledge(零知识可扩展透明知识论证),是一种零知识证明系统,在 Eli Ben-Sasson、Iddo Bentov、Yinon Horesh 和 Michael Riabzev 于 2018 年发表的一篇论文中作为 SNARK 的替代方案被引入。正如论文中所述,STARK(更广泛地说,ZKP)可以为社会带来很大的好处:

高晓松再提比特币:数字货币可理解为南非地底下的黄金:在近日的视频节目《晓说》中,高晓松表示,数字货币可理解为南非地底下的黄金,但是没被挖出来。而区块链技术可以用来证明,我们大家都承认南非地底下有金子,只是大家没把它挖出来变成金币,或放在纽约银行发行纸币。然后,你信、他信、她信,这就是区块链。只要链上的人都相信那地底下有黄金,然后今天你就获得了一磅黄金。大家就都来证明你有了一磅黄金,你就有了一磅黄金。[2018/5/6]

“人们的个人信息,例如医疗和法医数据需要保持私有,这是一种人的尊严。但是,旨在保护隐私的面具也可能被委托数据的机构滥用以掩盖谎言和,从而不公正地伤害公民并削弱对中央机构的信任。零知识 (ZK) 证明系统是一种巧妙的加密解决方案,可以解决个人隐私和机构完整性之间的紧张关系,可以在不损害前者的情况下加强后者。”

STARK 支持 StarkWare 的可扩展性技术。通过使开发人员能够在链下进行存储和计算,STARK 提高了可扩展性,因为验证链下计算准确性的 STARK 证明可以由链下服务生成,然后发布在链上。

STARK 允许区块链将计算转移到某个链下 STARK 证明者,然后使用链上 STARK 验证者验证这些计算的完整性。Layer-2 网络可以通过使用 STARKs 在单个批次中计算大量交易,然后使用单个 STARK 证明来确认交易在链上的有效性,从而实现可扩展性。批次中的所有交易均分担链上操作的成本,为第 2 层网络上的每笔交易提供低 gas 成本。

重要的是,由于验证者使用的随机性是公开可用的,并且可以在不依赖任何外部参数的情况下验证证明,因此 STARK 不需要可信设置仪式。

对比 SNARKs 和 STARKs

SNARKs 和 STARKs 都有各自的优势,两者之间的选择取决于用户的具体用例需求。同样重要的是要注意,SNARK 和 STARK 都是正在积极研究的尖端零知识证明技术,因此对它们进行比较还需要考虑该领域的持续进步和发现。

支持者认为 SNARK 更高效、更快速,因为它们可以在几毫秒内得到验证。然而,这种效率是有代价的,因为一些 SNARK 依赖的可信设置仪式,有安全薄弱的环节。这意味着证明中使用的初始参数必须在安全环境中生成,参数的任何泄露都可能导致安全漏洞。

STARKs 不需要可信设置,从而提供更强的安全性,但可能需要更长的时间来验证,因此被认为效率较低。STARK 的证明数据的大小比 SNARK 的大,这意味着验证 STARK 可能比 SNARK 花费更多的时间并且消耗更多的 gas。另一方面,由于可以在不依赖任何外部参数的情况下验证 STARKs 的证明,因此 STARKs 比 SNARKs 更容易审计,尽管这可能取决于具体的实施方式。与大多数 SNARK 不同,STARK 依赖于被认为是抗量子的哈希函数。

SNARK 最初比 STARK 被更广泛采用的原因有几个,尽管其中一些具有与可信设置仪式相关的潜在安全缺陷。SNARK 比 STARK 早六年开发,这有助于它们在采用方面领先一步。

零知识证明带来可扩展性的指数级增长

零知识证明是区块链生态系统的基础技术,有助于提升可扩展性,同时有助于保护个人隐私和机构的完整性。zk-SNARKS 和 zk-STARKS 处于这场革命的最前沿,它们都旨在解锁以前公链中无法实现的用例,激励创新并帮助创造更高效的全球经济。

Chainlink预言机

个人专栏

阅读更多

金色财经 善欧巴

金色早8点

白话区块链

欧科云链

Odaily星球日报

Arcane Labs

MarsBit

深潮TechFlow

BTCStudy

链得得

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

金智博客

[0:15ms0-6:759ms