Towards Practical Zero-Knowledge Proof for PSPACE

Ashwin Karthikeyan, Hengyu Liu, Kuldeep S. Meel +1

Efficient zero-knowledge proofs (ZKPs) have been restricted to NP statements so far, whereas they exist for all statements in PSPACE. This work presents the first practical zero-kn…