2025-11-10T02:35:47.632158

Proxima. A DAG based cooperative distributed ledger

Drasutis
This paper introduces a novel architecture for a distributed ledger, commonly referred to as a "blockchain", which is organized in the form of directed acyclic graph (DAG) with UTXO transactions as vertices, rather than as a chain of blocks. Consensus on the state of ledger assets is achieved through the cooperative consensus: an profit-driven behavior of token holders themselves, which is viable only when they cooperate by following the "biggest ledger coverage rule", akin the "longest chain rule" of Bitcoin. The cooperative behavior is facilitated by enforcing purposefully designed UTXO transaction validity constraints. Token holders are the sole category of participants authorized to make amendments to the ledger, making participation completely permissionless - without miners, validators, committees or staking - and without any need of knowledge about the composition of the set of all participants in the consensus. The setup allows to achieve high throughput and scalability alongside with low transaction costs, while preserving key aspects of high decentralization, open participation, and asynchronicity found in Bitcoin and other proof-of-work blockchains, but without huge energy consumption. Sybil protection is achieved similarly to proof-of-stake blockchains, using tokens native to the ledger, yet the architecture operates in a leaderless manner without block proposers and committee selection.
academic

بروكسيما: دفتر موزع تعاوني قائم على الرسم البياني الموجه غير الدوري

المعلومات الأساسية

  • معرّف الورقة: 2411.16456
  • العنوان: Proxima: a DAG–based cooperative distributed ledger
  • المؤلف: Evaldas Drąsutis
  • التصنيف: cs.DC (الحوسبة الموزعة والمتوازية والعنقودية)
  • تاريخ النشر: 2025-10-14 (نسخة arXiv)
  • رابط الورقة: https://arxiv.org/abs/2411.16456

الملخص

تقترح هذه الورقة معمارية دفتر موزع مبتكرة تستخدم بنية الرسم البياني الموجه غير الدوري (DAG)، حيث تكون معاملات UTXO بمثابة رؤوس بدلاً من بنية البلوكتشين التقليدية. يتم تحقيق الاتساق في حالة أصول الدفتر من خلال آلية "الإجماع التعاوني": وهي سلوك يسعى للربح يقوده حاملو الرموز بأنفسهم، ويكون ممكناً فقط عندما يتعاونون باتباع "قاعدة تغطية الدفتر الأقصى" (مشابهة لقاعدة "السلسلة الأطول" في البيتكوين). يتم تعزيز السلوك التعاوني من خلال قيود صحة معاملات UTXO المصممة بعناية. حاملو الرموز هم الفئة الوحيدة من المشاركين المصرح لهم بتعديل الدفتر، مما يجعل المشاركة خالية تماماً من الأذونات - بدون عمال تعدين أو مدققين أو لجان أو رهن - وبدون الحاجة إلى معرفة تكوين مجموعة المشاركين في الإجماع. تمكّن هذه الإعدادات من تحقيق إنتاجية عالية وقابلية للتوسع وتكاليف معاملات منخفضة، مع الحفاظ على الخصائص الرئيسية لبلوكتشين إثبات العمل مثل البيتكوين: اللامركزية العالية والمشاركة المفتوحة والطبيعة غير المتزامنة، لكن بدون استهلاك طاقة ضخم.

الخلفية البحثية والدافع

تعريف المشكلة

تواجه أنظمة البلوكتشين الحالية مشاكل أساسية تشمل:

  1. مشكلة استهلاك الطاقة: تستهلك أنظمة إثبات العمل (PoW) مثل البيتكوين كمية هائلة من الطاقة
  2. قيود قابلية التوسع: البنية المتسلسلة للبلوكتشين التقليدي تحد من قدرة معالجة المعاملات
  3. الاتجاه نحو المركزية: أنظمة إثبات الحصة (PoS) غالباً ما تتطلب لجان ومدققين، مما ينطوي على مخاطر المركزية
  4. حواجز المشاركة: تتطلب الأنظمة الحالية عادةً أدواراً خاصة (عمال تعدين/مدققين) للمشاركة في الإجماع

الدافع البحثي

يسعى المؤلف إلى تصميم نظام دفتر موزع يحافظ على خصائص البيتكوين الخالية من الأذونات، مع تجنب مشكلة استهلاك الطاقة العالي. الفكرة الأساسية هي دمج بنية DAG من Tangle مع نموذج UTXO، وتحقيق إجماع تعاوني من خلال آليات الحوافز الاقتصادية.

قيود الطرق الموجودة

  • أنظمة PoW: استهلاك طاقة ضخم، غير صديقة للبيئة
  • أنظمة PoS: تتطلب آليات لجان، مما ينطوي على مخاطر المركزية
  • أنظمة DAG التقليدية: تفتقر إلى آليات حوافز واضحة وقواعد إجماع

