5 citations · 5 across the 1 of their papers we have counts for
4 papers
Multi-theorem (Malicious) Designated-Verifier NIZK for QMA
Omri Shmueli
We present the first non-interactive zero-knowledge argument system for QMA with multi-theorem security. Our protocol setup constitutes an additional improvement and is constructed…
Scalable Pseudorandom Quantum States
Zvika Brakerski, Omri Shmueli
Efficiently sampling a quantum state that is hard to distinguish from a truly random quantum state is an elementary task in quantum information theory that has both computational a…
Post-quantum Zero Knowledge in Constant Rounds
Nir Bitansky, Omri Shmueli
We construct a constant-round zero-knowledge classical argument for NP secure against quantum attacks. We assume the existence of Quantum Fully-Homomorphic Encryption and other sta…
(Pseudo) Random Quantum States with Binary Phase
Zvika Brakerski, Omri Shmueli
We prove a quantum information-theoretic conjecture due to Ji, Liu and Song (CRYPTO 2018) which suggested that a uniform superposition with random \emph{binary} phase is statistica…