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.

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.

Abstract: A liquid dispensing system is disclosed in which a reservoir assembly is provided for receiving a liquid flow from a liquid supply. A liquid level sensor is provided for initiating the liquid flow until a predetermined liquid level is established in the reservoir assembly. A liquid flow sensor indicates a flow condition from the liquid supply to the reservoir assembly. A dispensing member such as a faucet is provided for dispensing liquid from the reservoir. The reservoir assembly of the present liquid dispensing system includes an overflow protector assembly for preventing an overflow condition of liquid from the reservoir assembly.

Abstract: A liquid dispensing system is disclosed in which a reservoir assembly is provided for receiving a liquid flow from a liquid supply. A liquid level sensor is provided for initiating the liquid flow until a predetermined liquid level is established in the reservoir assembly. A liquid flow sensor indicates a flow condition from the liquid supply to the reservoir assembly. A dispensing member such as a faucet is provided for dispensing liquid from the reservoir. The reservoir assembly of the present liquid dispensing system includes an overflow protector assembly for preventing an overflow condition of liquid from the reservoir assembly.

Abstract: A toilet training system in which a decal having a background scene imprinted thereon is adhesively fixed to a toilet lid and a plurality of appliques, each of which depict an entity belonging to the aforementioned background scene, are provided as individual rewards for a successful potty experience. The child attaches the appliques to the decal to build up a scene.