Minha tentativa de explicar como os STARKs detectam um erro: Imagine um caleidoscópio. As contas dentro dele representam transações: branco para válido, vermelho para inválido. Digamos que esse caleidoscópio tivesse mil contas brancas e apenas uma conta vermelha. Aquela única conta vermelha se refletia nos espelhos repetidas vezes. Sua imagem refletia sobre espelhos, depois para dentro de espelhos refletindo esses espelhos e assim por diante. O resultado: apareceria em todos os lugares. Você não vai conseguir perder. Isso é um pouco parecido com o que as provas STARK fazem: um único pequeno erro ou transação inválida fica visível em toda a prova até que você não consiga mais errar.