Моя спроба пояснити, як STARK виявляють помилку: Уявіть калейдоскоп. Намистини всередині позначають транзакції: білі — дійсні, червоні — недійсні. Припустимо, у цьому калейдоскопі тисяча білих намистин і лише одна червона намистинка. Ця одна червона намистинка знову і знову відбивалася в дзеркалах. Його зображення відскакувало по дзеркалах, потім у дзеркала, що відбивали ці дзеркала, і так далі. Результат: він з'являвся всюди. Ви не зможете це пропустити. Це дещо схоже на те, що роблять докази STARK: одна маленька помилка або недійсна транзакція стає видимою по всьому доказу, поки ви не можете її пропустити.