¿Qué son los SNARKs? ¿Por qué Vitalik Buterin cree que los costos de la prueba ZK podrían caer por debajo de 10x?

2026/09/08 11:12:00

Vitalik Buterin ve la criptografía acercándose a una sobrecarga casi nula

El cofundador de Ethereum, Vitalik Buterin, publicó un análisis el 6 de septiembre de 2026, asignando probabilidades concretas a la viabilidad a largo plazo de tres primitivas criptográficas avanzadas. Asignó una probabilidad del 60% de que los SNARKs, el cifrado completamente homomórfico y la ofuscación de indistinguibilidad eventualmente operen a menos de 10 veces el costo de la computación ordinaria, medido por el uso total de energía más los gastos informáticos amortizados. Además, estimó un 33% de probabilidad de que las mismas herramientas puedan acercarse a una sobrecarga de 1+ε a escala suficiente, lo que significa que el costo criptográfico adicional se vuelve arbitrariamente pequeño en relación con el trabajo subyacente. Los SNARKs se destacan como los más maduros de los tres y los más propensos a alcanzar una sobrecarga de dígitos unitarios para finales de la década. Funciones hash especializadas y ciertas cargas de trabajo de inferencia de modelos de lenguaje grandes ya han demostrado niveles de eficiencia comparables.

Estas proyecciones llegan en medio de rápidas mejoras en los costos de demostración de conocimiento cero, donde las referencias públicas muestran que las pruebas de bloques de ethereum han caído de dólares a fracciones de un centavo en aproximadamente un año. Una menor sobrecarga ampliaría el uso factible de pruebas privadas, permitiría mayores límites de gas sin un crecimiento proporcional del hardware de validadores y apoyaría una adopción más amplia de aplicaciones que preservan la privacidad en sistemas de cadena de bloques. La evaluación sigue siendo una opinión personal, no consensuada, y no un compromiso del roadmap del protocolo. Los SNARKs ya ofrecen valor en producción hoy en día y se encuentran más cerca, entre las herramientas criptográficas avanzadas, de lograr una sobrecarga lo suficientemente baja para una implementación rutinaria y a gran escala, según las estimaciones de probabilidad de Buterin de septiembre de 2026 y el progreso empírico simultáneo en los sistemas de demostración.

Cómo los SNARKs entregan pruebas compactas de cálculo correcto sin revelar entradas

Los Argumentos Concisos No Interactivos de Conocimiento, o SNARKs, permiten a una parte generar una prueba criptográfica breve que demuestra que un cálculo se ejecutó correctamente. El verificador comprueba la prueba sin volver a ejecutar el cálculo completo ni conocer las entradas privadas. La propiedad de “concisión” mantiene el tamaño de la prueba pequeño y la verificación rápida, incluso cuando la afirmación subyacente es compleja. El diseño no interactivo significa que el probador genera un único mensaje que cualquier verificador puede comprobar de forma independiente. Las variantes de conocimiento cero ocultan aún más los datos de la prueba, respaldando aplicaciones de privacidad como transacciones protegidas o lógica confidencial de contratos inteligentes. En la práctica, las construcciones modernas de SNARK dependen de criptografía basada en emparejamientos o alternativas basadas en funciones hash, con circuitos que expresan el cálculo como restricciones aritméticas. El tiempo y la memoria de prueba siguen siendo los costos principales, mientras que la verificación suele ser lo suficientemente económica como para usarse en cadena. Sistemas especializados recientes han reducido la sobrecarga para cargas de trabajo estructuradas, como evaluaciones repetidas de hash, a niveles mucho más bajos que las implementaciones generales anteriores.

Esta brecha de eficiencia entre casos especializados y generales explica por qué Buterin destaca a los SNARKs como el candidato más cercano para una sobrecarga unitaria generalizada. Las implementaciones en producción ya confían en SNARKs para pruebas de validez de rollups y protocolos de privacidad, demostrando que el mecanismo central funciona a escala incluso antes de que las reducciones de costo proyectadas se materialicen por completo. Los avances continuos en optimización de circuitos, aceleración de hardware y composición recursiva siguen reduciendo la brecha de rendimiento restante entre la ejecución nativa y la ejecución probada. El valor práctico de los SNARKs descansa en la asimetría entre la generación de pruebas y la verificación. Generar una prueba puede requerir aún recursos sustanciales en comparación con simplemente ejecutar el programa original, pero el objeto resultante sigue siendo pequeño y rápido de verificar. Esta propiedad sustenta los diseños de escalado de Capa 2 que publican pruebas compactas en una capa base en lugar de datos de transacción completos. También respalda aplicaciones donde una parte debe demostrar conocimiento de un secreto o ejecución correcta de un cálculo privado sin revelar el secreto en sí.

