Buterin: Ethereum cambiará a verificación por prueba en 2030
Enmarcó Hegotá el próximo año como la última bifurcación "normal" y puso la privacidad de los metadatos de la billetera y una finalización más rápida en la hoja de ruta.
Vitalik Buterin presentó una visión de Ethereum para 2030 que aleja la red de la reejecución universal y se dirige hacia la verificación basada en pruebas, con más computación llevada fuera de la cadena. Enmarcó la actualización Hegotá planificada para el próximo año como la última bifurcación "normal" antes de que esa era centrada en pruebas se convierta en la principal historia de la hoja de ruta de Ethereum.
El 'Computador Mundial Criptográfico' de Buterin Coloca las Pruebas en el Centro del Plan de Ethereum para 2030
Vitalik Buterin publicó una entrada titulada “El computador mundial criptográfico” el 27 de septiembre describiendo unEthereumestado final en 2030 que aún podría llamarse blockchain, pero funcionaría de manera diferente al emparejar la cadena con pruebas criptográficas y redes de computadoras que trabajan fuera de ella.
La parte relevante para el mercado es la secuenciación que adjuntó a esto. Buterin dijo que la transformación de Ethereum se aceleraría después de la actualización Hegotá planificada para el próximo año, y caracterizó a Hegotá como la última bifurcación "normal" de Ethereum, construida con una tecnología que parecería familiar para alguien que trabajaba en Ethereum en 2015.
Después de eso, escribió, las actualizaciones se basarían cada vez más en pruebas matemáticas, herramientas que verifican el software en busca de errores y seguridad diseñada para resistir futuros computadores cuánticos.
Buterin también enmarcó el período posterior a Hegotá como un cambio de régimen en lo que cuenta como trabajo "central" en Ethereum. “A partir de después de Hegotá, esta transformación se convierte en la historia principal de Ethereum”, escribió, describiendo el resultado previsto como “computación de alta seguridad mucho más barata, escalable y privada que cualquier cosa que se pudiera hacer solo con la tecnología de la era anterior.”
De Todos Reejecutando a Muchos Verificando: La Propuesta de Verificación Basada en Pruebas
El modelo de seguridad actual de Ethereum obtiene su garantía de la repetición. Una computadora que verifica completamente Ethereum repite los cálculos detrás de las transacciones, verificando que un remitente tenía suficientes fondos y que una aplicación siguió sus reglas.
Esa redundancia mantiene la red honesta, pero también limita la escalabilidad porque agregar más computadoras no aumenta automáticamente el rendimiento cuando cada una está ocupada verificando gran parte de la misma actividad.
El cambio propuesto por Buterin es hacer que la verificación sea más barata que la ejecución por defecto. En su marco, una computadora podría procesar transacciones y producir una breve prueba matemática de que siguió las reglas, y otras computadoras podrían verificar esa prueba mucho más rápido que volver a ejecutar el cálculo original.
También describió “verificaciones puntuales separadas” como una forma de establecer que los registros de transacciones permanezcan disponibles para inspección, incluso cuando diferentes máquinas abordan diferentes trabajos y verifican los resultados de unas a otras.
Él posicionó esto como el ingrediente faltante que hacía que las ideas más antiguas de "dividir el trabajo" fueran imprácticas. "En ese entonces, esto no era viable por una razón principal: el ingrediente faltante era la verificación", escribió Buterin, refiriéndose a lo que los desarrolladores de Ethereum querían hacer hace una década.
El inconveniente es que el paralelismo no elimina los problemas de orden, solo cambia dónde se resuelven. Buterin señaló que Ethereum aún necesitaría resolver cuestiones donde el orden importa, como decidir cuál de dos pagos que gastan los mismos fondos llegó primero, y sugirió que más del trabajo detrás de los pagos podría completarse de antemano, con pruebas combinadas para reducir la información registrada en la cadena.
Prioridades Post-Hegotá: Privacidad de Metadatos de Billetera y el Objetivo de Finalidad de 8 a 32 Segundos
Buterin colocó la privacidad en el mismo nivel que la escalabilidad, y la definió de manera más amplia que las transferencias privadas. Sus objetivos de privacidad incluyen ocultar los metadatos de actividad de la billetera, incluidas las solicitudes de verificación de saldo que pueden revelar qué direcciones un usuario monitorea cuando una billetera consulta un servidor externo.
En su ejemplo, incluso si los pagos son privados, el operador del servidor que responde a las consultas de saldo puede aprender qué cuentas sigue una persona. Buterin imaginó ocultar esas solicitudes junto con los detalles de pago y las reglas que una cuenta utiliza para aprobar el gasto, de modo que un negocio pudiera mantener los pagos confidenciales sin revelar sus cuentas cada vez que un empleado verifica un saldo.
En cuanto al rendimiento, la comparación de Buterin para 2030 imaginó que los pagos se vuelven finales, es decir, tratados como irreversibles por la red en condiciones normales, en aproximadamente ocho a 32 segundos.
No adjuntó un cronograma de implementación más allá de decir que la transformación más amplia se acelera después de Hegotá, y enumeró los requisitos previos que siguen siendo restricciones de ingeniería abiertas: las pruebas deben volverse lo suficientemente eficientes para su uso generalizado, y las computadoras que manejan trabajos separados deben coordinar actualizaciones a los mismos saldos y registros de aplicaciones sin interferir entre sí.
Mi interpretación: Hegotá como un punto de inflexión narrativo, no un catalizador datado
Hegotá se está enmarcando como un fork que puedes calendarizar, pero la señal más importante es la forma en que Buterin está tratando de renombrar lo que viene después.
Llamarlo el último fork "normal" tiene menos que ver con el conjunto de EIP de Hegotá, que aún no está especificado, y más con decirle al mercado que las pruebas y los métodos formales están destinados a convertirse en el sustrato predeterminado para futuras actualizaciones en lugar de un tema de escalabilidad añadido.
El umbral que importa es si los costos de prueba caen lo suficiente como para que los desarrolladores principales puedan tratar de manera creíble la verificación basada en pruebas como la ruta de seguridad y escalabilidad base, y si el modelo de trabajador paralelo fuera de la cadena puede coordinar un estado compartido sin introducir nuevos modos de falla.
Si esas dos restricciones comienzan a resolverse en propuestas concretas después de Hegotá, la configuración comienza a parecer estructural en lugar de impulsada por la narrativa, porque el techo de rendimiento de Ethereum se convierte en un problema de costo de verificación en lugar de un problema de reejecución universal.
