TL;DR
Vitalik Buterin revisó su postura sobre la validación completa por sí mismo y declaró que los zk-SNARKs permiten una verificación completa sin reprocesar toda la cadena.
El desacuerdo con Ian Grigg se centró en el almacenamiento del estado en la cadena, el uso de raíces de estado y la dependencia de servicios RPC para acceder al estado actual.
Ethereum se ha desplazado hacia zk-rollups como zkSync, StarkNet y Scroll. Buterin propuso eliminar los precompilados heredados que limitan la generación de pruebas zk.
Vitalik Buterin revisó públicamente una posición que había mantenido desde 2017 sobre la validación completa de la blockchain por parte de los usuarios.
El cofundador de Ethereum dijo que ya no está de acuerdo con una afirmación que hizo hace casi una década, cuando desestimó la auto-validación completa como una 'extraña fantasía de un hombre de montaña'. Su cambio de posición está ligado a la evolución de la criptografía de conocimiento cero, particularmente los zk-SNARKs.
En 2017, Buterin estuvo involucrado en una disputa técnica con el teórico Ian Grigg sobre el diseño de blockchain. Grigg argumentó que las blockchains solo deberían registrar el orden de las transacciones, mientras que el estado completo debería reconstruirse localmente y descartarse. Buterin se opuso a ese enfoque porque requería volver a ejecutar toda la historia de transacciones o depender de servicios RPC de terceros para obtener el estado actual.
¿Por qué cambió Buterin de opinión?
En ese momento, Buterin defendió un modelo en el que el estado completo se almacena en la cadena y se ancla a los encabezados de bloque a través de raíces de estado. Bajo ese diseño, los usuarios podían verificar valores específicos utilizando pruebas de Merkle, asumiendo una mayoría honesta bajo prueba de trabajo o prueba de participación. La validación completa por parte de cada usuario era computacionalmente inviable sin restringir severamente la capacidad de la red.
El cambio central destacado por Buterin es la maduración de los zk-SNARKs. Estas pruebas criptográficas permiten que un conjunto de cálculos se demuestre como correcto sin volver a ejecutarlos o revelar los datos subyacentes. Ese avance eliminó la necesidad de reprocesar toda la historia de la cadena para verificar su validez.
Según Buterin, los zk-SNARKs hacen posible lograr garantías de verificación completas sin imponer costos prohibitivos a los usuarios. Este desarrollo permite una reevaluación de los compromisos anteriores relacionados con la escalabilidad, la descentralización y la verificación dentro de Ethereum. El nuevo enfoque también aborda escenarios operacionales que involucran interrupciones del servicio, picos de latencia, apagones de infraestructura o presión externa sobre los intermediarios.
El nuevo plan de Ethereum
Buterin revivió la metáfora de la 'cabaña del hombre de montaña' como un mecanismo de respaldo que permite la interacción directa con la red cuando otras capas fallan. Esta visión se alinea con la creciente prominencia de los zk-SNARKs en la hoja de ruta de Ethereum.
La red ahora muestra un claro enfoque en los zk-rollups como solución de escalado. Estas redes de capa dos agrupan miles de transacciones y envían una única prueba criptográfica a Ethereum. Proyectos como zkSync, StarkNet y Scroll ya operan bajo este modelo, cada uno con diferentes compromisos técnicos.
Vitalik también identificó componentes heredados que limitan la adopción total de los sistemas de conocimiento cero. En 2025, propuso eliminar la precompilación de exponenciación modular, que se había convertido en un cuello de botella para la generación de pruebas zk.
