每日观点:一文说透V神眼里未来十年和区块链一样重要的zk-SNARKs

2023-05-29 12:03:45   来源:商业新知网

这是白话区块链的第 1943 期原创 作者 | Contributor 编译 | 火火 出品|白话区块链(ID:hellobtc)

一直以来,区块链的不可能三角(即可拓展性、去中心化、安全性)三者只能得其二) ,所以 在以太坊实现了较高程度的安全和隐私之后, 扩容变成重中之重。

因此Layer 2 顺势而生, 当下在 Layer 2 扩容方案中,ZK技术被太坊联合创始人 Vitalik Buterin (V 神)认为是解决扩容问题的最终方案。

5 月 21 日,在黑山举办的非营利性的年度全球以太坊会议 EDCON 2023 大会上,V 神表示,未来 10 年,以ZK为底层技术的zk-SNARK 将与区块链一样重要。


(资料图片)

那么最近V 神力推的 zk-SNARKs 到底是什么?能解决哪些区块链疑难杂症? 一起来看看今天的这篇介绍。

以下为正文:

01

什么是 zk-SNARKs?

1.谁创造了 zk-SNARKs?

“zk-SNARKs”一词是由一群密码学家创建的, 其中包括 Nir Bitansky、Alessandro Chiesa 和 Eran Tromer,最初这些人在一篇论文中发表了关于 zk-SNARKs 的基本原理。由此,zk-SNARKs 逐步被许多不同的项目和团队开发和改进。

2.zk-SNARK 代表什么?

- ZK:zero knowledge零知识

零知识意味着正在验证声明的人无法从验证过程中获得任何新信息。 换句话说,在零知识证明过程中,验证者只知道陈述是对还是错,除此之外一无所知。

- S:simplicity 简洁

简洁的 zk-SNARKs 证明是 简短且易于验证的证明。 这与常规的零知识证明形成对比,后者可能非常长且复杂。通常, zk-SNARK 证明可以在几毫秒内得到验证。

- N:non-interactive 非交互式

非交互式 zk-SNARKs 证明不需要证明者和验证者之间的任何交互。 这意味着只有一条结果消息从证明者发送到验证者。 这与交互式证明形成对比,在交互式证明中,证明者和验证者必须相互来回交互才能完成证明。

- AR:argument 争论

论点是支持一个观点的一个或一组理由。在 zk-SNARKs 的上下文中,论证是一系列数学运算,用于证明一个陈述论点是正确的。

- K:knowledge 知识

知识是指证明者知道完成证明所需的某些信息的想法。例如,这可能是帐户的私钥。

综上所述,zk-SNARKs 是一个ZK系统(零知识证明系统),它允许用户(“证明者”)向另一方(“验证者”)证明某些东西,比如他们的身份、他们的资金所有权等,而无需透露有关这些资产的任何信息。 例如:

- 用户应该能够证明他的账户中有足够的余额来购买产品或服务,而不必分享他所拥有的确切金额;

- 用户应该能够在访问应用程序之前验证他的身份,而不必共享他的个人数据。

以如何“向一个 5 岁的孩子解释 zk-SNARKs”举例,这里可以通过一个游戏来解释 zk-SNARKs 是什么:

“想象一下,你正在和三个朋友一起玩“语文老师在哪里?”,奖项是 1000 美元的赌注由获胜者平分。你和你的朋友围坐在一张桌子旁,每个人都拿到了一张有语文老师的图片。

你必须在图片中找到语文老师, 一旦找到语文老师就需要证明你找到了他,但不能透露她的位置或其他任何信息。换句话说,您想在不透露任何超出您声明有效性的信息的情况下证明对事实的了解。

运用zkSNARK原中,可以拿一张相同大小的纸,并在图片中语文老师的位置标记一个点。然后可以把纸藏在一个盒里,一旦你的朋友解决了这个谜题,他们就可以自己看到你标记的语文老师所在的位置。”

换句话说,zk-SNARKs 允许你证明你所需的验证信息,而无需透露该信息的具体值。 在当前跨链生态系统中,使用 zk-SNARKs 技术可以维护其平台上构建的区块链和 DApp 的隐私。

在这里面,关键思想是验证者不可能获得关于该证明的任何信息(因此称为“零知识”证明)。

02

zk-SNARKs运作原理

zk-SNARKs 在加密领域尤为重要,因为许多区块链本质上是公开的,隐私就变得尤为重要。

最著名的例子是 Zcash,它是一种隐私加密资产。当在比特币和以太坊等公链交易 Zcash 时,会使用发送方和接收方地址等详细信息以及输入和输出值(即花费了多少,未花费多少)进行验证。 但通过 zk-SNARKs,Zcash 可以在不公开地址和价值等信息的情况下证明交易有效。

Zcash 如何使用 zkSNARKS 为加密用户提供隐私层

来源:Blockchainhub.net

