﻿---
title: "Árbol Verkle"
description: "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."
image: "https://wiki.fcontext.com/og.png"
---

> Documentation Index
> Fetch the complete documentation index at: https://wiki.fcontext.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Árbol Verkle

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

<a id="answer"></a>

## 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.

<a id="mechanism"></a>

## 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.

<a id="example"></a>

## 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.

<a id="risks"></a>

## 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.

<a id="misconceptions"></a>

## 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.

<a id="related"></a>

## Temas relacionados

- [Árbol de Merkle](/es/crypto/merkle-tree/)
- [Cliente ligero](/es/crypto/light-client/)
- [Raíz de estado](/es/crypto/state-root/)
- [Ethereum](/es/crypto/ethereum/)
- [Disponibilidad de datos](/es/crypto/data-availability/)

<a id="sources"></a>

## Fuentes

- [Verkle Trees](https://math.mit.edu/research/highschool/primes/materials/2018/Kuszmaul.pdf) - MIT PRIMES (consulta: 2026-08-22)
- [EIP-6800: Ethereum state using a unified verkle tree](https://eips.ethereum.org/EIPS/eip-6800) - Ethereum Improvement Proposals (consulta: 2026-08-22)
- [Verkle tree structure](https://blog.ethereum.org/2021/12/02/verkle-tree-structure) - Ethereum Foundation (consulta: 2026-08-22)
- [Verkle trees](https://ethereum.org/roadmap/verkle-trees/) - Ethereum.org (consulta: 2026-08-22)

Source: https://wiki.fcontext.com/es/crypto/verkle-tree/index.mdx
