1. A method for secure function evaluation (SFE) performed by a server for two parties that want to evaluate a function, comprising: computing a garbled circuit corresponding to said function and wherein a predefined bit of the 0-secret of wire i in said garbled circuit is set to a random bit b i and a predefined bit of the 1-secret of wire i in said garbled circuit is set to b i ; communicating with each of said parties using an Oblivious Transfer (OT) protocol to provide wire secrets that are encrypted versions of the respective inputs of each party, wherein each party provides said encrypted wire secret of said party to the other of said party; and sending the computed garbled circuit to each party for computation of a respective output; and wherein each party stores said predefined bit of a wire of interest of the other party, and wherein a given party can verify input consistency by the other party over at least two executions by comparing the values stored by said given party for said at least two executions with corresponding values obtained from said server.