These are Zero-Knowledge Proofs that require both prover and verifier to communicate during the proving process. Example Colorblind Friend Proof Example