パット(Pat)、ペギー(Peggy)は、証明者(prover)で、ビクター(Victor)は、検証者(verifier)であり、意図したトランザクションが実際に行われたことを示すため、相互作用を行う。
帕特（Pat）或佩吉（Peggy）是证明者（prover），维克托（Victor）是验证者（verifier）。