SNARK和STARK是零知识证明技术，允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。
零知识证明(ZKP)引起了广泛关注，因其在增强安全性、保护用户隐私和支持第2层网络扩展方面都有很大的潜力。
ZKP使一方能够向另一方证明声明是真实的，而无需透露任何其他信息。ZKP既有利于增加隐私——因为它们减少了各方之间共享的信息量——也有利于可扩展性，因为它只需要证明而非整个数据集被验证，这样验证速度会更快。
两个最受关注的零知识证明系统是SNARK和STARK。在本文中，我们将深入探讨它们是什么、它们如何工作以及它们的主要区别。
SNARK是什么?
zk-SNARK全称Zero-KnowledgeSuccinctNon-interractiveArgumentofKnowledge——它们是在2012年由NirBitansky、RanCanetti、AlessandroChiesa和EranTromer合著的一篇论文中介绍的。SNARK使一方能够在不泄露秘密的情况下向另一方证明他们知道秘密。
瑞士金融服务公司XEROF推出价值1亿美元的比特币主动托管证书:金色财经报道，加密资产金融服务公司XEROF宣布，与GenTwo一起推出了许可和监管的比特币支持的主动管理证书 (AMC)?。证书所代表的比特币由瑞士银行安全冷藏保存，XEROF为证书的日常流动性提供其加密货币经纪交易所。
XEROF提供的比特币AMC使机构和合格投资者能够在不直接持有比特币的情况下多元化投资加密资产。它还消除了家族办公室或资产管理者管理安全加密资产托管技术的需要。[2023/6/22 21:53:44]
zk-SNARKs可以作为零知识证明协议添加到分布式账本解决方案中，以增强隐私性和可扩展性。Zcash是zk-SNARKs的第一个广泛应用，应用该技术来创建屏蔽交易，其中发送者、接收者和金额都是保密的。Zcash中的屏蔽交易可以在区块链上完全加密，但仍然可以通过使用zk-SNARKs在网络的共识规则下验证为有效。
Coinbase向美SEC提交强制执行令请愿书:金色财经报道，Coinbase 周二向美国证券交易委员会（SEC）提交了一份强制执行令。?首席法律官 Paul Agrawal 在推特上写道，昨夜，Coinbase 在第三巡回法院回应了美国SEC反对我们要求执行令的请求论点，强制执行令是针对此处呈现的非同寻常的事实量身定制的补救措施。
Coinbase在其备案在其文件称，美国SEC已经表明，它打算继续针对Coinbase请愿书中提出的主题开展针对加密货币行业的执法活动，同时无视该请愿书，正如它多年来对其他数字资产相关规则制定请愿书所做的那样。如果美国SEC选择拒绝Coinbase的请愿书，它仍然可能被强制执行令（在美国定义为确保政府机构遵守某些要求的法院命令）决定数字资产监管。?
据康奈尔法学院的说法，法院的一项强制执行令要求政府官员正确履行公务或纠正滥用自由裁量权的行为。[2023/5/24 15:21:33]
一些SNARK的一个重要属性是它们要求配置过程是可信任的——在这个过程中，隐私交易的证明和生成证明的密钥会被创建。如果在事件期间用于创建这个密钥的秘密没有被销毁，它们可能被用来创建虚假证明。在涉及加密资产的场景中，这将使参与者能够伪造交易或凭空铸造新通证。由于SNARKs固有的隐私性，所以无法验证伪造的证明是否确实是伪造的。
动态 | 美国德克萨斯州寻求由区块链提供支持的ID管理解决方案:9月17日消息，德克萨斯州奥斯汀市一直致力于为遇到无家可归者的人们开发区块链驱动的身份识别系统。该倡议被称为MyPass，计划中的最终产品是一个平台，将个人记录和id的数字副本收集在一个手机号码或电子邮件地址下，使实体副本冗余。一个人与不同服务的所有交互都可以使用区块链记录在一个台账上，而不是在多个由个人管理的数据库之间存储数据，在每次交互发生时，由经过验证的机构和个人组成的机构和个人验证每个交互。这个想法来自于在难民营中实施的类似项目，比如世界粮食计划署在约旦的建筑项目。[2018/9/17]
SNARK的安全级别是通过为找到虚假陈述的证据而必须完成的工作量来衡量的。换句话说，如果SNARK在计算上无法产生令人信服的虚假陈述证明，那么它就是安全的。对于需要可信设置才能被认为是安全的SNARK，仪式中至少有一名参与者必须生成并销毁一个trapdoor，如果与其他trapdoor结合使用的话，否则就有可能危及SNARK的安全性。因此，受信任的设置通常需要许多参与者一起运行，以使这种情况发生的可能性足够低。
以太坊基金会顾问：SEC对数字货币缺乏理解 ETH肯定超越BTC:以太坊基金会顾问William Mougayar日前表示，监管机构缺乏对数字货币的基本理解。在试图规范数字货币的举措中，美国证券交易委员会对该行业的核心本质缺乏了解，而只是试图采用一种通用方法。另外，Mougayar还表示ETH绝对会超越BTC，因为它拥有开发商，初创企业和风险投资的最大生态系统以及各种支持。目前数字货币正在被滥用，但数字货币不应只是作为投机工具而被使用，而是应该将其用于真正的目的。他指出ETH有53%的交易都基于智能合约，已经不仅仅是一种货币，而更是一种效用。[2018/5/19]
虽然可信设置仅在最初需要且仅适用于某些SNARK，但基于SNARK的网络的用户必须相信可信设置的仪式已正确执行，并且秘密已被销毁并且不被创建事件的参与者持有。对这种仪式的依赖一直是一些SNARK的备受批评的领域，认为它是潜在的安全弱点。
中国纪检监察报：中国区块链发展的最大挑战是“如何让监管理解区块链并适度监管”: 中国纪检监察报发文表示，区块链底层技术获得实质性突破之前的这个阶段，恰恰是一个战略机遇期。如果中国区块链行业能紧密合作，监管能够适当包容、鼓励，中国在区块链领域引领全球指日可待。实际上，区块链技术最终必然演化为“监管融入技术”的模式，区块链的难以篡改、共享账本和分布式的特性，更易于监管介入，获得更加全面实时的监管数据。让监管机构本身也参与到技术中去，通过技术本身实现对技术的监管，最终化解区块链与监管的冲突。[2018/3/6]
一些SNARK的另一个限制是它们不被认为是抗量子的。SNARK的支持者认为，如果量子计算机开始对SNARK构成威胁，密码学领域将面临更大的问题。此外，一些SNARK可能会在未来升级为抗量子的。
STARK是什么?
zk-STARK全称Zero-KnowledgeScalableTransparentArgumentofKnowledge，是一种零知识证明系统，在EliBen-Sasson、IddoBentov、YinonHoresh和MichaelRiabzev于2018年发表的一篇论文中作为SNARK的替代方案被引入。正如论文中所述，STARK可以为社会带来很大的好处：
“人们的个人信息，例如医疗和法医数据需要保持私有，这是一种人的尊严。但是，旨在保护隐私的面具也可能被委托数据的机构滥用以掩盖谎言和，从而不公正地伤害公民并削弱对中央机构的信任。零知识(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处于这场革命的最前沿，它们都旨在解锁以前公链中无法实现的用例，激励创新并帮助创造更高效的全球经济。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。