A secure computation technique where one party encodes a circuit and another evaluates it without learning private inputs.