Home » 北京大学研究员:Filecoin是最大的区块链零知识证明网络

北京大学研究员:Filecoin是最大的区块链零知识证明网络

摘要:

 

2021云栖大会北京大学研究员肖臻:

 

Filecoin利用zk-SNARK完成了复制证明和时空证明,Filecoin是迄今为止部署的最大的zk-SNAR网络(区块链零知识证明)

 

10月22日,2021云栖大会-蚂蚁链“区块链+”可信链接技术发展与实践分论坛在杭州举行。

 

北京大学研究员、博士生导师肖臻以《区块链+隐私计算融合技术趋势》为题进行分享。

 

 

在演讲中,他指出:

 

隐私计算的目标是数据所有权和数据使用权的分离,前景十分宏伟。

 

但现在,隐私计算的发展仍处于早起阶段,并没有实现通用。

 

其涵盖了联邦学习、安全多方计算、同态加密、零知识证明、TEE可信执行环境等技术。

 

 

肖臻表示

 

当前隐私计算方案普遍计算效率较低,零知识证明验证效率低,同态加密消耗资源多,查分隐私降低模型精度。

 

而TEE的新人员与硬件厂商高度绑定,影响可信度,同时存在侧信道攻击的可能性,存在安全隐患。

 

 

肖臻介绍

 

区块链领域中应用最多的零知识证明是zk-SNARK技术。

 

Zcash是zk-SNARK的第一个广泛的应用!

 

Filecoin利用zk-SNARK完成了复制证明和时空证明,Filecoin是迄今为止部署的最大的zk-SNAR网络(区块链零知识证明)。

 

zk-SNARK是利用这个协议保护链上的交易具体信息

 

 

简单来讲:

 

就是谁给谁转账转多少钱,在zk里面是加密的,你是不知道的。

 

然后还有一个大家比较熟悉的Filecoin,大家都听说过:

 

Filecoin是zk-SNARK协议的一个最大规模的应用!

 

 

Filecoin网络里面每天要产生几百万个零知识证明,证明是什么?

 

他的理念就是我帮你存东西,就可以获得出块奖励。

 

 

他要证明两个

 

第一个是我存你的东西,叫做复制证明PoRep。

第二个是时空证明,就是 Post。

 

 

一开始比如说你是个用户,你想在我IPFS系统里存什么文件,你跟我达成一个存储的交易协议;

 

一开始的时候要进行一次复制证明,复制证明只能做一次,时空证明是要不断的做的;

 

 

我要定期的向你证明我继续存储了当初所承诺的那些数据,那么它这里有罚没机制:

 

因为我要存储你的东西,我获得代币奖励。

 

我现在质押一部分代币,那么如果因为种种原因,我没有能够及时提供施工证明,那么我当初抵押的代币可能就要被罚没掉一部分。

 

 

在这里,提到的区块链零知识证明,或者很多人对其不是很清楚。

 

 

我们再来普及下:什么是零知识证明?

 

零知识证明(Zero—Knowledge Proof),是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初提出的。

 

 

它指的是证明者能够在不向验证者提供任何有用的信息的情况下,使验证者相信某个论断是正确的。

 

零知识证明实质上是一种涉及两方或更多方的协议,即两方或更多方完成一项任务所需采取的一系列步骤。

 

证明者向验证者证明并使其相信自己知道或拥有某一消息,但证明过程不能向验证者泄漏任何关于被证明消息的信息。

 

 

大量事实证明

 

零知识证明在密码学中非常有用。如果能够将零知识证明用于验证,将可以有效解决许多问题。

 

 来源:百度作者:深圳市汉唐云 

发表评论

4 × 3 =