月亮链 月亮链
Ctrl+D收藏月亮链

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

作者:

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

前言

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

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

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

什么是零知识证明

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

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

国务院:推进科普与区块链技术深度融合:为贯彻落实党中央、国务院关于科普和科学素质建设的重要部署,依据《中华人民共和国科学技术进步法》、《中华人民共和国科学技术普及法》制定《全民科学素质行动规划纲要(2021-2035年)》,其中要求实施智慧科普建设工程。推进科普与区块链等技术深度融合,强化需求感知、用户分层、情景应用理念,推动传播方式、组织动员、运营服务等创新升级,加强“科普中国”建设,强化科普信息落地应用,与智慧教育、智慧城市、智慧社区等深度融合。(新华社)[2021/7/10 0:40:52]

零知识证明的性质与过程

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

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

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

发送者的钱被销毁了;

火币推出《一分钟读懂DeFi》系列科普视频:据官方消息,8月24日,火币推出《一分钟读懂DeFi》系列科普视频,并与微博财经合作冠名播出,布道DeFi认知,助力行业发展《一分钟读懂DeFi》是由火币成长学院打造的业内首个系统全面讲解DeFi的系列科普动画,继推出《区块链100问》后的再续佳作。《一分钟读懂DeFi》系列动画对DeFi的发展进行系统梳理,适合想要由浅入深、全面系统了解区块链DeFi的人们轻松了解DeFi。目前视频已由火币网官方微博发布。[2020/8/24]

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

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

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

TRON数字钱包科普资料《波场钱包的现在过去与未来》已上线:据最新消息显示,由TokenPocket联合波场TRON官方,以及 TokenPocket 社区志愿者共同撰写的《波场钱包的现在过去与未来》已正式上线。《波场钱包的现在过去与未来》又称为波场钱包小白书,详细介绍了当前TRON钱包与TRON生态密切结合的实例,是目前市面上最为详细的TRON数字钱包科普资料。波场钱包作为波场公链生态中极为重要的入口,是波场生态的重要构成要素。波场钱包从一开始只提供权限管理、转账收款、节点投票等基础功能,到如今不仅可以为用户提供法币交易、闪兑和去中心化交易所等方便快捷的交易服务,还能让用户直接在钱包上体验波场上DApp,挖矿、DeFi、Staking等资产增值服务。详情见原文链接。[2020/8/20]

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

动态 | 报告:区块链等热点词促使童书科普百科类成交额同比增速最高:近日,京东图书与艾瑞咨询联合发布了《2019中国图书市场报告》。报告指出,AI、5G、区块链、机器人、VR、智能家居、AR这些热点词,不断点燃科技热潮,科技在改变大众生活的同时,也吸引了越来越多家长的关注,从小培养孩子对科技的兴趣和热爱。因此童书中科普百科类成交额同比增速最高,占比将近40%。[2020/1/8]

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

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

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

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

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

零知识证明方案与Optimistic Rollup

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

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

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

零知识证明的代币

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

Zerocash的交易分为两种,铸币(Mint)和转账交易(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,其他信息只有用户自己知道。

总结

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

金色财经

金色早8点

Odaily星球日报

澎湃新闻

Arcane Labs

深潮TechFlow

欧科云链

链得得

MarsBit

BTCStudy

标签:区块链DEFIEFIDEF区块链的未来发展前景作者是谁Mooni DeFiCredefiDefPace

比特币交易热门资讯
PAR:Paradigm 范式转移:删除官网加密货币表述 进军 AI_ARA

作者:0xmin,深潮 TechFlow如果要问加密货币领域最厉害的VC有哪些,Paradigm 一定榜上有名,熊市All in 比特币,深度孵化Uniswap一战成名.

1900/1/1 0:00:00
BSP:HK虚拟货币=财产 会是Web3“强心针”吗?_BSPAY价格

核心提示①近期香港地区的判例认为比特币等虚拟货币可以视为法律意义上的“财产”,有法律界人士认为此举有利于厘清现行港府现行虚拟货币的规管框架,有利于从法律上保护虚拟货币持有者的财产利益.

1900/1/1 0:00:00
区块链:金色观察 | 2023年值得关注的6个DeFi叙事_区块链中的代币是什么

文/ThorHartvigsen,DeFi研究员;译/金色财经xiaozou流动性质押衍生品(LSD)正呈现爆炸式增长:LDO涨了114%;RPL涨了89%;SWISE涨了128%;FIS涨了7.

1900/1/1 0:00:00
加密货币:新加坡金融管理局发布新规 或对加密机构进行更严格的监管_BLOC

新加坡金融管理局(MAS)2023年5月31日发布了一项名为 "MAS Notice FSM-N01" 的新通知,旨在对金融咨询服务提供者的业务行为进行更严格的规定.

1900/1/1 0:00:00
区块链:区块链应用中如何匿名却又保持交易有效 一文带你了解零知识证明_ALI

在复杂的密码学领域,零知识证明为一项看似矛盾的任务提供了独特的解决方案:在不透露信息本身的情况下证明知道某一信息。这种加密方法涉及两方:证明者及验证者.

1900/1/1 0:00:00
以太坊:2023年 最值得关注的5个ZK赛道项目_leos币雷石链

零知识技术及其赛道的发展随着以太坊L2 ZK Rollup的出现,受到众多关注。2023年初始,谈论ZK(零知识)赛道过去的进程,和预测ZK赛道未来的发展,成为Web3或加密圈内一件很重要的事.

1900/1/1 0:00:00