Write, autoreview, editor, reviewer
3,129
edits
Line 60: | Line 60: | ||
<math> B_l \in \{+,\times \}</math> | <math> B_l \in \{+,\times \}</math> | ||
*<math>B_l(|P_l\rangle)</math>: Measurement of <math>l^{th}</math> qubit in basis <math>B_l</math> | *<math>B_l(|P_l\rangle)</math>: Measurement of <math>l^{th}</math> qubit in basis <math>B_l</math> | ||
*<math> | *<math>b_l</math>: measurement result of <math>l^{th}</math> qubit in the concerned quantum state | ||
* <math>|F\rangle</math>: Quantum digital digest received by PKG. | * <math>|F\rangle</math>: Quantum digital digest received by PKG. | ||
* <math>|F\rangle'</math>: Quantum digital digest generated by Verifier. | * <math>|F\rangle'</math>: Quantum digital digest generated by Verifier. |