سلسلة ندوات مركز بحوث التشفير - آنكا نيتوليسكو

العنوان:

سنارك باك (SnarkPack): التجميع العملي لـ ’سنارك‘

الملخص:

"تُشكِّل zk-SNARKs أنظمة غير تفاعلية تضم إثباتات موجزة وفعالة وملموسة يمكنها استعراض صحة المعلومة فقط بدون الكشف عن تفاصيل إضافية حولها. وتُستخدم أنظمة zk-SNARKs بكثرة في الأنظمة اللامركزية بهدف تناول قضايا الخصوصية ومدى نطاق الوصول. ونقوم أيضاً بتصميم إطار SnarkPack وتنفيذه، وهو وسيلة حديثة تساهم في تقليص حجم إثباتات SNARK. وهدفنا الأساسي هو تطوير حل عملي على النحو التالي: (1) يناسب الأنظمة المستخدمة حالياً، (2) ولا يتطلب اتخاذ خطوات إضافية متعلقة بخطوات الـTrusted setup ceremony. وصُمِّم إطار SnarkPack ليتوافق مع مخطط Groth16، كما يتضمن إثباتات لوغاريتمية الحجم ومتحقق يعمل في وقت لوغاريتمي للإثباتات المطلوب تجميعها. والأهم من ذلك، يقوم SnarkPack بإعادة استخدام المعايير العامة لنظام Groth16. ويمكنه جمع 8192 إثبات خلال 8.7 ثواني، والتحقق منها خلال 163 مللي ثانية، بما يتضمن الوقت المطلوب لتحويل البيانات، الأمر الذي يوفر آلية تحقق سريعة جداً مقارنةً بالحلول الأخرى المتوفرة ضمن المجال."