zk-STARK

Un zk-STARK es una prueba de conocimiento cero escalable y transparente: no necesita trusted setup y se apoya solo en funciones hash y aleatoriedad pública en lugar de parámetros secretos. Eso elimina el riesgo del residuo tóxico asociado a los zk-SNARK, y sus supuestos suelen considerarse resistentes a ataques cuánticos porque no dependen de curvas elípticas. La contrapartida es el tamaño: las pruebas STARK son bastante más grandes, así que publicarlas y verificarlas en cadena cuesta más, aunque la verificación sigue escalando mucho mejor que reejecutar el trabajo. Varios rollups de Ethereum usan STARK para probar lotes de transacciones. En la práctica, elegir entre SNARK y STARK es una decisión de ingeniería sobre tamaño de prueba, coste del probador, supuestos de configuración y riesgo criptográfico a largo plazo.