STARK'ların bir hatayı nasıl yakaladığını açıklamaya çalışmam: Bir kaleidoskop hayal edin. İçindeki boncuklar işlemleri temsil eder: beyaz, geçerli, kırmızı geçersiz anlamına gelir. Diyelim ki bu kaleidoskopun bin beyaz boncuk ve sadece bir kırmızı boncuk vardı. O tek kırmızı boncuk aynalarda tekrar tekrar yansıyordu. Görüntüsü aynalar arasından, sonra o aynaları yansıtan aynalara ve benzeri şeylere zıplıyordu. Sonuç olarak: her yerde ortaya çıkardı. Bunu kaçıramazsınız. Bu, STARK ispatlarının yaptığı gibi: Tek bir küçük hata veya geçersiz işlem tüm kanıt boyunca görünür hale gelir ve kaçıramazsınız.