OLY:隐私计算词典丨安全多方计算番外篇之「零知识证明」

前言:隐私计算赛道作为当下的风口赛道,无数企业纷纷涌入,抢跑占道。作为一家专注于区块链隐私计算赛道科普入门的垂直媒体,同时也是针对隐私计算兴趣者开放的低门槛入口,我们汇总并分类了隐私计算行业内晦涩难懂的名词,编写了「隐私计算词典」板块,帮助大家理解、学习。

上篇我们介绍了隐私计算技术之「安全多方计算」,而在安全多方计算领域,「零知识证明」被归于是安全多方计算常用的技术手段之一。相对其他技术而言,零知识证明的概念通俗易懂,也更易于大家理解隐私计算技术具体如何实现数据的可用不可见。

顾名思义,零知识证明用于向验证者证明某个问题,并且在整个验证过程中,证明者能够在不向验证者提供任何有用信息的前提下,使验证者相信某个论断是正确的。

区块链与隐私计算算力集群Hive “蜂巢”已在北京启用:金色财经报道,据科技日报从北京微芯区块链与边缘计算研究院获悉,区块链与隐私计算算力集群Hive 蜂巢日前正式启用,作为北京市重大科技创新及高精尖产业项目,该算力集群的主体位于中关村科学城北区的核心地带,整个集群拥有1000台“长安链”高性能专用算力服务器,在架构灵活性、共识机制、数据存储等方面获得技术突破,每秒可处理 2.4 亿笔智能合约交易,每秒可执行百亿条数据隐私计算。[2023/2/7 11:51:46]

实质上,零知识证明是一种涉及两方或多方的协议,即两方或多方完成一项任务所需采取的一系列数据加密步骤。大量事实证明,零知识证明在密码学中非常有用,如果能够将零知识证明用于验证,可以有效解决许多问题。

PlatON隐私计算网络PIP-10提案开启链上治理升级投票:10月25日消息,PlatON隐私计算网络PIP-10提案已于10月25日开启链上治理升级投票。本次提案治理为期约15天,提议将PlatON隐私计算网络升级至1.3.0版本。

版本更新升级内容包括:1. 解委托的Token将锁定56个结算周期;2. PlatON链ID变更提案(PIP-7)第3阶段完成实施(EVM返回新ChainID)。[2022/10/25 16:38:26]

那么,零知识证明具体如何起到加密验证作用?我们通过举例说明——?

钥匙之谜

有A、B两人,某天A想向B证明她有C房间大门的钥匙,此时她有两种选择??:?

隐私计算网络Oasis首个NFT市场Meta Mirror推出MLaunch:5月26日消息,隐私计算网络Oasis首个NFT市场Meta Mirror推出MLaunch,作为生态NFT Launchpad,MLaunch具有无需代码铸造NFT、社区参与自动化以及将Web2粉丝引入Web3等功能,大大降低了NFT进入门槛,帮助更多艺术家以简单、高效的方式拥抱NFT,并为其NFT项目发展提供早期社区支持。此外,Oasis生态还将于2022年5月30日举行NFT艺术周活动,神秘艺术家将在艺术周的五天时间内,每天发布一个Oasis NFT独家系列。[2022/5/26 3:44:00]

直接拿出C房门的钥匙,打开房门证明自己持有的钥匙就是C房门的钥匙

蚂蚁链隐私计算平台通过信通院全项测评:金色财经报道,中国信息通信研究院大数据产品评测再度更新,根据中国信息通信研究院日前公布的评测结果,共计49家企业的106款产品通过了评审,其中,蚂蚁链数据隐私服务是本轮唯一通过全项能力测评的平台。为进一步完善数据所有权问题、数据共享、智能合约技术、协同计算等,信通院还同时牵头成立了“隐私计算联盟”。

据信通院透露,蚂蚁链数据隐私服务是本轮唯一通过全项能力测评的平台,也成为信通院“隐私计算联盟”的首批成员之一。

