Re: Zero-knowledge interactive proofs