zk-SNARKs 如何运作? 数字签名 构成了 zk-SNARKs 的工作原理 。数字签名使用加密算法对敏感信息进行保护,使其对另一方隐藏,同时向该方提供所要求的必要证据。

那么具体它是如何完成的呢?步骤如下: 1.证明者首先生成一对密钥,一个公钥,一个私钥。他使用私钥签署交易。 2.然后证明者将此交易编码为 zk-SNARKs,这是交易有效的数学证明。 3.证明与公钥一起发送给验证者。然后,验证者使用公钥检查公式是否正确,而无需了解有关交易的任何其他信息。由于只验证少量信息,因此可以非常快速地完成此检查,以确认交易有效。

03

zk-SNARKs 的具体用例

1.哪些 Token 使用 zk-SNARKs?

SNARK 加密 Token 是一种使用 zk-SNARKs 来改善隐私的加密资产,也称为隐私 Token。这类隐私Token的例子有:

- Zcash (ZEC) - Verge (XVG) - Monero (XMR) - Dash (DASH) - Beam (BEAM) - Horizen (ZEN) - Bytecoin (BCN) zk-SNARKs 的主要挑战是如果私钥被泄露,就可以创建伪造的证明。这可能允许伪造证明的创建者进行欺诈,例如,创建和使用伪造的隐私币。

2. zk-SNARKS 的其他应用

Filecoin 是一个去中心化存储提供商,运作过程涉及多个方面。

首先,Filecoin 网络上的存储提供者(提供存储空间以换取区块奖励),而“证明者”,必须证明他们正在正确地将数据存储在链上。

另一方面,我们有“验证者”,即节点,他们必须验证存储提供商是否正确存储和保护数据。这些验证者必须对存储提供者给出的证明感到满意。 这要求存储提供商和节点在数据易手时进行通信。可以想象,这一过程将是资源密集型的。 Filec oin 官方博客文章解释道: “为了验证他们的存储,如今单个存储提供商提供的必须证明的数据量是巨大的,而且只会随着时间的推移而增长。Filecoin 网络的出块时间为 30 秒。为了保持时间不变并启用可扩展的方法, Filecoin 需要一种允许快速、高效和稳健验证的解决方案,”

借助 zk-SNARKs,Filecoin 网络可以通过减少各方验证存储所需的时间来提高其可扩展性和效率。

对于存储提供商,zk-SNARKs 减少了他们需要传输的数据量以证明其存储,从而降低了运营成本。

3. zk-SNARKs 还可以用于其他事情

例如:

-身份验证: 无需密码即可验证用户凭据,不再需要护照、出生证明等文件证明,以保护出生地点和出生日期等敏感信息。

- 投票系统: 无需身份识别即可验证选民身份,即使选票泄露也无法识别选民身份,从而保护选民隐私。

-数据压缩: 这是 zk-SNARKS 的一个有趣用途,值得单独展开一节。

04

小结

总的来说,zk-SNARKS 有三个关键要点:

1.zkSNARKS 是一种零知识证明系统,它允许一方向另一方证明他们知道一个值 x,而无需传达有关 x 的任何其他信息。 2.关键思想是验证者不可能仅仅从证明者能够证明他们知道 x 的事实中推导出关于 x 的任何信息。这保护了证明者的数据隐私。 3.零知识证明系统用于各种应用,包括安全通信、密码学和隐私保护数据分析。 虽然目前零知识证明系统是一个相对较新的研究领域,其可行性和实用性仍有许多悬而未决的问题。然而,它们已经被用来创造一些令人印象深刻的产品。

『声明:本文为作者独立观点,不代表白话区块链立场,本内容仅供广大加密爱好者科普学习和交流,不构成投资意见或建议,请理性看待,树立正确的理念,提高风险意识。文章版权和最终解释权归白话区块链所有。』

关键词:

精彩阅读

每日观点:一文说透V神眼里未来十年和区块链一样重要的zk-SNARKs

热点

零知识证明系统用于各种应用,包括安全通信、密码学和隐私保护数据分析。

2023数博会“四大亮点”-关注

热点

随着数博会品牌吸引力持续扩大,越来越多的国际友人和全球企业参与了这场国际盛会。

几则运营商省级人事变动,这只是开端……

热点

原重庆联通副总经理童庆军,升任青海联通党委书记、总经理,接替前任朱常波。

2023数博会,我们来了!|环球热点

热点

5月26至28日,2023中国国际大数据产业博览会在贵州贵阳开幕。

世界看热讯:关于大型语言模型的争论和局限

热点

语言模型是不经济的。训练模型的代价很高,而且用起来很贵。

Google DeepMind、OpenAI等联合发文:AI大模型的极端风险,如何评估?_世界新资讯

热点

目前,构建通用人工智能(AGI)系统的方法,在帮助人们更好地解决现实问题的同时,也会带来一些意外的风险。

