Vitalik Buterin presenta el plan de 'computadora mundial criptográfica' para Ethereum

La próxima actualización de Ethereum será la última que alguien de 2015 reconocería, escribió su cofundador Vitalik Buterin en una publicación publicada el sábado.

Hegota, el fork programado para el próximo año, es "probablemente el último fork 'normal' de Ethereum", dijo. Lo que sigue implica STARKs recursivos, verificación formal automatizada, consenso altamente optimizado y hacer que todo sea seguro contra la computación cuántica.

Un Ethereum posterior a Lean se llama blockchain "en gran medida por razones históricas", escribió Buterin.

En realidad, argumentó, es una "construcción híbrida" que fusiona las ideas de Satoshi Nakamoto con maquinaria criptográfica que surgió de 50 años de trabajo académico y que "ni siquiera existía" en 2009. Esa arquitectura, tuiteó, "permitirá propiedades mucho más poderosas" que la blockchain por sí sola.

Verificación, consenso y construcción de bloques

Tres propiedades fundamentales están siendo reemplazadas por completo. La verificación pasa de descargar y reejecutar cada bloque a muestrear datos con PeerDAS y comprobar un SNARK. El consenso pasa a un modelo de prueba de participación "mucho mejor optimizado". Y la construcción de bloques pasa de que un solo minero decida qué se incluye, a que varias partes lo construyan juntas.

La finalidad llegaría en 8 a 32 segundos frente a los aproximadamente 200 segundos que se necesitan hoy para 12 confirmaciones, las ranuras durarían de 4 a 8 segundos, y ejecutar un nodo exigiría mucho menos hardware. La resistencia a la censura vendría de FOCIL, un esquema en el que un comité de validadores publica cada uno una lista de transacciones pendientes que el siguiente bloque debe contener, aplicado por la regla de elección de bifurcación de modo que los bloques que las omitan sean ignorados. Buterin describió el resultado como "inclusión de transacciones en tiempo real garantizada".

La privacidad llega por partes, con la computación de propósito general aún costosa y solo parcialmente privada, mientras que las aplicaciones de propósito específico obtienen "privacidad muy fuerte" a partir de pruebas de conocimiento cero y abstracción de cuentas privadas. El enrutamiento cebolla y las mixnets cubrirían la capa de red, trabajo que la Fundación Ethereum dotó de recursos con un clúster de privacidad dedicado lanzado en octubre pasado.

Los desarrolladores sentirían el cambio en los costos de gas. El mismo cómputo costará más "si lo metes todo en una sola transacción inescrutable ejecutada en serie", escribió Buterin, y menos si se divide en dependencias que pueden paralelizarse o eliminarse antes de que la transacción llegue a un bloque.

La descentralización como ventaja

La descentralización está dejando de ser puramente un costo, argumentó Buterin. Permite que los datos se almacenen en paralelo, que la computación ocurra en paralelo dentro del mempool y que los metadatos se oculten de formas que un sistema centralizado no puede gestionar.

Ese era el sueño de mediados de la década de 2010, dijo, y fracasó entonces por una razón: no había forma de verificar que el trabajo dividido se hubiera hecho correctamente. Los comités muestreados al azar eran "complicados de configurar y costosos", añadían latencia y ofrecían "ningún recurso si el comité falla". La criptografía moderna lo resuelve, con una sobrecarga que "disminuye mes a mes".

Más adelante se encuentra la ofuscación indistinguible, que Buterin describe como el santo grial porque eliminaría por completo el compromiso entre privacidad y generalidad. Es explícito en que nada en la publicación depende de ello, y que "todas las conclusiones de esta publicación se aplicarán mucho antes de que algo de eso esté disponible".

El problema más difícil a corto plazo es relativamente mundano. Hacer que las pruebas de conocimiento cero sean lo suficientemente rápidas y seguras es una "complejidad encapsulada" que ya se optimiza con herramientas de IA, escribió. Gestionar y paralelizar el acceso a cantidades muy grandes de estado sigue siendo "más difícil, y sistémicamente complejo".

La publicación se lee como un compañero en lenguaje sencillo del Strawmap, el calendario preliminar de la Fundación Ethereum de siete bifurcaciones hasta 2029 que Buterin llamó "un documento muy importante" cuando Justin Drake lo publicó en febrero. Mientras que ese expone las dependencias bifurcación por bifurcación, la publicación de Buterin apunta al destino final, con tiempos de slot cayendo de 12 segundos a dos, la finalidad bajando de aproximadamente 16 minutos a un solo dígito, y toda la red reemplazada componente por componente en lo que Buterin entonces llamó una reconstrucción de la "nave de Teseo".