Write, autoreview, editor, reviewer
3,129
edits
Line 58: | Line 58: | ||
* <math>P</math>: Classical 2n-bit for <math>n</math>-qubit <math>|P\rangle</math> where <math>|+\rangle</math> is encoded to 10, <math>|-\rangle</math> to 11, <math>|1\rangle</math> to 00 and <math>|0\rangle</math> is encoded to 01. | * <math>P</math>: Classical 2n-bit for <math>n</math>-qubit <math>|P\rangle</math> where <math>|+\rangle</math> is encoded to 10, <math>|-\rangle</math> to 11, <math>|1\rangle</math> to 00 and <math>|0\rangle</math> is encoded to 01. | ||
* <math>B_l</math>: This is the set of the basis of each <math>l^th</math> qubit in <math>|P\rangle</math>. | * <math>B_l</math>: This is the set of the basis of each <math>l^th</math> qubit in <math>|P\rangle</math>. | ||
<math> B_l | <math> B_l \in \{+,\times \}</math> | ||
*<math>B_l(|P_l\ | *<math>B_l(|P_l\rangle)</math>: Measurement of <math>l^th</math> qubit in basis <math>B_l</math> | ||
* <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. |