Editing Prepare-and-Send Verifiable Universal Blind Quantum Computation (section)

==Notation==
* <math>n</math>: Total number of input qubits. Also total number of output qubits in quantum outputs.
* <math>m</math>: Total number of qubits in the graph state.
* <math>|I\rangle</math>: <math>n</math> qubit input state.
* <math>|e\rangle</math>: Encoded <math>n</math> qubit input state.
* <math>x</math>: Set of random bits used in encoding <math>|I\rangle</math> via quantum one time pad.
* <math>t</math>: Trap qubit position vertex in the graph state.
* <math>D</math>: Set of all position vertices in the tape of the cylinder brickwork state.
* <math>\theta_i</math>: Random local phase angles for qubit <math>i</math>.
* <math>|+\rangle_{\theta_i}</math>:  <math>\frac{1}{\sqrt{2}} (|0\rangle +e^{i\theta_i}|1\rangle)</math>
* <math>\phi_i</math>: True measurement angle for qubit <math>i</math>. This is assigned corresponding to the graph state.
* <math>r \in \{ 0, 1\}</math>: randomly chosen parameter for <math>\pi</math> rotation in order to hide classical output.
* <math>N_g(k)</math>: Denotes neighborhood of vertex k in graph state
* <math>f</math>: Function which defines flow from measured qubits to noninput qubits, <math>f:</math> output vertices <math>\xrightarrow{}</math> input vertices
* <math>\theta^{'}_i</math>: Updated version of Random local phase angle for qubit <math>i</math>.
* <math>\delta_i</math>: Final measurement angle for qubit <math>i</math>.
* <math>b_i</math>: Measurement output by the server.
* <math>s</math>: Sequence of length m describing the result of the nonoutput measurements. <math>s_i \in \{0, 1\}</math>