Glossary
ZK-STARK
Una prueba de conocimiento cero sucinta que no requiere trusted setup y es resistente a la computación cuántica, a costa de tamaños de prueba mayores que los SNARKs.
STARK = Scalable Transparent ARgument of Knowledge. Usan criptografía basada en hashes en vez de pairings, lo que las hace transparentes (sin trusted setup), resistentes a ataques cuánticos y más rápidas de probar para computaciones grandes.
El compromiso es el tamaño de la prueba — los STARKs son más grandes que los SNARKs, así que verificarlos en L1 cuesta más. StarkNet usa STARKs; zkSync y Scroll usan sistemas de prueba basados en SNARK. Algunas pilas ahora combinan ambos: STARK para el proving pesado y SNARK para comprimir el resultado para L1.