Write
14
edits
Line 20: | Line 20: | ||
==Notation== | ==Notation== | ||
* <math>n</math>: Number of parties | * <math>n</math>: Number of parties | ||
* <math>v</math>: | * <math>v</math>: Identifier of the Verifier | ||
* <math>\{\pi_i\}_{i=1}^n</math>: | * <math>\{\pi_i\}_{i=1}^n</math>: Protocol of each party, <math>\pi_V</math>: Protocol of the verifier, <math>\pi_S</math>: Protocol of the source | ||
* <math>SG_n</math>: n-qubit State Generation resource | * <math>SG_n</math>: n-qubit State Generation resource | ||
* <math>\{\theta_i\}_{i=1}^n</math>: Angles sent from the Verifier to each party i (indication for the measurement to perform) | * <math>\{\theta_i\}_{i=1}^n</math>: Angles sent from the Verifier to each party i (indication for the measurement to perform) | ||
* <math> \{|+_{\theta_{i}}\rangle,|-_{\theta_{i}}\rangle\} = \{\frac{1}{\sqrt{2}}(|0\rangle + e^{i\theta_{i}}|1\rangle), \frac{1}{\sqrt{2}}(|0\rangle - e^{i\theta_{i}}|1\rangle)\} </math>: Rotated measurement basis for the parties. | * <math> \{|+_{\theta_{i}}\rangle,|-_{\theta_{i}}\rangle\} = \{\frac{1}{\sqrt{2}}(|0\rangle + e^{i\theta_{i}}|1\rangle), \frac{1}{\sqrt{2}}(|0\rangle - e^{i\theta_{i}}|1\rangle)\} </math>: Rotated measurement basis for the parties. | ||
* <math>\{y_i\}_{i=1}^n</math>: | * <math>\{y_i\}_{i=1}^n</math>: Classical bits sent from each party i to the Verifier (outcome of the measurement) | ||
* <math>b</math>: | * <math>b</math>: Outcome of the protocol | ||
==Requirements== | ==Requirements== |