Glosario cripto
Árbol Verkle
Un árbol Verkle es una estructura de datos propuesta para el estado de Ethereum que usa compromisos vectoriales para reducir mucho el tamaño de las pruebas.
El nombre combina compromiso vectorial y árbol de Merkle. Como un árbol de Merkle, compromete un gran conjunto de datos con una sola raíz, pero en lugar de calcular el hash de los nodos hijos juntos, cada nodo usa un compromiso vectorial que puede demostrar el valor de cualquier hijo con una prueba pequeña y de tamaño constante. Así los nodos pueden ser muy anchos, el árbol queda poco profundo y las pruebas son cortas.
En Ethereum, eso reduciría el testigo necesario para demostrar todo el estado que toca un bloque de potencialmente megabytes a unos cientos de kilobytes o menos. Testigos pequeños permitirían a los validadores verificar bloques sin almacenar todo el estado, que es el objetivo de los clientes sin estado y parte de la etapa de la hoja de ruta conocida como the Verge.
Los planes han cambiado. Los compromisos Verkle se basan en supuestos de curvas elípticas que un ordenador cuántico podría romper, y los avances en la demostración de estructuras basadas en hashes con pruebas de conocimiento cero llevaron a los investigadores a valorar árboles de Merkle binarios. Cualquier migración del árbol de estado sería además una de las actualizaciones más complejas de la historia de Ethereum, así que los plazos son inciertos.
Ejemplo
Con un diseño Verkle, un validador que recibe un bloque recibe también un testigo compacto que demuestra cada cuenta que toca, y puede verificarlo sin guardar cientos de gigabytes de estado en disco.