当前位置:首页 > 资讯 > zk-SNARKs与zk-STARKS有什么区别?

看空zkSync? V神:零知识证明应用低估了zk-STARKS潜力

2024-06-18 19:17:05 | 来源:本站整理 | 作者:佚名
采用零知识证明技术的以太坊Layer2网络zkSync昨日刚上架币安,以太坊创办人Vitalik Buterin就发文感慨,链下ZK(零知识证明)应用程序低估了使用STARK的潜力…更多详细资讯请看下面正文

看空zkSync? V神:零知识证明应用低估了zk-STARKS潜力

以太坊创办人Vitalik Buterin昨(17)日稍晚在Web3社交平台Warpcast上发文感慨,表示链下ZK(零知识证明)应用程序低估了使用STARK的潜力:我认为链下ZK应用程序确实低估了使用STARK的潜力,包括对隐私充满极大要求的用例。目前,STARK的容量小于100kB,对于链下用例而言,与使用STARK节省的客户端证明时间相比,这种宽带量简直微不足道。

看空zkSync? V神:零知识证明应用低估了zk-STARKS潜力

V神看空zkSync?

V神为何会突然有此感慨?这不禁让人想到在昨日正式上架币安等交易所的以太坊Layer2网络zkSync。

zkSync是以太坊的第二层扩容解决方案,它采用了zk-rollups在链下打包交易,并使用零知识证明(ZK)在链上对其进行诈验证。但值得注意的是,同为采用zk-rollups的Layer2网络,zkSync不同于已经发币的Starknet,它在零知识证明系统上采用的是zk-SNARKs技术,而Starknet采用的则是zk-STARKS技术。

因此,V神或许不是在针对zkSync发表评论,只是针对zk-STARKS技术提出看法;但也有可能是在暗示zk-STARKS技术更有发展潜力也不一定。

撰稿当下,zkSync代币$ZK昨日上架币安后就持续阴跌,现报0.1999美元,低于此前市场预测的盘前价格。

zk-SNARKs与zk-STARKS有什么区别?

zk-SNARKs与zk-STARKS均属于零知识证明技术,允许一方能够向另一方证明其声明是真实的,而无需透露任何其他信息,有利于增加隐私和可扩展性。不过,二者仍然存在以下区别:

zk-SNARK:简洁+非互动性

zk-SNARK是一种简洁、非互动的零知识证明技术,全名为Zero-Knowledge Succinct Non-interractive Argument of Knowledge,它具备以下特征:

  • zero-knowledge:零知识证明,在不暴露隐私的情况下向对方证明一件事情,让资料「可用而不可知」。

  • succinct:简洁性,要证明的东西占用的空间很小,而且可以快速验证(几毫秒)。

  • non-interactive:非交互性,意味着证明者和验证者之间不需要有交集即可快速地得到验证结果。

zk-SNARK的简洁性和非互动性,是相对于传统的零知识证明方案而言的。简单来说,传统方案是互动式证明,即示证者(宣称某一命题为真)和验证者(确认该命题确实为真)之间反复确认,你可以理解为示证者不断向验证者询问「是或不是?」,然后验证者不断给出回答,直到最后碰出一个正确答案来,所以效率很低。

zk-SNARK的解决方案则不需要双方反覆确认「是或不是」,而是提前先搞一个正确答案,以此产生公共参考字串(CRS),然后所有的示证者都可以直接访问它。但是,公开参考字串通常由一个小团体来保管,因此有泄漏的可能性,从而被恶意利用,例如创建虚假证明。这牺牲了安全性为代价。

zk-STARK:机率证明+缓冲时间

zk-STARK是成立于2017年12月的StarkWare团队开发的,它是zk-SNARK的替代解决方案。

zk-STARK虽然是一种互动式证明,但它是一种巧妙的互动式证明——通过杂凑函数碰撞(一种机率证明的方式)来保证安全性,因此也实现了高效证明。简单来说就是,先把问题用密码学的方式打碎,然后验证者随机向示证者提出几个问题,如果几轮下来,示证者都给出准确的回答,那么验证就通过了。

zk-STARK直接利用产生随机性的参数来验证,不需要任何第三方的「答案系统」,因此透明度大幅提高,并且在理论上,量子电脑对其的暴 力 破 解也是无效的。因此相对而言更加安全。

以上就是看空zkSync? V神:零知识证明应用低估了zk-STARKS潜力的详细内容,更多关于zk-SNARKs与zk-STARKS有什么区别?的资料请关注脚本之家其它相关文章!

免责声明:本文只为提供市场讯息,所有内容及观点仅供参考,不构成投资建议,不代表本站观点和立场。投资者应自行决策与交易,对投资者交易形成的直接或间接损失,作者及本站将不承担任何责任。!
Tag:虚拟货币   区块链  

你可能感兴趣的文章

币圈快讯

  • Farooq Malik:Rain稳定币支付已覆盖超10万商户

    2026-08-19 18:12
    据The Block报道,Rain首席执行官Farooq Malik表示,通过与Visa等网络合作,Rain促成的稳定币支付已覆盖超过10万家商户。Rain在1月完成2.5亿美元C轮融资,投后估值19.5亿美元,年化交易额超30亿美元,并与Visa、Mastercard合作推出稳定币卡与钱包,计划在部分业务流程中探索使用受监管稳定币进行链上结算。
  • Bloomberg:TikTok代码包含消息功能内的点对点支付功能

    2026-08-19 18:05
    据Bloomberg报道,TikTok代码在其消息功能中包含点对点支付功能。TikTok发言人表示,该功能目前未在任何地区进行测试。
  • Palantir CEO Alex Karp:投资者迎来好消息华尔街称是买入时机

    2026-08-19 18:05
    Palantir的CEO Alex Karp向投资者传递了好消息,华尔街表示现在是买入的时机。Palantir的差异化软件在过去12个季度中实现了显著的财务成果,收入增长持续加速。
  • 慢雾安全团队预警:vscode插件“solidity pro”存在恶意投毒行为

    2026-08-19 18:03
    吴说获悉,慢雾安全团队预警,一款针对Solidity/Web3开发者的vscode插件“solidity pro”存在恶意投毒行为。分析显示,该插件在helper-beeps和web3devtoolsx两个发布者身份下的历史版本中,被发现包含凭据窃取、远程有效载荷执行以及远程vsix更新等恶意功能。尽管这些恶意功能在后续版本中被移除,但代码库中仍残留有恶意源码和前任发布者的痕迹。慢雾指出,仅检测当前版本存在安全盲区,可能使具有恶意历史的插件看似“干净”或低风险,强调插件安全审查应覆盖版本历史、发布者变更、构建溯源及远程控制等多个维度。
  • 主力24小时动向:BTC大户成交限价卖单更多共8.94亿美元

    2026-08-19 18:01
    据A早期发行in数据,BTC和ETH主力在最近24小时内的总成交数据如下:BTC累计成交8.94亿美元,其中买成交3.36亿美元,卖成交5.57亿美元,成交差为-2.21亿美元ETH累计成交13.84亿美元,其中买成交6.04亿美元,卖成交7.8亿美元,成交差为-1.76亿美元。最新数据显示,主力在关键价位仍有布局:BTC净挂单差为4.42亿美元,ETH净挂单差为7.71亿美元。主力挂单可能随时撤退或成交,数据仅供参考,不构成任何投资建议。
  • 查看更多