|
|
| Line 16: |
Line 16: |
|
| |
|
| Figure | | Figure |
| | | ==Requirements== |
| *Notations
| |
| **<math>f_k</math>, function for target register
| |
| **<math>t_k</math>, trapdoor for function <math>f_k</math>
| |
| **<math>U_{f_k}</math>, Unitary operated on the target register taking first register as control, used to compute output of the function in the target register
| |
| **y, measurement outcome of the target register
| |
| **<math>x,x'</math>, pre-image pair for a given measurement outcome y
| |
| **<math>x_i</math> value of qubit i for pre-image x
| |
| **<math>x_i'</math> value of qubit i for pre-image x’
| |
| **<math>\alpha_i</math>, Client’s measurement angles for qubit i in the control register
| |
| **<math>b_i</math>, Server’s measurement outcome for qubit i in the control register
| |
| **<math>\theta</math>, classical description of the hidden input state
| |
|
| |
|
| ==Definitions (informal)== | | ==Definitions (informal)== |