US 2023/0216833 A1 · SYSTEMS AND METHODS FOR ENSURING CORRECT EXECUTION OF COMPUTER PROGRAM USING A MEDIATOR COMPUTER SYSTEM

Abstract

In a distributed system, a first computer system may require computationally verifiable assurances of the authenticity and integrity of computations (e.g., performed as part of the execution of a program) performed by a second computer system. Methods described herein may be utilized to enforce and/or ensure the correct execution of a program. The first computer system may delegate execution of a program to a second computer system and a protocol may be employed to constrain the second computer system to perform a correct execution of the program. The protocol may include mitigation and correction routines that mitigate and/or correct the incorrect execution of a program. In various systems and methods described herein, the protocol may utilize a blockchain network such as a Bitcoin-based blockchain network.

Claims20

Dependent claims

A computer-implemented method comprising:

encrypting a secret value under a public key associated with a mediator computer system;
providing the encrypted secret value to a worker computer system, wherein the encrypted secret value is usable by the worker computer system and the mediator computer system to collectively execute a first program;
causing a second program to be made available on a blockchain data structure, wherein execution of the second program has an input;
determining that the blockchain data structure reflects:
a proof of correct execution of the second program;
and
an input value, wherein execution of the second program to generate the proof is based at least in part on using the input value as the input to the second program;
determining, based at least in part on the proof, that the input value is valid;
and
in response to determining that the input value is valid, providing the secret value to the worker computer system, wherein the worker computer system is able to execute the first program using at least the secret value.

7 more elements

A system, comprising:

a processor;
and
memory including executable instructions that, as a result of execution by the processor, causes the system to:
encrypt a secret value under a public key associated with a mediator computer system;
provide the encrypted secret value to a worker computer system, wherein the encrypted secret value is usable by the worker computer system and the mediator computer system to collectively execute a first program;
cause a second program to be made available on a blockchain data structure, wherein execution of the second program has an input;
determine that the blockchain data structure reflects:
a proof of correct execution of the second program;
and
an input value, wherein execution of the second program to generate the proof is based at least in part on using the input value as the input to the second program;
determine, based at least in part on the proof, that the input value is valid;
and
in response to determining that the input value is valid, provide the secret value to the worker computer system, wherein the worker computer system is able to execute the first program using at least the secret value.

10 more elements

A non-transitory computer-readable storage medium having stored thereon executable instructions that, as a result of being executed by a processor of a computer system, cause the computer system to at least:

encrypt a secret value under a public key associated with a mediator computer system;
provide the encrypted secret value to a worker computer system, wherein the encrypted secret value is usable by the worker computer system and the mediator computer system to collectively execute a first program;
cause a second program to be made available on a blockchain data structure, wherein execution of the second program has an input;
determine that the blockchain data structure reflects:
a proof of correct execution of the second program;
and
an input value, wherein execution of the second program to generate the proof is based at least in part on using the input value as the input to the second program;
determine, based at least in part on the proof, that the input value is valid;
and
in response to determining that the input value is valid, provide the secret value to the worker computer system, wherein the worker computer system is able to execute the first program using at least the secret value.

7 more elements

Dependencies are inferred from the claim text.

Systems and methods for ensuring correct execution of computer program using a mediator computer system

Life of this patent

Systems and methods for ensuring correct execution of computer program using a mediator computer system

Life of this patent

Abstract

Claims20