Моя попытка объяснить, как STARKs обнаруживают ошибку: Представьте себе калейдоскоп. Бусины внутри него представляют транзакции: белые для действительных, красные для недействительных. Допустим, в этом калейдоскопе тысяча белых бусин и всего одна красная бусина. Эта единственная красная бусина будет отражаться в зеркалах снова и снова. Ее изображение будет отскакивать от зеркал, затем в зеркала, отражающие эти зеркала, и так далее. Результат: она будет казаться повсюду. Вы не сможете ее не заметить. Это немного похоже на то, что делают доказательства STARK: одна крошечная ошибка или недействительная транзакция становятся видимыми по всему доказательству, пока вы не сможете ее не заметить.