VERIFIABLE STATE MACHINES

• Main Authors: ANGEL, Sebastian, GUPTA, Trinabh, LEE, Jonathan D, SETTY, Srinath T.V
• Format: Patent
• Language: English; French
• Published: 09.04.2020
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC COMMUNICATION TECHNIQUE; ELECTRIC DIGITAL DATA PROCESSING; ELECTRICITY; PHYSICS; TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHICCOMMUNICATION

In one embodiment, a service receives a one or more digests to verify a plurality of requests that were performed by a request handler for one or more clients. The digests summarize processing of the plurality of requests using a first contract. The information for the one or more digests is stored in a plurality of blocks in a distributed ledger. A second contract is executed to verify the processing of the plurality of requests. The second contract generates a first set that stores states for reads of values from the data store; generates a second set that stores states for values written to the data store, and verifies the processing by checking states in the first set are a subset of states in the second set. Dans un mode de réalisation de l'invention, un service reçoit un ou plusieurs condensés pour vérifier une pluralité de requêtes qui ont été traitées par un gestionnaire de requêtes pour un ou plusieurs clients. Les condensés résument le traitement de la pluralité de requêtes à l'aide d'un premier contrat. Les informations pour le ou les condensés sont stockées dans une pluralité de blocs dans un registre distribué. Un second contrat est exécuté pour vérifier le traitement de la pluralité de requêtes. Le second contrat génère un premier ensemble qui stocke des états pour des valeurs lues dans la mémoire de données ; génère un second ensemble qui stocke des états pour des valeurs écrites dans la mémoire de données, et vérifie le traitement par contrôle du fait que les états dans le premier ensemble sont un sous-ensemble des états dans le second ensemble.