Quantum Cheque

This example protocol is a private-key protocol which allows trusted banks to issue perfectly secure and verifiable quantum cheque books to account holders and also enables them to undertake monetary transactions with other parties. This quantum cheque is secure against non-signalling adversaries and cannot be counterfeited.

Tags: Quantum Digital Signature, Private key protocol.

Assumptions

• The protocol assumes the account holder and the bank, to be honest. The bank is a trusted party, however, the branches may or may not be trusted.
• This protocol assumes perfect state preparations, transmissions, and measurements.
• The protocol takes the assumption that the Quantum Digital Signature scheme and the Quantum key distribution is unconditionally secure.
• The digital signature scheme must satisfy the following security conditions of unforgeability and non-repudiation

Outline

This protocol allows a quantum cheque to be issued using quantum cheque books to the bank customers. The customers can then carry forward transactions in a perfectly secure manner and these cheques can be en-cashed after being verified by the trusted bank or its branches, which communicate with the main branch securely. The quantum cheque follows all the property of a classical cheque - verifiable by a trusted bank, cannot be disavowed by the issuer and cannot be counterfeited by an adversary.

The entire bank transaction process can be divided into three stages, Gen, where the cheque book is generated for the account holder, Sign, where the account holder prepares a cheque and issues it to the third party and Verify, where the third party en-cashes the cheque depending upon its validity.

• Gen
  • In this method the cheque book and a key is created for the account holder by the bank.
  • The bank and the account holder create a shared key using Quantum Key Distribution. Both parties agree upon the Quantum Digital Signature. The account holder stores their private key safely with himself and shares the private key with the bank.
  • The bank then prepares $n$ GHZ triplet states (link to page) and stores only the third entangled qubit of every GHZ in the database, while handing over the first two qubits of every GHZ state to the account holder. Along with this, the bank also creates and shares a corresponding unique serial number for this cheque.
  • Finally, the account holder has stored their identity, shared key, private key, public key, serial number and first two entangled qubits of every GHZ triplet state whereas the bank has stored account holder's identity, shared key, public key, serial number and third entangled qubit of every GHZ triplet states in their respective databases.
    
    
• Sign
  • In this method, the issuer's key and amount to be signed is taken as input to produce a quantum state which acts like a cheque.
  • The account holders prepare $n$ quantum states to issue a check worth some amount $M$. This quantum state is prepared by the quantum one-way function (Link to the page) which takes the shared key, identity of the account holder, a random number and the amount of money $M$ to be signed as the input. Every state from these 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 n} quantum states is individually encoded with one of the account holder's entangled qubit of the GHZ states using Quantum Secret Sharing: Splitting of quantum information (Link to the page). The account holder then signs the serial number with their digital signature.
  • The quantum cheque thus produces by the account holder contains the information - the identity of the account holder, serial number, generated a random number, digital signature, amount of money signed and the other entangled qubit of the GHZ state.
    
    
• Verify
  • In this method, the quantum cheque is verified by the trusted bank or its branches and the validity is checked.
  • When the quantum cheque is produced at any valid branches of the bank by a third party, the information is securely communicated to the main branch. At the branch, an initial verification is carried by considering the identity of the issuer of the cheque, the serial number of the cheque and the digital signature of the issuer. If the cheque is valid, the verification process is continued, otherwise, the cheque is destroyed and the process is discontinued.
  • The main branch performs a measurement on its copy of third entangled qubit of every GHZ triplet state which was stored in the database and securely communicates this result to the branch.
  • The branch recovers the quantum state that was prepared by the account holder to issue the cheque, using the information received from the main branch. The branch also computes this same quantum states using the stored account holder's information like the shared key, the identity of the account holder, a random number and the amount of money $M$ as input for verification. A swap test(Link to the page) is performed on both these states and if the cheque is only accepted if this test passes, else it is destroyed and aborted.

This scheme is proven to be impossible to counterfeit and impossible to repudiate. The quantum cheque is a quantum state and thus it cannot be copied or stolen by any eavesdropper, ensuring that only one copy of the quantum cheque exists.

Requirements

