OP_CAT واللاشيء اللانهائي

مقدمة

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

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

كيف وماذا يفعل OP_CAT

الاستبطان مع CAT

دعونا نتناول السؤال الملح الذي يطرحه الكثيرون عند تعرضهم لـ OP_CAT لأول مرة. كيف يمكن لبضعة أسطر من التعليمات البرمجية التي تجمع بين عنصرين من المكدس في عنصر واحد (AB CAT -> AB) أن تمكن أي شيء مثير للاهتمام؟ لقد أوضح أندرو بولسترا ببلاغة في المقابلات الأخيرة، ونشرت شرحًا سخيفًا ومختصرًا:

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

— ريردن 🍯🦡 🦢 | احتضان الشوكات (@reardencode) 17 مايو 2024

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

إذا تمكن برنامج Bitcoin النصي من الوصول إلى تجزئة المعاملة التي يتحقق منها، فقد يتطلب الأمر أن توفر حزمة الإنفاق صورة التجزئة المسبقة، وتقسيمها بأي طريقة يتطلبها البرنامج النصي، ثم التحقق من صحة أي جزء معين من تلك الصورة المسبقة. هذا هو بالضبط ما يعنيه العهد – التحقق من صحة جزء من المعاملة التي تنفق بعض البيتكوين.

هذا رائع، لكن عملة البيتكوين لا تحتوي على رمز تشغيل مثل OP_TXHASH لمنح البرنامج النصي إمكانية الوصول إلى تجزئة المعاملة. هنا، نستفيد من معادلة التحقق من التوقيع BIP340 Schnorr لمطالبة المستخدم بتوفير التجزئة. إذا قدم المستخدم قيمة ستكون عبارة عن تجزئة معاملة صالحة إذا قام البرنامج النصي بتسلسل البايت 0x00 إلى نهايته، فستكون هذه القيمة أيضًا جزءًا من توقيع BIP340 صالحًا (مع إصلاح بعض المعلمات الأخرى) إذا قام البرنامج النصي بتسلسل البايت 0x00 إلى نهايته. بايت 0x01 لذلك.

يؤدي الجمع بين هذه التقنيات إلى تمكين OP_CAT من التحقق من أي جزء من معاملة الإنفاق الخاصة به التي يمكن توقيعها، وحتى الرجوع إلى المعاملات الأصلية ببعض الطرق المحدودة. باستخدام بعض أدوات البرمجة الدقيقة، يمكن للمرء إنشاء Purrfect Vaults وCatVM والمزيد.

استخدامات أخرى لـ CAT

لكن لا ينبغي لنا ذلك. يؤدي بناء هذه الأشياء باستخدام OP_CAT إلى صعوبة الحفاظ على الفواحش. بدلاً من ذلك، يجب أن نستخدم OP_CAT لما هو جيد له، وهناك الكثير من ذلك: فهو يتيح ما يعادل OP_CHECKSEPARATESIG، والتحقق من إثباتات تضمين Merkle، ودمج البيانات للتحقق من التوقيع مع OP_CHECKSIGFROMSTACK، والمزيد.

مشاكل مع القط

الآن بعد أن عرفنا ما يفعله CAT، ما هي المشكلة؟ لماذا قال الناس (وأنا منهم) أنه وحش خطير؟ باستخدام تقنية الاستبطان الموضحة أعلاه، تتيح CAT إنشاءين محددين: ضمانات التجزئة، و(من المفترض) صانعي السوق الآليين (AMMs). حتى وقت قريب، كان كلاهما يعتبران مخاطر كبيرة لجلب MEV المركزي إلى البيتكوين.

MEV، MEVil ومركزية التعدين

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

MEVil هو مصطلح يستخدم أحيانًا لـ MEV الذي يحرك مركزية عمال المناجم – أفضل مصطلح مركزية MEV وسأستخدمه من الآن فصاعدا. هناك عدة أشياء ضرورية لتحويل MEV إلى مركزية MEV:

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

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

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

لمزيد من المعلومات، راجع مشاركة @TheBlueMatt الأخيرة.

ضمانات Hashrate (née Drivechains)

