Arbitrated Quantum Digital Signature: Difference between revisions

From Quantum Protocol Zoo
Jump to navigation Jump to search
Line 87: Line 87:
* If  <math>|F\rangle = |F\rangle'</math>, the measuring result <math>|0\rangle</math> occurs with probability 1, otherwise it occurs with probability <math>\frac{1+\delta^2}{2}</math>. Hence, when repeated for <math>w</math> times, the probability of equality is at least 1-<math>(\frac{1+\delta^2}{2})^w</math>.
* If  <math>|F\rangle = |F\rangle'</math>, the measuring result <math>|0\rangle</math> occurs with probability 1, otherwise it occurs with probability <math>\frac{1+\delta^2}{2}</math>. Hence, when repeated for <math>w</math> times, the probability of equality is at least 1-<math>(\frac{1+\delta^2}{2})^w</math>.


==Pseudocode==
==Protocol Description==
<u>'''Stage 1'''</u> Key Distribution </br>
<u>'''Stage 1'''</u> Key Distribution </br>
'''Input''': Seller and PKG (<math>k_{at}</math>)</br>
'''Input''': Seller and PKG (<math>k_{at}</math>)</br>

Revision as of 11:14, 12 July 2019

This example protocol provides a quantum digital signature scheme where the public (known to all) and private (secret key preserved with the seller) keys are classical in nature, however the signature has a quantum nature. This scheme is based on public-key cryptography where the seller's identity is used to generate the public-key and one-time pad generates the private key.

Tags: Quantum Digital Signature, Public key cryptography, Specific Task, Multi Party

Assumptions

  • The protocol assumes perfect state preparation, transmissions, and measurements.
  • Private-key generation (PKG) is a trusted third party, arbitrator.
  • In the signing process, the quantum one-way function used to create the quantum digest is assumed to take polynomial time to compute and is hard to invert.
  • Seller and PKG are assumed to have a pre-shared quantum key (say, using QKD)
  • Secure quantum channel between seller and buyer is assumed

Outline

Like other QDS protocols, it is divided into two phases: Distribution and Messaging. This scheme is presented between the seller (one who signs the message), the buyer (one whom the signed message is sent) and PKG (generates and distributes public-private key for the seller) and a buyer.
Distribution includes the generation of public and private keys as follows

  • Key Generation: In this step, PKG generates the public key of the seller and generates a private key which is secretly sent to Seller over the insecure classical channel.
    • Seller's public key is derived from her personal information such as her email-id over a public channel. A one-way function is chosen by PKG randomly and secretly (known as the master key), which uses the classical public key as its input.
    • A random OTP of the same length as the outcome of the function (random key), is used to convert it (the outcome) into seller's private key by performing bit-wise modulo 2 sum (exclusive OR gate).
    • The quantum pre-shared common key (assumption) is then used to one-time pad the private key via Quantum Vernam Cipher (1), (2). The one-time padded cipher-text is then communicated to the seller (over the insecure channel).
    • Seller un-pads the cipher-text to obtain the private key using the pre-shared common key. Hence, in the end, everyone knows the seller's public key and, only PKG and seller know her private key.

Messaging comprises of the following steps

  • Signing: In this step, the seller generates a signature quantum state using the message she wants to send, her public key and private key. The seller selects a quantum one-way function publicly to generate a quantum digest (directory) using these classical inputs. Seller repeats each step for each message bit.
    • Seller selects two random strings and generates a quantum state of the message using these random strings to operate a Unitary gate and Hadamard Transform on a null/vacuum state (see Pseudo Code for operations)
    • The public and the private key are used to perform Hadamard transformation on the state produced in the previous step in order to generate the signature quantum state.
    • The Seller then performs some operation using her private key and measures the quantum state. It can be shown the states were one of the BB84 states and hence, can have one of the two possible bases (X basis, Z basis or + basis,x basis) and four possible states. She records the basis and classical bit representing the state obtained.
    • Seller then concatenates these classical bits, the two random string bits, and a timestamp unique to the signature. The concatenated classical string is used as the input of publicly chosen QOWF, to get the output called 'quantum digest'. She produces some copies of quantum digest for each recipient (buyer).
    • Seller then encrypts the timestamp and quantum output of QOWF with pre-shared common key via quantum vernam cipher. PKG unpads these and publicly announces for buyer's verification step.
    • Sellers sends the signature to the buyer which includes the signature quantum state, message, timestamp and basis states.
  • Verification: In this method, buyer checks the authenticity of the signature (whether the message has come from a genuine seller).
    • The buyer performs some quantum gates on the signature quantum state, using seller's public key and message. He measures the resulting quantum state, using basis states for each qubit sent in the signature. The result thus, obtained is represnted by a classical string, in the same way as done by seller.
    • The result should reveal the random string used by seller and hence, buyer can also generate the same number of copies of the quantum digest using the publicly known QOWF.
    • Buyer, thus, compares his outputs of QOWF with the ones sent by the seller using quantum SWAP Test. If the number of matches is greater than the accepted/decided threshold value, the signature is accepted else it is rejected.

