私たちのsumcheckプロトコルに依存するゼロ知識SNARKのために、Lund、Karloff、NisanによるAlgebraic Methods for Interactive Proof Systems(1992)は、BabaiとLundによるNEXP = MIP(1991)を上回る私の最も引用された論文です。 古い新聞が新しい愛を得るのを見るのはうれしいことです。