Gottesman and Chuang Quantum Digital Signature

The example protocol achieves the functionality of (Quantum) Digital Signatures (QDS) allowing the exchange of classical messages from sender to multiple recipients, with a guarantee that the signature has come from a genuine sender. This protocol utilises quantum memory and achieves all the properties of QDS. Such protocols require parties to store quantum states for comparison at a later stage. This protocol is based quantum public key cryptography.

Tags: Multi Party (three), Quantum Enhanced Classical Functionality, Specific Task, Quantum Digital Signature, Prepare and Measure Quantum Digital Signature, Measurement Device Independent Quantum Digital Signature (MDI-QDS)

Assumptions

• Perfect devices and channels have been assumed
• It has been assumed that all recipients have received correct and identical copies of Seller's public key (explained later)
• All participants know, the map which takes private keys to public keys, threshold value of acceptance ($c_{1}$) and threshold value for rejection ($c_{2}$)
• Distribution of public keys requires authenticated quantum and classical channels between all parties

Outline

Gottesman and Chuang signature scheme is based on quantum one way functions, which take classical bit string as input and give quantum states as output. Quantum Digital Signature (QDS) protocols can be divided into two stages: the distribution stage, where quantum signals (public keys) are sent to all recipients, and the messaging stage, where classical messages are signed, sent and verified. Here, we take the case of three parties, one sender (referred to as seller) and two receivers (buyer and verifier) sharing a one bit message. Distribution phase can be divided into the following two steps:

• Key Generation: For each message bit (say 0 and 1) seller selects some (say M) classical bit strings randomly. These are chosen to be her private keys for that message bit. Using this private key as input, seller generates output of the quantum one-way function/map, which she calls her public key and as assumed above, distributes them to each recipient, for each message bit. In the end of this step, each recipient has 2M public keys, M for message bit 0 and M for message bit 1. Following are a few suggestions for the quantum one way functions, by the authors.

Quantum One Way Functions: The author suggests quantum fingerprint states (1), stabilizer states (2) to represent classical strings in terms of quantum states. The number of qubits for the quantum state used, to represent each bit in the classical string, depends on which of the above methods is used. Another method where each classical bit is represented by one quantum bit, is also suggested.

• Key Distribution: The authors suggest a few methods for key distribution. One of them is the assumption of a trusted third party who receives public keys from seller, checks all the keys using Quantum SWAP Test and then if test is passed by each key sent, the trusted party distributes it to the recipients. A second method eliminates the requirement of a trusted third party and instead requires Sender to send two copies of each public key to each recipient, such that, in the end each recipient has 4M keys (2M public keys for each message bit). Both buyer and verifier perform quantum swap test on their supposedly identical copies of public keys. Then, if passed, Buyer sends one copy of his public key to the verifier, who then performs the SWAP test between the received copy and his copy of public key.

Similarly, messaging stage can be described as follows:

• Messaging: Seller sends her message bit with the associated private keys to the buyer. Buyer performs the map on the private key (quantum one way function takes the sent private key as input) and then compares the output thus generated with the public key received in the distribution stage. If the number of unmatched bits are below rejection threshold, the message is declared valid, else invalid. If the number of unmatched bits is below acceptance threshold, it is declared transferable, else not transferable.

A generalized scheme for more than three parties is given in the article. Also, for multi-bit messages, a scheme using error correcting codes has been suggested in brief.

Notations

• m: message bit (0 or 1)
• M: number of private keys chosen/produced for each message bit
• k: classical string/ private key
• $|f(k)\rangle$: quantum output of quantum one way function (public key) with classical input bit k
• L: length of private key
• n: number of qubits in the quanutm state $|f_{k}\rangle$
• $c_{1}$: threshold for acceptance
• $c_{2}$: threshold for rejection

Properties

• The public keys can be used only once.
• Only limited (T) distribution of public keys should be allowed, such that $T<L/n$, where quantum public key is an 'n' qubit state.
• Unlike some classical information-theoretic (unconditional security) schemes which require secure anonymous broadcast channel or noisy channel, which are hard to achieve resources, the quantum scheme provides information-theoretic security by only demanding plausible quantum channels and modest interaction between parties involved.
• The scheme is secure against forgery if $(1-\delta ^{2})(M-G)>c_{2}M$, where $G=2^{-(L-Tn)}2M$ and $\delta$ depends on public keys and hence, on quantum one way functions. $\delta \sim 0.9$ for quantum fingerprint states; $\delta \sim 1/{\sqrt {2}}$ for stabilizer states. For the method where one classical bit is represented by one qubit, which consists of the states $cos(j\theta )+sin(j\theta )$, for $\theta =\pi /2^{L}$, $\delta =cos(\theta )$.
• The Seller can successfully repudiate by probability, $p_{cheat}\sim O(d^{-M})$, for some $d>1$.