Las referencias empíricas de 2025 a 2026 muestran que los costos de prueba para bloques a escala de ethereum disminuyeron aproximadamente 45 veces en un año en rastreadores públicos, alcanzando niveles por debajo del centavo para configuraciones elegibles bajo configuraciones optimizadas con múltiples GPU. Tales mejoras validan la dirección hacia los objetivos de sobrecarga descritos por Buterin. Las tendencias de hardware, incluidas GPU de consumo y diseños especializados de probadores, reducen aún más los costos absolutos de energía y capital asociados con la generación de pruebas. Cuando las funciones de hash especializadas ya operan cerca de múltiplos de dígitos únicos del costo nativo, el desafío de ingeniería restante se centra en extender esas eficiencias a circuitos más generales sin introducir nuevos cuellos de botella. La combinación de avances algorítmicos y la maduración del hardware proporciona, por lo tanto, la base factual para la probabilidad optimista asignada a que los SNARKs alcancen niveles de sobrecarga ampliamente útiles esta década.

Marco de probabilidad de Vitalik Buterin para sobrecarga criptográfica de septiembre de 2026

El 6 de septiembre de 2026, Buterin cuantificó preguntas de larga data sobre la practicidad de la criptografía avanzada asignando probabilidades explícitas. Estimó un 60% de probabilidad de que los SNARKs, el cifrado completamente homomórfico y la ofuscación de indistinguibilidad logren eventualmente un costo combinado de energía y cómputo amortizado inferior a 10 veces el de la computación ordinaria. Una probabilidad separada del 33% se aplica a la afirmación más fuerte de que los tres pueden acercarse a una sobrecarga de 1+ε para cargas de trabajo reales promedio una vez que la escala sea lo suficientemente grande. La medición incorpora deliberadamente el gasto energético en lugar del tiempo de reloj de pared solo, reflejando la verdadera carga económica de ejecutar la tecnología a gran volumen. Buterin describió la perspectiva general como optimista y no consensuada. Señaló que al menos uno de los tres primitivos, probablemente los SNARKs, tiene una buena oportunidad de alcanzar una sobrecarga de dígitos únicos para finales de la década. Casos especializados ya demuestran la viabilidad de tales niveles para ciertas funciones hash y tareas de inferencia de modelos de lenguaje. Las predicciones no llevan plazos de protocolo ni compromisos de ingeniería asociados; representan una evaluación personal de la posibilidad técnica, no un cronograma para actualizaciones de ethereum.

La cobertura en múltiples medios el 6 y 7 de septiembre confirmó los mismos rangos numéricos y el énfasis en SNARKs como el candidato de corto plazo. Estos números proporcionan un punto de referencia concreto contra el cual se puede medir el progreso posterior de la investigación. La distinción entre la probabilidad del 60% de menos de 10x y el plazo más reducido para sobrecostes de dígitos únicos es importante. Buterin no afirmó que las tres tecnologías cruzarían el umbral de 10x antes de 2030. La afirmación más limitada se refiere a la probabilidad de que al menos una, esperada que sea SNARKs, alcance múltiplos de dígitos únicos dentro de la década. Este enfoque evita hacer promesas excesivas sobre las primitivas más distantes, mientras destaca el potencial medible a corto plazo. La contabilidad de energía más costo amortizado fundamenta aún más la estimación en la realidad económica en lugar de en pura complejidad asintótica.

Cuando los costos de prueba disminuyen, el mismo presupuesto computacional puede soportar un mayor rendimiento o declaraciones más complejas sin aumentos proporcionales en los requisitos de hardware para validadores o usuarios. Los informes públicos del análisis del 6 de septiembre citaron consistentemente las mismas cifras del 60% y el 33%, junto con la observación de que las cargas de trabajo especializadas ya han alcanzado el rango objetivo. Por lo tanto, el marco proporciona tanto una predicción cuantitativa como una clasificación cualitativa de la madurez relativa entre las tres tecnologías. Las mejoras empíricas continuas en los sistemas de prueba SNARK brindan apoyo independiente a la clasificación que coloca a los SNARKs en primer lugar en la secuencia de reducciones de costos esperadas.

Funciones hash especializadas ya acercándose a una sobrecarga SNARK de dígitos únicos

Buterin señaló explícitamente que las funciones de hash especializadas ya han alcanzado niveles de eficiencia comparables con un sobrecarga de dígitos unitarios respecto a la ejecución nativa. Construcciones recientes como Flock, un SNARK basado en hash optimizado para lotes de cálculos booleanos, ilustran el punto con números concretos de rendimiento. En hardware de consumo, un Apple M4 Max puede probar cientos de miles de compresiones BLAKE3, compresiones SHA-256 o permutaciones Keccak por segundo, lo que representa una mejora de aproximadamente un orden de magnitud respecto a los sistemas anteriores de vanguardia para las mismas cargas de trabajo. Los tamaños de prueba permanecen por debajo de 450 KB, y la verificación se completa en menos de cuatro milisegundos. Estos resultados son importantes porque las evaluaciones de hash dominan muchos circuitos criptográficos, incluyendo aperturas de caminos Merkle, cadenas de hash y las capas internas de pruebas recursivas.

