إنفاق مزدوج

الإنفاق المزدوج (بالإنجليزية: Double-spending)‏: هوخطأ محتمل في سياق التعامل بالنقود الرقمية، يتمثل في احتمالية إنفاق النقود الرمزية الرقمية أكثر من مرة. تتكون النقود الرمزية الرقمية من ملف رقمي يمكن نسخه أوتزويره، على عكس النقود المادية. يؤدي الإنفاق المزدوج إلى التضخم، مثله في ذلك مثل النقود المزورة، عن طريق إنشاء كمية جديدة من النقود المنسوخة غير الموجودة من قبل. يُخفِّض ذلك من قيمة العملة بالنسبة للوحدات النقدية الأخرى أوالبضائع، ويقلل من ثقة المستخدم ومن تداول العملة ويساهم في ركودها. تُستخدم أساليب التشفير لمنع الإنفاق المزدوج، مع الحفاظ على إخفاء الهوية في المعاملة المالية، وتضم تلك الأساليب التوقيع الأعمى، وتشارك السر في الأنظمة المفصولة عن الإنترنت.

يُعتبر سطوالإنفاق المزدوج سطوًا محتملًا ضد العملات المعماة، ومن المحتمل حدوثه للعديد منها، مثل سطوالـ51%. لم يسبق حتى سقط سطوالإنفاق المزدوج ضد عدد من أكبر العملات المعماة، مثل بيتكوين (وردت احتمالية حدوثه في 2014)، ولكنه وقع لإحدى شُعبها: بيتكوين غولد، التي احتلت المرتبة الـ26 في ترتيب أكبر العملات المعماة فيما بعد.

المنع

يأخذ منع الإنفاق المزدوج شكلين عامين: المنع المركزي والمنع اللامركزي.

المنع المركزي

يُفعَّل المنع المركزي عبر استخدام طرف ثالث موثوق به متصل بالإنترنت، يمكنه التحقق من سابقة إنفاق النقود الرمزية. يمثل ذلك نقطة انهيار حاسمة من منظور الثقة ومنظور الإتاحة.

المنع اللامركزي

يصعب حل معضلة الإنفاق المزدوج في الأنظمة اللامركزية. يجب على عدد من الخوادم تخزين نسخ متطابقة ومحدَّثة من دفتر حسابات المعاملة العامة لتفادي الاحتياج إلى طرف ثالث، ولكن بسبب بث المعاملات (طلبات إنفاق المال)، ستصل إلى جميع خادم في أوقات متباينة قليلًا. إذا حاولت معاملتان إنفاق نفس العملة الرمزية، سيعتمد الخادم المعاملة الأولى فقط، ويبطل المعاملة الثانية. ما من طريقة للتحقق من الحسابات الحقيقية بمجرد اختلاف الخوادم؛ إذ تُعتبر ترصدات جميع خادم سليمة.

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

اقتُرح عدد من الأنظمة الموزعة لمنع الإنفاق المزدوج بحلول 2007.

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

تستمر معضلة الإنفاق المزدوج إذا عُدِّنت كتلتان (بمعاملات متضاربة) في نفس الوقت التقريبي. عندما تختلف الخوادم حول ترتيب الكتلتين بصورة لا فرار منها، تحتفظ جميع منهما بالكتلتين مؤقتًا. يجب عليهم الالتزام بتاريخ واحد دون الآخر عند وصول كتلة جديدة، إذ ستستمر سلسلة واحدة بالنهاية، ولن تستمر الأخرى. يتحفز المعدنون لبناء الكتل على السلاسل الأطول، كي تندرج في قاعدة البيانات (وكيقد يكون جزاؤهم سليمًا)؛ وذلك لأن السلسلة الأطول (أو«الأثقل» إذا تحرينا الدقة التقنية) تُعتبر قاعدة البيانات السليمة.

لا تُعتبر المعاملات في هذا النظام «نهائية» أبدًا، من وجهة النظر التقنية؛ بسبب إمكانية نشوء سلسلة متضاربة من الكتل وتفوقها على السلسلة القياسية، ومع بناء الكتل على المعاملات، تقل احتمالية تجاوزها وتزيد تكلفة ذلك.

تتعرض العملات اللامركزية المعتمدة على سلسلة الكتل لسطو51%، الذي يعيد فيه الفاعل كتابة دفتر الحسابات إذا تحكم بما يكفي من العمل الحاسوبي التام.

مراجع

^ The Double Spending Problem and Cryptocurrencies. Banking & Insurance Journal. Social Science Research Network (SSRN). Accessed 24 December 2017. نسخة محفوظة ثلاثة يونيو2018 على مسقط واي باك مشين.
↑ Mark Ryan. "Digital Cash". School of Computer Science, University of Birmingham. مؤرشف من الأصل في 18 أكتوبر 2018. اطلع عليه بتاريخ 27 مايو2017.
^ اخط عنوان المرجع بين علامتي الفتح <ref> والإغلاق </ref> للمرجع prop2007
^ اخط عنوان المرجع بين علامتي الفتح <ref> والإغلاق </ref> للمرجع prop2008
^ Varshney, Neer (2018-05-24). "Why Proof-of-work isn't suitable for small cryptocurrencies". Hard Fork | The Next Web (باللغة الإنجليزية). مؤرشف من الأصل في 17 يوليو2019. اطلع عليه بتاريخ 25 مايو2018.