Consider the following setting.
Alice receives a chunk of data from Victor, together with a cryptographic certificate of authenticity of some sort (eg hash signed with Victor’s private key).
Bob now wants to know the result of some computer program applied to the data. Alice is not willing to disclose the raw data to Bob, but is happy to perform the computation herself and send him the result. The program was not known at the time Victor certified the data.
Is there a scheme that will allow Bob to verify that the computation was in fact performed as agreed, on the data certified by Victor?