火星链 火星链
Ctrl+D收藏火星链
首页 > ICP > 正文

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

作者:

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

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

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

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

美国银行:代币化可能会改变基础设施和金融市场:金色财经报道,美国银行(BAC)周四在一份研究报告中表示,代币化只是区块链技术的一种应用,但它是在未来5到15年内可以改变金融和非金融基础设施以及金融市场的一种应用。

美国银行指出,像广播、电视和电子邮件这样的颠覆性技术花了30年才达到主流应用。它预计数字资产的滞后期要短得多。随着 \"未获得的效率的机会成本增加\",区块链技术的实施将在金融机构和企业中加速。[2023/6/29 22:08:30]

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

消息人士:QCP Capital至少有9700万美元被困在FTX:金色财经报道,据消息人士透露,新加坡加密交易公司QCP Capital至少有9700万美元被困在FTX。为了收回部分现金,QCP正试图将其债权出售给不良资产买家。QCP上个月曾表示持有FTX敞口,但未披露敞口规模。该公司一位发言人当时称,有足够的股本来消化头寸减值。减值不会影响客户或交易对手方。提款仍然开放,交易照常进行。公司业务保持盈利。QCP Capital运营着一个加密衍生品交易平台,同时还从事自营交易并提供做市服务。该公司表示,今年迄今为止已处理了价值近380亿美元的交易。(The Block)[2022/12/16 21:47:45]

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

昨日ETC活跃地址数突破3.9万,创一个多月来新高:9月23日消息,据Tokenview数据显示,昨日ETC活跃地址数达39,490,24小时涨幅20.49%。ETC新增地址数达19,420,24小时涨幅44.7%。均创近一个多月来新高。[2022/9/23 7:16:00]

钥匙之谜

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

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

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

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

魏鹏举:金融化并非是数字藏品真正的问题,传统的文化资产、艺术资产就可以金融化:金色财经消息,近日,新京报贝壳财经会客厅——建立数字藏品的正向发展标准和路径,数字藏品行业如何“守正·创新”规范发展研讨会在北京举行,中国艺术科技研究所副所长庹祖海、北京政协委员、北京国际大数据交易所首席专家王臻、文化和旅游部“十四五”规划专家委员会委员、中央财经大学文化经济研究院院长魏鹏举、国家文旅公共文化创新发展研究基地主任、中国传媒大学文化发展研究院副院长卜希霆、中国信通院云计算与大数据研究所区块链负责人张奕卉、金杜律师事务所北京办公室参会代表齐菲参加研讨会。

魏鹏举表示,数字藏品属于新生事物,必须给予一定的包容。金融化并非是数字藏品真正的问题,传统的文化资产、艺术资产就可以金融化,艺术品质押也是金融化,国家还有文化金融的概念,这说明艺术品金融化本身并没有问题,最大的问题是金融价值不能对应实体价值所发生的虚拟化。(新京报)[2022/7/4 1:48:53]

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

百万富翁难题

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

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

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

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

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

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

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

来源:金色财经

标签:ALICELICICEALIalice币发行量siliconvalleychainjustice币值得投资吗Healing Potion

ICP热门资讯
USDP:国网广汇与蚂蚁链合作 发力新能源产业“碳管理”

以技术力量推动企业碳管理数字化升级。12月2日,国网广汇电动汽车服务有限公司与蚂蚁链签署合作协议,共同探索车场景下的碳管理技术路径.

1900/1/1 0:00:00
WEB3:DAOrayaki |赏金经济简介

赏金经济,是未来工作的主要形式之一,只是还没有普及。去中心化自治组织正在创建自己的微观经济,向成员发放赏金,以完成任务,实现使命.

1900/1/1 0:00:00
加密货币:你有认真想过吗?下一波加密熊市会是什么样子

作者:JasonChoi,TheSpartanGroup普通合伙人/加密行业早期投资者2017年,加密货币的牛市热潮由1C0引发,当时这个加密周期有个最大特点,就是:散户资金入场的速度很快.

1900/1/1 0:00:00
USD:科普篇之一:元宇宙的那些事

这两天元宇宙总算是熄火了,但是不管是趋势热点,还是资本追捧,又或者是不断有新人盲从,未来元宇宙之路,就是一场韭菜养成记以及收割韭菜记,这是必经之路,因为元宇宙的成熟需要大量的本钱.

1900/1/1 0:00:00
Uniswap:Uniswap基金会等头部机构助力 “铸星计划”实现ACF全球价值提升

近日,?Uniswap基金会、YFI科金实验室和美国华尔街投资巨头黑石集团宣布与ACF全栈式元宇宙金融协议强强联合,达成战略合作.

1900/1/1 0:00:00
MEFI:OceanMollu GameFi的发展历程及现状

基于传统游戏Free-To-Play模式已经无法满足玩家更高层次的追求,区块链GameFi的Play-To-Earn的游戏模式开启了游戏行业的新模式,玩家从花钱买游戏体验到玩游戏参与游戏建设.

1900/1/1 0:00:00