Puntos clave de la noticia:
-
Vitalik Buterin revisó su postura sobre la auto-validación total y afirmó que los zk-SNARKs permiten una verificación completa sin reprocesar toda la cadena.
-
El desacuerdo con Ian Grigg giró en torno al almacenamiento del estado on-chain, el uso de state roots y la dependencia de RPC para acceder al estado actual.
-
Ethereum se ha orientado hacia los zk-rollups como zkSync, StarkNet y Scroll. Buterin propuso eliminar los precompiles heredados que limitan la generación de pruebas zk.
Vitalik Buterin revisó públicamente una postura que sostuvo desde 2017 sobre la validación completa de blockchains por parte de los usuarios.
El cofundador de Ethereum afirmó que ya no coincide con su declaración de hace casi una década, cuando descartó la auto-validación total como una “weird mountain man fantasy”. Su cambio está vinculado a la evolución de la criptografía de conocimiento cero, en particular a los zk-SNARKs.
En 2017, Buterin mantenía un desacuerdo técnico con el teórico Ian Grigg sobre el diseño de las blockchains. Grigg sostenía que las cadenas solo debían registrar el orden de las transacciones, mientras que el estado completo debía reconstruirse localmente y descartarse. Buterin se oponía a ese esquema porque obligaba a reejecutar todo el historial de transacciones o a depender de servicios RPC de terceros para obtener el estado actual.
¿Por qué Buterin Cambió de Opinión?
La posición de Buterin en ese momento defendía un modelo donde el estado completo se almacena on-chain y se ancla a los encabezados de bloque mediante state roots. Bajo ese diseño, los usuarios podían verificar valores específicos usando pruebas de Merkle, asumiendo una mayoría honesta en proof-of-work o proof-of-stake. La validación total por parte de cada usuario resultaba computacionalmente inviable sin limitar severamente la capacidad de la red.
El cambio central señalado por Buterin es la maduración de los zk-SNARKs. Estas pruebas criptográficas permiten demostrar que un conjunto de cálculos se ejecutó correctamente sin repetirlos ni revelar los datos subyacentes. Ese avance ha eliminado la necesidad de reprocesar toda la historia de la cadena para verificar su validez.
Según Buterin, los zk-SNARKs permiten obtener garantías de verificación completa sin imponer costos prohibitivos a los usuarios. Este desarrollo permite hacer una revisión de los compromisos previos relacionados con la escalabilidad, descentralización y verificación dentro de Ethereum. El nuevo enfoque también responde a escenarios operativos donde existen caídas de servicios, picos de latencia, cierres de infraestructura o presiones externas sobre intermediarios.
El Nuevo Roadmap de Ethereum
Buterin retomó la metáfora de la “mountain man’s cabin” como un mecanismo de respaldo que permite la interacción directa con la red cuando otras capas fallan. Esta visión se alinea con el aumento del protagonismo de los zk-SNARKs en el roadmap de Ethereum.
La red muestra un enfoque basado en los zk-rollups como solución de escalado. Estas redes de capa dos agrupan miles de transacciones y publican una única prueba criptográfica en Ethereum. Proyectos como zkSync, StarkNet y Scroll ya operan bajo ese esquema, cada uno con distintos compromisos técnicos.
Vitalik también identificó componentes heredados que limitan la adopción plena de los sistemas zero-knowledge. En 2025 propuso eliminar el precompile de modular exponentiation, que se convirtió en un cuello de botella para la generación de pruebas zk.
