Editing Measurement-Only Verifiable Universal Blind Quantum Computation (section)

==Protocol Description==

'''Stage 1''': Server's preparation </br>
'''Input''': Dimensions of the resource state.</br>
'''Output''': Client: receives all qubits
* Server creates <math>G_{m\times n}</math> and sends each qubit to Client

</br>
'''Stage 2''': Client's measurement</br>
'''Input''': Resource state qubits </br>
'''Output''': Final outcome
* For <math>i = 1, 2, ... m-1</math>:
** For <math>j = 1, 2, ...n</math>:
*** Client receives resource state qubit <math>|\psi\rangle_{i,j,0}</math> from server.
*** Client performs measurement on <math>|\psi\rangle_{i,j,0}</math> according to the measurement pattern.
** Through the measurements, Client creates the state <math>\sigma_q|\psi\rangle_P</math> in the server's possession, where
<div style="text-align: center;"><math> |\psi\rangle_P = P(|R\rangle\otimes |+\rangle^{\otimes \frac{N}{3}} \otimes |0\rangle^{\otimes \frac{N}{3}}) </math></div>

* For <math>i = 1, 2, ...n</math>: (for every qubit of <math>\sigma_q|\psi\rangle_P</math>)
** Client receives <math>\sigma_q{|\psi\rangle_P}_i</math> from the server.
** Measurement is done after applying the correction <math>\sigma^{\dagger}_q</math> on the qubit received.
** If result obtained is <math>|1\rangle</math> (for trap qubit <math>|0\rangle</math>) or <math>|-\rangle</math>(for trap qubit <math>|+\rangle</math>):
*** Protocol is aborted.
** else:
*** Protocol is continued and accepted if all trap qubits show expected outcome (<math>|0\rangle</math> or <math>|+\rangle</math>).