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

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

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

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

消息人士:美SEC未来几周或将对Circle采取行动:金色财经报道,据加密KOL、推特标记为X 3创始人的Andrew在社交媒体披露,消息人士称美国证券交易委员会非常清楚Circle的银行敞口风险,特别是硅谷银行,消息来源称:“美国证券交易委员会绝对相信USDC是一种证券......预计未来几周会采取进一步行动。”[2023/3/12 12:57:43]

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

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

美国金融业监管局调查加密产品和服务提供商针对散户的宣传情况:11月18日消息,美国自律组织金融业监管局(FINRA)正在对各大公司涉及加密资产产品和服务的散户通信进行有针对性的检查,涵盖2022年7月1日至2022年9月30日期间的通信。FINRA要求各公司为每一次通信提供额外信息,例如首次公开的日期、是否向FINRA的广告监管部门备案、该公司的负责人是否批准通信以及识别通信中提到的加密资产或服务。

根据FINRA的规定,在任何30天内向超过25名散户投资者发布或提供的任何书面(包括电子版)信息均被称为“散户通信”。它还适用于视频、社交媒体、移动应用程序和网站。(Cointelegraph)[2022/11/18 13:22:39]

钥匙之谜

数据:10月Immutable X上NFT销售额达2300万美元,仅次于以太坊和Solana:11月1日消息,Delphi Digital研究员Teng发推称,10月份Immutable X上的NFT销售额达2300万美元,仅次于以太坊(2.96亿美元)和Solana(6000万美元),高于紧随其后的Polygon(1300万美元)和Flow(1000万美元)。[2022/11/1 12:02:52]

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

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

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

数字资产做市公司System 9完成570万美元的A轮融资:金色财经报道,数字资产做市公司 System 9 Inc宣布完成 570 万美元的 A 轮融资。 Capital6 Eagle (C6E)领投,其他投资者包括:Kronos Asset Management、C2 Ventures、Gate Ventures、Ascendex Ventures,以及一些知名的区块链投资者。此次股权融资的收益将用于进一步扩展支持其专有做市的技术基础设施和业务运营,并扩大其服务范围。(prnewswire)[2022/6/24 1:27:50]

在以上情境中,第二种验证方式便属于零知识证明。?而在日常情境下,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:31ms0-1:99ms