Por causa dos SNARKs de conhecimento zero que dependem de nosso protocolo de verificação de soma, Métodos Algébricos para Sistemas de Prova Interativa (1992) com Lund, Karloff e Nisan é agora meu artigo mais citado, superando NEXP = MIP (1991) com Babai e Lund. É bom ver o jornal antigo recebendo um novo amor.