Complementing zero-knowledge watermark detection: Proving properties of embedded information without revealing it.