Write
14
edits
Line 57: | Line 57: | ||
'''Protocol for the verifier <math>\pi_{V}</math> : ''' | '''Protocol for the verifier <math>\pi_{V}</math> : ''' | ||
'''Input''': <math>\{y_{i}\}_{i=1}^{n}</math>, 1 qubit, v | :'''Input''': <math>\{y_{i}\}_{i=1}^{n}</math>, 1 qubit, v | ||
'''Output''': one Bit in <math>\{0,1\}</math> and <math>\{\theta_i\}_{i=1}^{n}</math> | :'''Output''': one Bit in <math>\{0,1\}</math> and <math>\{\theta_i\}_{i=1}^{n}</math> | ||
* Chose randomly angles <math>\Theta=\{\theta_{i}\}_{i=1}^{n}</math> with <math>\theta_{i}\in[0,\pi)</math> such that <math>\sum_{j} \theta_{j}</math> is a multiple of <math>\pi</math> | :* Chose randomly angles <math>\Theta=\{\theta_{i}\}_{i=1}^{n}</math> with <math>\theta_{i}\in[0,\pi)</math> such that :<math>\sum_{j} \theta_{j}</math> is a multiple of <math>\pi</math> | ||
* Upon the reception of the qubit, for <math>i=1,...n, i \neq v</math> send <math>\theta_{i}</math> it to party <math>i</math> via a private classical channel resource, keep <math>\theta_{v}</math>. | :* Upon the reception of the qubit, for <math>i=1,...n, i \neq v</math> send <math>\theta_{i}</math> it to party <math>i</math> via a private classical channel resource, keep <math>\theta_{v}</math>. | ||
* Measures the qubit in the <math>\{|+_{\theta_{v}}\rangle,|-_{\theta_{v}}\rangle\}</math> basis and get <math>y_{v}</math> | :* Measures the qubit in the <math>\{|+_{\theta_{v}}\rangle,|-_{\theta_{v}}\rangle\}</math> basis and get <math>y_{v}</math> | ||
* Wait for the reception of all the other <math>y_{i}</math>. | :* Wait for the reception of all the other <math>y_{i}</math>. | ||
* Upon the reception of all the <math>y_{i}</math>, broadcast 0 if and only if | :* Upon the reception of all the <math>y_{i}</math>, broadcast 0 if and only if | ||
<math> | :<math> | ||
\oplus_{j} Y_{j}=\frac{1}{\pi} \sum_{j} \theta_{j} \quad(\bmod 2) | \oplus_{j} Y_{j}=\frac{1}{\pi} \sum_{j} \theta_{j} \quad(\bmod 2) | ||
</math> | </math> | ||
Line 71: | Line 71: | ||
And for each <math>i=1,...n, i \neq v</math> | And for each <math>i=1,...n, i \neq v</math> | ||
'''Protocol for the <math>i</math>th party <math>\pi_{i} | '''Protocol for the <math>i</math>th party <math>\pi_{i}</math> : ''' | ||
'''Input:''' 1 angle <math>\theta_{i}</math>, 1 qubit and v | :'''Input:''' 1 angle <math>\theta_{i}</math>, 1 qubit and v | ||
'''Output:''' Bit <math>y_{i}</math> | :'''Output:''' Bit <math>y_{i}</math> | ||
* Wait for the reception of both classical and quantum inputs | :* Wait for the reception of both classical and quantum inputs | ||
* | :* Measures the qubit in the <math>\{|+_{\theta_{i}}\rangle,|-_{\theta_{i}}\rangle\}</math> basis | ||
* Send the outcome <math>y_{i}</math> to the Verifier via the private classical channel resource . | :* Send the outcome <math>y_{i}</math> to the Verifier via the private classical channel resource . | ||
<li style="display: inline-block;"> [[File:ConcreteResourceThetaMEV.jpg|frame| | <li style="display: inline-block;"> [[File:ConcreteResourceThetaMEV.jpg|frame|400px|Abstract Cryptography figure for the MEV protocol. Each blue box is a converter representing a protocol a party is following and red boxes are the resources used.]]</li> | ||
==Further Information== | ==Further Information== |