零知识证明系统，它不是知识证明？

Question

我了解到，利用三色问题可以构造零知识(ZK)证明系统。在这种情况下，证明系统也恰好是知识的证明(POK)，也就是说，任何证明者都必须知道一个证人才能说服验证者。

是否有不属于POK的ZK证明系统？

Answer 1

当然，有ZK证明系统是不知道是POK，并且没有知识提取器是已知的。例如，以高德雷希-卡汉 4轮ZK验证系统为例.然而，我们是否知道一个非平凡的证明系统，证明它不是知识的证明？就我所知没有。