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

A system, comprising:

• a processor of a client computer system;
• and
• memory including executable instructions that, as a result of execution by the processor, causes the system to:
• at the client computer system, encrypt a secret value under a public key associated with a physical mediator computer system;
• generate a cryptographic hash output based at least in part on the secret value;
• generate an attestation that the encrypted secret value and the cryptographic hash output are both determined based at least in part on the secret value;
• provide the encrypted secret value, the cryptographic hash output and the attestation to a worker computer system, wherein the worker computer system is operable to use the attestation to determine whether the encrypted secret value and the cryptographic hash output are based at least in part on a same value, and the encrypted the encrypted secret value is usable by the worker computer system and the mediator computer system to collectively execute a first program, wherein execution of the first program allows the worker computer to recover digital assets encumbered in a security deposit;
• cause a second program to be made available on a blockchain data structure, wherein execution of the second program has an input obtained from a trusted authority source external to the blockchain structure;
• 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;
• in response to determining that the input value is valid, provide, by the client computer system, 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;
• and
• accept, by the client computer system, a return of a security deposit to the worker computer system when it is determined, by the client computer system, that a protocol for correct program execution is followed by the worker computer system;
• the security deposit having been posted, by the worker computing system, to the blockchain data structure.

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

• encrypt a secret value under a public key associated with a mediator computer system;
• generate a cryptographic hash output based at least in part on the secret value;
• generate an attestation that the encrypted secret value and the cryptographic hash output are both determined based at least in part on the secret value;
• provide the encrypted secret value, the cryptographic hash output and the attestation to a worker computer system, wherein the worker computer system is operable to use the attestation to determine whether the encrypted secret value and the cryptographic hash output are based at least in part on a same value, and 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 obtained from a trusted authority source external to the blockchain structure;
• 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;
• in response to determining that the input value is valid, provide, by the client computer system, 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;
• and
• accept, by the client computer system, a return of a security deposit to the worker computer system when it is determined, by the client computer system, that a protocol for correct program execution is followed by the worker computer system;
• the security deposit having been posted, by the worker computing system, to the blockchain data structure.