Cuando las operaciones dominantes se vuelven baratas de probar, la sobrecarga general de declaraciones más grandes disminuye, incluso si la lógica circundante sigue menos optimizada. El mismo principio se extiende a ciertas tareas de inferencia de modelos de lenguaje grandes, donde las multiplicaciones de matrices y operaciones estructuradas relacionadas admiten estrategias de prueba altamente eficientes. La documentación pública de estos sistemas especializados confirma que los múltiplos de un solo dígito ya no son puramente teóricos para patrones computacionales estrechos pero frecuentes. Extender la misma eficiencia a circuitos de propósito general sigue siendo un desafío de ingeniería, pero los resultados especializados establecen una prueba clara de existencia. La aceleración por hardware amplifica aún más las ganancias: las configuraciones multi-núcleo y multi-GPU aumentan aún más el rendimiento, mientras que las huellas de memoria se mantienen prácticas para los tamaños de lote objetivo. El diseño Flock combina protocolos lincheck y zerocheck optimizados con técnicas de implementación agresivas, demostrando que el co-diseño de algoritmos y software puede producir aceleraciones sustanciales.

Módulos especializados similares aparecen en otros sistemas SNARK modernos que aíslan operaciones costosas como hashes o firmas y las prueban con subprotocolos dedicados y altamente optimizados. Cuando la mayor parte de un cálculo consiste en este tipo de trabajo estructurado, la sobrecarga general residual se convierte en una fracción más pequeña del costo total. La referencia de Buterin a estos casos existentes se basa por lo tanto en rendimiento medible, no solo en proyecciones. A medida que más cargas de trabajo se reescriben o compilan para enfatizar primitivas amigables con SNARK, la fracción de cálculo del mundo real que puede operar cerca de una sobrecarga de dígitos únicos sigue expandiéndose. Esta especialización progresiva proporciona uno de los caminos concretos que respaldan la probabilidad general de que los SNARK alcancen el rango objetivo para casos promedio para finales de la década.

Recientes caídas empíricas en los costos de prueba de bloques de ethereum

Benchmark independientes registran una fuerte caída en el costo de generar pruebas de conocimiento cero para bloques de ethereum. Los datos públicos de ethproofs registraron una caída en los costos promedio de aproximadamente 1,69 dólares a principios de 2025 a menos de cuatro centavos al final de ese año, una reducción de aproximadamente 45 veces. A principios de septiembre de 2026, configuraciones seleccionadas reportaron costos cercanos a medio centavo para bloques elegibles, aunque las tasas de éxito para pruebas bajo 10 segundos en todas las ranuras evaluadas permanecieron parciales porque se contabilizan ejecuciones fuera de línea e ineligibles. La Fundación Ethereum había establecido previamente metas concretas para la generación en tiempo real: menos de 10 segundos para el 99 por ciento de los bloques del mainnet en hardware que cueste como máximo 100.000 dólares, consumiendo como máximo 10 kilovatios, con pruebas menores a 300 KiB y sin configuración de confianza. Múltiples equipos cumplieron o se acercaron a esas metas a finales de 2025.

Estas cifras se aplican a pruebas de bloque completo en lugar de circuitos de aplicación aislados, pero demuestran que el costo absoluto de la generación de SNARK sigue disminuyendo bajo cargas de trabajo y restricciones de hardware realistas. La verificación sigue siendo sustancialmente más barata que la prueba, manteniendo los costos en cadena manejables incluso a medida que crece la complejidad de la prueba. La trayectoria de costos tiene implicaciones directas sobre los múltiplos de sobrecarga que Buterin discutió. Cuando el costo absoluto de energía y capital para producir una prueba disminuye, la relación respecto a la ejecución nativa mejora incluso si la sobrecarga algorítmica permanece constante. Las mejoras en hardware, incluyendo despliegues más densos de GPU y software de probador más eficiente, contribuyen a las reducciones medidas.

Sistemas especializados aceleran aún más el subconjunto de operaciones que dominan la prueba de bloques, como el hashing y las verificaciones de firmas. La combinación del progreso algorítmico y los avances en hardware comercial produce efectos compuestos visibles en los rastreadores públicos. Los costos de prueba más bajos también relajan las restricciones sobre los límites de gas y el rendimiento: los validadores ya no necesitan expandir el hardware en proporción a cada aumento en la demanda computacional si una mayor parte del trabajo puede probarse en lugar de volver a ejecutarse. La instantánea de septiembre de 2026 de costos inferiores a un centavo para ciertas configuraciones proporciona, por tanto, un contexto empírico oportuno para la probabilidad del 60% asignada a un sobrecargo inferior a 10x. El monitoreo continuo de las mismas referencias públicas permitirá a los observadores verificar si la tasa observada de mejora sostiene la trayectoria necesaria para alcanzar el objetivo de dígitos únicos para cargas de trabajo más amplias dentro de la década.