• Secure quantum channel to connect the branches of the bank to the main branch.
• Secure quantum channel to connect the bank to the account holder and to connect any other third party to the bank.
• This protocol required quantum memory to store issuer's quantum state of the cheque if the protocol is not running in real time.
• Private database for both account holder and bank.
• Measurement devices for the account holder and the main branch of the bank.

Quantum Cheque

Properties

• In the signing process, the quantum one-way function used to create the cheque for the account holder is assumed to take polynomial time to compute and is hard to invert.
• In the verification process, the bank sets a thresholding security parameter $\kappa$. The swap test is passed if $\{\langle \psi ^{(i)}|\psi ^{,(i)}\rangle \geq \kappa \}_{i=1:l}$
• No quantum memory would be required for the account holder to store the quantum check if the transaction is occurring in real time.
• This protocol can be realized, efficiently, with few qubit systems, without compromising on the security
• Security: This protocol is impossible to counterfeit and non-repudiation by signatory is impossible here.

Notation

• $k$: Shared key between account holder and bank 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 \in \{0,1\}^L} .
• $\Pi$: Digital signature scheme, where $\Pi =(Gen,Sign,Vrfy)$.
• $id$: Account holder's identity.
• 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 pk} : Account holder's public key.
• $sk$: Account holder's private key.
• $s$: Unique serial number where $s\in \{0,1\}^{l(n)}$.
• ${|\phi ^{(i)}\rangle _{GHZ}}$: $n$ GHZ triplet states where,

$|\phi ^{(i)}\rangle _{GHZ}={\frac {1}{\sqrt {2}}}(|0^{(i)}\rangle _{A_{1}}|0^{(i)}\rangle _{A_{2}}|0^{(i)}\rangle _{B}+|1^{(i)}\rangle _{A_{1}}|1^{(i)}\rangle _{A_{2}}|1^{(i)}\rangle _{B})$

• ${|\phi ^{(i)}\rangle _{A_{1}}}$: First entangled qubit from every GHZ triplet state which is given to account holder.
• ${|\phi ^{(i)}\rangle _{A_{2}}}$: Second entangled qubit from every GHZ triplet state which is given to account holder.
• ${|\phi ^{(i)}\rangle _{B}}$: First entangled qubit from every GHZ triplet state which stays with bank.
• 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 r} : Generated random number where $r\in \{0,1\}^{L}$.
• 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 M} : Amount of money account holder signs on the cheque.
• 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} : Quantum one way function.
• $x\mid \mid$y: concatenation of two bit strings $x$ and $y$.
• ${|\psi ^{(i)}\rangle }$: quantum state prepared by the account where,

$|\psi ^{(i)}\rangle =f(k\mid \mid id\mid \mid r\mid \mid M\mid \mid i)$

. This quantum state is also denoted as 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 \alpha_i|0\rangle + \beta_i|1\rangle} .

• $|\Phi ^{\pm }\rangle$: Bell state ${\frac {|00\rangle \pm |11\rangle }{\sqrt {2}}}$
• $|\Psi ^{\pm }\rangle$: Bell state ${\frac {|10\rangle \pm |01\rangle }{\sqrt {2}}}$
• $\sigma$: In $\chi$, output of signing with $s$.
• $\chi$: Quantum cheque where,

$\chi =(id,s,r,\sigma ,M,\{{|\phi ^{(i)}\rangle _{A_{1}}}\}_{i=1:n})$

• $\kappa$: Threshold constant set as a security parameter by the bank in the swap test.
• $|\psi ^{,(i)}\rangle$: Quantum state prepared by the bank for verification.

Pseudocode

Stage 1: Gen
Output: Account holder now holds $(id,pk,sk,k,s,\{|\phi ^{(i)}\rangle _{A_{1}}|\phi ^{(i)}\rangle _{A_{2}}\}_{i=1:n})$ and Bank now holds 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 (id, pk, k, s, {\|\phi^{(i)}\rangle_{B}\}_{i=1:n})}} in their private databases.

