Write, autoreview, editor, reviewer
3,129
edits
Line 57: | Line 57: | ||
<math>|P\rangle := H^{k_{pri}}|\phi\rangle_{s, t\oplus m}</math> | <math>|P\rangle := H^{k_{pri}}|\phi\rangle_{s, t\oplus m}</math> | ||
* <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> | * <math>B_l</math>: This is the set of the basis of each <math>l^th</math> qubit in <math>|P\rangle</math>. | ||
<math> | <math> B_l = Basis of measurement (|P\rangle) \in \{+,\times \}</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. |