El cofundador de Ethereum, Vitalik Buterin, ha puesto números concretos a una pregunta de larga data en la criptografía: qué tan cerca están las herramientas avanzadas de privacidad y verificación de los costos de computación ordinarios. En una publicación del 6 de septiembre, Buterin asignó una probabilidad del 60% a que los SNARKs, el cifrado completamente homomórfico (FHE) y la ofuscación indistinguible (iO) operen eventualmente con un sobrecosto computacional inferior a 10x, medido a través del uso total de energía y los gastos de computación amortizados. También dio a las tres tecnologías un 33% de probabilidad de acercarse a un sobrecosto de 1+ε para el cómputo promedio del mundo real.

El cofundador de Ethereum, Vitalik Buterin, dijo que cree que hay un 60% de probabilidad de que los SNARKs, el cifrado completamente homomórfico y la ofuscación indistinguible puedan implementarse eventualmente con un dígito… pic.twitter.com/kdtCcHwajq — Wu Blockchain (@WuBlockchain) September 6, 2026

Esa distinción importa porque el plazo es más estrecho de lo que sugiere la probabilidad del titular. Buterin no dijo que las tres tecnologías cruzarían el umbral de sub-10x para 2030. En cambio, dijo que al menos una podría alcanzar un sobrecosto de un solo dígito para fines de la década, con los SNARKs como el candidato más probable. El planteamiento se basa en un problema de larga data en la criptografía aplicada: las tres técnicas han sido teóricamente viables durante años —el FHE fue construido por primera vez por Craig Gentry en 2009—, pero su costo computacional las ha mantenido confinadas principalmente a entornos de investigación y no a sistemas de producción.

Los SNARKs lideran el avance hacia costos de computación sub-10x

Los SNARKs permiten que un sistema demuestre que un cómputo se realizó correctamente sin que cada verificador tenga que repetir todo el proceso. Como resultado, se han vuelto centrales en el modelo de escalamiento de conocimiento cero de Ethereum. Los rollups de conocimiento cero ya usan este enfoque: procesan lotes de transacciones fuera de la capa base de Ethereum y luego envían pruebas de validez a la Mainnet, lo que permite a la red verificar esas transacciones preservando las garantías de seguridad de Ethereum.

Sin embargo, la generación de pruebas sigue siendo una limitación importante. Las pruebas complejas aún requieren un poder de cómputo considerable y algunas cargas de trabajo dependen de hardware especializado. Aun así, Buterin dijo que la brecha de eficiencia está empezando a cerrarse. En agosto, destacó investigaciones que muestran que ciertas cargas de inferencia de grandes modelos de lenguaje se acercaban a un sobrecosto de prueba inferior a 10x. También señaló funciones hash especializadas donde ya se ha logrado un sobrecosto de un solo dígito.

A medida que los costos de prueba disminuyen, la mejora podría tener implicaciones directas para la arquitectura futura de Ethereum. La hoja de ruta zkEVM de la red contempla que los validadores verifiquen pruebas de bloques completos en lugar de reproducir independientemente cada transacción. Una generación de pruebas suficientemente eficiente podría, por lo tanto, permitir a Ethereum elevar los límites de gas sin requerir aumentos proporcionales en el hardware de los validadores, lo que haría que los SNARKs de menor costo sean relevantes tanto para la escalabilidad como para la eficiencia de los validadores. La tendencia también es visible en el ecosistema de conocimiento cero en general, donde los sistemas de prueba han sido objeto de sucesivos esfuerzos de optimización dirigidos a reducir el tiempo del probador y la dependencia del hardware.

El FHE y el iO enfrentan barreras más altas

Mientras que los SNARKs se centran en verificar cómputos, el FHE aborda un desafío diferente: la privacidad. Permite realizar cálculos directamente sobre datos cifrados sin revelar primero la información subyacente. El NIST describe el FHE como una tecnología que mejora la privacidad, capaz de aplicar funciones arbitrarias a datos cifrados sin acceso a la clave secreta de descifrado. Para las blockchains, esa capacidad podría soportar creadores de mercado automatizados privados, mercados de préstamos confidenciales y subastas con ofertas selladas, aplicaciones identificadas directamente en la hoja de ruta de privacidad de Ethereum. Sin embargo, el FHE todavía conlleva costos computacionales significativamente más altos que el procesamiento ordinario de texto plano, por lo que alcanzar un sobrecosto sub-10x representaría un paso importante hacia un uso práctico más amplio.

La ofuscación indistinguible presenta un desafío aún más difícil. La tecnología busca transformar software preservando su funcionalidad, haciendo que los programas ofuscados equivalentes sean computacionalmente indistinguibles. Investigaciones recientes han fortalecido los fundamentos teóricos del iO, pero sus costos prácticos siguen siendo extremadamente altos; Buterin ha descrito las construcciones tradicionales como efectivamente "galácticas" en gasto computacional. Para reducir esos costos, su trabajo reciente ha explorado enfoques como el diamond iO y el local mixing. El diamond iO reduce la carga teórica pero sigue siendo impráctico, mientras que el local mixing toma una ruta diferente cuya seguridad aún no está demostrada.

No obstante, cada tecnología apunta a una parte distinta del problema criptográfico más amplio. Los SNARKs más baratos podrían hacer que el cómputo verificable sea más rutinario, el FHE podría expandir el cómputo privado sobre datos compartidos, y un iO eficiente podría ayudar a proteger la lógica interna del software ejecutable. Por ahora, la estimación del 60% de Buterin sigue siendo una valoración probabilística personal y no un compromiso de la hoja de ruta de Ethereum.

Fuente: Blockonomi