Vanwege zero-knowledge SNARKs die afhankelijk zijn van ons sumcheck-protocol, is Algebraic Methods for Interactive Proof Systems (1992) met Lund, Karloff en Nisan nu mijn meest geciteerde paper, die NEXP = MIP (1991) met Babai en Lund net voorbijstreeft. Fijn om te zien dat het oude paper wat nieuwe liefde krijgt.