في ساحة الشبكات العامة من الطبقة 1، غالبًا ما يحدد تصميم آلية الإجماع مصير السلسلة بأكملها. الأمان، القدرة على المعالجة، مستوى اللامركزية، بالإضافة إلى القدرة على تحمل تطبيقات معقدة — كل هذه المؤشرات تشير في الواقع إلى نفس السؤال: كيف يمكن تصميم آلية إجماع تجمع بين هذه الاحتياجات المتناقضة على ما يبدو؟

بالنسبة لشبكة Dusk التي تركز على المعاملات الخاصة وتستهدف تطبيقات السوق المالية، تعتبر هذه المسألة أكثر تعقيدًا. فهي بحاجة إلى حماية خصوصية المعاملات، وفي الوقت ذاته، يجب أن تتيح للشبكة التحقق من صحة هذه المعاملات الخاصة بشكل فعال — قد يبدو هذا خيالًا علميًا بعض الشيء، لكن من خلال آلية تسمى بروتوكول بيثاقنثون المعزول (SBA)، تمكنت Dusk من تحقيق ذلك.

**تقسيم الأدوار: فصل المنفذين عن المدققين**

ببساطة وبدون تعقيد، الفكرة الأساسية لـ SBA هي一句 واحدة — فصل من يقوم بإنتاج الكتل عن من يتحقق من صحة الكتل. ماذا يحقق هذا الفصل؟ لننظر أدناه.

تنقسم الشبكة إلى نوعين من العقد:

**منتجو الكتل**، الذين يتم اختيارهم عشوائيًا عبر رهن $DUSK وآلية السحب باستخدام التشفير. مهمتهم جمع المعاملات، حزم الكتل، تنفيذ منطق المعاملات، وفي الوقت نفسه، إنشاء إثباتات المعرفة الصفرية (ZKPs). هناك نقطة مهمة هنا — منتجو الكتل لا يرون نص المعاملة الواضح. كيف يتم ذلك؟ عبر نظام إثباتات رياضية يُنجز في صندوق أسود. هكذا، يتم ضمان الخصوصية بشكل طبيعي في هذه المرحلة.

**لجنة الإجماع**، التي يكون عدد أعضائها أكبر، ويتم اختيارها أيضًا بشكل عشوائي. لكن عملهم أسهل — لا يحتاجون إلى إعادة تنفيذ المعاملات التي تتطلب حسابات كثيفة، بل فقط التحقق من إثباتات المعرفة الصفرية التي أعدها منتجو الكتل. هذه الإثباتات تضمن بشكل رياضي أن المعاملات صحيحة، ومتوافقة، وأن تحويل الحالة صحيح. ترى اللجنة إثباتات تشفير خفيفة، وتستخدمها للوصول إلى الإجماع النهائي.

**لماذا يمكن لهذا الفصل أن يحقق نتائج مذهلة؟**

أولاً، **القابلية للتوسع**. فصل عمليات تنفيذ المعاملات التي تتطلب حسابات كثيفة عن عمليات التحقق السريعة، يتيح لمنتجي الكتل معالجة عدد كبير من المعاملات الخاصة بشكل متزامن، بينما تركز لجنة الإجماع على التحقق السريع من الإثباتات. النتيجة هي رفع سقف القدرة على المعالجة، وتسريع التسويات المالية الكبيرة.

ثانيًا، **الخصوصية والتحقق بشكل مثالي موحد**. العمليات التقليدية للإجماع تتطلب أن يطلع جميع العقد على نص المعاملة للتحقق — وهو ما يتعارض مع الخصوصية بطبيعته. حلت SBA هذه المشكلة: الإجماع يعتمد بالكامل على التحقق من إثباتات رياضية، ولا حاجة أبدًا لنشر البيانات الأصلية. الشبكة تضمن تماسك الحالة، وفي الوقت ذاته، تحافظ على خصوصية كل معاملة. هذا هو المفهوم الحقيقي لـ "الخصوصية القابلة للتحقق".

هذه التصاميم، من الناحية النظرية، تفتح طريقًا جديدًا للتطبيقات المالية الخاصة، خاصة في السيناريوهات التي تتطلب خصوصية عالية ولكن لا يمكنها التخلي عن متطلبات الامتثال.