منذ عدة سنوات (قبل شبكة Lightning Network أو أفكار مثل Ark أو Timeout Trees أو roll-ups أو BitVM أو CatVM) كانت السلاسل الجانبية تعتبر الحل الأمثل لتوسيع نطاق عملة البيتكوين. كانت الفكرة بسيطة من الناحية النظرية: يجب أن تظل كتل البيتكوين محدودة الحجم لجميع أسباب اللامركزية المعتادة، ولكن يمكننا ربط سلاسل جانبية بالبيتكوين ويمكن أن تحتوي تلك الكتل على كتل أسرع، أو كتل أكبر، أو المزيد من العمليات الحسابية، أو أي شيء آخر. ومع ذلك، من الناحية العملية، لم يكن تنفيذ السلسلة الجانبية بهذه السهولة. ترتبط التسوية النهائية لبيتكوين بشكل أساسي بإثبات العمل، وهي تكلفة غير قابلة للدحض لإعادة ترتيب المعاملات، فكيف ترث السلسلة الجانبية ذلك؟ وأيضًا، كيف يمكن نقل البيتكوين من وإلى السلسلة الجانبية؟ أفضل اقتراح معروف للإجابة على هذين السؤالين يسمى Drivechains (BIPs 300 و301). لن أضجرك بتفاصيل Drivechains، ولكن يكفي أن أقول، هناك نتيجتان فقط لمثل هذه الأنظمة الجانبية: إما أنها غير مستخدمة نسبيًا (وبالتالي غير مجدية) أو أنها مستخدمة على نطاق واسع وتصبح بحجم كتلة فعليًا زيادة للبيتكوين. إن الزيادة الفعلية في حجم الكتلة من هذا النوع هي شكل من أشكال MEV المركزية حيث لن يتمكن سوى عمال المناجم الأكبر حجمًا من المشاركة بفعالية من حيث التكلفة في فرص الإيرادات الإضافية التي توفرها الكتل الجانبية الكبيرة والمعقدة.

تعد ضمانات Hashrate، التي يمكن إنشاؤها باستخدام OP_CAT، جزءًا صغيرًا من مقترحات Drivechains. هذا هو نظام لتقييد عمليات السحب من السلسلة الجانبية باستخدام عداد لا يمكن تغيير قيمته إلا بواسطة القائمين بالتعدين، ويبدأ بقيمة عالية، ويجب أن يصل إلى الصفر قبل أن تتم معالجة السحب من السلسلة الجانبية. يُزعم أن هذا هو تحويل “غير موثوق به” من سلسلة جانبية، ولكنه في الواقع يخلق اتحادًا من عمال المناجم يتحكم في جميع عملات البيتكوين الموجودة في سلسلة جانبية.

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

الرموز و AMMs

الرموز

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

صناع السوق الآليين (AMMs)

في أنظمة blockchain الأخرى، من الشائع استخدام العقود المعروفة باسم AMMs (على سبيل المثال) لربط النسبة بين رمزين عن طريق الشراء والبيع بسعر ثابت. القواعد التي يمكن ترميزها في AMM تقع خارج نطاق هذه المقالة. يكفي أن نقول إن AMMs تخلق فرصًا هائلة لـ MEV وبسبب علاقات التبادل الخاصة اللازمة لتعظيم العائدات على تلك MEV التي تعمل أيضًا على مركزية MEV. غالبًا ما يتم استخدام هذا كحجة ضد إنشاء نصوص بيتكوين أكثر تعبيرًا – فنحن نريد حقًا تجنب تعريض شبكة البيتكوين لتقلبات MEV المركزية. ومع ذلك، كما وصفت أعلاه، لا توجد طريقة عملية لنصوص البيتكوين، بغض النظر عن مدى تعبيرها، لتقييم حالة أي رمز مميز غير البيتكوين. لا يمكن لبرامج Bitcoin النصية تحديد موقع sat نادر. لا يمكنهم العثور على توازن الرون. لا يمكنهم تحديد أصل Taproot.

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

خاتمة

كما ترون، فإن CAT ليس وحشًا مخيفًا. إنه ليس وحشًا على الإطلاق. ليس لديها قدرة لا نهائية ولا قوى سحرية. إنه مجرد رمز تشغيل صغير يمكن أن يكون مفيدًا للغاية. الشيء الوحيد الذي ربما نرغب في تجنبه هو تنشيط OP_CAT بدون طريقة أخرى لإجراء فحص المعاملات، مثل OP_TXHASH، أو OP_TX، أو كليهما. حتى تمكينه باستخدام LNHANCE يعد تحسينًا على OP_CAT وحده لأنه يقلل من حجم وتعقيد البرامج النصية اللازمة لتحقيق العديد من بروتوكولات الاستبطان OP_CAT.

أعتقد في هذه المرحلة، "يقدم CAT كل شيء لا حصر له" تم تخفيضه إلى ~ لا شيء.

إنه يقدم الاستبطان المفيد بطريقة سيئة لا ينبغي لأحد أن يستخدمها. لمساعدة الأشخاص على عدم استخدامه، يجب علينا تمكين CAT مع TXHASH أو ما شابه.https://t.co/nvnxYn66Um https://t.co/1Ag5TwjuUw

— ريردن 🍯🦡 🦢 | احتضان الشوكات (@reardencode) 17 مايو 2024

هذه مشاركة ضيف بواسطة براندون بلاك. الآراء المعبر عنها هي آراء خاصة بهم تمامًا ولا تعكس بالضرورة آراء BTC Inc أو Bitcoin Magazine.