بسبب SNARKs ذات المعرفة الصفرية التي تعتمد على بروتوكول فحص المجموع الخاص بنا ، فإن الطرق الجبرية لأنظمة الإثبات التفاعلية (1992) مع لوند وكارلوف ونيسان هي الآن أكثر ورقتي التي تم الاستشهاد بها والتي تتفوق على NEXP = MIP (1991) مع Babai و Lund. من الجيد رؤية الصحيفة القديمة تحصل على بعض الحب الجديد.