💰 quantitative finance

The Privacy Subsidy in Continuous-Time Kyle: Cumulative Welfare under Noise-Perturbed Order-Flow Observation

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

المؤلفون الأصليون: Yuki Nakamura

نُشر 2026-05-26

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Yuki Nakamura

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

الصورة الكبيرة: صانع السوق "المعصوب العينين"

تخيل سوقاً مزدحماً حيث يشتري ويبيع الناس أصلاً غامضاً (مثل عملة نادرة). هناك ثلاثة أنواع من الأشخاص في هذا السوق:

المطلعون (Insiders): يعرفون القيمة الحقيقية للعملة منذ البداية.
متداولو الضجيج (Noise Traders): يشترون ويبيعون بشكل عشوائي، مثل السياح الذين يقلبون العملات المعدنية.
صانع السوق (البروتوكول): روبوت يحدد السعر. مهمته هي الشراء بسعر منخفض والبيع بسعر مرتفع للحفاظ على حركة السوق.

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

فكر في درع الخصوصية كأنه نافذة ضبابية. يمكن لصانع السوق رؤية الناس يتحركون خلف النافذة، لكن الزجاج ضبابي قليلاً. لا يمكنه التمييز بدقة بين مقدار الحركة الناتجة عن "المطلع الذكي" ومقدار الحركة الناتجة عن "السياح العشوائيين". هذا الضباب هو "ضجيج الخصوصية".

المشكلة: "دعم الخصوصية" (The Privacy Subsidy)

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

الخطأ: يضع صانع السوق أسعاراً "خاطئة" قليلاً بالنسبة للقيمة الحقيقية للعملة.
النتيجة: المطلعون ومتداولو الضجيج يربحون المال بالصدفة على حساب صانع السوق.
"الدعم": تسمي الورقة هذا المال المفقود بـ "دعم الخصوصية" (Privacy Subsidy). وهو في الأساس "إكرامية" يُجبر صانع السوق (مجمع سيولة البروتوكول) على دفعها للمتداولين لمجرد أنه يحاول حماية خصوصيتهم.

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

الاكتشاف الرئيسي: كم تبلغ تكلفة الخصوصية؟

قام المؤلف، يوكي ناكامورا، بالحسابات لتحديد مقدار تكلفة هذه "الإكرامية" بالضبط.

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

الارتباط بـ "LVR": مفهوم توأم

تربط الورقة البحثية بين هذا المفهوم ومفهوم معروف بالفعل في عالم الكريبتو يسمى الخسارة مقابل إعادة التوازن (Loss-Versus-Rebalancing - LVR).

LVR (فجوة السعر): يحدث هذا عندما يكون صانع السوق بطيئاً جداً في الاستجابة لـ تغيرات الأسعار في العالم الخارجي. هو يخسر المال لأنه يتداول بسعر قديم بينما تحرك السوق بالفعل.
دعم الخصوصية (فجوة التدفق): يحدث هذا عندما يكون صانع السوق بطيئاً جداً في الاستجابة لـ تدفق الطلبات بسبب ضباب الخصوصية.

التشبيه:

LVR يشبه سائق تاكسي لا يدرك أن الازدحام المروري قد انقشع، لذا يفرض أجرة عالية بناءً على بيانات حركة مرور قديمة.
دعم الخصوصية يشبه سائق تاكسي لا يستطيع رؤية الركاب بوضوح من خلال نافذة ضبابية، لذا يعطي الباقي (الفكة) بشكل خاطئ عن غير قصد.

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

التطبيق في العالم الحقيقي: تحديد الرسوم

إذاً، ماذا يعني هذا لمنصة كريبتو حقيقية (مثل "Shielded AMM")؟

إذا أراد البروتوكول السماح للناس بالتداول بخصوصية (باستخدام "النافذة الضبابية")، فسيخسر المال للمتداولين. ولكي يستمر في العمل، يجب على البروتوكول فرض رسوم.

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

توضيحات هامة (ما لا تقوله الورقة)

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

الملخص في جملة واحدة

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

ملخص تقني: دعم الخصوصية في نموذج كايل في الزمن المستمر

