Merkle Proof
Compresión ZK · Profundo
Una prueba Merkle es el conjunto mínimo de hashes de nodos hermanos (la ruta de prueba) a lo largo de la rama desde una hoja específica hasta la raíz del árbol, permitiendo a cualquiera verificar independientemente que una hoja dada es parte de un árbol Merkle recalculando la raíz desde el hash de la hoja y los hashes de los hermanos sin necesitar ningun otro dato del árbol. En la compresión de estado de Solana, cada interacción con una cuenta comprimida o NFT comprimido requiere que el llamante suministre una prueba Merkle válida; el programa en cadena hashea la prueba contra la raíz actual almacenada en la cuenta del Concurrent Merkle Tree para confirmar la inclusión antes de ejecutar el cambio de estado. El tamano de la prueba escala linealmente con la profundidad del árbol (por ejemplo, un árbol de profundidad 20 requiere hasta 20 hashes hermanos, cada uno de 32 bytes), por lo que el canopy se usa para pre-almacenar nodos de nivel superior en cadena para reducir los datos de prueba que deben pasarse en las transacciones.