System and method for enforcement of correctness of inputs of multi-party computations

1. A method of performing a Multi-Party Computation (MPC) process between two parties and a server, the method comprising an initialization phase comprising:

the two parties generating initial garbled labels to an initial garbled circuit;

each of the two parties sending the initial garbled labels corresponding to an input from each of the two parties to the server;

the method also comprises an evaluation phase comprising:

the two parties generating a fresh garbled circuit;

the two parties generating multiple bridge gates for translating the initial garbled labels to garbled values for the inputs to the fresh garbled circuit;

wherein each bridge gate of the multiple bridge gates is associated with a specific input wire of the fresh garbled circuit;

wherein each bridge gate of the multiple bridge gates maps a value of the initial garbled labels to a value of garbled labels of the fresh garbled circuit;

the two parties sending the garbled circuit and bridge gates to the server;

the server computing fresh garbled values for the fresh garbled circuit using the bridge gates and the initial garbled values;

the server evaluating the fresh garbled circuit using the fresh garbled labels.

2. The method of claim 1 , wherein the bridge gates encrypt a garbled value representing “0” on a wire with a garbled value representing “0” in the initial garbled values, and like encrypt a garbled value representing “1” on a wire with a garbled value representing “1” in the initial garbled values.

3. The method of claim 1 , wherein the initialization phase further comprises of the server storing the initial garbled labels corresponding to the inputs of the first party and the second party.

4. The method of claim 1 , wherein the initialization phase further comprises:

the first party sending a commitment of its initial garbled labels to the second party without revealing the garbled labels;

the second party sending a commitment of its initial garbled labels to the first party without revealing the garbled labels;

and the evaluation phase further comprises:

the first party sending the server the commitment to the second party's initial garbled labels and the commitment opening to its own garbled labels;

the second party sending the server the commitment to the first party's initial garbled labels and the commitment opening to its own garbled labels;

the server using the commitment openings to open the commitments and obtain the initial garbled values of the first party and second party.

5. The method of claim 4 , wherein the commitment to the initial garbled labels is the result of a hash function applied to the initial garbled labels.

6. The method of claim 1 , wherein the initialization phase comprising:

the first party generating an initialization seed for a pseudorandom generator;

the first party sending the initialization seed to the second party;

each of the two parties computing initial garbled labels based on the same initialization seed.

7. The method of claim 6 , wherein the evaluation phase comprising:

the first party generating a fresh seed for the pseudorandom generator;

the first party sending the fresh seed to the second party;

each of the two parties computing a garbled circuit based on the fresh seed.

8. The method of claim 1 , further comprising the server sending the output to the first party.