Saltar al contenido

Árbol Verkle

Un árbol Verkle combina un árbol ancho con compromisos vectoriales para crear testigos de estado compactos, con contrapartidas criptográficas, de prueba y migración.

Actualizado

Solo con fines educativos; no constituye asesoramiento de inversión. Invertir puede causar pérdidas.

Respuesta directa

Un árbol Verkle es un árbol autenticado de clave-valor cuyos nodos internos usan compromisos vectoriales. Como un árbol de Merkle, vincula muchos valores a una raíz; a diferencia de un árbol ordinario basado en hashes, permite probar un hijo en una posición sin aportar todos sus hermanos.

Esto permite mucha ramificación y agregar aperturas de varias claves, reduciendo el testigo frente a un Merkle-Patricia Trie. El testigo aún incluye los valores de ejecución y la prueba que los vincula a una raíz autenticada. La validación «sin estado» no significa que nadie guarde el estado ni elimina el consenso. A 2026-08-22, la hoja de ruta de Ethereum aún menciona testnets y trabajo de clientes pendiente; EIP-6800 figura como Stagnant.

Cómo funciona

El protocolo fija codificaciones deterministas, el esquema de compromiso y las reglas de nodos vacíos. Cada nodo compromete un vector ordenado de hijos; el probador abre la posición pertinente en cada nivel y un multiproof puede agregar aperturas y reutilizar rutas. El verificador contrasta claves, valores, compromisos y prueba con una raíz de confianza.

En EIP-6800, una clave de 32-byte consta de un stem de 31-byte y un suffix de 1-byte, con nodos de anchura 256. Valores con el mismo stem comparten material. Es un diseño específico: más anchura acorta rutas, pero exige aritmética de curva elíptica y precomputación para comprometer, actualizar y verificar.

Ejemplo

Suponga que un stem de 31-byte agrupa 256 suffix posibles. Si un bloque lee 2 valores del mismo stem, puede reutilizar la ruta y agregar aperturas en vez de llevar 2 conjuntos de hashes hermanos de Merkle. Aun debe comprobar ambas claves y valores, la prueba y la raíz elegida.

Al cambiar un valor se actualizan su compromiso y los ancestros hasta la raíz. Una prueba de la raíz antigua no acredita la nueva. El ahorro depende del acceso: una prueba compacta no implica ancho de banda o coste cero ni garantiza disponibilidad.

Riesgos

Errores en derivación de claves, orden de bytes, vinculación de posición, separación de dominios, validación de puntos, conversión escalar o distinción entre vacío y cero pueden romper la seguridad. Se requieren vectores de prueba e interoperabilidad.

Pruebas pequeñas no resuelven disponibilidad ni vivacidad: retener un valor impide ejecutar y una raíz o finality errónea acepta otra historia. Producir pruebas también puede ser un cuello de botella o punto de censura.

Migrar cambia layout, sincronización, formatos, bases de datos, contabilidad de Gas y pruebas históricas. Una propuesta o devnet no prueba preparación productiva. Los compromisos de curva elíptica considerados tampoco suelen ser post-quantum secure.

Errores comunes

Error 1: solo es un árbol de Merkle con más hijos

La diferencia decisiva es abrir un hijo mediante un compromiso vectorial sin listar todos sus hermanos.

Error 2: toda prueba tiene tamaño total constante

Las aperturas se agregan, pero el testigo crece con valores, rutas y metadatos.

Error 3: sin estado significa que nadie guarda estado

El verificador evita una copia completa, pero alguien debe conservar o reconstruir y entregar los datos.

Error 4: Ethereum mainnet ya usa árboles Verkle

Las fuentes describen investigación y testnets; en la fecha de revisión EIP-6800 es Stagnant.

Temas relacionados

Fuentes

Navegación

Buscar en la wiki...