Verifiable privacy preserving computation

A system for executing verifiable computation modules to process private data at private data owner platform, comprising:

• at least one processor of a private data owner, the at least one processor is configured to execute a code, the code comprising:
• code instructions to obtain a computation module having a unique identifier recorded in a distributed ledger controlled by a plurality of computing nodes each maintaining a local copy of the distributed ledger;
• code instructions to generate a key pair comprising a signing key and a verification key derived from the signing key;
• code instructions to record in the distributed ledger an execution record associating an execution instance of the computation module with the verification key;
• code instructions to initiate execution instance of the computation module to process a private dataset incorporated with the signing key;
• code instructions to output a computation outcome;
• code instructions to compute an execution result signature for the execution instance based on the unique identifier and the private data and the signing key;
• and
• code instructions to record the execution result signature in the distributed ledger to enable verification of the execution instance.

A computer program product for executing verifiable computation modules to process private data at private data owner platform, comprising a non-transitory medium storing thereon computer program instructions which, when executed by at least one hardware processor, cause the at least one hardware processor to:

• obtain a computation module having a unique identifier recorded in a distributed ledger controlled by a plurality of computing nodes each maintaining a local copy of the distributed ledger;
• generate a key pair comprising a signing key and a verification key derived from the signing key;
• record in the distributed ledger an execution record associating an execution instance of the computation module with the verification key;
• initiate execution instance of the computation module to process a private dataset incorporated with the signing key;
• output a computation outcome;
• compute an execution result signature for the execution instance based on the unique identifier and the private data and the signing key;
• and
• record the execution result signature in the distributed ledger to enable verification of the execution instance.