零知识证明Zero-Knowledge Proofs
零知识证明Zero-Knowledge Proofs
示证者能够在不向验证者提供任何有用的信息的情况下,使得验证者相信某个论断是正确的。
- 参与者
- 示证者
- 验证者
- 分类
- Interactive交互式
- 示证者和验证者之间相互交流,进行验证。但是示证者不会进行透露任何的有关信息
- Non-interactive非交互式 区块链的ZK-SHARKS
- 示证者和验证者之间不要进行过多的交流,直接进行验证
- Interactive交互式
- zk-SNARK
- 全称是zero-knowledge Succinct Non-Interactive Arguments of Knowledge
- 零知识,简洁,非交互的知识论证
- Zcash 是第一个应用zk-SNARK技术的区块链,它能够提供完全隐私化和加密化的虚拟货币转账。
- Succinct (简洁性):验证者(verifier)只需要少量计算就可以完成验证。这对于区块链非常重要,因为区块链上为了能够快速达到共识,每一个计算步骤不能过于复杂。
- Non-interactive (非交互性):示证者(prover)和验证者(verifier)之间只需要交换极少量的信息即可完成整个验证过程。这对于区块链同样至关重要,因为区块链上节点众多,并且每个节点都需要每一笔对交易进行验证,所以验证过程必须只涉及极少量的信息交换,否则通信成本会非常巨大。
- 缺陷
- 计算量大
- 初始得随机信息的保存很难让人放心,也很难进行拓展