Making Quantum Local Verifiers Simulable with Potential Applications to Zero-Knowledge

Lijie Chen, Ramis Movassagh

Recently Chen and Movassagh proposed the quantum Merkle tree, which is a quantum analogue of the well-known classical Merkle tree. It gives a succinct verification protocol for qua…