Mi intento de explicar cómo los STARKs detectan un error: Imagina un caleidoscopio. Las cuentas en su interior representan transacciones: blanco para válido, rojo para invalidado. Supongamos que este caleidoscopio tenía mil cuentas blancas y solo una cuenta roja. Esa sola cuenta roja se reflejaba en los espejos una y otra vez. Su imagen rebotaba en los espejos, luego en los espejos que reflejaban esos espejos, y así sucesivamente. El resultado: aparecería en todas partes. No podrías perdértelo. Esto es algo parecido a lo que hacen las pruebas STARK: un solo pequeño error o transacción inválida se vuelve visible en toda la prueba hasta que no puedes pasarla por alto.