سحابة ضبابية تفكّ Liquid: نحو 3998.5 من L-BTC مُصاغة بشكل “فارغ”، وليست “peg-in” واردة
فكّت سحابة الضبابية هذه العملية في 6 سبتمبر: لم يقم المهاجمون بعمل peg-in، بل قاموا بصنع/إصدار نحو 3998.5 L-BTC بشكل فارغ، ثم خلال دقائق تم “peg-out” إلى بيتكوين الشبكة الرئيسية. وبعد ذلك ردّوا حوالي 3400، وما زال لديهم نحو 598.5—وتمت كتابة المبالغ الأسبوع الماضي بالفعل، وأن “المادة الجديدة” هي: «كيف تم تصنيعها/إصدارها».
السبب الجذري يكمن في ذاكرة التخزين المؤقت للتحقق من Rangeproof في Elements: عند تجميع مفاتيح الكاش من عدة حقول بطول متغيّر، لم يتم إضافة بادئة للطول، ما يسمح بأن تتسبب تركيبات مختلفة من المعلمات في الاصطدام بنفس نتيجة “تم التحقق منها” بشكل صالح. عندها تقوم العقدة بتجاوز مباشرةً secp256k1_rangeproof_verify وفحص الحد الأدنى للمبلغ. ثم يتم أولاً تغذية الكاش عبر إدخال إثبات صحيح، وبعدها تقديم مخرجات مزيفة (غير صحيحة) تصطدم بنفس المفتاح—وبذلك تم سكّ إصدار بدون ضمانات.
حتى مع توقف الجسر وقيامهم بإرجاع جزء كبير من الأموال، فهذا لا يعني أن ذاكرة التخزين المؤقت للتحقق في المعاملات السرّية أصبحت بلا ثغرات. مفتاح الكاش ذاته هو “بدائي” من بدائيات الإجماع؛ وإذا لم تُحسم الحدود بشكل صارم فذلك يعني ترك باب موارب.
فكّت سحابة الضبابية هذه العملية في 6 سبتمبر: لم يقم المهاجمون بعمل peg-in، بل قاموا بصنع/إصدار نحو 3998.5 L-BTC بشكل فارغ، ثم خلال دقائق تم “peg-out” إلى بيتكوين الشبكة الرئيسية. وبعد ذلك ردّوا حوالي 3400، وما زال لديهم نحو 598.5—وتمت كتابة المبالغ الأسبوع الماضي بالفعل، وأن “المادة الجديدة” هي: «كيف تم تصنيعها/إصدارها».
السبب الجذري يكمن في ذاكرة التخزين المؤقت للتحقق من Rangeproof في Elements: عند تجميع مفاتيح الكاش من عدة حقول بطول متغيّر، لم يتم إضافة بادئة للطول، ما يسمح بأن تتسبب تركيبات مختلفة من المعلمات في الاصطدام بنفس نتيجة “تم التحقق منها” بشكل صالح. عندها تقوم العقدة بتجاوز مباشرةً secp256k1_rangeproof_verify وفحص الحد الأدنى للمبلغ. ثم يتم أولاً تغذية الكاش عبر إدخال إثبات صحيح، وبعدها تقديم مخرجات مزيفة (غير صحيحة) تصطدم بنفس المفتاح—وبذلك تم سكّ إصدار بدون ضمانات.
حتى مع توقف الجسر وقيامهم بإرجاع جزء كبير من الأموال، فهذا لا يعني أن ذاكرة التخزين المؤقت للتحقق في المعاملات السرّية أصبحت بلا ثغرات. مفتاح الكاش ذاته هو “بدائي” من بدائيات الإجماع؛ وإذا لم تُحسم الحدود بشكل صارم فذلك يعني ترك باب موارب.