بيان المشكلة
تتناول هذه الورقة الآثار المترتبة على الرفاهية لآليات الحفاظ على الخصوصية في التمويل اللامركزي (DeFi)، وتحديداً ضمن سياق صانعي السوق الآليين (AMMs) وتجميع تدفق الطلبات. وبينما أرست الورقة المرافقة [12] صيغة مغلقة لـ "دعم الخصوصية" — وهو تحويل من مجمع سيولة البروتوكول إلى المتداولين — في نموذج "كايل" أحادي الفترة، فإن هذا العمل يوسع التحليل إلى إطار الزمن المستمر. تكمن المشكلة الجوهرية في قياس الخسارة المتوقعة التراكمية التي يتكبدها صانع سوق بايزي ملتزم (MM) يراقب تدفق الطلبات الإجمالي المشوب بضجيج خصوصية غاوسي مستقل. وبخلاف صانعي السوق التنافسيين التقليديين الذين يفرضون شرط الربح الصفري، يفترض النموذج قاعدة تسعير "ملتزمة" (كما هو معتاد في نماب صانعي السوق القائمة على العقود الذكية) حيث يقوم صانع السوق بتحديث الأسعار عبر قاعدة بايز على ملاحظات مشوبة بالضجيج، لكنه لا يعدل ديناميكياً لضمان الربح الصفري.

المنهجية
يستخدم التحليل إطار "كايل-باك" (Kyle–Back) في الزمن المستمر [1]، والمكيف للبيانات المجمعة بخصوصية.

نماذج أولية للنموذج: يتميز النموذج بأفق تداول $[0, 1]$ ، ومتداول مطلع يراقب قيمة أصل طبيعية $v$ ، ومتداولين عشوائيين يقدمون تدفقاً $du_t = \sigma_u dW^u_t$ ، وقناة خصوصية تضيف ضجيج براوني مستقلاً $d\varepsilon_t = \sigma_\varepsilon dW^\varepsilon_t$ . يراقب صانع السوق التدفق المشوب $d\tilde{y}_t = dy_t + d\varepsilon_t$ .
قاعدة التسعير: يستخدم صانع السوق قاعدة تسعير خطية ملتزمة $dp_t = \lambda_t d\tilde{y}_t$ ، حيث $\lambda_t$ هو كسب كالمان الثابت مسبقاً (ex-ante) المستمد من هوية إسقاط بايز. ومن الأهمية بمكان أن النموذج لا يفرض قيد التوازن للربح الصفري الموجود في نماذج كايل التنافسية؛ بل يقبل الربح (أو الخسارة) المتوقع غير الصفر كهدف للدراسة.
اشتقاق التوازن: يستخدم المؤلفون فرضية ماركوفية خطية لاستراتيجية المطلع ( $dx_t = \beta_t(v - p_t)dt$ ) ويحلون معادلة هاميلتون-جاكوبي-بلام (HJB) المرتبطة بها. يعتمد الحل على شرط عقلانية "كايل-باك" القياسي $\Sigma(1) = 0$ (الكشف الكامل عن المعلومات عند نهاية الأفق) لتحديد معالم التوازن.
محاسبة الرفاهية: يتم اشتقاق دعم الخصوصية التراكمي عبر تفكيك إجمالي الرفاهية بين المشاركين الثلاثة: المتداول المطلع، والمتداولين العشوائيين، وصانع السوق. يتم حساب ربح صانع السوق المتوقع كفائض مطلوب لموازنة النظام.

المساهمات والنتائج الرئيسية
تؤسس الورقة لثلاث نتائج رئيسية:

