Write, autoreview, editor, reviewer
3,125
edits
Pseudo-Secret Random Qubit Generator (PSQRG): Difference between revisions
Jump to navigation
Jump to search
Pseudo-Secret Random Qubit Generator (PSQRG) (edit)
Revision as of 10:17, 17 October 2018
, 17 October 2018→Properties
| Line 47: | Line 47: | ||
== Properties == | == Properties == | ||
*<math>f_k</math>, the function with required properties as given below in point 4 | *<math>f_k</math>, the function with required properties as given below in point 4. | ||
*n, number of qubits in the control register | *n, number of qubits in the control register. | ||
*This protocol assumes an honest Client and proves security only for an adversarial Server. | *This protocol assumes an honest Client and proves security only for an adversarial Server. | ||
*This protocol takes the assumption of a Quantum Honest But Curious (QHBC) adversary setting i.e. the protocol is secure against an honest Server who just wants to know Client’s hidden data but not modify it without Client’s consent. | *This protocol takes the assumption of a Quantum Honest But Curious (QHBC) adversary setting i.e. the protocol is secure against an honest Server who just wants to know Client’s hidden data but not modify it without Client’s consent. | ||
| Line 57: | Line 57: | ||
*The Server cannot guess the state any better than if he had just received that state directly from the Client (up to negligible probability). | *The Server cannot guess the state any better than if he had just received that state directly from the Client (up to negligible probability). | ||
*''Correctness'' If both the Client and the Server follow the protocol, the protocol aborts when {missing equation}, while otherwise the Server ends up with the output (single) qubit being in the state ), where <math>\theta</math> is given by [[equation|equation]] (see Pseudo Code). | *''Correctness'' If both the Client and the Server follow the protocol, the protocol aborts when {missing equation}, while otherwise the Server ends up with the output (single) qubit being in the state ), where <math>\theta</math> is given by [[equation|equation]] (see Pseudo Code). | ||
* The single qubit state generated by the protocol remains private against a QHBC Server | * The single qubit state generated by the protocol remains private against a QHBC Server. | ||
==Definitions (informal)== | ==Definitions (informal)== | ||