Благодаря нулевым знаниям SNARK, которые основываются на нашем протоколе суммирования, «Алгебраические методы для интерактивных систем доказательств» (1992) с Лундом, Карлоффом и Нисаном теперь моя самая цитируемая работа, обгоняющая NEXP = MIP (1991) с Бабаем и Лундом.
Рад видеть, что старая работа получает новую любовь.