A minha tentativa de explicar como os STARKs detetam um erro: Imagina um caleidoscópio. As contas dentro dele representam transações: brancas para válidas, vermelhas para inválidas. Digamos que este caleidoscópio tivesse mil contas brancas e apenas uma conta vermelha. Essa única conta vermelha seria refletida nos espelhos repetidamente. A sua imagem saltaria de espelho para espelho, depois para espelhos que refletem esses espelhos e assim por diante. O resultado: pareceria estar em todo o lado. Não conseguirias ignorá-la. Isto é um pouco como o que os STARK proofs fazem: um único erro minúsculo ou transação inválida torna-se visível em toda a prova até que não possas ignorá-lo.