قد تكون أصغر التفاصيل في نموذج المعاملة أحيانًا ذات عواقب أكبر من الميزات البارزة.
يستخدم Dusk nonce مرتبطًا بحساب المُرسِل، وتزداد هذه القيمة عند تنفيذ معاملة بنجاح. وظيفته بسيطة ومهمة: يستطيع الشبكة التمييز بين معاملة جديدة ومعاملة سبق استخدامها بدلًا من التعامل مع الطلبات المتطابقة كإجراءات مستقلة.
أعجبني مدى بساطة هذه الآلية وخلوّها من التعقيد.
غالبًا ما تحتاج بنية المعاملات الجيدة إلى قواعد لا يفكر فيها المستخدمون عادةً إلا عندما يحدث خطأ. توفر الـ nonces تسلسلًا واضحًا لما سبق أن نفّذه الحساب.
لكن لهذه البساطة وجهًا آخر.
عندما تعتمد المعاملات من الحساب نفسه على تسلسل nonce مرتب، لا يمكن دائمًا أن تتصرف الإجراءات المستقلة كما لو كانت غير مرتبطة تمامًا. قاعدة الترتيب تمنح هيكلًا للتنفيذ، لكنها قد تفرض أيضًا قيودًا على كيفية انتقال المعاملات عبر النظام.
فهل يمنح ترتيب nonce على مستوى الحساب Dusk الانضباط الصحيح للمعاملات، أم قد يتحول التسلسل الصارم إلى احتكاك عندما تحتاج التطبيقات المالية إلى تنفيذ أكثر بالتوازي؟
كنت أفكر في ما يحدث عندما تصل إحدى المعاملات إلى Dusk.
في البداية، يبدو الأمر كأن هناك سؤالًا واحدًا فقط:
**“هل يجب على الشبكة قبول هذه المعاملة؟”**
لكن عند النظر عن قرب، توجد في الواقع إجابتان مختلفتان.
أولًا، هل تلتزم المعاملة بقواعد البروتوكول؟
ثم، بافتراض أنها تلتزم، هل يتفق المشاركون على الحالة التي تنتج عنها؟
من السهل تفويت هذا التمييز، لأن ما يراه المرء من الخارج هو أن الخطوتين تؤديان إلى النتيجة نفسها: حالة مقبولة.
لكن من الناحية المعمارية، هاتان الوظيفتان مختلفتان.
إذا حدث خطأ ما، فإن فصلهما يجعل من الأسهل السؤال عن ما الذي فشل فعلًا. هل كانت المعاملة غير صالحة؟ أم أنها كانت صالحة، لكن المشاركين اختلفوا بشأن الحالة الناتجة عنها؟
أعتقد أن هذا الفصل خيار تصميم قوي.
لكنّه في الوقت نفسه يطرح سؤالًا جديدًا.
كل حدّ بين المسؤوليات هو عملية تسليم أخرى. وكل عملية تسليم يجب أن تعمل بشكل صحيح عندما يحدث شيء غير متوقع.
لذلك أعود إلى هذا باستمرار:
**هل يجعل فصل التحقق من الصحة عن الإجماع Dusk أسهل في الفهم عند حالات الفشل، أم أن كل حد إضافي يخلق مكانًا آخر يمكن للنظام أن يتعطل فيه؟**
هناك شيء آخر أستمر في التفكير فيه مع TermMax وهو ترتيب المعاملات.
قد تحتوي البروتوكولات على آليات إقراض واقتراض محددة بدقة، لكن المعاملة ما زالت بحاجة إلى المرور عبر بيئة سلسلة الكتل حيث قد يكون للترتيب أهمية.
وهذا يخلق نوعًا مختلفًا من المخاطر.
MEV ليست بالضرورة فشلًا في تصميم الإقراض نفسه. إنها نتيجة لطريقة معالجة المعاملات حول ذلك التصميم، ويمكن أن تؤثر على التنفيذ من خلال أشياء مثل الترتيب غير المواتي أو الانزلاق.
أعتقد أن هذا تمييز مهم لأن البروتوكول قد تكون لديه آليات مالية سليمة ومع ذلك يعرّض المستخدمين لمشكلات على مستوى التنفيذ.
فهل ينبغي أن يتعامل تحليل البروتوكول مع ترتيب المعاملات كجزء من نموذج المخاطر الأساسي لدى TermMax، أم كمخاطر منفصلة تنشأ عن بيئة التنفيذ المحيطة؟
ظلت تِلاعبُني فكرة أن “النهائية السريعة” كانت في الغالب عن تأكيد كتلة بشكل أسرع، ثم نظرتُ إلى كيفية وصف Dusk للنهائية المتدرجة، واتضح أن ذلك ليس الجزء الأكثر إثارة للاهتمام.
لا يهدف إجماع “الإسناد المُوجز” لدى Dusk فقط إلى الوصول إلى نهائية خلال ثوانٍ. يصف الورقة البيضاء “النهائية المتدرجة” كوسيلة للحدّ من عدد تكرارات الإجماع المطلوبة قبل أن تصبح الكتلة نهائية.
هذا الفرق الصغير يهم.
بدلًا من الاستمرار في استهلاك موارد الشبكة لإثبات أن الكتلة نفسها أصبحت نهائية، تمضي العملية قدمًا مع الحفاظ على عمل الإنهاء ضمن حدود. أعجبني هذا التصميم للبنية التحتية المالية، لأن التسوية لا تكون مفيدة كثيرًا إذا أضافت كل خطوة إضافية طبقة أخرى من الانتظار والحساب.
لكن هناك سؤال كامِن تحت ذلك.
كلما احتجت إلى عدد أقل من تكرارات الإجماع، أصبحت النهائية أكثر كفاءة. وفي الوقت نفسه، فإن هذه التكرارات هي جزء مما يمنح الشبكة الثقة بأن الكتلة ينبغي أن تصبح نهائية.
فأين التوازن الصحيح؟
هل يجعل تقييد جولات الإنهاء Dusk أكثر ملاءمة للتسوية المالية، أم أن الكفاءة في النهاية تتحول إلى تنازُل مقابل مقدار عمل الإجماع المرغوب؟
شيء عن بنية خزانة TermMax جعلني أُعيد التفكير في معنى «إدارة السيولة» فعليًا.
الخزنة ليست مجرد مكان آخر لإيقاف رأس المال. التصميم يستخدم محاسبة بأسلوب ERC-4626 ويتيح نشر رأس المال عبر أسواق متوافقة بدلًا من التعامل مع كل مركز سوق على أنه معزول بالكامل.
أعجبني هذا الفصل لأن إدارة رأس المال يمكن أن تحدث فوق مستوى كل سوق على حدة.
لكن هذا أيضًا هو المكان الذي تصبح فيه المسألة أصعب.
كلما زادت الأسواق التي يمكن للخزنة التفاعل معها، زادت فائدة رأس المال المحتمل، لكن قرار أين ينبغي أن يستقر هذا رأس المال يصبح أكثر أهمية أيضًا.
هل يؤدي توسيع نشر رأس المال بالفعل إلى تحسين الكفاءة، أم أنه يجعل إدارة المخاطر أصعب في فهمها والاستدلال عليها؟؟
بدأت أنظر إلى حوكمة TMX بشكل مختلف بمجرد أن لاحظت ما الذي يُفترض أن يغيّره الstaking.
يمكن لحاملي TMX المشاركة في الحوكمة، لكن الstaking يمكن أيضًا أن يوفّر حقوق حوكمة مُعزّزة فيما يتعلق بأشياء مثل معلمات مخاطر السوق والقوائم البيضاء للـcurator.
هذا أكثر إثارة للاهتمام بالنسبة لي من مجرد وجود نظام تصويت آخر.
يمكن لهذه القرارات أن تؤثر مباشرةً على كيفية إدارة الأسواق ذات السعر الثابت، لذلك تصبح الحوكمة مرتبطة بتكوين البروتوكول الفعلي بدلًا من كونها مجرد مقترحات عامة.
الإيجابي واضح: الأشخاص الذين لديهم مشاركة على المدى الأطول يمكن أن يكون لديهم تأثير أكبر.
لكن هذا يطرح سؤالًا أصعب. قد تؤدي زيادة تركيز عملية اتخاذ القرار إلى تحسين المساءلة، أو قد تجعل جودة حكم مجموعة أصغر أكثر تأثيرًا بكثير.
هل تُنتج الحوكمة المُعزّزة قرارات بروتوكول أفضل، أم أنها تجعل قوة الحوكمة أكثر تركّزًا فقط؟؟
كان هناك شيء بخصوص الإصدار الأصلي على Dusk كان يزعجني دائمًا.
كنت أظن أن الترميز والإصدار الأصلي هما في الأساس الشيء نفسه لكن بصياغتين مختلفتين. لا، ليسا كذلك.
يبدأ الترميز بوجود أصل قائم ثم ينشئ تمثيلًا له على السلسلة (onchain). أما الإصدار الأصلي فيذهب إلى أبعد من ذلك: يمكن للجهة الأمنية نفسها أن يُنظَّم لها مسار حياتها على السلسلة من لحظة الإصدار.
إن تصميم Zedger لدى Dusk مثير للاهتمام هنا لأنه ليس مقصورًا على الاحتفاظ بتمثيل مُرمَّز. يصف التقرير التقني (whitepaper) دعم الأوراق المالية التي تكون إمّا مُرمَّزة أو مُصدَرة بشكل أصلي، مع تضمين وظائف دورة الحياة مثل الإصدار (minting) والإحراق (burning) والإجراءات المؤسسية (corporate actions) ضمن نموذج الأصل.
يبدو هذا لي أكثر سلاسة.
لكن ذلك يطرح أيضًا سؤالًا أصعب. إذا انتقل المزيد من دورة حياة الورقة المالية إلى السلسلة، فيجب أن يتسع هذا الجزء الأكبر من الدورة لقواعد المُصدر والجهة المتاحة للتداول والاختصاص القضائي. القدرة التقنية وحدها لا تجعل الأصل أصليًا عمليًا.
هذا هو الجزء الذي أعود إليه باستمرار.
هل يؤدي نقل دورة حياة الورقة المالية إلى قرب السلسلة إلى جعل الأسواق الخاضعة للتنظيم أكثر أصالة فعليًا، أم أنه ببساطة ينقل المزيد من التعقيد التنظيمي إلى داخل الأصل نفسه؟
لا أزال أعتقد أن قابلية التوسع تُوصَف في سلاسل الكتل بطريقة ضيقة جدًا.
يمكن لأي سلسلة أن تعالج المزيد من المعاملات، ومع ذلك تظل غير مريحة للتطبيقات المالية إذا أصبح التنفيذ غير متوقع مع نمو النشاط.
ما الذي جذبني في Dusk هو أن قابلية التوسع تُعامل كمشكلة أنظمة وليست مجرد رقم أكبر للقدرة على المعالجة. تفصل المعمارية الاهتمامات عبر الإجماع والشبكات والتنفيذ، ما يمنح كل طبقة وظيفة أكثر تحديدًا.
يبدو ذلك أنظف من مجرد المطاردة وراء رقم TPS كعنوان رئيسي.
لكن توجد أسئلة كامنة وراء ذلك. التطبيقات المالية لا تحتاج فقط إلى سعة عندما يكون الطلب منخفضًا. بل تحتاج إلى بقاء النظام قابلًا للتنبؤ به عندما تتنافس عدة تدفقات عمل على الموارد في الوقت نفسه.
تُعد السعة النظرية الأعلى مفيدة. أما السعة القابلة للتنبؤ فهي أصعب.
فهل يمثّل نهج Dusk متعدد الطبقات فعلًا مسارًا أفضل نحو بنية تحتية مالية قابلة للتوسع، أم أن فصل النظام إلى مكوّنات أكثر تخصصًا لا يخلق مجرد تعقيدًا أكبر لإدارته؟
قضيت بعض الوقت أتفحّص طبقة الشبكات @Dusk ووجدت نفسي أولي اهتمامًا أكثر بشيء لا يراه أغلب المستخدمين: كيف تتحرك الكتل فعليًا عبر الشبكة.
تستخدم Kadcast تصميمًا من نظير إلى نظير (P2P) مُنظّمًا مبنيًا على توجيه بنمط Kademlia بدلًا من مجرد دفع كل رسالة إلى كل نظير متصل. الفكرة هي جعل الانتشار أكثر استهدافًا وتقليل مقدار الاتصالات المتكررة غير الضرورية التي تحدث عبر الشبكة.
هذا يبدو كتفصيل خلف الكواليس.
لكن ربما ليس كذلك.
بالنسبة لسلسلة تتعامل مع نشاط مالي، تصبح كفاءة الشبكة في النهاية جزءًا من تجربة المستخدم. عندما لا يُضطر العقد إلى بذل جهد كبير لنقل المعلومات نفسها بشكل متكرر، يفسح ذلك المجال أمام الشبكة للقيام بعملٍ مفيد بدلًا من الانشغال بتكلفة الاتصالات.
الجزء الذي لست متأكدًا منه هو المفاضلة. قد يقلّل نظام نشرٍ أكثر تنظيمًا من الهدر، لكنه كذلك يُدخل افتراضات أكثر حول كيفية تنظيم الشبكة وكيف يتواصل كل عقدة مع الأخرى.
فهل يؤدي نشر الكتل بشكل أذكى إلى تحسين أساس التسوية المالية بشكل ملموس، أم أن البنية الإضافية للشبكة تُنشئ تعقيدًا يصبح أصعب في إدارته على نطاق واسع؟
تتعامل معظم تطبيقات EVM مع الشفافية باعتبارها ميزة. لكن في التمويل المؤسسي، يبدأ هذا الافتراض بالتغيّر.
يعمل التمويل اللامركزي (DeFi) بشكل ممتاز مع الأرصدة والمعاملات العامة. غالبًا ما تحتاج المؤسسات إلى شيء مختلف: إثبات أن الصفقة صحيحة دون كشف المحفظة بالكامل أو الميزانية العمومية أو الأطراف المقابلة.
وهنا يصبح DuskEVM مثيرًا للاهتمام.
يحافظ Dusk على بيئة Solidity وEVM المألوفة، مع استخدام التنفيذ السري والتشفير وبراهين المعرفة الصفرية لفصل عملية التحقق عن إمكانية الرؤية.
يمكن للشبكة التحقق من اتباع القواعد دون إجبار الجميع على رؤية البيانات الأساسية.
هذا الفرق مهم.
لا يعني الخصوصية بالضرورة التضحية بالتحقق. يمكن أن تعني التحكم في من يرى ماذا، مع الحفاظ على قابلية إثبات الحالة.
التحدي الحقيقي هو جعل توليد البراهين والأداء والتكامل والإفصاح الانتقائي تعمل بشكل موثوق على نطاق واسع.
ومع نمو الأصول المرمّزة وتبنّي البلوك تشين المؤسسي، قد لا يكون السؤال هو ما إذا كانت البيانات المالية يجب أن تكون على السلسلة.
قد يكون السؤال هو مدى كمية تلك البيانات التي يجب أن تكون مرئية فعليًا.
كنت أتصفح اليوم مستندات إجماع @Dusk ، والجزء الذي لفت انتباهي لم يكن جانب الخصوصية.
بل كان مقدار التركيز الذي توليه Dusk لما يحدث بعد قبول إحدى المعاملات.
الضميمة الموجزة (Succinct Attestation) مصممة لإعطاء Dusk حسمًا نهائيًا حتميًا بمجرد اعتماد كتلة ما. وهذا يعني أن المعاملة لا تصبح “أكثر احتمالًا” فقط للبقاء هناك مع وصول المزيد من الكتل. بل إنها تصل إلى حالة نهائية محددة.
يبدو هذا تفصيلًا تقنيًا حتى تفكر في الأصول المالية.
إذا كنت تقوم بتسوية ورقة مالية مُرمَّزة أو معاملة تسليم مقابل دفع، فإن عدم اليقين حول ما إذا كانت حالة دفتر الأستاذ يمكن أن تتغير ما زال يشكل مشكلة تشغيلية.
لذلك بدأت أنظر إلى Dusk ليس كسلسلة خصوصية فقط، بل كنظام تسوية.
السؤال المثير للاهتمام بالنسبة لي هو ما إذا كان الحسم النهائي الحتمي يصبح أكثر أهمية من الخصوصية بمجرد أن تبدأ الأصول المالية الحقيقية بالتحرك على السلسلة.
لأن إخفاء المعاملة مفيد.
لكن معرفة الموعد بالضبط الذي تصبح فيه المعاملة نهائية قد يكون بنفس الأهمية.
قضيت بعض الوقت في الاطلاع على وثائق معاملات شركة Dusk، وما أوقفني لم يكن برهان ZK نفسه.
بل ما يحدث بعد أن تصبح المعاملة خاصة.
تخفي Phoenix المبلغ والمرسل والملاحظات المحددة عن المراقبين في العلن، لكن Dusk يدعم أيضًا مفاتيح العرض والإفصاح الانتقائي عندما يحتاج طرف مُصرّح له فعلًا إلى الحصول على دليل.
وهذا يجعل النموذج أكثر إثارة للاهتمام من فكرة: «الخصوصية = لا يمكن لأي شخص رؤية أي شيء».
قد يحتاج المنظم أو المدقق أو المُصدر إلى رؤية شيء ما دون أن يراه بقية السوق.
لذلك فإن مشكلة التصميم الحقيقية ليست إخفاء المعاملة.
بل تحديد من يحق له رؤية المعلومات المخفية، ولأي سبب.
عندها تبدو الخصوصية أقل كأنها مفتاح ثنائي وأكثر كأنها مسألة تحكم بالوصول.
يدفعني ذلك إلى التساؤل عن مدى اعتماد الخصوصية المؤسسية في النهاية على التشفير نفسه، مقارنةً بالقواعد التي تحكم عملية الإفصاح.