Proofs of Partial Knowledge and Simplified Design of Witness Hiding Protocols