Merkle Tree
Compresión ZK · Profundo
Un árbol Merkle es un árbol de hash binario en el cual cada nodo hoja contiene un hash criptográfico de un bloque de datos, y cada nodo no-hoja (interno) contiene el hash de sus dos hijos, de tal forma que el único hash raíz compromete criptograficamente todo el conjunto de datos y cualquier modificación a cualquier hoja produce una raíz detectablemente diferente. En Solana, los árboles Merkle sustentan la compresión de estado: el programa SPL Account Compression mantiene Concurrent Merkle Trees en cadena con sólo el hash raíz persistido en el almacenamiento de cuentas, mientras todos los datos de hojas son derivables de los logs de transacciones. La función hash Poseidon es preferida sobre SHA-256 para árboles Merkle compatibles con ZK porque es algebraicamente eficiente dentro de los circuitos aritmeticos usados para la generación de pruebas de conocimiento cero.