Garbled circuit is a foundational primitive in both theory and practice of cryptography. Given (hat{C}, K[x]), where hat{C} is the garbling of a circuit C and K[x] = {K[i, x_i]} are the input labels ...