Quantum Strong Coin Flipping
This example protocol allows two remote participants to share a uniformly distributed random bit. The parties do not trust each other and can only use classical and quantum channels to communicate. The protocol allows them to perform what coin tossing for nearby parties performs without the involvement of any trusted third party.
Tags: Two Party Protocols, Quantum Enhanced Classical Functionality, Specific Task
Assumptions
Outline
We consider two parties who wish to perform a coin tossing experiment remotely. Two single qubit quantum states are initially decided which have equal probability distribution in the computational basis and label them 0 and 1. The Coin Tossing protocol consists of 5 steps:
- Both the parties prepare an equal number of random bits.
- Now, both parties prepare another equal number of random bits for each random bit prepared in step 1. For each random bit thus prepared, each party sends the other party a pair of qubits in the two states defined earlier, the sequence of which is decided by the random bit.
- Both the parties now announce the xor of each random bit prepared in the second step with the corresponding random bit from the first step. Based on the value of the xor operation performed by the other party, each party returns one of the two qubits it received in the second step. For every random bit prepared in the first step, each party is now left with qubits in the state labelled by the other party's random bit.
- Both the parties now announce their random bits which they prepared in the first step. They also measure the qubits they did not return based on the values of the random bits announced by the other party. If any of the measurement fails, the protocol aborts.
- For every random bit prepared in the first step, each party now also measures the qubits they were returned back. If any of the measurement fails, the protocol aborts.
The final bit of each of the party is the xor of xor of the random bits they prepared in the first step and xor of the bits they measured in the fourth step. This final bit is the random bit which has come up in the 'coin toss'. Thus ends the protocol.
Notation
- : Predetermined single qubit states
- : Angle between and
- 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 a_j} : A random bit prepared by the first party in step 1
- 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 b_j} : A random bit prepared by the second party in step 1
- 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 \{a_1,...,a_m\}} : Set of random bits prepared by first party in step 1
- : Set of random bits prepared by second party in step 1
- : A random bit prepared by the first party in step 2
- 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 d_{ij}} : A random bit prepared by the second party in step 2
- : Set of random bits prepared by first party in step 2
- 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 \{d_{11},...,d_{nm}\}} : Set of random bits prepared by second party in step 2
- : Set of qubits, each in state
- 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 (E_i,E_i^\perp)} : POVMs defined by and 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 E_i^\perp = 1 - E_i} .
Requirements
- Network Stage: Fully Quantum Computing Network Stage
- Authenticated Quantum channel capable of sending a pair of qubits
- Authenticated Classical channel to send multiple bits
- Quantum memory for both parties to store qubits
- Measurement Devices for each party
- Random bit generator for each party
Properties
- The protocol is successfully completed when both parties are honest.
- If any of the parties is dishonest at any step, the protocol simply aborts.
- The attack on the protocol can generate a bias which is greater than and less than .
- The proposed unconditionally secure quantum protocol realises a non-exact coin tossing.
Pseudocode
Two single qubit quantum states and , where are defined such that the angle between them is 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 \theta} . is proposed to be 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 \pi/9} . Thus, and .
- For 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 j = 1,2,...,m}
:
- First party picks at random a bit .
- Second party picks at random a bit .
- For :
- For :
- The first party picks a random bit and sends a pair of qubits in the state 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 \psi(c_{ij})\otimes\psi(\bar{c}_{ij})} to the second party.
- The second party picks a random bit and sends a pair of qubits in the state 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 \psi(d_{ij})\otimes\psi(\bar{d}_{ij})} to the first party.
- For :
- For :
- For :
- The first party announces .
- The second party returns the second particle if and first particle otherwise.
- The second party announces .
- The first party returns the second particle if and first particle otherwise.
At this stage, for every , the qubits sent by the first party and not returned by the second party are in the state and the qubits sent by the second party and not returned by the first party are in the state .
Also, for every j, the n qubits returned by the first party are in the state and the n qubits returned by the second party are in the state .
- For :
- For :
- First party announces .
- Second party announces .
- Second party executes POVM on and notes the outcome .
- First party executes POVM on and notes the outcome .
If either or , the protocol aborts.
- For :
- First party measures the returned state with POVM .
- Second party measures the returned state with POVM .
If either of the outcomes is , the protocol aborts.
The final bit of the first party is where and . The second party’s final bit is where and .