1 / مسح جديد: التحقق من المجموع هو كل ما تحتاجه. نشرت للتو استبيانا حول مبادئ التصميم وراء Jolt و SRARKs سريعة التحضير على نطاق أوسع. يمكن القول إنها المرة الأولى التي يتم فيها تدوين جميع الأفكار الأساسية في مكان واحد.

2 / ما هو بروتوكول التحقق من المجموع؟ إنه العمود الفقري لأسرع SNARKs اليوم. دليل تفاعلي يتحقق من مبلغ ضخم بأقل قدر من النفقات العامة. في SNARKs ، يتيح للمثبتين الالتزام ببيانات أقل بكثير. يصبح معظم العمل إضافات ومضاعفات بسيطة.

3 / ولكن ليست كل استخدامات فحص المجموع متساوية. تستخدمه أسرع SNARKs بذكاء ، مستغلة الهيكل المتكرر لتقليل عمل البروفر. التقنيات الرئيسية: - وسيطات تقييم الدفعات - فحص الذاكرة - كثيرات حدود افتراضية - فحوصات المجموع المتناثرة - الحفاظ على القيمة الصغيرة

لإضافة المزيد من الفروق الدقيقة ، يمكن أن يساعد التحقق من المجموع في تسهيل الالتزام بالقيم الصغيرة مع الالتزامات القائمة على التجزئة. على سبيل المثال ، يحزم FRI-Binius العديد من القيم الصغيرة في عنصر حقل واحد قبل تطبيق مخطط التزام يشبه FRI على القيم المعبأة. ثم يتم استخدام Sum-check لربط القيم غير المعبأة (وهي ما يهتم به المدقق بالفعل) بالقيم المعبأة التي يتم الالتزام بها بالفعل.