Write, autoreview, editor, reviewer
3,129
edits
Verifiable Quantum Anonymous Transmission: Difference between revisions
m
→Pseudocode
m (→Pseudocode) |
|||
| Line 76: | Line 76: | ||
=== | ====<span style="font-variant:small-caps">Subroutines</span>==== | ||
*<span style="font-variant:small-caps">Parity</span> | *<span style="font-variant:small-caps">Parity</span> | ||
| Line 89: | Line 89: | ||
# The value <math>z=\bigoplus_{j=1}^n z_j</math> is computed, which equals <math>y_i</math>. | # The value <math>z=\bigoplus_{j=1}^n z_j</math> is computed, which equals <math>y_i</math>. | ||
*<span style="font-variant:small-caps">LogicalOR</span> | *<span style="font-variant:small-caps">LogicalOR</span> | ||
''Input'': <math>\{ x_i \}_{i=1}^n</math>, security parameter <math>q</math>. | ''Input'': <math>\{ x_i \}_{i=1}^n</math>, security parameter <math>q</math>. | ||
| Line 123: | Line 123: | ||
# Run <span style="font-variant:small-caps">LogicalOR</span> with input <math>\{ x_i \}_{i=1}^n</math> and security parameter <math>q</math> and output its outcome. | # Run <span style="font-variant:small-caps">LogicalOR</span> with input <math>\{ x_i \}_{i=1}^n</math> and security parameter <math>q</math> and output its outcome. | ||
*<span style="font-variant:small-caps">Verification</span> | |||
''Input'': <math>n</math> players share state <math>|\Psi\rangle</math>. | ''Input'': <math>n</math> players share state <math>|\Psi\rangle</math>. | ||