宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > 波场 > 正文

科普:区块链零知识证明基础

作者:

时间:1900/1/1 0:00:00

前言

如何在不说出秘密的情况下,让对方知道你已经知道了这个秘密?——隐私保护

随着信息资本主义的兴起,人们更加注重隐私安全和数据的所有权。快速发展的web3.0切实的保证了参与者的隐私安全,让人们对互联网有了信心,在隐私保护的种种手段中,零知识证明另辟蹊径。

本期就带大家一起探讨一下零知识证明是如何为区块链保驾护航的。

什么是零知识证明

零知识技术是密码学的一个分支,可以让用户在不透露信息的前提证明自己拥有的信息。证明者利用系统输入的信息创建证明,而验证者在无法得知具体内容的前提下,验证该证明的结果。

在区块链网络中,用户需要将交易明文广播给所有矿工,由他们来校验交易合法性,但有些时候基于隐私问题,又不想把交易的具体内容公布出来。而零知识技术就可以让开发者在利用以太坊等底层区块链安全性,提高DApp交易吞吐量和速度的同时,保护用户隐私。

美国说唱歌手Megan Thee Stallion与Cash App合作发布比特币科普视频:美国说唱歌手Megan Thee Stallion与由Square开发的移动支付服务Cash App合作发布了一段名为“Bitcoin for Hotties”的视频。该视频从她的角度解释了什么是比特币,为什么比特币有价值等内容。Megan Thee Stallion在Instagram上拥有超过2410万粉丝,在 Twitter上拥有640万粉丝。(Bitcoin News)[2021/8/8 1:41:10]

零知识证明的性质与过程

区块链中的交易,要判断该交易的合法性,只需要证明:

发送的钱属于发送交易人;

发送者的发送金额等于接收者的接收金额;

声音 | 浪潮集团云南分公司总经理:云南区块链产业发展需从“科普”到“专精”不断深化:据昆明日报消息,浪潮集团云南分公司总经理郑昕表示,云南区块链产业发展需从“科普”到“专精”不断深化。下一步,浪潮将继续加大云南农业产业高质量发展体系建设力度,重点以普洱茶等云南优势产业为切入点,打造云南“绿色、有机农产品高地”的品牌形象,并在此基础上,开展基于区块链的供应链金融服务,解决中小企业贷款难、贷款贵问题。[2019/11/11]

发送者的钱被销毁了;

可以看到整个证明过程中,矿工并不需要关心这笔交易具体花掉多少,发送者是谁,接收者是谁,只需要保证交易过程中钱是守恒的。

根据上述过程,可以看出零知识证明的性质:

完备性。证明方和验证方都是诚实的,并遵循证明过程的每一步进行正确计算,那么这个证明一定是成功的,验证方一定能够接受证明方;

动态 | 美国演说家Anthony Robbins开始科普什么是比特币:美国演说家安东尼·罗宾(Anthony Robbins)在自己的网站上发布了一篇比特币的科普文章,并在推特上向自己的粉丝介绍什么是比特币,目前他的推特账户共有粉丝304万人。[2019/1/1]

合理性。没人能假冒证明方,使这个证明成功;

零知识性。证明过程执行完之后,验证方只获得了“证明方拥有这个知识”这条信息,而没有获得关于这个知识本身的任何信息;

在交易验证的时候,证明者会根据系统要求的一些必要的验证内容,作为问题的范围,而验证者对证明者进行多轮交互,等待证明者的回应。

一旦需要交互,就要求过程中双方都在线,这也会带来很大不便,最好有一种非交互式的证明方式,只要证明者给出了证明,后续就不再需要交互,任何人都可以验证这个证明是否正确。但是这明显跟我们一开始说的不能完全由证明者给出矛盾。

财政部副部长朱光耀:数字经济还处在发展的过程中,要以科普、推动的态度来推进数字经济发展:今日,在中国发展高层论坛2018年会上,财政部副部长朱光耀表示:“数字经济还处在发展的过程中,要以科普、推动的态度来推进数字经济发展。也要关注数字经济的其他影响,包括税收征管、反监管措施等要跟上。”[2018/3/25]

这个问题的一种解决方案就是“CommonReferenceString”。证明者给出的证明虽然不像“cutandchoose”策略一样,由验证者挑选问题来决定。但也不是完全由证明者自己来决定,而是根据事先定好的一个种子产生的随机序列决定,相当于有一个中立的第三方来出题目,同样也能达到效果。就像分粥的例子,一个人先分,但不是另外一个人先挑,而是中立第三方产生一个随机数来决定谁拿哪碗粥。

