Upaya saya untuk menjelaskan bagaimana STARK menangkap kesalahan: Bayangkan kaleidoskop. Manik-manik di dalamnya mewakili transaksi: putih untuk valid, merah untuk tidak valid. Katakanlah kaleidoskop ini memiliki seribu manik-manik putih dan hanya satu manik-manik merah. Manik-manik merah tunggal itu akan terpantul di cermin lagi dan lagi. Gambarnya akan memantul melintasi cermin, lalu ke cermin yang memantulkan cermin itu dan seterusnya. Hasilnya: itu akan muncul di mana-mana. Anda tidak akan bisa melewatkannya. Ini agak mirip dengan apa yang dilakukan bukti STARK: satu kesalahan kecil atau transaksi yang tidak valid menjadi terlihat di seluruh bukti sampai Anda tidak dapat melewatkannya.