Si alguna vez te has preguntado cómo las blockchains como Ethereum pueden manejar miles de transacciones por segundo sin sacrificar privacidad o seguridad, la respuesta está en dos tecnologías criptográficas: zk-STARKs y zk-SNARKs. Ambas permiten probar que algo es verdadero sin revelar qué es. Pero no son lo mismo. Una es más rápida y barata hoy, la otra es más segura para el futuro. Y entender la diferencia puede marcar la diferencia entre usar una app de cripto que funciona bien ahora o una que aún resista en 2030.
¿Qué son realmente estas pruebas?
Imagina que quieres demostrarle a alguien que sabes la contraseña de tu cuenta bancaria, pero sin decírsela. ¿Cómo lo harías? Las pruebas de conocimiento cero (zero-knowledge proofs) hacen exactamente eso, pero con datos en blockchain. En lugar de enviar tu transacción completa, envías una prueba matemática que dice: "Esto es válido, y nadie puede falsificarlo". Eso reduce el tamaño de los datos que se guardan en la red y permite que las capas de escalado, como los ZK-Rollups, procesen miles de operaciones por segundo.
zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) y zk-STARKs (Zero-Knowledge Scalable Transparent Arguments of Knowledge) son dos formas de hacerlo. zk-SNARKs aparecieron en 2012, y desde 2016, Zcash las usó como primera aplicación real. zk-STARKs llegaron en 2018, creadas por el mismo equipo que luego fundó StarkWare. Hoy, la mayoría de las apps de cripto que usan pruebas de conocimiento cero aún dependen de zk-SNARKs. Pero eso está cambiando rápido.
La gran diferencia: ¿Necesitas una ceremonia de confianza?
Este es el punto más importante. zk-SNARKs requieren lo que se llama una "ceremonia de confianza". Antes de que funcione la red, se generan unos parámetros criptográficos. Si alguien logra conservar esos parámetros secretos, puede crear transacciones falsas que la red aceptará como válidas. Por eso, en Zcash, en 2016, seis personas de cinco países diferentes participaron en una ceremonia física. Cada una generó una parte del parámetro, luego destruyó su parte. Si al menos una persona hizo bien su trabajo, la red es segura.
¿Y si una de ellas era un espía? ¿O si el hardware se hackeó? Es un riesgo real. Por eso, zk-STARKs fueron diseñadas para eliminarlo por completo. No necesitan ninguna ceremonia. Todo se construye con funciones hash públicas y aleatoriedad verificable. No hay secretos. No hay puntos de fallo. Si alguien intenta falsificar una prueba, la red lo detecta. Es como tener un sello de seguridad que cualquiera puede comprobar sin necesidad de confiar en nadie.
Velocidad, tamaño y costo: ¿Cuál es más eficiente?
En Ethereum, cada prueba que se verifica cuesta gas. Y aquí es donde zk-SNARKs aún ganan.
Una prueba zk-SNARKs típica pesa entre 188 bytes y 1,5 KB. Verificarla cuesta entre 300.000 y 500.000 gas. Eso es barato. En cambio, una prueba zk-STARKs puede pesar entre 45 y 200 KB. Verificarla cuesta entre 1 y 2 millones de gas. Eso es hasta cinco veces más caro. Por eso, proyectos como Polygon y Loopring aún usan zk-SNARKs: porque reducen costos de transacción para los usuarios.
Pero hay un truco. zk-STARKs escalan mejor cuando las operaciones son complejas. Si estás verificando 10.000 transacciones, zk-SNARKs se vuelven más lentas y pesadas. zk-STARKs, en cambio, crecen de forma logarítmica. Su tiempo de verificación no se duplica cuando el volumen se multiplica por 10. Eso las hace ideales para mercados de NFT, juegos en blockchain o exchanges descentralizados con órdenes complejas. Immutable X, por ejemplo, usa zk-STARKs porque maneja millones de transacciones diarias sin que los costos se descontrolen.
¿Son seguras contra la computación cuántica?
La computación cuántica no es ciencia ficción. IBM y Google ya tienen prototipos que pueden resolver problemas que a las computadoras normales les tomaría miles de años. Y eso amenaza a muchos sistemas criptográficos actuales.
zk-SNARKs dependen de la criptografía de curva elíptica (ECC). Si una computadora cuántica potente llega, podría romper esa criptografía y falsificar pruebas. No es algo que pase mañana, pero sí algo que podría ocurrir entre 2030 y 2035. zk-STARKs, en cambio, usan funciones hash criptográficas -las mismas que usa Bitcoin-. Estas son resistentes a ataques cuánticos. Nadie sabe cómo romperlas, ni siquiera con una computadora cuántica. Por eso, expertos como Eli Ben-Sasson, fundador de StarkWare, dicen que zk-STARKs son la única forma de "proteger la blockchain para el futuro".
Desarrollo y adopción: ¿Cuál es más fácil de usar?
Si eres desarrollador, esto te importa.
zk-SNARKs tienen herramientas más maduras. Circom, SnarkJS, y el ecosistema de ZoKrates tienen docenas de tutoriales, foros activos y bibliotecas bien documentadas. Un desarrollador con experiencia en Solidity puede aprender a usar zk-SNARKs en 4-6 semanas. Pero hay un problema: el setup de confianza. Tener que confiar en que alguien destruyó los secretos es un obstáculo psicológico y técnico.
zk-STARKs usan el lenguaje Cairo, que es nuevo, más difícil y menos conocido. La documentación de StarkWare es buena, pero aún no llega a los 400 páginas como la de Zcash. Los desarrolladores dicen que les lleva 8-12 semanas aprenderlo. Y aunque Starknet.js y otras herramientas están mejorando, aún hay menos soporte comunitario. En Reddit, un desarrollador comentó en 2023 que le llevó el doble de tiempo implementar un STARK que un SNARK.
Pero el ecosistema crece. StarkWare lanzó DEEP-ALG en junio de 2023, una técnica que reduce el tamaño de las pruebas en un 40%. Eso hace que zk-STARKs sean más competitivas en costos. Y proyectos como Polygon Miden están combinando lo mejor de ambos mundos: pruebas más pequeñas con seguridad transparente.
¿Quién usa qué y por qué?
La adopción real te dice más que las teorías.
Actualmente, el 72% de las implementaciones en producción usan zk-SNARKs. Zcash, Tornado Cash, y la mayoría de los primeros ZK-Rollups las usan. Las instituciones financieras prefieren zk-SNARKs porque son más fáciles de auditar en entornos regulados. Pero hay un giro. En el sector de juegos y NFTs, el 82% de las plataformas usan zk-STARKs. Porque necesitan procesar miles de operaciones por segundo, y no pueden permitirse un cuello de botella en gas.
La tendencia es clara: zk-SNARKs dominan hoy, pero zk-STARKs crecen 3,2 veces más rápido. En 2023, el 28% de las nuevas implementaciones usaban STARKs. En 2026, podría ser el 50%. Y con la llegada de pruebas recursivas como Halo 2 (que eliminan la ceremonia de confianza en SNARKs), la brecha se está cerrando.
¿Cuál debería elegir?
No hay una respuesta universal. Depende de lo que necesites:
- Si quieres la menor gas fee posible y no te importa confiar en una ceremonia pasada → zk-SNARKs.
- Si quieres máxima seguridad a largo plazo, especialmente contra computación cuántica → zk-STARKs.
- Si estás construyendo un juego, un exchange o una app con operaciones complejas → zk-STARKs.
- Si estás haciendo transacciones simples, como envíos de ETH o stablecoins → zk-SNARKs aún son más prácticos.
Lo más interesante es que ya no tienes que elegir entre uno u otro. Las nuevas arquitecturas están mezclándolos. Algunos sistemas usan zk-SNARKs para transacciones pequeñas y zk-STARKs para validar lotes grandes. Es como tener un coche eléctrico para el día a día y un camión de carga para los viajes largos.
El futuro ya está aquí
En 2020, zk-STARKs eran una curiosidad académica. Hoy, Starknet procesa más de 50 millones de transacciones al mes. En 2030, cuando las computadoras cuánticas sean una amenaza real, las redes que aún usen zk-SNARKs podrían verse obligadas a migrar. Y eso costará millones.
Las pruebas de conocimiento cero no son solo una mejora técnica. Son una evolución de la confianza en la tecnología. zk-SNARKs confían en humanos. zk-STARKs confían en matemáticas. Y en una red descentralizada, eso no es solo preferible: es necesario.
¿zk-SNARKs y zk-STARKs son lo mismo que ZK-Rollups?
No. ZK-Rollups son una arquitectura de escalado que agrupa muchas transacciones en una sola y luego verifica su validez con pruebas de conocimiento cero. zk-SNARKs y zk-STARKs son los tipos de pruebas que usan esas arquitecturas. Es como decir que un coche (ZK-Rollup) usa gasolina (zk-SNARKs) o diesel (zk-STARKs). La arquitectura es el vehículo, la prueba es el combustible.
¿Por qué zk-STARKs son más grandes que zk-SNARKs?
Porque usan diferentes técnicas matemáticas. zk-SNARKs usan criptografía de curva elíptica, que produce pruebas muy compactas. zk-STARKs usan funciones hash y pruebas interactivas que requieren más datos para garantizar la seguridad sin confianza. Es un intercambio: tamaño por seguridad. Pero con nuevas optimizaciones como DEEP-ALG, esa brecha se está reduciendo.
¿Puedo usar zk-STARKs en mi teléfono?
Actualmente, es difícil. Las pruebas zk-STARKs son grandes y requieren más memoria y poder de procesamiento. Las apps móviles aún dependen de zk-SNARKs porque sus pruebas son 10 a 100 veces más pequeñas. Pero los investigadores están trabajando en versiones optimizadas. En 2025, podría ser posible.
¿Qué pasa si se rompe la criptografía de zk-SNARKs?
Si alguien logra romper la criptografía de curva elíptica (por ejemplo, con una computadora cuántica), podría generar pruebas falsas que la red acepte como válidas. Eso permitiría crear dinero falso o robar fondos sin que nadie lo note. Por eso, muchas redes están ya preparando planes de migración a zk-STARKs o a nuevas versiones como Halo 2, que eliminan esa dependencia.
¿Es seguro usar Zcash hoy?
Sí. Zcash usó una ceremonia de confianza con 6 participantes en 2016, y todos destruyeron sus partes. Desde entonces, no ha habido evidencia de vulnerabilidad. Además, en 2022, Zcash lanzó una actualización que reduce aún más el riesgo. Aunque no es tan segura como zk-STARKs, Zcash sigue siendo una de las redes más seguras en privacidad.
