Vitalik Buterin cree que el Santo Grial de la criptografía está más cerca de lo que la mayoría de la gente piensa, y está cuantificándolo. En un análisis del 6 de septiembre, el cofundador de Ethereum estimó una probabilidad del 60% de que tres de los primitivos criptográficos más importantes —SNARKs, cifrado completamente homomórfico y obfuscación de indistinguibilidad— logren un sobrecargo inferior a 10x al considerar el consumo combinado de energía y los costos informáticos amortizados.
Él fue aún más lejos, asignando una probabilidad del 33% a que esas mismas tecnologías alcancen una sobrecarga casi nula (expresada matemáticamente como 1+ε) a gran escala. La traducción: hay aproximadamente una posibilidad entre tres de que ejecutar cálculos cifrados se vuelva casi tan económico como ejecutarlos en claro.
Tres tecnologías, una ambición
Los SNARKs (Argumentos Concisos y No Interactivos de Conocimiento) permiten demostrar que algo es verdadero sin revelar los datos subyacentes. Son la base de las pruebas de conocimiento cero, que impulsan todo, desde los rollups de Layer 2 de Ethereum hasta las transacciones que preservan la privacidad.
FHE (Encriptación Homomórfica Total) permite realizar cálculos sobre datos encriptados sin necesidad de desencriptarlos nunca.
Luego está iO (obfuscación de indistinguibilidad), que Buterin mismo calificó como el “jefe final” de la criptografía en un análisis del 29 de junio. iO permite enmascarar un programa informático tan completamente que nadie puede determinar cómo funciona internamente, solo qué salida produce. Las implementaciones actuales se describen como polinomialmente acotadas, pero efectivamente inutilizables debido a los requisitos extremos de tiempo de ejecución derivados de la capa de diversos primitivos.
SNARKs liderando el grupo
De las tres tecnologías, Buterin considera que los SNARKs son los más maduros. Señaló que la sobrecarga alcanzable para los SNARKs ya ha llegado a dígitos unitarios en escenarios especializados, específicamente para funciones de hash dedicadas y ciertas tareas de inferencia de modelos de lenguaje grandes.
Buterin espera que los SNARKs alcancen múltiplos de sobrecarga de un solo dígito de forma más amplia para finales de la década.
Tres caminos hacia el jefe final
En su comentario anterior de junio, Buterin describió tres posibles rutas de investigación para hacer viable iO. La primera implica optimizar las construcciones basadas en retículos existentes. La segunda se basa en suposiciones criptográficas más fuertes, intercambiando cautela teórica por velocidad práctica. La tercera requiere métodos completamente nuevos, enfoques no basados en retículos que podrían evitar por completo los cuellos de botella actuales.
Estableció una comparación explícita con la evolución de los SNARKs tras 2010, sugiriendo que iO podría seguir un arco similar, aunque el punto de partida es considerablemente peor.
Las proyecciones de Buterin se extienden hasta el final de la década para SNARKs y probablemente más allá para FHE e iO. No se adjuntan cambios en el protocolo ni hitos de desarrollo a sus estimaciones, que permanecen dentro de un ámbito personal centrado en las implicaciones filosóficas más que en aplicaciones comerciales.