Cómo los menores costos de SNARK podrían aumentar los límites de gas de Ethereum sin picos de hardware

Reducir la sobrecarga de SNARK afecta directamente la economía de aumentar los límites de gas. Límites más altos aumentan el trabajo computacional que cada bloque puede contener, lo que a su vez eleva los recursos necesarios para la validación completa si cada nodo vuelve a ejecutar cada transacción. Cuando una fracción sustancial de ese trabajo puede cubrirse en cambio con pruebas sucintas, la carga marginal de hardware en los validadores crece más lentamente. Buterin ha vinculado previamente pruebas más baratas con la viabilidad de mayor rendimiento sin aumentos proporcionales en los requisitos de validación. En el extremo, las pruebas recursivas pueden comprimir grandes cantidades de ejecución en objetos cuyo costo de verificación permanece casi constante. Módulos especializados de hash y firma ya demuestran que las operaciones dominantes dentro de muchos circuitos pueden funcionar a múltiplos modestos del costo nativo.

Extender estas eficiencias reduce la energía total y el gasto amortizado asociados con la prueba de bloques más grandes. El resultado es un intercambio más favorable entre capacidad y descentralización: las redes pueden procesar más actividad mientras mantienen el umbral para ejecutar un nodo validador al alcance de un conjunto más amplio de participantes. Ilustraciones prácticas aparecen en diseños de Layer-2 existentes que ya publican pruebas SNARK o STARK en lugar de trazas de ejecución completas. A medida que disminuyen los costos de prueba, los mismos diseños pueden soportar lotes más densos o lógica de aplicación más compleja sin aumentos proporcionales en el gasto de infraestructura de prueba. En la capa base misma, las propuestas que dependen de pruebas diarias o por época para actualizaciones del estado del validador también se benefician de una menor sobrecarga.

La métrica de energía más costo amortizado, destacada en el análisis de septiembre de 2026, captura el impacto económico completo de estos cambios. Cuando el costo adicional de la criptografía se reduce hacia múltiplos de un solo dígito, el incentivo para mantener las pruebas fuera de la ruta crítica disminuye, y su uso puede expandirse a funciones más rutinarias del protocolo. Los participantes del mercado que rastrean las métricas de capacidad de ethereum pueden interpretar así la disminución de los costos de prueba como un indicador de la futura capacidad para aumentos del límite de gas que preserven la participación amplia. La conexión entre la eficiencia criptográfica y la escalabilidad del protocolo sigue siendo una de las aplicaciones más claras a corto plazo de las reducciones de costos cuantificadas por Buterin.

FHE y la obfuscación de indistinguibilidad están más lejos de los objetivos de sobrecarga práctica

La encriptación completamente homomórfica permite realizar cálculos arbitrarios sobre datos encriptados sin desencriptarlos, mientras que la ofuscación de indistinguibilidad busca ocultar la lógica interna de un programa tan profundamente que solo su comportamiento entrada-salida permanece observable. Ambos primitivos amplían el espacio de diseño para aplicaciones de estado compartido privado y protección de software, pero su sobrecarga actual supera con creces la de los SNARKs. Buterin ha descrito previamente la iO como el “jefe final” de la criptografía, ya que las construcciones apilan múltiples primitivas avanzadas y aún así producen tiempos de ejecución galácticos bajo suposiciones conservadoras. Incluso los enfoques optimistas basados en retículos dejan tiempos de ejecución medidos en días en hardware pesado para programas modestos. Las implementaciones de FHE han mejorado, pero siguen generando artefactos de varios gigabytes y tiempos de ejecución de varias horas para tareas relativamente pequeñas de aprendizaje automático en las evaluaciones de 2026.

Por lo tanto, el análisis de septiembre ubica ambas tecnologías detrás de los SNARKs en el tiempo esperado para lograr una sobrecarga de dígitos únicos. La probabilidad del 60% se aplica al logro eventual de costos inferiores a 10x para los tres; la declaración más específica al final de la década identifica a los SNARKs como los más probables en ser los primeros en lograrlo. La distancia relativa no implica estancamiento. La investigación continúa con supuestos más agresivos, nuevos enfoques no basados en retículos como la mezcla local y la optimización progresiva de las torres existentes de construcciones. Las mejoras en primitivas componentes, como la encriptación funcional o el FHE eficiente, pueden tener un efecto dominó que reduzca los costos generales de iO. Para el FHE, el camino incluye técnicas de empaquetamiento mejores, aceleración por hardware y codificaciones amigables con circuitos que reducen el crecimiento del ruido.

