التعريف
الدليل المجمَّع (aggregated proof) هو آلية في علم التشفير يتم فيها دمج عدة أدلة منفصلة، غالبًا حول عبارات أو معاملات مختلفة، في كيان واحد موجز من الدليل. يمكن التحقق من هذا الدليل الواحد بكفاءة أعلى من التحقق من كل دليل أصلي على حدة، مع الحفاظ على نفس مستوى الضمانات الأمنية. يتم عادةً بناء الأدلة المجمَّعة بحيث يحتاج المُحقِّق إلى تنفيذ إجراء تحقق واحد فقط ليقتنع بأن جميع العبارات الأساسية صحيحة.
في سياق سلاسل الكتل (blockchain)، تُستخدم تقنيات الدليل المجمَّع لضغط بيانات التحقق، وتقليل البصمة على السلسلة، وخفض التكلفة الحاسوبية لعملية التحقق. يمكن تطبيقها على التواقيع، وأدلة انعدام المعرفة (zero-knowledge proofs)، أو أنظمة الأدلة الأخرى التي تدعم هياكل مناسبة للتجميع. الخاصية الجوهرية هي أن الدليل المجمَّع يظل سليمًا: فإذا كانت أي من العبارات الأساسية خاطئة، فسيفشل الدليل الموحَّد في التحقق.
السياق والاستخدام
آليات الدليل المجمَّع ذات أهمية خاصة لقابلية التوسّع والكفاءة في الأنظمة الموزعة التي يجب أن تتحقق من أعداد كبيرة من العبارات التشفيرية. من خلال تجميع العديد من الأدلة في دليل واحد، يمكن للمُحقِّقين أو العُقد (nodes) الحفاظ على مستوى أمان قوي مع تقليل متطلبات عرض النطاق الترددي والتخزين والحوسبة. يكون هذا مفيدًا في البيئات ذات الإنتاجية العالية وفي البروتوكولات المعقّدة متعددة الأطراف.
تدعم أنظمة الأدلة المختلفة التجميع بطرق متباينة، مثل تجميع العديد من التواقيع من مشاركين مختلفين، أو دمج عدة أدلة انعدام معرفة (zero-knowledge proofs) حول عمليات حسابية منفصلة. يجب أن يوازن تصميم مخطط الدليل المجمَّع بين الإيجاز، وتكلفة التحقق، وتعقيد توليد الكيان المجمَّع. كآلية، يعمل هذا النوع من الأدلة كعنصر أساسي لبناء نماذج أكثر قابلية للتوسّع في آليات الإجماع (consensus)، وتوافر البيانات، والبُنى التي تحافظ على الخصوصية في أنظمة سلاسل الكتل (blockchain) والأنظمة التشفيرية ذات الصلة.