Secure Multiparty Delegated Classical Computation

From Quantum Protocol Zoo
Revision as of 20:23, 17 April 2019 by Shraddha (talk | contribs)
Jump to navigation Jump to search

It provides a method for computing nonlinear multivariable functions using only linear classical computing and limited manipulation of quantum information To demonstrate this protocol, the pairwise AND function is computed and can be used as a building block for other functions.

Assumptions

  • The clients have limited computational capabilities, namely access to linear XOR functionalities.


Outline

Main Routine

The server sends an ancilla bit to the first client. The first client performs the 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/2} rotation along 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 y} -axis according to his input bit and rotation accordingto his random bit for security. He then sends the qubit to the next client who performs the same rotation according to his bits. This process if followed until all clients have performed their operations. Now, one of the client performs the conjugate transpose of the rotation on the qubit based on the global XOR of all the inputs which he gets by the XOR routine. The state now prepared is the value of the function XORed with the XOR of the random bits of all clients. The clients now announce the random bits with the help of which the final result is calculated.

XOR Routine

The clients choose random bits whose XOR is their input bit and send each such random bit to each client. The clients now perform the XOR of the received bits. To calculate the global XOR, the send their results to the designated client who then performs the XOR of all the received bits to get the global XOR.


Notations

  • : Client with index .
  • : Input bit of client.
  • 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_i} : Random bit of client.
  • 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_y(\theta)} : Rotation around -axis in Bloch sphere by angle .
  • : Operator for performing 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/2} rotation around 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 y} -axis in Bloch Sphere.
  • 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 V} : Operator for performing rotation around 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 y} -axis in Bloch Sphere.


Hardware Requirements

  • Basic state preparation and measurement devices.
  • Access to secure classical channels.


Properties

  • The input of each client remains hidden from the other clients and from the server.
  • The server performs the computation without learning anything about the result.
  • As long as at least two clients are honest, it is enough to guarantee the secrecy of the independent inputs.


Pseudo Code

To compute ,

Main Routine

  1. The server generates an ancilla bit and sends it to client .
  2. For to 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-1} :
    1. applies on the received qubit and sends it to client .
  3. 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 C_n} applies on the received qubit.
  4. Any client then applies 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 (U^\dagger)^{\oplus_i x_i}} .
  5. The resulting state is now sent to the server who measures the outcome and announces it.
  6. The clients locally compute XOR of the random bits of other clients.
  7. They then perform the operation 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 = r \oplus (r \oplus f)} to get the result.

XOR Routine

  1. For
    1. Each client chooses random bits , such that and and sends and to client .
    2. Each client then computes and .
  2. To perform the operation , the clients send 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 \tilde{x}_i} to the designated client, who computes the global XOR.
    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 \bigoplus_{i=1}^n x_i=\bigoplus_{i=1}^n \tilde{x}_i }
  3. When server announces </math>r \oplus f</math>, all clients broadcast </math>\tilde{r}_i</math> to calculate </math>r</math> and know the value of </math>f</math>.
*contributed by Natansh Mathur