Karena SNARK tanpa pengetahuan yang mengandalkan protokol sumcheck kami, Metode Aljabar untuk Sistem Bukti Interaktif (1992) dengan Lund, Karloff dan Nisan sekarang menjadi makalah saya yang paling banyak dikutip yang mengabaikan NEXP = MIP (1991) dengan Babai dan Lund. Senang melihat koran lama mendapatkan cinta baru.