المساهمات الأساسية

  1. اقتراح آلية الإجماع التعاوني: خوارزمية إجماع جديدة تعتمد على السلوك الذي يسعى للربح من حاملي الرموز
  2. تصميم بنية UTXO Tangle: دمج عضوي لنموذج UTXO مع بنية DAG
  3. إنشاء قاعدة تغطية الدفتر الأقصى: قاعدة إجماع مشابهة لقاعدة السلسلة الأطول لكن تنطبق على بنية DAG
  4. تحقيق المشاركة الخالية من الأذونات بالكامل: مشاركة حاملي الرموز فقط، بدون أدوار خاصة
  5. توفير خطة تنفيذ قابلة للتطبيق: تتضمن مواصفات تقنية مفصلة وتنفيذ شبكة اختبار

شرح الطريقة

تعريف المهمة

تصميم نظام دفتر موزع يستوفي المتطلبات التالية:

  • المدخلات: معاملات UTXO التي ينتجها حاملو الرموز
  • المخرجات: حالة دفتر متسقة على مستوى الشبكة
  • القيود: مشاركة خالية من الأذونات، استهلاك طاقة منخفض، قابلية توسع عالية، الحفاظ على اللامركزية

معمارية النموذج

1. بنية UTXO Tangle

UTXO Tangle هو رسم بياني موجه غير دوري حيث:

  • الرؤوس: معاملات UTXO، تتضمن مدخلات ومخرجات وتصديقات وطوابع زمنية
  • الحواف: علاقات الاستهلاك (←) وعلاقات التصديق (⇐)
  • المخروط الماضي: جميع المعاملات القابلة للوصول من خلال علاقات الاستهلاك والتصديق

2. بنية المعاملة

تحتوي كل معاملة T على:

T = (in(T), out(T), endorse(T), timestamp(T), unlock(T), senderID(T))
  • in(T): مجموعة المخرجات المستهلكة
  • out(T): مجموعة المخرجات المنتجة
  • endorse(T): مجموعة المعاملات المصدقة
  • timestamp(T): طابع زمني الدفتر
  • unlock(T): بيانات فتح القفل
  • senderID(T): توقيع المرسل

3. تعريف درجة تغطية الدفتر

درجة التغطية هي مؤشر رئيسي لقياس أهمية المعاملة:

بالنسبة لمعاملة المرتب T، يتم تعريف تغطيتها على النحو التالي:

coverage(T) = coverage_Δ(T) + coverage_Δ(baseline(T)) / 2^(slot(T)-slot(baseline(T))+1)

حيث coverage_Δ(T) هي زيادة التغطية، وتمثل إجمالي المخرجات الأساسية المستهلكة في المخروط الماضي لـ T.

4. آلية الإجماع التعاوني

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

نقاط الابتكار التقني

1. آلية المرتب (Sequencer)

  • معاملات الفرع: معاملات مرتب خاصة تقع في حدود الفترة الزمنية
  • المخرجات الجذعية (Stem Output): مخرجات خاصة تنتجها معاملات الفرع، تستخدم لربط الفترات الزمنية المختلفة
  • الحالة الأساسية: لكل معاملة مرتب حالة أساسية محددة بشكل حتمي

2. آلية الحوافز التضخمية

صيغة التضخم:

I_t = R_t × A (عندما Δt ≥ 1)
R_t = 1/(C + t)

حيث R_t هو معدل التضخم للفترة الزمنية t، وينخفض بمرور الوقت.

3. آلية المتابعة بالعلامة (Tag-along)

يمكن للمستخدمين غير المرتبين دفع رسم صغير لـ "متابعة" معاملاتهم بعلامة إلى معاملة المرتب، مما يحقق معالجة معاملات خالية من الأذونات.

إعداد التجارب

تنفيذ شبكة الاختبار

طور المؤلف نسخة شبكة اختبار من عقدة Proxima، مما تحقق من جدوى التصميم.

إعدادات المعاملات

  • طول الفترة الزمنية: 128 tick
  • مدة الـ tick: 80 ميلي ثانية (شبكة الاختبار)
  • الحد الأدنى لمبلغ المرتب: 1/1000 من إجمالي العرض الأولي
  • الحد الأقصى لعدد المرتبين: 1000 مرتب

مؤشرات التقييم

  • الإنتاجية: عدد المعاملات المعالجة في الثانية
  • وقت التأكيد: الوقت الذي تصل فيه المعاملة إلى النهائية
  • استهلاك الطاقة: انخفاض استهلاك الطاقة مقارنة بأنظمة PoW
  • درجة اللامركزية: توزيع المشاركين

نتائج التجارب

