Devido aos SNARKs de conhecimento zero que dependem do nosso protocolo de verificação de somas, Métodos Algébricos para Sistemas de Provas Interativas (1992) com Lund, Karloff e Nisan é agora o meu artigo mais citado, superando NEXP = MIP (1991) com Babai e Lund. É bom ver o velho artigo a receber um novo carinho.