• Account holder and Bank create $k$.
• Account holder and Bank agree on $\Pi$.
• Account holder submits 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 pk} to Bank.
• Account holder secretly stores $sk$.
• For $i=1,2,...n$:
  • Bank generates GHZ triple state $|\phi ^{(i)}\rangle _{GHZ}$
  • Bank stores $|\phi ^{(i)}\rangle _{B}$ in their private database.
  • Bank gives $|\phi ^{(i)}\rangle _{A_{1}}|\phi ^{(i)}\rangle _{A_{2}}$ to account holder.
• Bank prepares $s$ and shares it with the account holder.
• For $i=1,2,...n$:
  • Account holder stores $|\phi ^{(i)}\rangle _{A_{1}}|\phi ^{(i)}\rangle _{A_{2}}$ privately.
• Account holder now holds $(id,pk,sk,k,s,\{|\phi ^{(i)}\rangle _{A_{1}}|\phi ^{(i)}\rangle _{A_{2}}\}_{i=1:n})$
• Bank now holds $(id,pk,k,s,{|\phi ^{(i)}\rangle _{B}\}_{i=1:n})}$

Stage 2: Sign
Output: Account holder produces $\chi$

• Account holder generates $r$.
• For $i=1,2,...n$:
  • Account holder prepares $|\psi ^{(i)}\rangle =f(k\mid \mid id\mid \mid r\mid \mid M\mid \mid i)$.
  • Account holder encodes $|\psi ^{(i)}\rangle$ with $|\phi ^{(i)}\rangle _{GHZ}$ by combining $|\psi ^{(i)}\rangle$ with $|\phi ^{(i)}\rangle _{A_{1}}$ and performing a bell measurement on the two.

$|\phi ^{(i)}\rangle =|\psi ^{(i)}\rangle \otimes |\phi ^{(i)}\rangle _{GHZ}$

• • Based on the measurement, account holder performs the suitable error correction, by applying the corresponding Pauli matrix, on $|\phi ^{(i)}\rangle _{A_{1}}$:

$|\Phi ^{(+)}\rangle {\xrightarrow {}}I,|\Phi ^{(-)}\rangle {\xrightarrow {}}\sigma _{z},|\Psi ^{(+)}\rangle {\xrightarrow {}}\sigma _{x},|\Phi ^{(-)}\rangle {\xrightarrow {}}\sigma _{y},$

• Account holder signs the serial number $s$ using $\Pi$, as $\sigma {\xleftarrow {}}Sign_{sk}(s)$.
• Account holder produces $\chi$.

Stage 3: Verify
Output: Cheque gets accepted or the process is aborted and the cheque is destroyed.

• Third party produces the $\chi$ at a valid branch of the bank.
• Branch communicates with main branch of the bank and checks validity of $(id,s)$ and runs ${Vrfy}_{pk}(\sigma ,s)$.
  • If invalid:
    • Bank aborts the process and destroys the cheque.
  • else:
    • Bank continues the verification process.
• Main branch of the bank performs the measurement in Hadamard basis on its copy of $|\phi ^{(i)}\rangle _{B}$ and obtains outcome $|+\rangle$ or $|-\rangle$.
• Main branch communicates this result with the local branch.
• For $i=1,2,...n$:
  • Based on outcome, branch performs the corresponding Pauli matrix operation on $|\phi ^{(i)}\rangle _{A_{2}}$ to recover $|\Psi ^{(i)}\rangle$ : $|+\rangle {\xrightarrow {}}I,|-\rangle {\xrightarrow {}}\sigma _{z}$
• For $i=1,2,...n$:
  • Bank computes $|\Psi ^{,(i)}\rangle$, where,

$|\Psi ^{,(i)}\rangle =f(k\mid \mid id\mid \mid r\mid \mid M\mid \mid i)$

• For $i=1,2,...n$:
  • Bank performs swap test on $|\Psi ^{(i)}\rangle$ and $|\Psi ^{,(i)}\rangle$.
    • If $\langle \Psi ^{(i)}|\Psi ^{,(i)}\rangle \geq \kappa$:
      • Bank aborts the process and destroys the cheque.
    • else:
      • Bank continues the verification process.
• Bank accepts the cheque.

Further information

*contributed by Rhea Parekh