النتائج الرئيسية

  1. قابلية التوسع: تدعم معالجة معاملات متوازية واسعة النطاق
  2. الكمون المنخفض: وقت تأكيد المعاملة ينخفض بشكل كبير
  3. كفاءة الطاقة: انخفاض كبير في استهلاك الطاقة مقارنة بأنظمة PoW
  4. التقارب: يمكن للنظام أن يتقارب بسرعة إلى حالة متسقة

تحليل الأمان

  • معامل الأمان θ: يمكن للمستخدمين اختيار معامل 1/2 < θ < 1 لموازنة الأمان والنشاط
  • الحماية من الهجمات طويلة المدى: يتطلب السيطرة على رأس مال خبيث كبير لنجاح الهجوم
  • معالجة تقسيم الشبكة: مشابهة لأنظمة PoW، تعطي الأولوية للنشاط على الأمان

الأعمال ذات الصلة

المراجع الرئيسية

  1. ورقة البيتكوين البيضاء: توفر الأساس الفكري للإجماع الخالي من الأذونات
  2. ورقة Tangle البيضاء: توفر بنية DAG ومبدأ "كل معاملة تؤكد معاملتين أخريين"
  3. نموذج UTXO: يستعير من تصميم UTXO في البيتكوين و Cardano

الاختلافات عن الأعمال الموجودة

  • مقابل PoW: الحفاظ على خصائص خالية من الأذونات مع تجنب مشكلة استهلاك الطاقة
  • مقابل PoS: بدون آليات لجان، أكثر لامركزية
  • مقابل DAG التقليدي: إدخال آليات حوافز اقتصادية واضحة وقواعد إجماع

الخلاصة والنقاش

الاستنتاجات الرئيسية

  1. الإجماع التعاوني هو بديل قابل للتطبيق لـ PoW، يحافظ على خصائص خالية من الأذونات
  2. بنية UTXO Tangle يمكنها تحقيق إنتاجية عالية وقابلية توسع
  3. آليات الحوافز الاقتصادية يمكنها تعزيز السلوك التعاوني بشكل فعال

القيود

  1. التعقيد: أكثر تعقيداً من تصميم البيتكوين
  2. عدم كفاية التحليل النظري: يتطلب التقارب والأمان نمذجة رياضية أعمق
  3. نقص خبرة النشر الفعلي: لا يزال يتطلب التحقق من الانتشار الفعلي على نطاق واسع

الاتجاهات المستقبلية

  1. النمذجة الرياضية: إجراء تحليل نظري أكثر صرامة للتقارب والأمان
  2. استراتيجيات التحسين: تحسين استراتيجيات المرتب والخوارزميات
  3. النشر الفعلي: اختبار وتحسين النظام في بيئات حقيقية

التقييم المتعمق

المميزات

  1. ابتكار قوي: اقتراح آلية إجماع تعاوني جديدة تماماً
  2. تصميم شامل: اعتبارات مفصلة من النظرية إلى التنفيذ
  3. قيمة عملية عالية: حل المشاكل الرئيسية للأنظمة الموجودة
  4. عمق تقني: يتضمن تفاصيل تقنية غنية وخطط تنفيذ

أوجه القصور

  1. الأساس النظري: نقص الإثباتات الرياضية الصارمة وتحليل الأمان
  2. التحقق التجريبي: يعتمد بشكل أساسي على شبكة الاختبار، يفتقر إلى بيانات النشر الفعلي على نطاق واسع
  3. إدارة التعقيد: قد يؤثر تعقيد النظام على الاعتماد الفعلي
  4. النموذج الاقتصادي: تأثيرات آلية التضخم على المدى الطويل تتطلب مزيد من البحث

التأثير

  1. القيمة الأكاديمية: توفير أفكار جديدة لبحث الإجماع الموزع
  2. الآفاق العملية: قد تصبح أساس تكنولوجيا البلوكتشين من الجيل القادم
  3. الدفع التكنولوجي: تعزيز تطور تكنولوجيا DAG و UTXO

السيناريوهات المطبقة

  1. المعاملات عالية التردد: مناسبة لسيناريوهات التطبيق التي تتطلب إنتاجية عالية
  2. المدفوعات الدقيقة: تكاليف المعاملات المنخفضة تجعلها مناسبة للمدفوعات الصغيرة
  3. التطبيقات اللامركزية: توفير بنية تحتية عالية الأداء لـ DApp
  4. البلوكتشين الأخضر: مجالات التطبيق ذات المتطلبات البيئية العالية

المراجع

  1. Nakamoto, S. (2008). Bitcoin: A peer-to-peer electronic cash system
  2. Popov, S. (2018). The Tangle
  3. Chakravarty, M. M., et al. (2020). The Extended UTXO Model

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