Nhờ vào các SNARK không biết, dựa trên giao thức sumcheck của chúng tôi, Phương pháp Đại số cho Hệ thống Chứng minh Tương tác (1992) với Lund, Karloff và Nisan hiện là bài báo được trích dẫn nhiều nhất của tôi, vượt qua NEXP = MIP (1991) với Babai và Lund. Thật tốt khi thấy bài báo cũ nhận được một chút tình yêu mới.