Patent ID: 8891766

Claim:
A method for two-party secure function evaluation (SFE) performed by a first party to evaluate a function for a plurality of executions i with a second party, comprising: for a plurality of said executions i: computing a garbled circuit GC i corresponding to said function; communicating with said second party using an Oblivious Transfer (OT) protocol to provide wire secrets that are an encrypted version k i of the input x i of said second party, wherein the second party stores said encrypted version k i of the input x i of said second party for said plurality of executions; sending the computed garbled circuit GC i to said second party for computation of an output; and receiving said output from said second party; and for a subsequent verification of said inputs x i of said second party for two of said executions: computing a check garbled circuit CGC corresponding to a verification function based on the input keys of the garbled circuits being verified, wherein said verification function comprises one or more of an equality function, a greater than function, a less than function and a verification function agreed upon by both parties; sending the computed check garbled circuit CGC to said second party for computation of a verification output, wherein said second party computes said verification output by applying said stored encrypted versions k i for said two executions to said check garbled circuit CGC; receiving said verification output from said second party; and evaluating said verification output to verify said inputs x i of said second party for said two executions.