System for recording verification keys on a blockchain

A computer-implemented method, comprising:

• obtaining a first script associated with a blockchain transaction, the first script comprising:
• a first set of commands;
• two or more cryptographic hash values corresponding to respective non-overlapping two or more subsets of a plurality of elements, wherein the plurality of elements collectively form a verification key;
• and
• a public key corresponding to a private key;
• generating a second script comprising:
• a second set of commands;
• the two or more subsets of the plurality of elements the first script;
• and
• a signature based on the private key of a worker computer system generating the second script;
• and
• generating an attestation that the worker computer system has access to the verification key based at least in part on the public key of the worker computer system, the signature, and executing the first set of commands and the second set of commands in connection to determine that the two or more cryptographic hash values match the two or more subsets of the verification key;
• wherein the two or more cryptographic hash values in the first script are arranged in an order that is a reverse of an order in which corresponding non-overlapping subsets of the verification key are provided in the second script, such that each subset hashed in the second script is compared, in reverse order, to a corresponding hash value in the first script;
• wherein the executing comprises, for each subset, computing a hash output using a predetermined multi-stage cryptographic hash function and determining whether the computed hash output matches a corresponding one of the two or more cryptographic hash values in the first script;
• wherein the signature is a digital signature generated using the private key corresponding to the public key in the first script, and the attestation is generated responsive to both verification of the digital signature using the public key and successful matches for all subsets;
• and
• wherein the attestation enables a verifier node of the blockchain to validate a proof-of-correctness of an outsourced computation using the verification key and the attestation without recomputing the outsourced computation.