零知识证明Zero-Knowledge Proofs

零知识证明Zero-Knowledge Proofs

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

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

零知识证明Zero-Knowledge Proofs_第1张图片

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

你可能感兴趣的:(区块链,密码学,区块链)