Tiempo de ZK-STARKs: El whitepaper de ZK-STARKs se publicó en 2018 (junto con un componente principal llamado FRI). En ese momento, ya veíamos que los ZK-SNARKs basados en curvas elípticas podían resolver la privacidad para las cadenas de bloques, y parecía ser todo lo que el mundo esperaba. Entonces, ¿por qué una construcción completamente nueva? ¿Qué estaba en la cima de nuestras mentes? Las principales ventajas de ZK-STARKs eran las siguientes: • Transparencia (la T de STARK) — Esto significa sin configuración de "residuos tóxicos", como se requiere en la ceremonia en el caso de los SNARKs. Esto es muy importante para la confianza. Para explicarlo: no hay una configuración de confianza, por lo que los ZK-STARKs transparentes pueden ser confiados incluso si los usa Darth Vader. • Seguridad post-cuántica — En 2018, no muchos hablaban sobre la amenaza cuántica y cómo podría destruir la criptografía basada en curvas elípticas. Pero los ZK-STARKs son seguros post-cuánticos y, de hecho, solo requieren la existencia de una función hash segura. Esto resultó ser importante en nuestra era de superinteligencia y su amenaza a las suposiciones estándar de dificultad, como las que sustentan RSA, DH, ECDSA, construcciones basadas en retículos, etc. • Independiente del campo — Los ZK-SNARKs de Zcash requerían estructuras algebraicas muy específicas (campos finitos) y grandes, además. Los STARKs, por otro lado, funcionan en literalmente todos los campos finitos, incluidos los binarios y los campos primos pequeños, lo cual es mejor para tiempos de cómputo eficientes. Para los no matemáticos, esto significa una velocidad y escala mucho mayores. Por ejemplo, medimos que la aritmética del campo M31 (utilizada por nuestro último y más avanzado probador STARK, S-two) es 100 veces más rápida que la aritmética que usamos para nuestro probador de primera generación, que requería un campo de 256 bits (!). • Escalabilidad — El hecho de que funcionen sobre cualquier campo, junto con la ausencia de necesidad de una configuración de confianza, significa que no tuvimos que cambiar nada en el verificador onchain incluso mientras escalábamos y volvíamos a escalar el tamaño de los cálculos que manejábamos. Resumiendo: transparencia, seguridad post-cuántica, eficiencia y escala fueron los grandes beneficios que ZK-STARKs ofrecieron al mundo en 2018. Para ahora, se han convertido en la norma dorada para la escala y privacidad seguras de ZK. EL FIN