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

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

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