Write, autoreview, editor, reviewer
3,129
edits
Prepare and Measure Quantum Digital Signature: Difference between revisions
Jump to navigation
Jump to search
Prepare and Measure Quantum Digital Signature (edit)
Revision as of 21:20, 10 October 2018
, 10 October 2018→Pseudo Code
| Line 31: | Line 31: | ||
== Pseudo Code == | == Pseudo Code == | ||
*Notations | *Notations | ||
**<math>|\psi^k\rangle</math>: Quantum Public key for message k | |||
**<math>\{\beta^k_1,...,\beta^k_L\}: Classical Private key for classical one-bit message k | |||
**<math>\beta^k_l</math>: the classical description of <math>l^th</math> qubit in <math>|\psi^k\rangle</math> | |||
**<math>B^m</math>: Buyer's Eliminated Signature for message m | |||
**<math>V^m</math>: Verifier's Eliminated Signature for message m | |||
**<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>m_{b^k_l}</math>: measurement outcome of <math>b^k_l</math> | |||
==='''Stage 1:''' Distribution=== | ==='''Stage 1:''' Distribution=== | ||
*Input: L | *Input: L | ||
*Output: Seller: Private keys <math>\{\beta^0_1,...,\beta^0_L\},\{\beta^1_1,...,\beta^1_L\}</math>; Buyer: Eliminated Signatures <math>B^0,B^1</math>; Verifier: Eliminated Signatures <math> | *Output: Seller: Private keys <math>\{\beta^0_1,...,\beta^0_L\},\{\beta^1_1,...,\beta^1_L\}</math>; Buyer: Eliminated Signatures <math>B^0,B^1</math>; Verifier: Eliminated Signatures <math>V^0,V^1</math> | ||
**'''Key Distribution:''' | **'''Key Distribution:''' | ||
#For k = 0,1 | #For k = 0,1 | ||
## Seller prepares quantum public key , where | ## Seller prepares quantum public key , where | ||
## She sends Buyer (k,<math>|\psi^k\rangle</math>) | ## She sends Buyer (k,<math>|\psi^k\rangle</math>) | ||
## She sends Verifier (k,<math>|\psi^k\rangle</math>) | ## She sends Verifier (k,<math>|\psi^k\rangle</math>) | ||
**'''State Elimination:''' | **'''State Elimination:''' | ||
#For k = 0,1 | #For k = 0,1 | ||
##For l = 1,2,...,L | ##For l = 1,2,...,L | ||
| Line 47: | Line 54: | ||
###If <math>b^k_l=0</math>, Buyer measures his qubit in Z basis <math>\{|0\rangle,|1\rangle\}</math> | ###If <math>b^k_l=0</math>, Buyer measures his qubit in Z basis <math>\{|0\rangle,|1\rangle\}</math> | ||
###'''return''' <math>m_{b^k_l}</math> | ###'''return''' <math>m_{b^k_l}</math> | ||
**Verifier repeats steps 2(a)-2(b) with randomly chosen basis <math> | **Verifier repeats steps 2(a)-2(b) with randomly chosen basis <math>v^k_l</math> to get his eliminated signature elements <math>V^k_l</math> | ||
**'''Symmetrisation''' | **'''Symmetrisation''' | ||