ZK-STARK

Un ZK-STARK (Argumento de Conocimiento Transparente Escalable de Conocimiento Cero) es un sistema de prueba criptográfica que permite a una parte demostrar la posesión de información secreta o la exactitud de un cálculo a otra parte, sin revelar el secreto y sin requerir una ceremonia de configuración de confianza. Desarrollado por Eli Ben-Sasson y StarkWare Industries, los STARK logran transparencia (sin configuración de confianza), resistencia cuántica (basándose únicamente en... funciones hash) y escalabilidad (el tiempo de verificación de pruebas es polilogarítmico en términos de tamaño computacional). Mientras que los zk-SNARK producen pruebas más pequeñas, los zk-STARK ofrecen suposiciones criptográficas más sólidas y son la base de la tecnología de escalado Ethereum de StarkWare (StarkEx y StarkNet).

 Origen e Historia

“Los STARKs son los SNARKs más grandes, post-cuántico-Primo seguro, sacrifican el tamaño de la prueba por la transparencia y la seguridad”. — Eli Ben-Sasson, cofundador de StarkWare

 Cómo Funciona

 COMPARACIÓN DE ZK-STARK vs. ZK-SNARK ──────────────────────────────────────────────────────────────────────────────── SNARK STARK ──────────────────────────────────────────────────────────────────── Configuración de confianza: Obligatoria (residuos tóxicos) NINGUNA (transparente) Tamaño de prueba: ~200 bytes ~50–200 KB Tiempo de verificación: Milisegundos Milisegundos Seguridad cuántica: No (curva elíptica) Sí (solo funciones hash) Tiempo de comprobación: rápido Más lento (constantes más grandes) Usado en: Zcash, zkSync, Groth16 StarkNet, StarkEx ────────────────────────────────────────────────────────────────────────

GENERACIÓN DE PRUEBAS STARK: Computación → Representación Intermedia Algebraica (AIR) → Compromiso polinomial (protocolo FRI) → Prueba STARK (puede ser verificada por cualquiera) → El verificador L1 de Ethereum verifica la prueba en ~200k-500k gas

 En términos simples

1. Sin configuración de confianza Los STARK no requieren una ceremonia secreta para generar parámetros. No hay residuos tóxicos que deban destruirse; cualquiera puede verificar que la aleatoriedad fue justa.
2. Cuánticamente seguro – Las STARKs se basan únicamente en funciones hash resistentes a colisiones, que las computadoras cuánticas no pueden romper (a diferencia de la matemática de curva elíptica que utilizan las SNARKs).
3. Pruebas más grandes, misma seguridad – Una prueba STARK es mucho más grande que una prueba SNARK (50 KB frente a 200 bytes), pero conlleva suposiciones de seguridad más sólidas.
4. Escalas con computación – El tiempo de verificación de STARK crece polilogarítmicamente con el tamaño del cálculo: la prueba de un cálculo de un millón de pasos no es un millón de veces más difícil de verificar.
5. idioma de El Cairo – StarkWare creó Cairo, un lenguaje para escribir programas demostrables mediante STARK, lo que permite probar la lógica compleja de contratos inteligentes en L2 y resolverla en Ethereum.

 Ejemplos del mundo real

 Ventajas

 Desventajas y riesgos

Consejos de gestión de riesgos:

• Supervise la hoja de ruta de descentralización de StarkNet: la centralización de proveedores es un riesgo actual
• Para EVM Desarrolladores, exploren Kakarot (EVM en Cairo) para una migración más sencilla a StarkNet
• Utilice L2Beat para rastrear la seguridad de StarkNet y actualizar los riesgos clave

 Preguntas Frecuentes

P: ¿Qué significa “transparente” en ZK-STARK?

R: No se generaron parámetros secretos. Cualquiera puede verificar de forma independiente que la configuración del sistema de pruebas es justa, a diferencia de los SNARK, donde se asume la integridad de una ceremonia confiable.

P: ¿Por qué las pruebas STARK son más grandes que las pruebas SNARK?

A: Los SNARK utilizan un emparejamiento de curvas elípticas (supuestos compactos pero menos seguros); los STARK utilizan Árboles de merkle y compromisos polinomiales FRI (inherentemente más grandes pero más seguros).

P: ¿StarkNet es compatible con EVM?

R: StarkNet utiliza Cairo (no EVM) de forma nativa. Kakarot es una implementación de EVM escrita en Cairo, lo que permite que los contratos de Solidity se ejecuten indirectamente en StarkNet.

P: ¿Pueden los STARK escalar a miles de millones de transacciones?

R: Los STARK recursivos (pruebas de pruebas) escalan teóricamente a cálculos arbitrarios. El probador Stwo de StarkWare tiene como objetivo probar millones de transacciones por segundo.

P: ¿Quién inventó los ZK-STARK?

R: Eli Ben-Sasson (profesor del Technion y cofundador de StarkWare) junto con Iddo Bentov, Lior Horesh y Michael Riabzev publicaron el artículo original de STARK en 2018.

Fuentes

• Ben-Sasson et al., “Integridad computacional segura, escalable, transparente y poscuántica” (2018) — IACR ePrint
• Documentación de StarkWare — starkware.co
• Documentación de StarkNet — docs.starknet.io
• Vitalik Buterin, “STARKs, Parte 1” — vitalik.ca

 Consejo de UPay: La resistencia cuántica de los STARK los convierte en la opción segura a largo plazo para sistemas de prueba criptográfica a medida que avanza la computación cuántica. Si bien los SNARK son más eficientes hoy en día, la transición gradual del ecosistema criptográfico hacia los STARK constituye una protección razonable contra el riesgo cuántico futuro.Descargo de responsabilidad: esta entrada del glosario es sólo para fines educativos y no constituye asesoramiento financiero o legal.

Un día — Haciendo que las criptomonedas sean enciclopédicas