Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...