Requirements

• Network Stage:Quantum Memory
• Required parameters: Size of public key (n), private key (L), signed message (1, in above case)
• Scalability:
  • Size of public key increases as logarithm of number of recipients.
  • Size of private key, $L\geq T$ where T must be linear or quadratic in the number of recipients.
  • Size of signed message scales linearly with L.
  • Total amount of keys consumed scales linearly with number of messages sent.
• Benchmark values: No experimental implementation using qubits. See Experimental Papers (1) for implementation using coherent states.

Pseudocode

Stage 1 Distribution

• Input L
• Output Seller: $\{k_{0}^{i},k_{1}^{i}\}$, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1\le i\le M} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\{f(k_0^i)\rangle, |f(k_1^i)\rangle\}}
  • Key Generation

1. For m = 0,1
   1. For i=0,M
      1. Seller generates classical bits $k_{m}^{i}$
      2. Seller performs quantum one way map: $k_{m}^{i}\rightarrow |f(k_{m}^{i})\rangle$

• • Key Distribution: (No Trusted Third Party Assumption)

1. For m = 0,1
   1. For i=0,M
      1. For j=1,2
         1. Seller sends $f_{k_{m}^{i}}^{j}$ to buyer and verifier
         2. Buyer performs QSWAP TESTFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (f_{k_m^i}^1, f_{k_m^i}^2)}
         3. If QSWAP TEST= False, Buyer aborts
         4. If QSWAP TEST= True, Buyer sends $f_{k_{m}^{i}}^{b}=f_{k_{m}^{i}}^{2}=f_{k_{m}^{i}}^{1}$ to verifier
         5. Verifier performs similar steps and sends $f_{k_{m}^{i}}^{v}=f_{k_{m}^{i}}^{2}=f_{k_{m}^{i}}^{1}$ to buyer
         6. Both perform SWAP TEST$(f_{k_{m}^{i}}^{b},f_{k_{m}^{i}}^{v})$
         7. If QSWAP TEST= False, protocol aborted
         8. If QSWAP TEST= True, distribution successful

Stage 2 Messaging

• Input Seller: Message b, Private Key for $k_{b}$
• Output Buyer: 1-ACC (Message is valid and transferable), 0-ACC (Message is valid but not transferable), REJ (Message is invlaid)
  • Signing:

1. For i=1,M
2. Seller sends Buyer (b,$k_{b}^{i}$)
3. For l = 1,2,..,L
   1. Buyer performs Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k_b^i\rightarrow f_{new}}
   2. Buyer performs QSWAP TEST$(f_{new},f_{k_{b}^{i}})$
   3. If QSWAP TEST= False, $s_{B}=s_{B}+1$
4. If $s_{B}<c_{1}M$, result 1-ACC
5. If $c_{1}M<s_{B}<c_{2}M$, result 0-ACC
6. If $s_{B}>c_{2}M$, result REJ

Further Information

This protocol was the first ever scheme designed for Quantum Digital Signatures. Due to unavailability of quantum memory at the current stage, this scheme has not seen enough experimental implementations, yet variations of the same without the need of quantum memory has some progress such as Prepare and Measure Quantum Digital Signature, Measurement Device Independent Quantum Digital Signature (MDI-QDS), etc.. Following is the list of few more protocols with similar requirement (quantum memory) but small variations.

• Theoretical Papers

1. GC (2001) above protocol
2. ACJ (2006) discusses coherent states comparison with a QDS scheme outlined in the last section.
   1. Protocol uses the same protocol as (2) but replaces qubits with coherent states, thus replacing SWAP-Test with Coherent State Comparison. Additionally, it also requires quantum memory, authenticated quantum and classical channels, multiports.
   2. Security: Information-theoretic
3. Shi et al (2017) Discusses an attack and suggests corrections on existing QDS scheme using single qubit rotations. Protocol uses rotation, qubits, one-way hash function; Private keys: angle of rotation, Public keys: string of rotated quantum states.
   1. Requires random number generator, one-way hash function, quantum memory, key distribution.
   2. Security: Computational

• Experimental Papers

1. Clarke et al (2012) uses phase encoded coherent states, coherent state comparison
   1. Loss from multiport=7.5 dB, Length of the key= Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 10^6}

References

1. Burhman et al (2001)
2. Nielsen M. A. and Chuang I. L. Quantum computation and quantum information. Cambridge University Press, Cambridge, UK, 2000.

*contributed by Shraddha Singh