It turns out there is an attack on the BrainSTARK proof system [1]. The tutorial was extended to explain and fix the attack.

[1]: https://aszepieniec.github.io/stark-brainfuck/