STARK (Scalable Transparent Argument of Knowledge)
Compresión ZK · Abismo
Un STARK es un sistema de prueba de conocimiento cero que logra transparencia (sin configuración confiable: toda la aleatoriedad se deriva de funciones hash publicamente verificables) y escalabilidad (el tiempo de generación de prueba escala cuasi-linealmente con el tamano de la computación), a costa de pruebas más grandes (decenas a cientos de kilobytes) comparado con SNARKs. Los STARKs dependen unicamente de funciones hash resistentes a colisiones y por lo tanto son post-cuanticos seguros, a diferencia de los SNARKs basados en curvas elipticas, haciendolos teoricamente más robustos para despliegues a largo plazo. En Solana, los STARKs aun no se usan comunmente para verificación en cadena porque sus tamanos de prueba exceden los limites practicos de transacciones y cuentas, pero se emplean en infraestructura de prueba fuera de cadena y proyectos de investigacion de Capa 2 que apuntan a futuras integraciones del SVM con verificación de pruebas recursiva o agregada.