区块链|零知识证明

一、零知识证明的定义

零知识证明就是指如何在不暴露关键信息的前提下，向别人证明你掌握的关键信息大概率是正确的。

分为交互式和非交互式两种。
交互式：如通过证明方和验证方双方进行一系列问答来验证，缺点是双方可能提前串通好。
非交互式：证明方和验证方双方不直接接触，但需要第三方来进行协助做公证。

二、区块链为什么要用到零知识证明？

在区块链的世界中，用地址来表示交易双方，以此达到了匿名的作用。然而，链上的信息虽然是匿名的，但是通过链上信息绑定的链下信息，像很多交易所都绑定了链上地址与链下的银行账户、支付宝，使得可以很方便的追溯真实世界的交易双方，使得匿名性荡然无存。

而零知识证明，则能够在隐藏发送方、接受方以及交易金额等其他细节的情况下，保证交易有效。

三、零知识证明在区块链中的应用

zk-SNARK——“zero knowledge Succinct Non-interactive ARgument of Knowledge”

1、 zero knowledge：零知识，即在证明的过程中不透露任何内情
2、 succinct：简洁的，主要是指验证过程不涉及大量数据传输以及验证算法简单。
3、 non-interactive：无交互。