For a while the concept of Homomorphic encryption has existed which is the concept of encrypting data and still being able to manipulate it as if it was unencrypted.
Would it be theoretically possible to create a scheme such that not only the data is encrypted and hidden but the functions to manipulate the data can also be encrypted into new functions so that way not only can the computations be done off site without revealing the original data but the very functions/form of the data also remains hidden?
The use of a such a "second order" Homomorphic encryption scheme would be enormous for obvious reasons. The one hurdle appears to be transforming any type of data manipulation into a different form that can always be mapped back.
Seeing that standard Homomorphic encryption has been achieved (albeit impractical) through Craig Gentry's work I see some hope for this 2nd order scheme.