يشرح الجزء الرابع من سلسلة تقنية حول covenants في بيتكوين كيف يمكن لتعليمتين مقترحتين، هما OP_CHECKSIGFROMSTACK وOP_CAT، أن تفتحا الباب أمام بناء سكربتات أكثر مرونة من دون الحاجة إلى قواعد توافقية جديدة تتجاوز هاتين التعليمتين وما يرافقهما من عناصر سكربت.
تقوم OP_CHECKSIGFROMSTACK، أو OP_CSFS، على التحقق من توقيع مرتبط برسالة عامة موجودة على المكدس، لا على بيانات المعاملة الموقعة فقط كما يحدث مع OP_CHECKSIG. هذه الفكرة تجعلها مفيدة في سيناريوهات أوسع، مثل السكربتات التي تعتمد على oracle خارجي يوقع رسائل تمثل أحداثا من العالم الحقيقي، ثم يربط السكربت الدفع بوجود توقيع صحيح.
لكن OP_CSFS وحدها لا تكفي لصنع covenant كامل، لأنها تستطيع التحقق من صحة البيانات الخارجية من دون أن تربطها ببنية معاملة الإنفاق نفسها. هنا يأتي دور OP_CAT، وهي تعليمة مقترحة تسمح بدمج قيمتين من المكدس في تسلسل بايت واحد، ما يتيح تكوين رسالة موحدة يمكن للتوقيع أن يلتزم بها.
عند الجمع بين OP_CSFS وOP_CAT، يصبح من الممكن تجميع حقول محددة من المعاملة داخل رسالة معيارية، ثم التحقق من أن التوقيع المقدم يطابق هذه الرسالة. بهذه الطريقة يمكن للسكربت أن يطلب من المنفق تمرير تفاصيل المعاملة داخل witness، ثم يفحصها مقابل قالب محدد مسبقا، وهو ما يقرب الفكرة من آلية covenant شبيهة بـ OP_CTV.
ويعرض البحث أيضا مسارا آخر يعتمد على OP_CAT مع Schnorr داخل Taproot من دون الحاجة إلى OP_CSFS. في هذا النموذج، يعاد استخدام OP_CHECKSIG بطريقة مختلفة: لا للتحقق من ملكية مفتاح خاص، بل لتحويله إلى أداة تفحص بنية المعاملة نفسها عبر قواعد توقيع Taproot في BIP 341.
الفكرة هنا تقوم على تثبيت بعض القيم مسبقا، مثل نقطة R والمفتاح العام P، ثم جعل قيمة s مرتبطة مباشرة بجزء محدد من بيانات المعاملة. وبما أن التحقق في Schnorr حتمي، فإن السكربت لا يقبل التوقيع إلا إذا كانت قيمة s ناتجة فعلا عن البيانات الصحيحة. وعمليا، يحتاج المنفق إلى تجربة المعاملة حتى يصل إلى بصمة SHA256 مناسبة، وهو ما يضيف عبئا حسابيا محدودا في المتوسط.
ويؤكد البحث أن هذا الأسلوب لا يغير وظيفة OP_CHECKSIG التقليدية فقط، بل يحولها إلى أداة لفرض أن المعاملة تطابق قالبا معينا. ومع ذلك، فإن هذا النهج يظل مرتبطا بمخرجات SegWit v1 وTaproot، ولا يمتد إلى SegWit v0 الذي يعتمد BIP-143 وتواقيع ECDSA.
وبينما لا تقدم التعليمتان covenant مكتمل الوظائف بمفردهما، فإنهما تمثلان لبنتين مهمتين في النقاش التقني حول قابلية برمجة بيتكوين، خصوصا عندما يجري دمجهما مع عناصر سكربت أخرى تسمح بفرض قيود أدق على شكل المعاملة عند الإنفاق.