Sin embargo, la brecha empírica sigue siendo lo suficientemente grande como para que el ranking de Buterin sitúe la sobrecarga práctica de un solo dígito para estas herramientas más tarde que para los SNARKs. Las aplicaciones que requieren cómputo sobre estado compartido cifrado o lógica de programa oculta seguirán dependiendo de técnicas alternativas o diseños híbridos hasta que se cumplan los objetivos de sobrecarga. El marco de probabilidad trata a las tres tecnologías como una cartera: el éxito en el miembro más cercano (SNARKs) ya desbloquea un valor sustancial, mientras que el progreso eventual en los miembros más distantes amplía el conjunto de garantías de privacidad e integridad factibles. Por lo tanto, rastrear los resultados especializados de SNARKs sigue siendo el indicador más inmediato de si la evaluación general del 60% va por buen camino.

La composición recursiva de pruebas extiende las ganancias de eficiencia a declaraciones más grandes

La composición recursiva permite que un SNARK verifique otro SNARK, habilitando la compresión jerárquica de cálculos grandes en una única prueba compacta. Esta técnica ya es fundamental en muchos sistemas de producción que agregan múltiples transacciones o bloques. Cuando las pruebas internas se vuelven más baratas de generar, la capa recursiva externa hereda esos ahorros y puede operar con mayor rendimiento o menor latencia. Módulos especializados para funciones hash y otras operaciones frecuentes aceleran aún más la ruta recursiva, ya que la verificación de una prueba interna a menudo se reduce a comprobaciones estructuradas que admiten un tratamiento eficiente.

Los benchmarks públicos que muestran costos inferiores a un centavo para pruebas de bloques completos de ethereum ya incorporan técnicas recursivas en varias de las principales pilas de probadores. A medida que los costos básicos de prueba siguen disminuyendo, el costo marginal de capas adicionales de recursión también disminuye, lo que permite una anidación más profunda sin un crecimiento proporcional de recursos. La misma propiedad de composición respalda los diseños de consenso “extremadamente ligeros” que reemplazan las actualizaciones repetidas de saldos en cadena con pruebas de conocimiento cero diarias o por epoch. Los validadores rastrean su propio estado y envían una prueba sucinta que cubre la participación y los recompensas; la capa base verifica el agregado en lugar de almacenar y actualizar cada saldo. La menor sobrecarga hace que tales pruebas sean factibles en hardware modesto y dentro de ventanas de tiempo prácticas.

La agregación recursiva puede comprimir aún más las pruebas de muchos validadores en un solo objeto cuyo costo de verificación permanece casi constante. Estos patrones arquitectónicos ilustran cómo las reducciones de costos a nivel primitivo se traducen en eficiencia sistémica. Cuando la energía y el gasto amortizado de cada capa de prueba se acercan a múltiplos de un solo dígito del trabajo subyacente, la sobrecarga acumulada de los sistemas multinivel permanece manejable. Los avances empíricos tanto en probadores especializados como en pruebas de bloques completos proporcionan evidencia de apoyo para la viabilidad de los diseños recursivos que dependen de SNARKs asequibles.

Aceleración por hardware y probadores de consumo reducen la brecha de costos

Los probadores SNARK modernos aprovechan cada vez más recursos de GPU y CPU multicore comerciales en lugar de depender únicamente de ASIC especializados. Las configuraciones que utilizan 16 GPU de consumo han demostrado la generación en tiempo real de bloques de Ethereum bajo los objetivos de latencia y potencia de la Fundación. Resultados con una sola GPU e incluso con dispositivos portátiles para cargas de trabajo más limitadas, como lotes de hash Flock o pruebas de identidad en el dispositivo, muestran que las barreras absolutas de hardware continúan disminuyendo. Las huellas de memoria para ciertos probadores móviles y de escritorio se mantienen dentro del rango de dispositivos de consumo comunes.

Estos desarrollos reducen tanto el costo de capital de la infraestructura de comprobadores como el componente energético de la métrica de sobrecarga que Buterin enfatizó. Cuando el mismo trabajo computacional puede realizarse en hardware ampliamente disponible, el gasto amortizado disminuye y la tecnología se vuelve accesible para un conjunto más amplio de operadores. La tendencia también interactúa con la especialización algorítmica. El hardware que acelera las multiplicaciones matriciales o las evaluaciones de hash paralelas amplifica las ganancias ya logradas para la inferencia de modelos de lenguaje y circuitos booleanos estructurados. El software de comprobadores que mapea circuitos sobre estos primitivos de hardware mejora aún más la utilización.

Los rastreadores públicos que informan estadísticas de costo y tasa de éxito en múltiples configuraciones independientes brindan visibilidad continua sobre el efecto combinado del progreso en hardware y software. A medida que más equipos publican benchmarks reproducibles en hardware comparable, la comunidad puede distinguir mejoras reales de eficiencia de artefactos específicos de la configuración. La observación de septiembre de 2026 de costos de media centavo para pruebas de bloques elegibles, incluso con tasas de éxito incompletas en todos los slots, indica que la vía del hardware sigue siendo productiva. La mejora continua en este eje respalda la probabilidad de que una sobrecarga de dígitos únicos se vuelva alcanzable para un rango cada vez más amplio de cargas de trabajo antes del final de la década.

