Patent ID: 11954226
Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
Field: Computer technology (Electrical engineering)
Classification: CPC G  H | IPC G  H

Claim 12:
13. 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;
wherein the computation module used to process the private dataset is verifiable based on its identification in the execution record, and the execution instance of the computation module to process the private dataset is:, verifiable based on the execution result signature and the verification key extracted from the execution record, and, repeatable by the at least one processor based on the execution result signature.