摘要：

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年代初提出的。

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

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

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

大量事实证明

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