ZKP/零知识证明

零知识证明 zero-knowledge proofs，简称ZKPs,零知识证明最早由MIT的Shafi Goldwasser和Silvio Micali在1985年一篇名为《互动式证明系统的知识复杂性》的论文中提出。

零知识证明可以是交互式的，即证明者面对每个验证者都要证明一次数据的真实性；也可以是非交互式的，即证明者创建一份证明，任何使用这份证明的人都可以进行验证。零知识证明目前有多种实现方式，如zk-SNARKS、zk-STARKS、PLONK以及Bulletproofs。每种方式在证明大小、证明者时间以及验证时间上都有自己的优缺点。

零知识证明有三个基本特征:

一完整性：如果statement为true，则诚实的验证者可以相信诚实的证明者确实拥有正确的信息。

二可靠性：如果statement为false，则任何不诚实的证明者都无法说服诚实的验证者相信他拥有正确的信息。

三零知识性：如果statement为true，则验证者除了从证明者那里得知statement为true以外，什么都不知道。

零知识证明的主要价值是可以在以太坊等透明的公链上利用隐私数据集。区块链本质上透明度非常高，任何在区块链网络中运行的节点都可以查看并下载所有储存在账本中的数据，而区块链结合了零知识证明技术，可以让用户和企业用隐私数据来执行智能合约，并且不透露具体的数据内容。

Zcash等区块链已经开始采用零知识证明，用户可以创建隐私交易，隐藏交易金额以及发送者和接收者的地址。

DECO是目前Chainlink正在开发的基于零知识证明技术的预言机解决方案，也是Chainlink网络的安全链下计算套件中的一个隐私保护预言机协议。