Verkle Trees identifican los puntos de mal rendimiento en la implementación de go-verkle en Ethereum.

Los investigadores de AWS identificaron cuatro puntos de congestión en el rendimiento de la implementación del árbol Verkle en Go-Verkle. Estos puntos de congestión incluyen:Redundancia de nodos en sombra, redundancia de la clave del índice, copia ineficiente de memoria, y incompatibilidad entre diferentes lenguajes..

Estos problemas afectan la eficiencia de los clientes sin estado, y podrían dificultar la adopción más amplia de Ethereum.Mecanismos de verificación basados en pruebas.

Las optimizaciones propuestas, como la reestructuración de la lógica de deserialización, tienen como objetivo reducir la cantidad de copias de memoria y mejorar la eficiencia del nodo en más de tres veces.Apoyando la integración del árbol Verkle..

Los investigadores de AWS, Ekleen Kaur y Everton Fraga, realizaron pruebas de estrés sobre la implementación del árbol Verkle en Ethereum. Sus resultados revelaron cuatro principales cuellos de botella que afectan la eficiencia de la estructura del árbol. El primer problema es la redundancia de los nodos sombra durante las actualizaciones del árbol.Las causas del 35% de redundancia en los datos estatales son….

El segundo obstáculo se relaciona con las claves de los índices de la base de datos que contienen información de rutas repetidas.Aumento del costo de almacenamiento en un 50%.Esta redundancia genera preocupaciones en cuanto a la escalabilidad a largo plazo y al uso de los recursos. El tercer problema es la copia ineficiente de la memoria durante el proceso de deserialización.El resultado es que la velocidad de deserialización es 24 veces más lenta.Menos que los valores optimizados teóricamente.

El cuarto problema es la incompatibilidad entre los lenguajes en la generación de pruebas, tanto en las implementaciones de Go, Rust como en Nimbus. Esta incompatibilidad…Aumenta el riesgo de que se produzcan cambios inesperados en el código después de las actualizaciones.AWS ha presentado propuestas de optimización al repositorio central de Ethereum.Se está trabajando en la reestructuración de la lógica de deserialización.Para reducir la cantidad de copias que se realizan en la memoria. Estas propuestas tienen como objetivo…Mejora la eficiencia de los nodos en más del tres veces.Y también ayudar a que el árbol Verkle sea adoptado de manera más amplia.

El plan de desarrollo de Ethereum incluye una transición de la verificación basada en la reejecución a la verificación basada en pruebas criptográficas. Este cambio tiene como objetivo…Mejora la eficiencia y la escalabilidad.Mantener la seguridad es algo muy importante. Las innovaciones como los clientes sin estado, los árboles Verkle, EIP-4844 y el escalado centrado en el rollover son fundamentales para esta transición. EIP-4844 (Proto-Danksharding) tiene como objetivo…Reduce los costos de ejecución y permite utilizar clientes más ligeros.Mientras que la escalabilidad centrada en los rollups conmuta la ejecución a los rollups propios, lo que permite mantener la resolución de conflictos y la disponibilidad de datos en el nivel L1.

La integración de las pruebas zk en los rollups y clientes ligeros permite realizar verificaciones criptográficas, en lugar de tener que ejecutar nuevamente las mismas operaciones. Esta es una evolución positiva.Redefinimos la verificación como la comprobación de la validez matemática de las pruebas.En lugar de tener que volver a hacer el trabajo, sería mejor no hacerlo. Sin embargo, la generación de pruebas sigue siendo una tarea computacionalmente compleja.Plantea nuevos desafíos relacionados con la descentralización.En torno a la accesibilidad del producto.

¿Cuáles son las implicaciones que esto tiene para la escalabilidad y el rendimiento de Ethereum?

Los cuellos de botella en el rendimiento identificados en la implementación de Go-verkle destacan los desafíos técnicos que Ethereum enfrenta para escalar de manera eficiente. Estos cuellos de botella podrían…Ralentiza la transición hacia una red más escalable.Abordar estos problemas es crucial para que Ethereum pueda alcanzar sus objetivos a largo plazo.Eficiencia mejorada y mayor adopción por parte de los usuarios..

Las optimizaciones propuestas para la implementación de go-verkle son significativas, ya que se enfocan directamente en las ineficiencias que dificultan el rendimiento del sistema. Por ejemplo…Reduciendo la cantidad de copias de memoria que se realizan durante la deserialización.Podría mejorar la velocidad general de las operaciones en los nodos, lo que haría que la red sea más eficiente.

¿Cuáles son los desafíos al adoptar la verificación basada en pruebas?

Aunque el paso a la verificación basada en pruebas ofrece numerosas ventajas, también plantea algunos desafíos. Las demandas computacionales relacionadas con la generación de pruebas siguen siendo elevadas.Podría afectar la descentralización, al limitar el acceso de los proveedores.Además, existe el riesgo de que ocurran bifurcaciones inesperadas debido a…La incompatibilidad entre los diferentes idiomas genera preocupaciones en cuanto a la estabilidad del sistema..

La comunidad de Ethereum está trabajando activamente para superar estos desafíos, a través de optimizaciones y mejoras en la tecnología subyacente. Los cambios propuestos tienen como objetivo…Alinear el rendimiento de la red con los objetivos de seguridad establecidos.Asegurando así un equilibrio entre eficiencia y robustez.

¿Cómo las árboles Verkle apoyan la visión a largo plazo de Ethereum?

Los árboles Verkle son un componente crucial de la visión a largo plazo de Ethereum para lograr una red más escalable y eficiente. Al permitir una verificación más eficiente, estos árboles contribuyen a mejorar la eficiencia del sistema en general.Reducen la carga computacional que reciben los nodos completos.Esto es especialmente importante para ayudar a los clientes sin estado, que…Se confía en pruebas criptográficas en lugar de volver a ejecutar las transacciones..

La integración de los árboles Verkle en la arquitectura de Ethereum también fomenta el desarrollo de soluciones de escalabilidad centradas en el uso del concepto de rollup. Estas soluciones…Se realiza la ejecución de las tareas en forma de rollups, manteniendo al mismo tiempo la capacidad de liquidación y la disponibilidad de datos en el nivel L1.Este enfoque aumenta la escalabilidad del sistema, sin comprometer la seguridad ni la descentralización.

A medida que Ethereum sigue evolucionando, la implementación exitosa de optimizaciones como las propuestas para la implementación en go-verkle será clave para lograr sus objetivos. Estos esfuerzos forman parte de una iniciativa más amplia…Redefinir la verificación a través de sistemas de prueba.Esto hace que Ethereum sea más eficiente y accesible para un mayor número de usuarios.