[DSS] Zero-knowledge interactive proofs