Verifiable state machines
    1.
    发明授权

    公开(公告)号:US10997154B2

    公开(公告)日:2021-05-04

    申请号:US16150198

    申请日:2018-10-02

    Abstract: 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.

    VERIFIABLE ATTRIBUTE MAPS
    3.
    发明公开

    公开(公告)号:US20240104229A1

    公开(公告)日:2024-03-28

    申请号:US17934730

    申请日:2022-09-23

    CPC classification number: G06F21/62 H04L9/50

    Abstract: Verifiable attribute maps that maintain references to identities and attribute information associated with the identities are disclosed. A verifiable attribute map is maintained by a ledger database that provides tamper-resistant/evident capabilities for tables (comprising the map) thereof. For instance, when a materialized view of the database is generated, the database provides a digest representative of a state thereof to computing devices that access the map for the attribute information. When the database receives a request from a device to access the map, the digest is received along therewith. The database is validated based on the digest to determine whether the database has been tampered with since the provision of the digest. Responsive to a successful validation, the database provides access in accordance with the request. When attribute information in the map is updated, the database subsequently generates a new digest, which is provided to the computing device.

Patent Agency Ranking