因為依賴我們的總和檢查協議的零知識 SNARKs，與 Lund、Karloff 和 Nisan 合作的《互動證明系統的代數方法》（1992）現在成為我引用最多的論文，超越了與 Babai 和 Lund 合作的《NEXP = MIP》（1991）。 很高興看到這篇舊論文獲得了一些新的關注。