Las aplicaciones de privacidad se beneficiarán primero de los SNARKs más económicos

La reducción de los costos SNARK amplía el conjunto de aplicaciones que preservan la privacidad que pueden operar económicamente en cadenas públicas. Las transacciones protegidas, el estado privado de contratos inteligentes y la divulgación selectiva de credenciales dependen todas de pruebas de conocimiento cero cuyo costo de generación debe seguir siendo práctico para los usuarios finales u operadores de servicios. Cuando la sobrecarga de prueba disminuye hacia múltiplos de un solo dígito, la fricción para generar y enviar dichas pruebas se reduce, lo que respalda una mayor adopción. Los sistemas existentes ya demuestran este patrón: los protocolos de privacidad que antes requerían cálculos sustanciales fuera de la cadena o hardware de confianza pueden migrar hacia diseños más transparentes y completamente criptográficos una vez que los costos mejoren.

Los kits de herramientas de prueba en el dispositivo lanzados en 2026 ilustran aún más la dirección, generando pruebas de identidad localmente en teléfonos de consumo sin enviar documentos subyacentes a servidores externos. Pruebas más rápidas y económicas hacen que estos flujos locales sean más responsivos y eficientes energéticamente. Las mismas reducciones de costos respaldan diseños de estado compartido privado que combinan SNARKs con otros primitivos. Los makers automatizados confidenciales, las subastas de puja sellada y los fondos privados de préstamos se vuelven más factibles cuando la sobrecarga criptográfica ya no domina el cálculo económico. La discusión más amplia de Buterin sobre hojas de ruta de privacidad, incluyendo lecturas, escrituras y pruebas privadas, se alinea con la expectativa de que los SNARKs asequibles formarán una capa fundamental.

Las reducciones empíricas de costos ya son visibles en benchmarks públicos, por lo tanto se traducen en un margen concreto para funciones de privacidad que anteriormente enfrentaban restricciones económicas. Los participantes del mercado que monitorean la adopción de protocolos que preservan la privacidad pueden tratar la caída de los costos de prueba como un indicador líder de un espacio de diseño ampliado. La conexión sigue siendo basada en evidencia: las reducciones medidas en gastos de energía y capital mejoran directamente la viabilidad de aplicaciones cuya corrección y privacidad descansan en pruebas SNARK.

Contexto del mercado y la industria para acelerar la eficiencia de SNARK

El ecosistema más amplio de conocimiento cero continúa mostrando desarrollo activo, incluso cuando las métricas de proyectos individuales fluctúan. Los repositorios públicos y los rastreadores de actividad de desarrolladores en 2026 registran miles de contribuyentes históricos y un conjunto más pequeño, pero aún sustancial, de desarrolladores actualmente activos en múltiples sistemas de prueba y máquinas virtuales. Los zkVM de producción informan la generación en tiempo real o casi en tiempo real de cargas de trabajo a escala de ethereum en hardware con múltiples GPU, con varios sistemas alcanzando el estado de producción auditado. Provers especializados para lotes de hash e identidad en el dispositivo further diversify the available tooling.

Estos esfuerzos paralelos generan presión competitiva que acelera la optimización en todos los ámbitos. Cuando múltiples equipos independientes publican números mejorados de costo y latencia, la dirección general se vuelve más sólida que cualquier implementación individual. La adopción de la industria va más allá de la simple escalabilidad de la cadena de bloques. Pilotos de tokenización de activos transfronterizos, prototipos de monedas digitales y marcos de verificación de datos sanitarios han comenzado a incorporar pruebas basadas en SNARK. El requisito común es la capacidad de demostrar un cálculo correcto o credenciales válidas sin revelar los datos subyacentes.

La reducción de los costos de prueba disminuye la barrera para estos casos de uso no cripto también, ampliando la demanda total abordable para la tecnología SNARK eficiente. La publicación de reducciones de costos en las pruebas de bloques de ethereum sirve como un proxy visible del progreso que beneficia un conjunto más amplio de aplicaciones. La combinación de benchmarks abiertos, implementaciones competitivas y casos de uso en expansión proporciona el contexto de mercado en el que las estimaciones de probabilidad de Buterin pueden evaluarse en los próximos años. Una mejora sostenida en estas dimensiones aumentaría la confianza en que la evaluación del 60% para una sobrecarga inferior a 10x es alcanzable.

Rutas de ingeniería práctica hacia una sobrecarga única de dígito único más amplia

