零知识证明Zero-Knowledge Proofs

零知识证明Zero-Knowledge Proofs

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

• 参与者
  • 示证者
  • 验证者
• 分类
  • Interactive交互式
    • 示证者和验证者之间相互交流，进行验证。但是示证者不会进行透露任何的有关信息
  • Non-interactive非交互式 区块链的ZK-SHARKS
    • 示证者和验证者之间不要进行过多的交流，直接进行验证

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