Vitalik actualiza la hoja de ruta de Ethereum: privacidad, seguridad cuántica y simplificación ganan prioridad

Autor: Vitalik Buterin

Traducción: Comunidad de Denglian

Actualicé la hoja de ruta de 2023, mostrando la posición de cada uno de los ítems originales superpuestos en el actual Strawmap.

En general, hay una alta coincidencia, aunque:

• El orden de algunos ítems fue ajustado (por ejemplo, la seguridad cuántica se elevó a mayor prioridad)
• Algunos ítems fueron degradados (por ejemplo, VDF; muchas mejoras de EVM)
• Algunos ítems han sido reemplazados por construcciones mejores (por ejemplo, Verkle → BT unificado → PBT; expiración de estado → nuevos tipos de estado)

Novedades fuera de la hoja de ruta de 2023

Sin embargo, lo más llamativo es que han aparecido algunos elementos completamente nuevos en Strawmap, que no están en el gráfico de arriba porque simplemente no existían en la hoja de ruta de 2023. Estos elementos reflejan un cambio en las prioridades.

Vale destacar:

• La principal atención a la privacidad avanzada. Esto incluye: nonces con clave y raíces recientes, varios aspectos de FOCIL, lean privacy pool y wormholes
• La expansión radical en un contexto post-cuántico. Esto incluye: firmas leanSPHINCS y agregación, frames zkzk
• Simplificación de especificaciones para ayudar a la verificación formal (solo con IA moderna se puede realizar una verificación formal completa de todo)
• Blob y futuros de gas (esta idea no existía en absoluto en 2023)
• Rollups nativos (en 2023, SNARK estaba muy lejos de estar lo suficientemente maduro para considerar esto)
• Dejar un espacio de diseño más abierto para el “futuro de EVM”. Los frames zkzk ya implican que el protocolo expondrá a los usuarios algún tipo de ISA (Instruction Set Architecture – Arquitectura del Conjunto de Instrucciones) no-EVM; los candidatos principales actualmente son leanISA y RISC-V. Estas ISA son más simples, modernas y eficientes que EVM. Una vez que existan, ¿por qué no exponerlas a todos los desarrolladores? (Y entonces, ¿por qué no convertir EVM en un IR sobre esa ISA, en vez de fijarlo como una característica fundamental que complejiza notablemente el protocolo?) Sin embargo, este tipo de exploración más profunda todavía es prematura incluso para Strawmap.
• Los nuevos tipos de estado no solo son un sustituto para la expiración de estado, sino que representan un paradigma de escalabilidad fundamentalmente distinto para Ethereum.

Temas comunes en la escalabilidad

Hay un tema común en la escalabilidad, que también se refleja en los tipos de estado y los frames zkzk (ambos son ideas nuevas): no intentamos escalar toda la actividad de Ethereum al máximo, sino crear mecanismos especializados con atributos más estrictos, más amigables para la escalabilidad, que soporten las cargas más pesadas de usuarios y aplicaciones tanto hoy (por ejemplo, transferencias de tokens, intercambios) como mañana (por ejemplo, protocolos de privacidad).

Otro tema común es que consideramos STARK y la verificación formal (FV) acelerada por IA como ciudadanos de primera clase, apostando el futuro tecnológico de Ethereum a ello. Hay STARK recursivos en muchas capas del protocolo, y se espera que una primitiva particular (“dependencia agregada de verificación de unión”) se utilice en tres lugares del protocolo: EL, CL y DL. Esto solo es seguro mediante verificación formal, y la verificación formal solo es viable con herramientas modernas de IA.

Muchos pasos hacia la madurez

En general, hemos dado muchos pasos hacia mayor madurez. Y detrás de esto está el gran esfuerzo de decenas de investigadores y desarrolladores de Ethereum en todas estas características.

Ethereum será seguro frente a la computación cuántica. Ethereum priorizará la privacidad de los usuarios. Ethereum será seguro. Ethereum será resistente a la censura. Ethereum será de alto rendimiento y escalable, cumpliendo con todos los requisitos anteriores. Y además, Ethereum será lean (eficiente y simple).