阿里达摩院:GPT-4替代年薪60万的数据分析师只要几千块,论文已发

热点

GPT-4替代初级数据分析师的成本只有0 71%,换成高级数据分析师则是0 45%。

拓尔思纪要 天天消息

热点

截至目前,公司尚未接到持股5%以上股东的减持意向或计划,相关情况请及时关注公司公开披露的公告内容。

微软甩出王炸:Windows系统全面接入AI助手,必应集成进ChatGPT

热点

WindowsCopilot将于6月开始公开测试,之后会陆续面向Windows11用户推出。

ChatGPT热来袭:官方发布中国AI大模型地图报告

热点

目前中国10亿参数规模以上的大模型已发布79个,主要集中在北京和广东,其中北京38个大模型,广东20个大模型。

财富

lululemon的野心,瑜伽裤装不下 环球快讯

资讯

lululemon的野心,瑜伽裤装不下,成长的烦恼。

【世界新视野】AI大模型:玩家们的新擂台

资讯

AI大模型:玩家们的新擂台,国产AI大模型赛道热闹非凡。

检验菜鸟菜不菜的时候到了_天天报道

资讯

检验菜鸟菜不菜的时候到了,菜鸟要单飞,京东被惊动

环球新消息丨AI诈骗波及多国:道高一尺,魔高一丈?

资讯

AI诈骗波及多国:道高一尺,魔高一丈?,面对AI新型诈骗,除了广泛告知公众实用性的识别技巧,长期而言,还

环球播报:又一个买菜平台,输给了菜市场

资讯

又一个买菜平台,输给了菜市场,疫情过去后,线上买菜不再是一种“刚需”了,生鲜电商还能持续盈利吗?

融资丨创锐光谱完成数千万元天使轮融资,君联资本独家投资

资讯

融资丨创锐光谱完成数千万元天使轮融资,君联资本独家投资,本轮融资将用于精密科学仪器和半导体检测光谱新

天天热议:平台直播大战:小红书派出香港传奇名媛

资讯

平台直播大战:小红书派出香港传奇名媛,她会成为第二个董洁吗?

【环球快播报】董明珠与格力的弯路

资讯

董明珠与格力的弯路,格力何时能走出困境?

《小美人鱼》惨败,迪士尼还想翻拍什么?-全球热点

资讯

《小美人鱼》惨败,迪士尼还想翻拍什么?,迪士尼的“保守主义”

焦点速讯:张一鸣在香港成立个人投资基金;中国批准微软收购动视暴雪;东南亚今年首家独角兽企业诞生丨Going Global

资讯

张一鸣在香港成立个人投资基金;中国批准微软收购动视暴雪;东南亚今年首家独角兽企业诞生丨GoingGlobal,本

2023数博会“四大亮点”-关注

随着数博会品牌吸引力持续扩大,越来越多的国际友人和全球企业参与了这场国际盛会。

几则运营商省级人事变动,这只是开端……

原重庆联通副总经理童庆军,升任青海联通党委书记、总经理,接替前任朱常波。

2023数博会,我们来了!|环球热点

5月26至28日,2023中国国际大数据产业博览会在贵州贵阳开幕。

世界看热讯:关于大型语言模型的争论和局限

语言模型是不经济的。训练模型的代价很高,而且用起来很贵。

Google DeepMind、OpenAI等联合发文:AI大模型的极端风险,如何评估?_世界新资讯

目前,构建通用人工智能(AGI)系统的方法,在帮助人们更好地解决现实问题的同时,也会带来一些意外的风险。

1/10盎司本色生肖银币价格(2023年05月29日)|快消息

金投白银网提供1 10盎司本色生肖银币价格(2023年05月29日),1 10盎司生肖银币最新消息(2023年05月29日)。

《兰若异谭》分享后续优化内容 新模式计划公布 每日快看

中国风策略卡牌构筑游戏《兰若异谭》已于5月26日在Steam上发售,目前玩家测评为“特别好评”,开发者也发文

高质量发展调研行 | 一片树叶里的高质量发展密码|世界即时

翻越翠绿的山头,蹚过潺潺的小溪,沿着山势而上,一面巨大的峭壁横在面前,“蝙蝠洞”三个大字映入眼帘,石

2023款锐骐上市发布会西安站在陕西省西安市常宁宫隆重举行_焦点快播

在动力表现上,2023款锐骐有汽油和柴油两种发动机选择,其中,有“超高扭矩、低油耗、低静音性能、高可靠性

Web3.0会是AI诈骗泛滥的“解药”吗

“10分钟被骗430万”。近期,包头的一起AI电信诈骗案件引发外界广泛讨论,不只因为时间之短、金额之大,更

太平盈盛B_太平喜盈丰

1、太平人寿保险险种列表。2、2、太平福禄双至终身重疾健康保障计划2009[太平人寿]。3、3、太平福寿连连两