Через СНАРК з нульовим розголошенням, які покладаються на наш протокол sumcheck, Алгебраїчні методи для інтерактивних систем доведення (1992) з Лундом, Карлоффом і Нісаном зараз є моєю найбільш цитованою статтею, в якій NEXP = MIP (1991) з Бабаєм і Лундом. Приємно бачити, як старий папір отримує нову любов.