Varias direcciones de ingeniería concretas convergen en el objetivo de sobrecarga de dígitos unitarios para cargas de trabajo generales. Los compiladores de circuitos que mapean código de alto nivel sobre representaciones intermedias amigables con SNARK reducen la cantidad de restricciones para operaciones comunes. Lenguajes y bibliotecas específicos de dominio que exponen módulos optimizados de hash, firma y aritmética permiten a los desarrolladores estructurar programas alrededor de primitivas ya eficientes. Las técnicas de agregación recursiva y datos que portan pruebas amortizan los costos de verificación en lotes grandes. La co-diseño hardware-software mapea aún más el trabajo general restante sobre aceleradores paralelos.

Cada uno de estos caminos ha generado ganancias medibles en el período 2025–2026. Cuando los módulos especializados ya operan cerca del objetivo, la fracción residual de propósito general se convierte en el foco de la optimización continua. Reducciones sucesivas en esa fracción residual llevan el sobrecosto promedio para programas realistas hacia el rango de dígitos únicos. Los costos de verificación permanecen bajos en comparación con la prueba, por lo que el esfuerzo de ingeniería dominante se centra en el probador. Los rastreadores públicos que informan tanto el costo absoluto como las estadísticas de tasa de éxito en diversas configuraciones de hardware proporcionan un marcador independiente.

Los equipos que publican resultados reproducibles en configuraciones comparables permiten a la comunidad identificar qué combinaciones de algoritmo, diseño de circuito y hardware producen las mayores ganancias. La existencia de múltiples zkVMs de producción y provers especializados ya demuestra que la tecnología ha trascendido los prototipos de laboratorio. Extender la eficiencia demostrada en hashes e inferencia de modelos de lenguaje a toda la gama de lógica de aplicación constituye el desafío práctico restante. El progreso en estas vías de ingeniería proporciona la base factual para la expectativa de que los SNARKs puedan alcanzar una sobrecarga de dígitos únicos ampliamente útil dentro de la década.

🔥 Más allá de las noticias: qué significa KuCoin 5.0 para ti

Las noticias del mercado avanzan rápido — pero donde actúes sobre ellas importa igualmente. Este octubre, KuCoin lanza KuCoin 5.0, transformando KuCoin en una plataforma reconstruida. Aquí está lo que realmente cambia para ti:

Una sola cuenta para todo. Las plataformas antiguas dividían tu dinero entre cuentas separadas de "spot", "margen" y "futures" y esperaban que entendieras por qué. La Cuenta Unificada de KuCoin 5.0 elimina esto por completo: realiza un solo depósito y todo estará simplemente disponible.
Acciones, índices y materias primas. KuCoin 5.0 se expande más allá del cripto hacia mercados globales. Cuando el cripto se mueve lateralmente y las acciones suben (o al revés), rotates en minutos en lugar de abrir una cuenta de corretaje y esperar días para que se activen los canales de moneda fiduciaria.
Activos del mundo real (RWA). Exposición tokenizada a activos tradicionales como materias primas, directamente en tu cuenta de cripto. Uno de los segmentos de más rápido crecimiento en las finanzas globales ya no está reservado para instituciones: tú lo accedes desde el mismo saldo con el que operas.
Gana mientras aprendes. ¿Aún no estás listo para operar? KCUSD permite que tus stablecoins generen intereses diarios con autocomposición. La forma menos estresante de hacer que tus depósitos inactivos trabajen para ti con un rendimiento del 4%.
Un asistente de IA en lenguaje sencillo. Haz preguntas, obtén contexto del mercado, entiende lo que estás viendo: integrado en la plataforma, sin necesidad de jerga.
Una aplicación que no abruma. Más rápida, más limpia y coherente: intuitiva desde el primer toque, no después de un tutorial.
Seguridad que puedes verificar, no solo confiar. Una entidad de la UE con licencia MiCAR, Proof of Reserves que puedes verificar tú mismo, y seguridad certificada internacionalmente (SOC 2 Type II, ISO 27001:2022).

Crea tu cuenta en minutos y comienza en la plataforma diseñada para adónde va el cripto, no adónde ha estado.

Perspectiva a más largo plazo para los sistemas de estado compartido privado y los roles de intermediarios

Si se materializan las reducciones de costos proyectadas, las aplicaciones de estado compartido privado se vuelven más prácticas. El cifrado completamente homomórfico permitiría que múltiples partes realicen cálculos sobre datos cifrados sin revelar las entradas, mientras que los SNARKs proporcionarían pruebas compactas de que el cálculo siguió las reglas acordadas. La ofuscación de indistinguibilidad podría proteger aún más la lógica propietaria. Versiones más económicas de estas herramientas reducirían la dependencia de custodios confiables, auditores o motores de emparejamiento centralizados para ciertos flujos de trabajo financieros y computacionales. El análisis de septiembre de 2026 conecta explícitamente una menor sobrecarga criptográfica con la posibilidad de debilitar los roles tradicionales de intermediarios una vez que la privacidad y la verificabilidad se conviertan en características por defecto en lugar de características especializadas.

