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 ...