Notation

  • : Total number of qubits of message.
  • : public function to obtain public key from user's email-id
  • : Seller's public key, where .
  • : Seller's private, where 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_{pri} \in \{0,1\}^n} .
  • : Random OTP number selected by PKG to denote each of Seller's signatures, where .
  • : function VC performs one time pads 'y' using quantum pad key 'x' via Quantum Vernam Cipher (1), (2).
  • : Shared key between the Seller and PKG where .
  • : Quantum Vernam cipher encrypted state which uses .
  • : PKG's master key which is a one way function where .
  • : Public quantum one way function selected by Seller to generate quantum digest.
  • : Message sent by Seller to the Buyer, where .
  • : Random string of uniform distribution selected by the Seller, where .
  • : Random string of uniform distribution selected by the Seller, where .
  • : qubit address
  • : Quantum state which is defined by

  • 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 |\phi\rangle_{a_l,b_l,c_l}} : Quantum state which is defined by

  • : Signature quantum state for message which is the quantum state

  • : Private key quantum state where and it is the quantum state:

  • : Classical 2n-bit for -qubit where is encoded to 10, to 11, to 00 and is encoded to 01.
  • : This is the set of the basis of each qubit in .

  • : Measurement of qubit in basis
  • : measurement result of qubit in the concerned quantum state
  • : Quantum digital digest received by PKG.
  • : Quantum digital digest generated by Buyer.
  • : The most number of Buyer in this scheme.
  • : Safety parameter threshold for acceptance.
  • : Security threshold decided in advance.
  • : Number of times SWAP test is performed.
  • : A quantum state, where

This state is also expressed as where

  • : Classical bit string denoted as . It is proven that .
  • : g is a classical function which when takes classical 2n bit string Q, gives seller's random string t as output. This function can be calculated.
  • : , where .

Hardware Requirements

  • Network Stage:Prepare and Measure
  • The total number of qubits used in this protocol is equal to the total number of qubits in the message.
  • Secure quantum channel between seller and buyer

Properties

  • This protocol cannot be broken even if the adversary had unlimited computing power.
  • In this protocol, it is proven that no adversary can break the secrecy of the seller's signature private key.
  • The quantum digital signature produced in this protocol is impossible to repudiate and cannot be forged in any condition.
  • In the protocol the public and the private key belonging to the classical bits, only the signature cipher has quantum nature.
  • No Certificate Authority is required to manage digital public-key certificate of sellers.
  • If , the measuring result occurs with probability 1, otherwise it occurs with probability . Hence, when repeated for times, the probability of equality is at least 1-.

Protocol Description

Stage 1 Key Distribution
Input: Seller and PKG ()
Output: Seller and PKG (); Everyone ()

  1. PKG generates Seller's email-id)
  2. PKG randomly chooses ,
  3. PKG calculates
  4. PKG encrypts
  5. Seller decrypts .

Stage 2.1 Messaging: Signature
Input: Seller (, , )
Output: PKG (), Buyer (Signature

  1. Seller randomly chooses and .
  2. , Seller operates
  3. , Seller generates
  4. , Seller generates
  5. For :
    1. Seller chooses
    2. Seller measures in basis
    3. If then
      1. If then else
    4. If then
      1. If then else
  6. For :
    1. For :
  7. Seller encrypts and sends to PKG
  8. PKG decrypts
  9. PKG announces publicly that the quantum digest is ready.
  10. Seller transmits Signature to buyer.

Stage 2.2 Messaging: Verification
Input: Buyer (Signature , public key )
Output: Buyer accepts or rejects the signature

  1. Buyer operates: .
  2. For :
    1. Buyer measures in basis
    2. If then
      1. If then else
    3. If then
      1. If then else
  3. Buyer obtains
  4. Buyer receives from PKG.
  5. For :
    1. Buyer generates
    2. Buyer receives from PKG.
    3. Buyer performs SWAP test: QSWAP()
    4. If QSWAP=true, then
  6. If buyer accepts
  7. Else buyer rejects

Further Information

Like most other classical digital signature schemes which provide unconditional security, this scheme also requires a trusted arbitrator who distributes the public key to the recipients. This protocol was preceded by a few other protocols which use an arbitrator to establish quantum digital signatures, most of which used entangled states.

  1. Zeng and Keitel (2002)
  2. Wang et al (2005)
  3. Li et al (2009)
  4. Zhou and Qiu (2010)
  5. Guang et al (2011)
  6. Zou et al (2013)
  7. Wang et al (2014)
  8. Li et al (2017)

References

  1. BR (2000)
  2. Zhou et al. (2006)
*contributed by Rhea Parekh and Shraddha Singh