Vzhledem k tomu, že SNARKy s nulovou znalostí spoléhají na náš sumcheck protokol, Algebraic Methods for Interactive Proof Systems (1992) s Lundem, Karloffem a Nisanem je nyní mým nejcitovanějším článkem na hranici NEXP = MIP (1991) s Babaiem a Lundem.
Je dobré vidět, že staré noviny dostávají novou lásku.