区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > 狗狗币 > 正文

ARKS:到底什么是零知识证明 (ZKP)?_lunar币蒸发了多少

作者:

时间:

你可能曾经听说过ZK证明或零知识证明。但为什么它会突然变成一个热词?它是什么?什么是ZK-rollups?什么是ZK-SNARKS?以上问题都会在本文中得到解答,抓紧了快上车!

什么是零知识证明(ZeroKnowledgeProof)?

零知识证明可以让一方(证明方)在不透露任何实际信息的情况下向另一方(验证方)证明某保密信息或声明是真的。

术语“零知识“本身就表明了不需要揭露任何信息,证明方就可以向验证方证实ta所知道的保密信息以及ta的声明都是真的。

那为什么需要零知识证明呢?当我们不想披露任何信息,但需要说服其他人相信我们知道的保密信息和提出的声明是真的时候。

目前有两种零知识证明:

1.交互式的(Interactive)

2.非交互式的(NonInteractive)

举例说明交互式的零知识证明

假设你需要通过ZKP(零知识证明)证明你的年龄大于或等于18岁,但不揭露具体年龄。我们需要第三方机构为你的年龄担保,具体如下:

第三方说:”已接收您出生证明的复印件,我们已经得知您的年龄为21岁。现在为您提供一串数字密码,请将它保存到保密与安全的地方。稍后您会用到它。“

”你持有的那串数字密码将会被哈希算法处理22次,然后得出一个最终年龄哈希代码给你(没错,处理次数必须为年龄+1,才能使得整个操作行得通)。也就是说,你拿到那串数字密码之后,会有22次哈希处理过程才能获得最终的年龄哈希代码。“

IMF:美国通胀尚未“转危为安” 美联储需加息到底:1月5日消息,近日,IMF首席经济学家戈皮纳特称,美国通胀“尚未好转”,美联储现在宣布在抗击通胀的斗争中取得胜利还为时过早。她表示,如果看看劳动力市场的数据和服务业通胀,我认为很明显,美国的通胀还没有好转,所以我对美联储的建议是今年一定要将加息坚持到底。戈皮纳特表示支持美联储将基准利率上调至5%左右,并在今年全年保持在这一水平。戈皮纳特预计欧洲央行的紧缩周期会更长,因为欧洲正在努力应对能源危机。她表示,我们预计到2024年,通胀才会开始接近欧洲央行2%的目标。[2023/1/5 10:23:07]

“我们将您的姓名、时间戳与最终年龄哈希代码一起打包。这个证明包将提供给他人验证。“

好了,那么当你想要向其他人证明你的年龄超过18岁时,你只需要证明从你拿到数字密码到最终年龄哈希代码之间的哈希算法处理次数大于18就可以了。

那么怎么证明呢?你只需要向他人展示最后的18次哈希算法处理记录。你需要自己进行前4次哈希算法处理(对数字密码进行哈希算法处理4次),然后将结果提供给其他人:第四次哈希值。

他们会对第四次哈希值再处理18次(现在对你的数字密码总共进行了22次哈希算法处理),最终他们能够得出最终年龄哈希代码并且使用证明包对它进行验证。

实际上,验证者是在说:"发送我们一个值,我们会对其进行18次哈希算法处理,然后这个哈希值将与你提供的年龄哈希代码进行对比。"如果你低于18岁,最终年龄哈希代码的哈希算法处理次数就没有18次,我们对你提供的那个初始哈希值进行18次哈希算法处理后,就会与最终年龄哈希代码不一样。

京东云发布“京东618十大技术应用趋势”,“区块链防伪追溯 一码到底”上榜:6月17日消息,日前,京东云发布“京东618十大技术应用趋势”,“区块链防伪追溯 一码到底”是其中重要一环。今年京东618,京东云基于区块链技术打造的“智臻链防伪追溯平台”大规模应用,覆盖了包括生鲜农业、母婴、酒类、美妆、二手商品、奢侈品、跨境商品、医药、商超便利店等数十个线上线下零售生态业务场景。官方数据显示,截止目前,京东云“智臻链防伪追溯平台”落链数据已达10亿级,服务超1500 家企业,覆盖超1900个品牌的40万种商品,消费者溯源查询次数超1000万次。[2021/6/17 23:43:43]

这里是另一个绝佳例子?

《一个很棒的零知识证明例子》-MathOverflow

https://mathoverflow.net/questions/22624/example-of-a-good-zero-knowledge-proof

?但是这种交互式方法有一些局限:

1.每次验证都需要进行整个冗长的过程。而上述例子只是简单的哈希算法处理,想象一下如果需要对实际加密算法进行计算会如何。

2.证明方与验证方都需要同时在场,不管是在线还是面对面。

接下来是非交互式的零知识证明

1986年,Fiat与Shamir发明了Fiat-Shamirheuristic(启发式)算法,这是第一个基于交互式零知识证明来构建数字签名的算法。

