Program execution and data proof scheme using multiple key pair signatures
AssigneeAlibaba Group Holding Limited
InventorsYirong Yu, Honglin Qiu
Life of this patent
Estimating the term…
Loading patent…
AssigneeAlibaba Group Holding Limited
InventorsYirong Yu, Honglin Qiu
Estimating the term…
Methods, systems, and apparatus, including computer programs encoded on computer storage media for program execution and data proof scheme to prove that sub-logic code that was expected to be executed within a TEE was indeed executed, and that the resulting data is trustworthy. In some implementations, each sub-logic code of a plurality of sub-logic code is registered, and stored within the TEE, and a key pair (private key, public key) corresponding to the sub-logic code is generated. The client receives and stores the public key, sends requests to the TEE with an identifier of the sub-logic that is to be executed. The sub-logic code corresponding to the identifier is executed within the TEE, which signs the result using a digital signature that is generated using the private key of the sub-logic code. The client verifies the result based on the digital signature and the public key of the sub-logic code.
A computer-implemented method for program execution and data proof for executing a sub-logic code within a trusted execution environment (TEE), the method comprising:
A non-transitory, computer-readable storage medium storing one or more instructions executable by a computer system to perform operations comprising:
A computer-implemented system, comprising:
Dependencies are inferred from the claim text.