[ITAR] Zero-knowledge interactive proofs