[IMPORTANT] Zero-knowledge interactive proofs