El plazo sigue siendo largo para el conjunto completo de primitivas, pero los avances incrementales en la eficiencia de los SNARKs ya amplían el espacio de diseño para sistemas híbridos que combinan pruebas de producción actuales con otras técnicas de privacidad. Las hojas de ruta de privacidad y escalabilidad de ethereum ilustran la vía a corto plazo. Las propuestas para lecturas privadas, escrituras y pruebas, junto con transacciones en marco y nonces con clave, pueden incorporar un uso más agresivo de los SNARKs a medida que los costos disminuyen. Los diseños de consenso ligeros que reemplazan actualizaciones de estado repetidas con pruebas sucintas también se benefician.

Fuera de los sistemas de cadena de bloques, los mismos aumentos de eficiencia respaldan entornos regulados que requieren tanto confidencialidad como trazabilidad. La probabilidad del 33% asignada a una sobrecarga casi nula a escala representa una posibilidad de horizonte más largo en la que el costo adicional de la protección criptográfica se vuelve despreciable para cargas de trabajo promedio. Incluso la probabilidad más conservadora del 60% para una sobrecarga inferior a 10x constituiría un cambio sustancial en comparación con el rendimiento histórico. Por lo tanto, rastrear la trayectoria empírica del costo de los SNARKs sigue siendo la forma más directa de evaluar si estas implicaciones a largo plazo se acercan a la practicidad.

Preguntas frecuentes

¿Qué dijo exactamente Vitalik Buterin sobre los costos de SNARK en septiembre de 2026?

El 6 de septiembre de 2026, Buterin asignó una probabilidad del 60% de que los SNARKs, el cifrado completamente homomórfico y la ofuscación de indistinguibilidad eventualmente operen con menos de 10 veces el costo combinado de energía y cómputo amortizado de la computación ordinaria. Estimó por separado una probabilidad del 33% de que los tres podrían acercarse a una sobrecarga de 1+ε a escala suficiente.

¿A qué distancia están los costos actuales de prueba SNARK del objetivo de sobrecarga de un solo dígito?

Cargas de trabajo especializadas, como evaluaciones por lotes de hashes, ya operan cerca o dentro de múltiplos de un dígito de la ejecución nativa en hardware de consumo. Las pruebas de bloques completos de ethereum han visto sus costos absolutos disminuir de aproximadamente 1,69 dólares a principios de 2025 a menos de cuatro centavos a finales de 2025 y cerca de medio centavo para configuraciones seleccionadas a principios de septiembre de 2026. Estas reducciones absolutas mejoran la relación de sobrecarga efectiva incluso antes de obtener mayores avances algorítmicos.

¿Por qué la energía más el costo amortizado importan más que el tiempo de ejecución puro?

Solo el tiempo de ejecución puede subestimar la carga económica de la criptografía, ya que el consumo de energía y la depreciación del capital del hardware representan costos reales a escala. Medir la sobrecarga como la suma del gasto energético y el costo informático amortizado proporciona una imagen más completa de si una tecnología es práctica para su implementación habitual.

¿Pueden los SNARKs más baratos aumentar directamente el límite de gas de Ethereum?

La reducción de la sobrecarga de prueba disminuye el hardware marginal necesario para validar bloques más grandes cuando una fracción sustancial de la ejecución está cubierta por pruebas sucintas en lugar de re-ejecución. Los validadores pueden, por lo tanto, soportar límites de gas más altos sin aumentos proporcionales en la capacidad computacional. Las pruebas recursivas y agregadas amortizan aún más los costos de verificación.

¿Qué papel desempeñan las funciones hash especializadas en las reducciones de costos?

Las evaluaciones de hash dominan muchos circuitos criptográficos. Cuando módulos SNARK dedicados comprueban lotes de hashes estándar con alto rendimiento y bajo sobrecoste relativo, el costo total de declaraciones más grandes disminuye, incluso si la lógica circundante sigue menos optimizada. Sistemas como Flock han publicado cifras concretas de rendimiento que superan las cientos de miles de compresiones por segundo en laptops de consumo, con tamaños de prueba y tiempos de verificación que siguen siendo prácticos.

¿Cómo se comparan la FHE y la obfuscación de indistinguibilidad en madurez?

Ambos siguen siendo mucho más caros que los SNARKs. Las implementaciones actuales de FHE aún producen grandes artefactos y tiempos de ejecución de varias horas para tareas modestas. Incluso bajo supuestos optimistas, las construcciones de obfuscación de indistinguibilidad tienen tiempos de ejecución que son “galácticos” o de días en hardware pesado.

Descargo de responsabilidad: Este contenido tiene fines informativos únicamente y no constituye asesoramiento de inversión. Las inversiones en criptomonedas conllevan riesgos. Realiza tu propia investigación (DYOR).

Aviso: Esta página fue traducida utilizando tecnología de IA para tu conveniencia. Para obtener la información más precisa, consulta la versión original en inglés.