في الأنظمة الموزعة، غالبًا ما يكون التوصل إلى اتفاق أكثر صعوبة من تنفيذ عملية الحساب نفسها. قد يتم تقييم سياسة بشكل صحيح بواسطة مشغّل واحد، لكن يجب أن يظل البروتوكول اللامركزي بحاجة إلى آلية موثوقة لتنسيق الاتفاق عبر عدة مشاركين قبل أن يمكن الوثوق بهذه النتيجة. يعالج تصميم Newton الموثّق لبنية «الاستجماع التدافعي/Streaming Consensus» تحدي التنسيق هذا من خلال تمكين المشغّلين الموزعين من إنتاج نتيجة تفويض قابلة للتحقق دون الاعتماد على جهة واحدة تُتخذ القرار نيابةً عنها.
المشكلة الهندسية
يتطلب التفويض اللامركزي أكثر من مجرد تقييم مستقل للسياسات. إذا قام كل مشغّل بتقييم معاملة بمعزل عن الآخرين، فستظل الشبكة بحاجة إلى عملية موثقة لتحديد أي نتيجة تمثل القرار الجماعي.
من دون آلية تنسيق، قد تؤدي استجابات المشغّلين غير المتسقة إلى تقليل الثقة في نتائج التفويض وتعقيد التحقق اللاحق.
يقدّم Newton الإجماع المتدفق كجزء من بنية بروتوكوله لتنسيق مشاركة المشغّلين الموزعة قبل حسم قرارات التفويض.
ما هو الإجماع المتدفق؟
وفقًا للورقة التقنية البيضاء لـ Newton، صُمم الإجماع المتدفق لتنسيق التقييم الحتمي للسياسات بين المشغّلين الموزعين. وبدلًا من اعتبار التفويض ناتجًا لخدمة واحدة، يقوم المشغّلون المشاركون بتقييم الطلب نفسه بشكل مستقل ويساهمون في مخرج بروتوكولي مشترك.
تفصل هذه البنية ثلاث مسؤوليات متميزة:
التقييم المستقل للسياسات من قبل المشغّلين
تنسيق الاتفاق الموزع
التحقق قبل التنفيذ
ومن خلال فصل هذه الجوانب، يتجنب البروتوكول تركيز سلطة التفويض في مكوّن واحد من البنية التحتية.
أين يقع ضمن البنية
ضمن سير العمل الموثق لدى Newton، يعمل الإجماع المتدفق بين تقييم السياسة والتحقق من التفويض.
التدفق المفاهيمي هو:
يدخل قصد المعاملة إلى سير عمل التفويض.
يقوم المشغّلون بتقييم السياسة المرتبطة بشكل مستقل.
ينسّق الإجماع المتدفق الاتفاق بين المشغّلين المشاركين.
وبمجرد استيفاء شروط البروتوكول المطلوبة، يتم إنتاج نتيجة تفويض قابلة للتحقق.
يمكن بعد ذلك أن تستهلك طبقة التنفيذ التفويض المُتحقق منه.
بدلًا من الاعتماد على موافقات متسلسلة من المشاركين الأفراد، ينسّق البروتوكول الاتفاق الموزع كجزء من خط أنابيب تفويض موحد.
تشبيه بالطبقة الخلفية
يمكن للمطورين الملمين بـ Node.js أو TypeScript أو الخدمات المصغّرة الموزعة مقارنة الإجماع المتدفق بطبقة تنسيق تُنسّق بين عدة خدمات خلفية مستقلة.
تخيل عدة خدمات عديمة الحالة تعالج الطلب نفسه. تجمع منسّقة نتائجها وتحدد ما إذا كان ينبغي لسير العمل الاستمرار بناءً على قواعد تنسيق محددة مسبقًا.
يطبق Newton مبدأ معماريًا مشابهًا، لكن المقارنة تتوقف عند هذا الحد. تعمل منسّقات الأنظمة التقليدية تحت تحكم إداري مركزي، بينما ينسّق الإجماع المتدفق المشاركة داخل بروتوكول لامركزي يجب أن يكون فيه الاتفاق قابلاً للتحقق بشكل مستقل بدلًا من أن يُؤخذ على أساس الثقة فقط.
لماذا يهم هذا؟
بالنسبة للمطورين، يوفر الإجماع المتدفق طبقة تنسيق منظمة تفصل الاتفاق الموزع عن منطق الأعمال.
بالنسبة لوكلاء الذكاء الاصطناعي، تستند قرارات التفويض إلى مشاركة منسقة للمشغّلين بدلًا من الاعتماد على بيئة تنفيذ واحدة.
تستفيد البنى المؤسسية لأن التنسيق الموزع يحسن الفصل بين التقييم والاتفاق والتنفيذ، مما يجعل سير عمل التفويض أسهل في الفهم والتحليل.
كما يشارك المشغّلون ضمن عملية تنسيق موثقة بدلًا من تحديد نتائج التفويض بشكل مستقل.
تحليل معماري مستقل
وفقًا للتصميم الموثّق لدى Newton، يساهم الإجماع المتدفق في بنية تفويض معيارية.
يظل تقييم السياسة، وتنسيق المشغّلين، والتحقق التشفيري، والتنفيذ مسؤوليات مستقلة، مما يحسن قابلية الصيانة والوضوح المعماري.
كما يعزز هذا النهج الطبقي قابلية التوسّع. يمكن عزل التغييرات في آليات التنسيق عن منطق التنفيذ، بينما تظل تعريفات السياسات مركزة على قواعد التفويض بدلًا من إدارة سير العمل الموزع.
بالنسبة لمهندسي البنية التحتية، يعكس هذا التصميم مبدأً مألوفًا: افصل الحوسبة عن التنسيق كلما تطور كلاهما بشكل مستقل.
الخلاصة
يُظهر الإجماع المتدفق أن التفويض اللامركزي لا يقتصر على تقييم السياسات بشكل صحيح فحسب، بل يتعلق أيضًا بتنسيق الاتفاق بين المشغّلين الموزعين بطريقة قابلة للتحقق ومنظمة.
ومن خلال إدخال طبقة تنسيق مخصصة بين تقييم السياسة والتنفيذ، يعزز Newton بنية معيارية تكون فيها لكل مرحلة مسؤولية محددة بوضوح، مما يحسن شفافية وتنظيم سير عمل التفويض.
إشعار شراكة مدفوعة: هذا التحليل التقني جزء من حملة Newton CreatorPad ومخصص حصريًا للنقاش التعليمي.
سؤال للنقاش: مع ازدياد تعقيد التطبيقات اللامركزية، ما المزايا التي توفرها آليات التنسيق المخصصة مقارنةً بدمج الاتفاق الموزع مباشرةً في منطق التنفيذ؟