1/13 استطلاع جديد من @SuccinctJT: بروتوكول التحقق من المجموع هو الأساس لجميع برامج SNARK السريعة. الأطروحة الرئيسية: يهيمن على وقت الحجز (1) تكلفة الالتزام و (2) إثبات أن البيانات جيدة التكوين. فحص المجموع ، عند استخدامه بشكل صحيح ، يقلل من كليهما. 🧵