“比特币到底是什么”登上抖音热榜:抖音热榜数据显示,比特币到底是什么”登上抖音热榜,现排名第2位,当前热度值为857.6w。[2021/2/23 17:43:36]

Fiat-Shamirheuristic算法通过使用承诺方案(CommitmentScheme)可变为非交互式零知识证明。这就是所谓的ZK-SNARKs,也可以称为简洁的非交互式零知识证明(Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge)。

要使Fiat-ShamirHeuristic算法更加强大,需要使用承诺(commitment)。承诺方案在许多加密协议中都是基本组成部分。承诺方案允许承诺者发布一个值(即承诺),然后将它们绑定到某消息上而不披露它们(隐藏)。

Pederson承诺与Polynomial承诺是ZK证明使用的两个最著名承诺方案。

但大约到2013年,ZK-SNARKs才实际可行和实现,并真正用于应用中。

我推荐你们阅读VitalikButerin写的?一篇解释zk-SNARKs如何可行的概论,这篇文章写得很棒,解释了ZK-SNARKs是如何实现的。只阅读一遍可能还不能理解整篇文章。多阅读3、4次,一旦你了解了ZK-SNARKs的原理,你会激动到全身起鸡皮疙瘩。

?跟AI与Web3一样,我们似乎无法避免后量子世界到来,因此我们需要确保为ZK-SNARKs选择使用的加密函数不能被量子计算机暴力破解。这就是为什么我们还需要改进,以保证后量子安全性。

大咖零距离 | 比特币到底是不是金融危机的避险资产:3月24日18:00,金色盘面邀请实盘大V币圈赵公子做客金色财经《大咖零距离》直播间,将分享《比特币到底是不是金融危机的避险资产》,敬请关注,欲进群观看直播扫描海报二维码报名即可。[2020/3/24]

如果想要了解更多信息,可以观看由ACM发布的谈话?

提高非交互式零知识证明在后量子签名中的应用

https://www.youtube.com/watch?v=V0FfpVQzajk

现在终于明白ZK证明是什么了,但是它们应用到什么地方呢??

在概念上它们有两个主要用例:

扩容区块链交易

个人数据隐私保护,例如在医疗卫生领域

区块链扩容-ZKRollups

Rollup是一种扩容解决方案,在L1外执行交易,但在L1上发布交易数据。这种工作办法可以让rollup对网络进行扩容,但依然受到以太坊共识的安全保护。

将计算转移到链下进行,实际上可以处理更多交易。因为只需要将rollup交易的一些数据放进以太坊区块中。

要做到这一点,rollup交易在另一条链上执行,而这条链甚至可以运行一个rollup特定版本的EVM。

执行完rollup上的交易后,下一步是将这些交易打包成一个batch,然后发布到以太坊主链上。

声音 | 赵长鹏在推特发文:引发下一波牛市的到底是什么:赵长鹏发布推文问到:到底什么才是引发下一波牛市的关键事件呢?他同时表示自己并不知道答案,只是会经常在推特上跟大家讨论。孙宇晨则转发推文表示,下一波引爆牛市浪潮的将会是 DApp的爆发。[2018/12/8]

整个过程基本是执行交易、提取数据、压缩,将其rollup到一个个batch中然后发到主链上,因而得名——”rollup“。

以太坊怎样得知这些数据是有效的、而不是由恶意份子出于牟利目的而提交的呢??

每个rollup都会在L1部署一组智能合约,来负责处理存款、取款交易以及验证证明。

证明也是主要区分不同类型rollups的因素。

Optimisticrollups使用欺诈证明。与之相对,ZKrollups采用有效性证明。

在ZKrollups中,发布到L1的每个batch包含一个叫做ZK-SNARK的加密证明。当提交交易batch至L1之后,L1上的合约可以快速验证ZK-SNARK证明,无效的batch会被直接拒绝。

关于ZK与Optimisticrollups还有很多其他内容,比如它们的实现方法和限制。在这里我只是简短地介绍了一下它们的概念。

许多项目都在开发基于ZKrollups的以太坊扩容方案。一些比较知名的项目有dYdX、Loopring、PolygonMiden、PolygonHermez等等。

隐私——日常生活应用

假设有两个公司A和B想要使用区块链作为运行与通信的媒介。

A向B转移资产。并且他们想让这笔交易只有他们双方知道。没错,区块链会带来透明度、互操作性、数据安全性、完整性还有其他优点,但是公司怎么会想让内部运行信息在公众面前显示呢?零知识证明就是最佳选择。

比如你想隐私地给你的海外朋友转账,你会怎么做呢?选择零知识证明。

ZK证明还可以在医疗健康、保险、电子投票、身份管理等领域产生深远影响。

