zk-STARK
¿Qué es zk-STARK?
zk-STARKArgumento de conocimiento escalable, transparente y de conocimiento cero: sistema de prueba sin configuración de confianza, compatible con la era poscuántica y basado solo en funciones hash resistentes a colisiones.
Un zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) es un sistema de pruebas no interactivo y de conocimiento cero cuya seguridad se basa únicamente en funciones hash resistentes a colisiones y técnicas de teoría de la información (FRI, AIR, pruebas de bajo grado). A diferencia de los zk-SNARK, los STARK no requieren configuración de confianza ("transparentes"), escalan de forma cuasilineal en el tiempo del probador y se consideran seguros frente a ataques cuánticos. La contrapartida son pruebas mucho más grandes —decenas o cientos de kilobytes— aunque la verificación sigue siendo polilogarítmica. Los zk-STARK sustentan Starknet y otros rollups de capa 2, así como servicios de computación verificable para cargas off-chain e inferencia de ML.
● Ejemplos
- 01
Starknet utiliza zk-STARK para demostrar la corrección de lotes de transacciones off-chain ante Ethereum.
- 02
Servicios de ML verificable que prueban que un modelo produjo una salida concreta sin revelar las entradas.
● Preguntas frecuentes
¿Qué es zk-STARK?
Argumento de conocimiento escalable, transparente y de conocimiento cero: sistema de prueba sin configuración de confianza, compatible con la era poscuántica y basado solo en funciones hash resistentes a colisiones. Pertenece a la categoría de Criptografía en ciberseguridad.
¿Qué significa zk-STARK?
Argumento de conocimiento escalable, transparente y de conocimiento cero: sistema de prueba sin configuración de confianza, compatible con la era poscuántica y basado solo en funciones hash resistentes a colisiones.
¿Cómo defenderse de zk-STARK?
Las defensas contra zk-STARK combinan habitualmente controles técnicos y prácticas operativas, como se detalla en la definición.
¿Cuáles son otros nombres para zk-STARK?
Nombres alternativos comunes: STARK, Argumento escalable y transparente de conocimiento.