草庐IT

zk-SNARK

全部标签

使用 zk-SNARKs 的可编程零知识证明:第 3 部分

之前,我们已经展示了如何使用称为零知识密钥声明证明(ZKKSP)的技术为以下声明构建零知识证明(ZKP)。基本上,它证明了不仅证明者知道给定公钥的密钥,而且还证明知道给定摘要的秘密哈希,而不会泄露秘密。图片来自CoinGeek虽然ZKKSP有效,但它有一个严重的限制:它只适用于一种特定形式的声明,即秘密是给定公钥的私钥,也是给定哈希的原像。目前尚不清楚如何将其扩展为稍作修改的声明,例如,除了作为私钥和原像之外,私钥也是偶数。此外,提出它需要密码学的专利级知识,例如∑协议和承诺方案。使用zkSNARKs的ZKKSP我们通过利用zkSNARKs的可编程性来重新实现ZKKSP。我们简单地将第2部分中