26 citations · 107 across the 18 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
quant-ph2022
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…
cs.CC2022
Constructive Separations and Their Consequences
Lijie Chen, Ce Jin, Rahul Santhanam +1
For a complexity class and language , a constructive separation of gives an efficient algorithm (also called a refuter) to find counterexamples (bad inputs) for…