Root State

para entender el merkle tree es muy importante que entendamos que es un HASH y como se obtiene:

un hash es como una licuadora donde entran varias cosas y sale un resultado,
ejemplo, para conseguir un hash valido en mineria POW de bitcoin la entrada a la licuadora son los siguientes

Nonce
timestamp
lashHash
…

si metemos todo eso en la licuadora la salida es por ejemplo
0000JSDFGLKKRSASPPA93MFJ23

entonces si cambiamos la entrada de la licuadora por ejemplo a:

Nonce + 1
timestamp
lastHash

la salida sera igual a por ejemplo:
90458FNSKFKDJSROPIA

el mas minimo cambio en la entrada de la licuadora se va a traducir en un Hash bastante diferente.

Un Merkle Tree es una gran estrategia para no guardar todos los datos, lo que es útil tanto a nivel protocolo (Ethereum), y a nivel aplicación (Smart Contracts).

Acá te dejo una guía de OpenZeppelin sobre cómo usar Merkle Trees en tus contratos inteligentes, y además, una librería para procesar Merkle Trees desde Javascript para tus aplicaciones 😃

Creo que el gráfico se presta para una mala interpretación.
Tal vez sería más claro mostrarlo de forma compuesta a cada nodo.
Por ejemplo

H(ABCD) podría mostrarse como H( H(AB) H(CD) )