在医疗健康方面,ZK证明可以保证DNA数据、个人信息、医疗报告、基本病史信息、药物溯源、临床试验、医疗健康供应链、器官移植的隐私安全。

在保险方面,ZK证明可以保证保险单和保险凭证数字信息、个人信息、车辆信息、理赔信息的隐私安全。

使用区块链与ZKP的身份管理具有深刻意义。每个关联KYC(了解你的客户)的应用、学校、大学、支付软件都要询问我们的ID图像,例如驾照、护照、投票ID、国家ID。我们敏感的个人数据就这样给他们了,我们甚至都没有意识到这一点。通过ZKP,我们可以保证以上所有ID信息的隐私安全,只需透露必要信息给供应商、应用与官方即可。实际上,使用ZKP我们可以完全改进这些ID的发行方式。

我们可以使用ZK证明对这些信息进行加密处理。当需要给到一些信息时,用户授权并提供所需信息,而其他详细资料可以保持隐藏。

这些都是在2013年后,ZK-SNARKs在实际应用上足够有效率才开始被开发者使用。这也是为什么未来出现的ZKP应用会有很多发展空间。

2016年上线的Zcash是一个成功应用ZK-SNARKs的重要产品,为用户提供隐私交易功能。

最普遍的几种zkp系统的对比

来源:MatterLabs的github代码库

zk-STARK(zero-knowledgescalabletransparentargumentofknowledge)代表零知识的可扩展、透明知识证明,zk-SNARK(zero-knowledgesuccinctnon-interactiveargumentofknowledge)代表零知识的简洁、非交互式知识证明。

这两种零知识技术都是非交互式的,这意味着代码可被部署且自动作用。

Zk-SNARKs底层依靠椭圆曲线保证安全性。在密码学中,椭圆曲线在这样一个基本假设下运行:根据一个公开已知的基本点来找到一个随机椭圆曲线元素的离散对数是不可行的。也就是说,Zk-SNARKs也需要信任设置。

信任设置是指密钥的初始创建事件,它会被用于生成隐私交易的证明以及验证那些证明。

如果用于创建信任设置的密钥的保密信息没有被销毁,那么这些保密信息可能会被利用通过虚假验证来伪造交易。

SNARKs的另一个限制是,在前文中我们已经知道了:它们在后量子世界中的可行性。

?另一方面,在一个网络中开始使用STARKs的话,不需要信任设置。这些都可认为是抗量子的。虽然STARK的证明大小要比SNARK大得多。

但是STARKs现仍处于初期阶段,开发者们得不到太多支持,所以基于ZK-STARK的产品还需要一些时间才能成熟。

本文到这里就结束了。这只是一篇简短的关于ZK证明在Web3世界是怎样运作的介绍。

来源|ravjot.hashnode.dev

作者|RavjotSingh

标签:ROLLROLNARARKSRoller InuROL币lunar币蒸发了多少StarSharks

狗狗币热门资讯
元宇宙:朱嘉明:元宇宙探索呼唤理性 避免元宇宙成为“其兴也勃焉 其亡也乎焉”的风潮_DEFI

编者按: 2022年2月28日,横琴数链数字金融研究院学术与技术委员会主席朱嘉明教授在《元宇宙与碳中和》新书发布会上发表了题为《元宇宙探索呼唤理性——避免元宇宙成为“其兴也勃焉.

区块链:金色早报 | 央行金融稳定局:国内比特币交易量全球占比下降至10%_HER

头条 ▌央行金融稳定局:中 3月3日消息,央行金融稳定局文章指出,集中整治互联网金融乱象,已转入常态化监管。P2P网贷平台全部退出经营,未兑付借贷余额从最初的1.2万亿元下降至4900亿元.

比特币:太阳朋克:以太坊时代对公共物品的重新认识_加密货币

Gitcoin的联合创始人ScottMoore和ENS的社区负责人Alisha.eth最近分享讨论公共物品、社区参与,以及我们需要的工具,以建立我们想要生活的未来.

EDGE:无限可拓展TPS公链的双智能合约之路_Quantum Resistant Ledger

UENC将于3月上旬部署智能合约测试网,完成UENC整条公链的生态图灵完备。UENC所支持的智能合约虚拟机为WASM,其扩展性可以让开发者更轻松的进入DAPP的开发,智能合约测试稳定部署主网后U.

NFT:外媒:老虎环球基金将向早期技术基金注资10亿美元_BNFT币

3月8日消息,知情人士向科技媒体TheInformation透露,投资巨头老虎环球承诺将10亿美元现金投资于专注支持最年轻初创公司的种子基金.

ION:当OpenSea不再Open时 我们还应该继续沉默么?_SNFT币

OpenSea因地缘问题封禁多国用户Parin获OpenSea解禁,故事并未结束 压迫与反抗 去中心化迷思 OpenSea因地缘问题封禁多国用户前言:权力之间可以以一切方式进行争斗厮杀.