New answers tagged

0 votes
Accepted

Why is zero knowledge defined via simulation w.r.t. inputs *in* the language?

So let me try and rephrase your question (please correct me if I'm wrong) -- you're asking why ZK is defined for only the YES instances and not for YES and NO instances both? EDIT: There's a more ...
Ari's user avatar
  • 178
0 votes
Accepted

Hybrid argument for quantum states

Assuming $\mathcal{A}$ can by itself generate copies of $\rho_0$ and $\rho_1$, then yes this is the case. \begin{align*} &\| \mathcal{A}(\rho_0^{\otimes p}) - \mathcal{A}(\rho_0^{\otimes p})\| \...
lamontap's user avatar
  • 870

Top 50 recent answers are included