[ADMINISTRATIVIUM] Zero-knowledge interactive proofs