المبرهنة 1 (التوازن الخطي الماركوفي): في ظل قاعدة تسعير AMM البايزية الملتزمة مع شدة ضجيج الخصوصية $\sigma_\varepsilon$ ، يتميز التوازن الفريد بـ معامل تأثير سعر ثابت $\lambda = \sigma_v / \sqrt{\sigma_u^2 + \sigma_\varepsilon^2}$ وتبايُن بعدي متناقص خطياً $\Sigma(t) = \sigma_v^2(1-t)$ . وجود ضجيج الخصوصية يزيد فعلياً من تقلب المتداول العشوائي من $\sigma_u$ إلى $\sqrt{\sigma_u^2 + \sigma_\varepsilon^2}$ في شروط التوازن.
المبرهنة 2 (دعم الخصوصية التراكمي): تشتق الورقة تعبيراً مغلقاً لدعم الخصوصية التراكمي المتوقع (التحويل من مجمع السيولة إلى المتداولين) عبر الأفق $[0, 1]$ :
$|\Pi_M| = \frac{\sigma_v \sigma_\varepsilon^2}{\sqrt{\sigma_u^2 + \sigma_\varepsilon^2}}$
يشير المؤلفون إلى أن هذه القيمة هي بالضبط ضعف نظيرتها في الفترة الواحدة المستمدة من [12]. ويوضحون أن هذا "التضاعف" هو سمة قياسية للانتقال من نموذج كايل أحادي الفترة إلى نموذج الزمن المستمر (حيث تتضاعف أرباح المتداول المطلع أيضاً) وليس نتاجاً خاصاً بآلية الخصوصية.
الافتراض 1 (الثنائية الهيكلية مع LVR): تؤسس الورقة ثنائية هيكلية بين الخسارة مقابل إعادة التوازن (LVR) التي حددها ميلونيوس وآخرون [10] في صانعي السوق ذوي المنتج الثابت، ودعم الخصوصية في أسواق كايل.
- يقيس LVR خسارة الرفاهية الناتجة عن عدم التطابق بين منحنى AMM الملتزم وملاحظة السعر الخارجية.
- يقيس دعم الخصوصية خسارة الرفاهية الناتجة عن عدم التطابق بين قاعدة التسعير الملتزمة وملاحظة تدفق الطلبات.
  كلا معدلي الرفاهية يحللان إلى مربع شدة محرك الضجيج ذي الصلة (انتشار السعر مقابل ضجيج الخصوصية) ودالة للشيء الملتزم. توفر هذه الثنائية إطاراً موحداً لمعايرة رسوم التعادل في التبادلات ذات المنحنى الملتزم.

الأهمية والادعاءات
تدعي الورقة أنها أكملت برنامج قياس رسوم التعادل لصانعي السوق (AMMs) الملتزمة التي تعمل في بيئات معلومات مجمعة بخصوصية. تكمن أهميتها في:

الربط بين الأدبيات: تربط بين أدبيات بنية السوق المتعلقة بالتداول الداخلي (كايل/باك) وأدبيات DeFi المتعلقة بخسائر رفاهية AMM (LVR)، موضحة أن ضجيج الخصوصية يخلق فجوة رفاهية مطابقة هيكلياً لفجوات ملاحظة السعر.
تشغيل تكاليف الخصوصية: توفر مقياساً دقيقاً ومغلقاً لـ "تكلفة الخصوصية" من حيث ملاءة مجمع السيولة. ويجادل المؤلفون بأنه لكي يكون البروتوكول ملائماً، يجب أن تتجاوز إيرادات الرسوم التراكمية دعم الخصوصية التراكمي هذا.
الآثار التصميمية:
- ثبات الزمن: في حد الزمن المستمر، يعتمد الدعم التراكمي فقط على متوسط تباين ضجيج الخصوصية، وليس على ملفه الزمني. وهذا يعني أن البروتوكولات لا يمكنها تقليل الدعم عن طريق جدولة حقن الخصوصية استراتيجياً (مثل تقليل الخصوصية بالقرب من نهاية الأفق) دون تغيير الميزانية المتوسطة.
- معايرة الرسوم: توفر الصيغة المستخرجة طريقة مباشرة لتحديد الرسوم النسبية لتغطية دعم الخصوصية، على غرار كيفية استخدام LVR لهياكل الرسوم في CFMMs.
- المنفصل مقابل المستمر: يحذر المؤلفون من أنه بينما يوفر نموذج الزمن المستمر شكلاً مغلقاً نظيفاً، يجب تفسير التطبيقات العملية (مثل AMMs المحمية أو محركات MPC) كعمليات نشر منفصلة في كتل (blocks) حيث تكون ميزانية الخصوصية محدودة، حيث إن قناة ضجيج براوني مستمرة بشدة ثابتة لا تتوافق مع ضمانات الخصوصية التفاضلية ذات الميزانية المحدودة.

تختتم الورقة بالإشارة إلى أن هذه النتائج تسري على الضجيج الغاوسي، وأن التوسعات إلى الضجيج غير الغاوسي (مثل لابلاس للخصوصية التفاضلية) أو عمليات القفز تظل مفتوحة للعمل المستقبلي.