Write, autoreview, editor, reviewer
3,129
edits
Line 26: | Line 26: | ||
*<math>s_v: (s_a < s_v)</math> verification threshold per qubit. | *<math>s_v: (s_a < s_v)</math> verification threshold per qubit. | ||
== | == Example: https://arxiv.org/abs/1403.5551 == | ||
*Notations | *Notations | ||
**<math>|\psi^k\rangle</math>: Quantum Public key for message k | **<math>|\psi^k\rangle</math>: Quantum Public key for message k | ||
Line 35: | Line 35: | ||
**<math>b^k_l</math>: Buyer’s random bit to determine the measurement basis of <math>l^{th}</math> qubit in <math>|\psi^k\rangle</math> | **<math>b^k_l</math>: Buyer’s random bit to determine the measurement basis of <math>l^{th}</math> qubit in <math>|\psi^k\rangle</math> | ||
**<math>v^k_l</math>: Verifier’s random bit to determine the measurement basis of <math>l^{th}</math> qubit in <math>|\psi^k\rangle</math> | **<math>v^k_l</math>: Verifier’s random bit to determine the measurement basis of <math>l^{th}</math> qubit in <math>|\psi^k\rangle</math> | ||
**<math>m_{b^k_l}</math>: measurement outcome of <math>b^k_l</math> | **<math>m_{b^k_l}</math>: measurement outcome of <math>b^k_l</math> | ||
==='''Stage 1:''' Distribution=== | ===Pseudo Code=== | ||
===='''Stage 1:''' Distribution==== | |||
*'''Input''' L | *'''Input''' L | ||
*'''Output''' Seller: <math>\{\beta^0_1,...,\beta^0_L\},\{\beta^1_1,...,\beta^1_L\}</math>; Buyer: <math>B^0,B^1</math>; Verifier: <math>V^0,V^1</math> | *'''Output''' Seller: <math>\{\beta^0_1,...,\beta^0_L\},\{\beta^1_1,...,\beta^1_L\}</math>; Buyer: <math>B^0,B^1</math>; Verifier: <math>V^0,V^1</math> | ||
Line 64: | Line 65: | ||
### <math>\forall i\epsilon I</math> Verifier replaces <math>V^k_l=B^k_l</math> | ### <math>\forall i\epsilon I</math> Verifier replaces <math>V^k_l=B^k_l</math> | ||
==='''Stage 2''' Messaging=== | ===='''Stage 2''' Messaging==== | ||
*'''Input''' Seller: Message m, Private Key for m: <math>\{\beta^m_1,...,\beta^m_L\}</math> | *'''Input''' Seller: Message m, Private Key for m: <math>\{\beta^m_1,...,\beta^m_L\}</math> |