STARKs vs. SNARKs y la amenaza cuántica Famosamente, los STARKs son seguros post-cuánticos, pero los SNARKs se rompen con computadoras cuánticas. ¿Por qué? Me refiero aquí a los SNARKs de curva elíptica, los tipos con los que la mayoría de ustedes están familiarizados (como Groth16). Un SNARK utiliza un "clave de prueba" secreta para permitir que el probador responda a una cierta pregunta. La forma en que se crea el secreto es repitiendo muchas veces una cierta operación matemática. Una buena analogía es que comienzas con un cubo Rubik y realizas una cierta operación (digamos, girar un lado de él + rotar el cubo en tu mano). Luego, lo repites muchas veces, un millón de billones de gazillones de veces. El número exacto de veces que realizas esa operación -- ese es el secreto. Luego, presentas el cubo Rubik desordenado para que todo el mundo lo vea. Ahora, si pudieras mirar el cubo y responder cuántas veces se realizó la operación para llegar a este estado actual, romperías el SNARK. Una forma de hacerlo es tomar un cubo Rubik y empezar a jugar con él, contando cuántas veces realizas la operación hasta alcanzar la configuración publicada públicamente. Pero eso lleva mucho tiempo (un millón de billones de gazillones de pasos). Ah, pero una computadora cuántica es esta computadora realmente inteligente que puede mirar el cubo y escupir el número: 112,302,305,166 veces, por ejemplo. Y con esta respuesta, el SNARK está roto. OK, ¿qué pasa con un STARK? En este caso, para romper un STARK tienes que "romper un hash". Un hash funciona algo así: Tomas un cubo Rubik, realizas una de esas operaciones. Luego escribes el patrón en un papel, lo doblas, lo cortas, permutas los cuadrados de una manera loca y los publicas en un nuevo cubo Rubik. Luego realizas otra operación en el cubo Rubik, y luego nuevamente te mueves al papel. Y así sucesivamente. El punto importante es este: En lugar de hacer solo un tipo de operación (matemáticamente, una "operación de grupo") en el caso de un SNARK, con un STARK mezclas un gran número de operaciones muy diferentes, que carecen de conexión y estructura. Y esta mezcla, de muchas cosas, es lo que confunde a las computadoras, tanto clásicas como cuánticas, y salva el día. FIN.