[ANNOUNCEMENT] Zero-knowledge interactive proofs