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

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

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

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

外媒:SBF旗下Alameda Research拥有146亿美元的资产,其中大部分为FTT代币:11月2日消息,根据一份私人财务文件,SBF旗下Alameda Research拥有146亿美元的资产,其中大部分是FTX发行的FTT代币。

截至6月30日,Alameda Research的资产达146亿美元,包括36.6亿美元的解锁FTT、21.6亿美元的“FTT抵押品”。在其80亿美元的负债(主要是74亿美元的贷款)中,有2.92亿美元的“锁定FTT”。

资产负债表上的其他重要资产包括33.7亿美元的“加密持有”和大量的Solana区块链原生代币:2.92亿美元的非锁定SOL、8.63亿美元的锁定SOL和4100万美元的SOL抵押品。SBF是Solana的早期投资者。其他提到的代币有SRM、MAPS、OXY和FIDA。还有1.34亿美元的现金和等价物以及20亿美元的“股票投资”。

此外,代币价值可能低估。在脚注中,Alameda表示,锁定代币被保守地处理为FTX/USD订单中公允价值的50%。(CoinDesk)[2022/11/3 12:11:29]

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

中青报将发行首款历史版面数字藏品:金色财经报道,据中国青年网官方公众号消息,中青报将发行首款历史版面数字藏品,限量发售1000件。[2022/7/22 2:32:05]

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

钥匙之谜

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

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

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

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

加密购物平台 Giftcoin 将推出首张“加密礼品卡”:金色财经报道,加密货币购物平台 Giftcoin 今天宣布,在获得天使轮融资后,它将推出其首个产品。该产品是首创的数字礼品卡,其价值与加密货币挂钩,而不是与固定的美元金额挂钩,从而使其价值随着时间的推移而增加。它将于 8 月在 Apple App Store 上公开下载。

Giftcoin 还与 Solid Financial Technologies, Inc. 建立了合作伙伴关系,该公司将提供额外的银行和银行卡基础设施支持。(prnewswire)[2022/7/20 2:26:44]

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

StarkWare计划今年9月推出StarkNet代币并在未来一年半内分发:7月13日消息,零知识证明技术开发公司StarkWare计划今年9月在链上推出StarkNet代币,该代币将允许社区的支持者执行有助于生态系统成功的工作,并在生态系统的治理中发挥作用。为了实现这一目标,StarkWare计划在未来一年半内向公司的投资者、员工和顾问以及社区开发人员、贡献者和最终用户分发代币,为了使核心贡献者和投资者的长期激励措施与StarkNet社区的利益保持一致,分配给核心贡献者和投资者的所有代币都将受到4年锁定期的限制、线性释放和一年的cliff(即代币解禁之前的时间段)。(the block)[2022/7/14 2:11:36]

百万富翁难题

某天,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想获取更加准确的结果,则需要更加复杂的算法支撑,感兴趣的小伙伴可以多去学习密码学相关的资料。

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

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

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

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

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

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

来源:金色财经

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

金星链

Gateio比特币:市场短期正显现出疲态

这两天,比特币和以太坊不仅没有继续上攻突破7万美元和5000美元的位置,反而继续萎靡,尤其是比特币,已经再次跌到55000美元以下.

[0:15ms0-1:400ms