Mi intento de explicar cómo los STARKs detectan un error: Imagina un caleidoscopio. Las cuentas dentro de él representan transacciones: blancas para válidas, rojas para inválidas. Supongamos que este caleidoscopio tiene mil cuentas blancas y solo una cuenta roja. Esa única cuenta roja se reflejaría en los espejos una y otra vez. Su imagen rebotaría a través de los espejos, luego en espejos que reflejan esos espejos y así sucesivamente. El resultado: parecería estar en todas partes. No podrías pasarlo por alto. Esto es algo parecido a lo que hacen las pruebas STARK: un solo error pequeño o una transacción inválida se vuelve visible en toda la prueba hasta que no puedes pasarlo por alto.