据悉,由蚂蚁链研发的数据隐私服务,集成了基于区块链的数字身份及授权体系,支持对数据隐私计算步骤、多方协作逻辑进行可信编程,降低隐私计算技术门槛,增强隐私计算协作治理、可信审计的技术能力,提供面向隐私信息全生命周期保护的技术能力。[2020/12/21 15:58:23]

不拿出C房门的钥匙,而是拿出C房间里独有的物品,且不损坏C房门,向B证明自己拥有进入C房门的能力

在以上情境中,第二种验证方式便属于零知识证明。?而在日常情境下,C房间大门的钥匙便是人们不愿意直接公开的隐私数据,通过使用零知识证明,既可以实现隐私数据不可见,又能够将其投入使用,使其产生相应的数据价值。

初步理解了概念后,我们再将零知识证明技术放到著名的「姚氏百万富翁问题」的情境中,进一步说明为何此项技术会被广泛用于安全多方计算领域。?

百万富翁难题

某天,Alice和Bob两个百万富翁在街上相遇,他们俩想知道谁更富有,但又不想让对方或者其他人知道自己拥有的资产数。那么,如何在没有可信第三方的前提下实现两者资产比较?

我们先假设Alice拥有a百万财富,Bob有b百万财富,并且他们俩互不知道。?

Alice依次在房间里排列十个箱子,因为Alice有a百万财富,于是她在顺数的前a个箱子中放置了自己写??的纸条,剩余箱子中放置了写?的纸条,放置完所有的纸条后,Alice使用钥匙把十个箱子依次锁好。?

Alice出了房间后,告诉了Bob她在房间里设置的逻辑,让Bob进去按顺序拿箱子。?Bob按照逻辑,从房间里拿出了顺数第b个箱子,在出房间时,Bob为了不让Alice知道自己拿的是第几个箱子,一把火烧了房间里剩余的其他箱子。?

最后,Alice用钥匙打开了Bob拿出的箱子,此时会产生两种结果:?

如果Bob的箱子里的纸条写着?,则Alice便知道a<b,Bob更富有;

如果Bob的箱子里的纸条写着?,则Alice便知道a≥b,Alice比Bob更富有或是两者财富持平。

在此情境中,Alice和Bob使用的便是零知识证明技术,除了得到最终的结论之外,未得出任何与a或b相关的其他数据信息,也无法通过结论反推出a、b,如此保证了Alice和Bob资产数的隐私性和安全性,解决了百万富翁难题。?

而放置到安全多方计算领域中分析,Alice、Bob两人共同作为协同计算的参与方,数据由房间里的带锁的箱子进行加密,在密码学中,锁?代表公钥,所有人都可以对数据用公钥进行加密,而锁对应的钥匙?便称为私钥,只有私钥拥有者才能用把锁打开,对数据进行解密。?

如果Alice和Bob想获取更加准确的结果,则需要更加复杂的算法支撑,感兴趣的小伙伴可以多去学习密码学相关的资料。

相信大家阅读完此篇,能对零知识证明的概念有了更清晰的认识。

在现实生活中,使用类似零知识证明协议,保证在不泄露隐私的前提实现共享数据的价值的用例非常广泛。例如,《安全多方计算》篇中提到的金融、医疗、教育行业等等。

事实上,数据经济时代下,人们获得的有利数据越多,越能通过算法技术分析出真实、准确的数据。

然而,数据流通的痛点和诉求意味着信息和数据在成为社会生产资料的同时,既要保证数据能够流通、共享,更要注重加强数据的确权与保护,这也是为什么国家多次出台政策法规文件,保护个人信息安全、防止数据被过度收集和滥用的原因。

零知识证明可以说是隐私计算技术中的最基本的技术之一,虽然本文中我们尽可能用最简易的例子对此项技术进行说明,但实际上,技术都是通过算法实现,根据已有算法的复杂程度度,要想运用好每一项隐私计算技术都道阻且长。?

不过,正是有了这些技术,为复杂的隐私安全计算推开了一扇门。未来需要突破的技术难点还很多,技术优化还有很长的路要走,但相信在计算能力日益强大的时代下,在现实需求的不断增长下,隐私计算技术终将迎来突破。

来源:金色财经

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

[0:0ms0-8:205ms