Queue of concatenated merkle tree roots with cached hashes that can verify the inclusion of a given hash