零知识证明模拟从两方面考虑P1方corruption,考虑P1方的目的输入fake的信息并且通过验证。那么如何证明P1方确实拥有知识呢?模拟就是要证明P2能提取出P1方的信息,说明确实是拥有知识a的(可靠性)P2方corruption,考虑'P2方的目的是获取知识a,如何证明P2没有获取到知识呢?那P1也就是没有知识也能通过验证。(零知识)
读心术:从零知识证明中提取「知识」——探索零知识证明系列(三)