编辑“零知识证明（ZKP）”（章节）

==== 零知识 ====
小静的回答不泄漏原图的哈密顿环，因为每一轮，阿严只会得悉与的同构，或是的哈密顿环，两者之一，但他需要对同一个同时得知两者，才能构造出中的哈密顿环。如此，只要小静每轮预备一幅不同的图，就能保密。若小静不知的哈密顿环，但不知为何已事前得知阿严每轮会问的问题，则她可以作弊。例如，若小静预知阿严该轮会问的哈密顿图，则大可以秘诺一幅与无关的哈密顿图。与之类似，若小静预知阿严会问同构表，则她可以随便预备一幅与同构的图（其中她不知道任何哈密顿图）。阿严根本无需小静在场，亦可独自想像出自己将见的场面，因为他清楚自己将会问什么，将见的仅是一个环（而不显示图的其他部分）或一幅与同构的图，即阿严可以自行模拟该协议。因此，阿严从每一轮验证揭露之事，无法得到任何关于哈密顿环的信息。