不过上述这项方案有一个技术痛点,它的算法依赖于初始的公共参数作为信任设置。这个公共参数是随机数,可如果一旦泄露,拥有原始随机数的人可以随意伪造证明,从而使得零知识证明的正确性荡然无存。

零知识证明方案与Optimistic?Rollup

optimisticrollup是目前主流的扩容方案,零知识扩容方案和optimisticrollup区别主要有2点:

交易验证的方式不同。optimisticrollup采用欺诈证明,只有在Layer1区块链上裁决状态变更纠纷时才需要生成欺诈证明;而零知识技术方案是在每一批交易打包,上传链上时都会发布有效性证明。也就是说采用零知识证明的协议永远都是有效的状态,而代价则是要花更多的gas费在底层区块链上验证有效性证明。

资金效率。在optimisticrollup中,交易终局和取款的标准时间窗口是一周;而在零知识技术方案中,用户可以在约10分钟内取款。

零知识证明的代币

Zerocash是第一个利用零知识证明zk-SNARK实现了强匿名性的数字货币。不仅实现了对发送方和接收方地址的隐藏,还实现了交易金额的隐藏,仅交易的双发对交易可链接和交易的金额,而其他区块链节点查看到的数据只能验证交易的有效性和金额的正确性,不能得到交易双方和交易金额等其他信息,实现了高等级的强隐私保护。

Zerocash的交易分为两种,铸币和转账交易(Pour)。

Zerocash的铸币交易过程:用户想把价值为v的比特币转换为Zerocash代币,用户首先生成3个随机数r,s,ρ,然后通过承诺计算cm和sn,其中cm记录币的生成,sn记录币的消费。币消费后会记录在sn列表中,其中cm和sn的生成如图所示:

一个Zerocash其实是一个向量(apk,v,r,s,ρ,cm,sn),其中v是ZEC的面值cm记录ZEC的生成,而sn表示ZEC的消费记录。如果sn已经出现在列表中就表示此币已经消费,以防止双花。在铸币阶段用户只公布了自己的cm和v,其他信息只有用户自己知道。

总结

将零知识证明与底层区块链以及去中心化的预言机网络相结合,势必推动区块链行业转型。项目团队将开发出可扩展性强,成本效益高且能保障用户隐私的应用。虽然目前其他的Layer2解决方案可能会为某些应用提供更好的基础架构,但随着行业不断发展,零知识证明方案必将获得更多个人用户和企业的青睐。

标签:区块链CASH比特币CAS区块链卡链是什么意思NCASH价格丘比特币一个多少人民币0xCASH币

波场热门资讯
Tornado Cash社区走上了“自我救赎”道路

OFAC明确表示过,所有与TornadoCash类似的应用程序都将会受到美国的制裁,这无疑浇灭了大多数工程师开发隐私协议的热情,也不免让人们对隐私应用的未来产生担忧.

1900/1/1 0:00:00
行业大重置:2023 年的加密市场将如何发展

原文节选自:DelphiDigital《TheGreatReset:NavigatingCryptoin2023》 编译:Web3大航海 我们将今年的报告命名为“大重置”.

1900/1/1 0:00:00
2022年全球元宇宙产业共发生了704笔融资,总金额达868.67亿元

12月28日消息,据财联社创投通联合IT桔子发布的《2022年全球元宇宙投融资报告》,今年以来我国有15个省市政府出台了29项元宇宙专项扶持政策。另外,2022年全球元宇宙产业共发生了704笔融资,总金额达868.67亿元.

1900/1/1 0:00:00
DEX龙头之争 Uniswap会败给Curve吗?

原文来源:DeFiCheetah 原文编译:Kyle 这个帖子是关于我对DEX的分析框架:为什么我认为CurveFinance优于Uniswap,以及为什么Univ3是一个错误的产品!简而言之.

1900/1/1 0:00:00
传统审计方退场 CEX储备证明将何去何从?

作者|秦晓峰 编辑|郝方舟 出品|Odaily星球日报??随着FTX的崩溃,中心化平台特别是CEX的资产储备问题备受关注。多个交易平台也陆续公布了交易所账户地址,展示各家储备金状况,Odaily星球日报此前曾撰文分析.

1900/1/1 0:00:00
晚间必读 | 加密货币在人工智能时代的作用

1.金色观察|那些大肆炒作mint的NFT项目它们为何会失败随着Memeland的NFT项目CaptainZ的发售,我认为现在正是一个好时机,我们可以回过头看下那些曾经被炒作的mint项目,这样你就可以做出明智的选择,决定是否投资了.

1900/1/1 0:00:00