الحلول القابل للبرمجة Bitcoin introvection وعهد التفسير التفصيلي

المؤلف: chakra ؛

هذا المقال هو الجزء الثالث الذي نشرته سلسلة Bitcoin التوسع التي نشرتها Chakra.

يشير الجزء الأول إلى المقال السابق “>مراجعة مخطط التوسع الأصلي Bitcoin: Segwit و Taproot“،،

يشير الجزء الثاني إلى المقال السابق “>قابلية التوسع Bitcoin: حل Layer2 وتحليل المشروع ذي الصلة“” “.

الجزء الثالث هو هذا المقال ، على النحو التالي:

ملخص

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

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

اعتبارًا من الآن ، لا يوجد سوى ثلاثة رموز تشغيل رئيسية في البرامج النصية لبيتكوين لدعم المقاطعة: checklockeverify ، checkSequenceVerify و checksig ، ومتغيراتها checksigverify و checksigadd و checkmultisig و checkmulti.

العقد (يمكن أيضًا ترجمة العهد كـ “قيود”).يتم تحقيق العديد من العقود من خلال قانون التشغيل الداخلي للمقاطعة.

لدى Bitcoin حاليًا عقدين ، CSV (CheckSevenseverify) و CLTV (CheckLockTimeverify).هذا يدل على أن حل التوسع لبيتكوين يعتمد بشكل خطير على المقاطعة والعقد.

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

أدناه ، سنصف اقتراح رمز تشغيل العهد الذي تمت مناقشته على نطاق واسع.

CTV (checkTemplateify) BIP-119

CTV (CheckTemplatingVerify) هو اقتراح ترقية Bitcoin في BIP-119 ، والذي جذبت اهتمامًا واسعًا من المجتمع.يسمح CTV برامج البرامج النصية للإخراج بتحديد قوالب في المعاملات ، بما في ذلك NVERVER ، NLOCKTIME ، SCRIPTSIG HESH ، حساب الإدخال ، تجزئة التسلسل ، حساب الإخراج ، تجزئة الإخراج ، فهرس الإدخال وغيرها من الحقول.يتم تنفيذ حدود القالب هذه من خلال وعود التجزئة.هذا يحد بشكل فعال من الوقت والأساليب والكميات من معاملة UTXO المستقبلية.

تجدر الإشارة إلى أن المدخلات txid مستبعد من هذا التجزئة.هذا الاستبعاد ضروري لأنه في الشهود التقليديين والعزلة ، عند استخدام نوع توقيع Sighash_all الافتراضي ، يعتمد TXID على القيمة في ScriptPubKey.بما في ذلك TXID يمكن أن يسبب تبعيات الدورة الدموية في التزامات التجزئة ولا يمكن بناؤها.

تتمثل الطريقة الداخلية لـ CTV في سحب معلومات المعاملة المحددة مباشرة لعمليات التجزئة ، ثم مقارنة بالالتزام على المكدس.تتطلب هذه المقاطعة الداخلية متطلبات منخفضة لمساحة السلسلة ، ولكنها تفتقر إلى مرونة معينة.

أساس حل Bitcoin 2 -layer (مثل شبكة البرق) هو المعاملة المرشح.عادة ما يشير التوقيع المسبق إلى توليد المعاملات وتوقيعها مقدمًا ، ولكن لا تبثها قبل تلبية شروط معينة.في جوهرها ، تنفذ CTV نموذجًا أكثر صرامة مسبقًا -nickname ، ونشر الوعود المُعدة مسبقًا على السلسلة وتقتصر على القالب المحدد مسبقًا.

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

CTV يمكن أن يعزز بشكل كبير الطبقة الثانية من الشبكة.على سبيل المثال ، في شبكة Lightning ، يمكن لـ CTV إنشاء مصانع Timeout Tree و Tender عن طريق توسيع نطاق UTXO واحد إلى شجرة CTV.بالإضافة إلى ذلك ، يدعم CTV أيضًا المعاملات الذرية في بروتوكول ARK من خلال ATLC.

apo (sighash_anyprevout) bip-118

قدم BIP-118 نوعًا جديدًا من شعار تجزئة التوقيع إلى Tapscript ، والذي يهدف إلى تعزيز منطق الإنفاق الأكثر مرونة ، يسمى Sighash_anyprevout.APO و CTV لديهم العديد من أوجه التشابه.عند حل الدورة بين ScriptPubkeys و TXID ، تتمثل طريقة APO في التخلص من معلومات الإدخال ذات الصلة وتوقيع الإخراج فقط ، بحيث يُسمح للمعاملة بالربط ديناميكيًا بـ UTXO المختلفة.

من الناحية المنطقية ، تنفذ عملية التحقق من التوقيع OP_CHECKSIG (ومتغيراتها) ثلاث وظائف:

1. كل جزء من معاملة نفقات التجميع.

2. Hachs لهم.

3. تحقق مما إذا كان قد تم توقيع التجزئة بواسطة مفتاح معين.

التفاصيل المحددة للتوقيع مرنة للغاية ، ويحدد شعار Sighash حقول المعاملة.وفقًا لتعريف رمز تشغيل التوقيع في BIP 342 ، يتم تقسيم شعار Sighash إلى Sighash_all و sighash_none و sighash_single و sighashonecanpay.يتحكم Sighash_anyonecanpay في الإدخال ، بينما يخرج التحكم الآخر.

Sighash_all هو شعار Sighash الافتراضي لتوقيع جميع المخرجات ؛يمكن تعيين Sighash_anyonecanpay مع شعارات Sighash الثلاثة الأولى.إذا تم تعيين Sighash_anyonecanpay ، فسيتم توقيع الإدخال المحدد فقط ؛

من الواضح أن هذه الشعارات Sighash لا يمكنها القضاء على تأثير المدخلات ، حتى لو كانت Sighash_anyonecanpay ، فإنها تحتاج أيضًا إلى الوعد بالمدخلات.

لذلك ، يقترح BIP 118 Sighash_anyprevout.لا يلزم وعد توقيع APO بإدخال UTXO (يشار إليه باسم Prevout) ، ولكن يحتاج فقط إلى توقيع المخرجات لتوفير مرونة أكبر للتحكم في Bitcoin.عن طريق إعادة بناء المعاملات وإنشاء توقيعات واحدة المقابلة والمفاتيح العامة ، يجب استخدام الأصول المرسلة إلى عنوان المفتاح العام بواسطة المعاملات التي تم بناءها مسبقًا لتحقيق العقود.يمكن أيضًا استخدام مرونة APO لإصلاح المعاملات ؛بالإضافة إلى ذلك ، بالنسبة لمحافظ التوقيع المتعددة ، فإن عدم الاعتماد على المدخلات التي تم إنفاقها سيجعل العملية أكثر ملاءمة.

بسبب القضاء على الدورة بين ScriptPubkyys و Txid الإدخال ، يمكن لـ APO تنفيذ المقاطعة الداخلية عن طريق إضافة بيانات الإخراج إلى الشاهد ، على الرغم من أن هذا لا يزال يتطلب استهلاكًا إضافيًا للمساحة.

بالنسبة إلى Lintests مثل شبكات Lightning و Vaults (Vaults) ، فإن APO يقلل من احتياجات الحفاظ على الحالة الوسيطة ، ويقلل بشكل كبير من متطلبات التخزين والتعقيد.إن حالة الاستخدام المباشر لـ APO هي ELTOO.يمكن أيضًا استخدام APO لمحاكاة وظيفة CTV ، على الرغم من أنها تتطلب من الأفراد تخزين معاملات التوقيع والتوقيع ، وهو أكثر تكلفة وأكثر كفاءة من CTV.

يتركز النقد الرئيسي لـ APO فيه ، يتطلب إصدارًا رئيسيًا جديدًا ، ولا يمكن تحقيق ذلك عن طريق التوافق المتخلف البسيط.بالإضافة إلى ذلك ، قد يؤدي نوع التجزئة الجديد إلى المخاطر المحتملة للدفع المزدوج.بعد مجموعة واسعة من مناقشات المجتمع ، أضافت APO توقيعات تقليدية إلى آلية التوقيع الأصلية لتخفيف المخاوف الأمنية ، وبالتالي الحصول على رمز BIP-118.

OP_VAULT BIP-345

يقترح BIP-345 إضافة رمز تشغيل جديد ، OP_VAULT و OP_VALT_RECOVER.خلال هذا التأخير ، تم إجراء المعاملات قبل مسار الاسترداد “إلغاء”.

يمكن للمستخدمين إنشاء قبو عن طريق إنشاء عنوان Taproot محدد. يمكن استعادة الرموز في أي وقت قبل الانتهاء.

كيف ينفذ OP_VAULT وقت الانسحاب من الانسحاب؟يتم تنفيذ OP_VAULT عن طريق استبدال البرنامج النصي OP_VALT المستخدم بواسطة برنامج نصي محدد ، وذلك لتحديث الورقة المفردة من الصاري بفعالية ، مع الحفاظ على عقد Taproot الأوراق المتبقية دون تغيير.يشبه هذا التصميم TLUV ، لكن OP_VAULT لا يدعم تحديث المفاتيح الداخلية.

من خلال تقديم القوالب أثناء تحديث البرنامج النصي ، يمكنك الحد من الدفع.يتم تحديد عدد أقفال الوقت بواسطة OP_VALT.

تم تصميم BIP-345 للمادة الفخارية. تأخير معين للدفع العادي.سيستمر جهاز المستخدم في مراقبة نفقات مكتبة التأمين.

هناك حاجة إلى مشكلة التكلفة لتنفيذ Vault من خلال BIP-345 ، وخاصة لاستعادة المعاملات.تشمل الحلول الممكنة CPFP (يتم دفع NODE الفرعي بواسطة العقدة الأصل) ، ونقطة مرساة مؤقتة وشعار تجزئة SIGHASH_GROUP الجديد.

tluv (tapleafupdeansify)

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

يتمثل مفهوم نظام TLUV في إنشاء عنوان TAPROOT جديد من خلال تقديم رمز التشغيل الجديد TAPLEAF_UPDATE_VERIFY.يمكن تنفيذ ذلك عن طريق إجراء العمليات التالية أو المتعددة:

• تحديث المفتاح الداخلي

• تقليم ميركل مسار

• حذف البرنامج النصي الذي يتم تنفيذه حاليًا

• أضف خطوات جديدة إلى نهاية مسار Merkle

على وجه التحديد ، يقبل TLUV ثلاثة مدخلات:

• حدد كيفية تحديث المفتاح العام الداخلي.

• حدد خطوة جديدة لمسار Merkle.

• حدد عدد الخطوات اللازمة لحذف البرنامج النصي الحالي و/أو لتقليص مسار Merkle.

يحسب رمز تشغيل TLUV برنامج ScriptPubKey المحدث ويتحقق مما إذا كان يتم إنفاق الإدخال الحالي المقابل على هذا البرنامج النصي.

يأتي إلهام Tluv من مفهوم Coinpool.في الوقت الحاضر ، لا يحتاج مجموعة الصناديق المتحدة إلا إلى توقيع معاملة مسبقة للإنشاء ، ولكن إذا كنت ترغب في الخروج بدون ترخيص ، فأنت بحاجة إلى إنشاء توقيع مزدوج.يسمح TLUV بالخروج دون تصاريح مرخصة ، ولا يوجد مُعد مسبقًا.على سبيل المثال ، يمكن لشريك المجموعة استخدام Taproot لإنشاء UTXO المشترك لجمع أمواله.يمكنهم استخدام مفتاح Taproot لتحويل الأموال داخليًا ، أو يمكنهم التوقيع بشكل مشترك لبدء الدفع في الخارج.يمكن للأفراد الانسحاب من مجموعة الأموال المشتركة في أي وقت لحذف مسار الدفع الخاص بهم ، ولا يزال بإمكان الآخرين إكمال الدفع من خلال المسار الأصلي ، ولن يعرض خروج الفرد معلومات أخرى عن الآخرين.بالمقارنة مع المعاملات غير الصلبة ، فإن هذا النموذج أكثر كفاءة وأكثر خصوصية.

قام رمز تشغيل TLUV بتنفيذ بعض الحد من النفقات من خلال تحديث Taproot Trie الأصلي ، لكنه لا يدرك إدخالًا ذاتيًا لمبلغ الإخراج.لذلك ، هناك حاجة إلى رمز تشغيل جديد in_out_amount.يدفع رمز التشغيل هذا العنصرين إلى المكدس: مبلغ UTXO ومبلغ الإخراج المقابل لهذا المدخلات ، ثم يحتاج الأشخاص الذين يستخدمون TLUV إلى استخدام رمز الحوسبة الرياضية للتحقق مما إذا كانت الأموال يتم الاحتفاظ بها بشكل مناسب في برنامج ScriptPubkey المحدث.

تزيد المقاطعات الداخلية ذات كميات الإخراج من التعقيد ، لأن كمية Satoshis مطلوبة ليتم تمثيلها بما يصل إلى 51 رقمًا ، لكن السيناريو يسمح فقط بعمليات رياضية 32 -digit.يتطلب ذلك إعادة تعريف سلوك رمز التشغيل لترقية المشغل في البرنامج النصي أو استخدام Size_Group لاستبدال IN_OUT_AMOUNT.

TLUV لديها القدرة على أن تصبح حلاً للطابق الثاني من اللامركزية ، ولكن لا تزال موثوقيتها في ضبط taproot trie بحاجة إلى تأكيد.

مات

يهدف Matt (Merkleize كل الشيء) إلى تحقيق ثلاثة أهداف: Merkleizing the State ، merkleize the script ، merkleizing The Performing ، لتحقيق العقود الذكية العامة.

• Merkleizing الدولة: يتضمن ذلك بناء Merkle Trie ، حيث تمثل كل عقدة ورقة قيمة التجزئة للدولة ، بينما يعكس Merkle Root الحالة الإجمالية للعقد.

• Merkleizing البرنامج النصي: يشير هذا إلى استخدام TapScript لتشكيل Mast ، حيث تمثل كل عقدة ورقة مسار تحويل الحالة المحتمل.

• Merkleizing الأداء: يتم تنفيذ merkleization من خلال آلية التحدي المشفرة للالتزام والاحتيال.لأي وظيفة حساب ، يمكن للمشاركين حساب تحت السلسلة ، ثم بعد الالتزام F (x) = y.إذا وجد المشاركون الآخرون نتيجة الخطأ F (x) = z ، فيمكنهم إطلاق تحد.يتم إجراء التحكيم من خلال بحث اثنين من نقطة ، على غرار مبدأ الانفصال المتفائل.

تنفيذ ميركل

من أجل تحقيق MATT ، تحتاج لغة نص البيتكوين إلى الحصول على الوظائف التالية:

• الناتج الإلزامي له برنامج نصي محدد (وعدده)

• إرفاق جزء من البيانات بالإخراج

• اقرأ البيانات من الإدخال الحالي (أو إدخال آخر)

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

مبلغ الإخراج: الطريقة الأكثر مباشرة هي المقاطعة مباشرة ؛يستخدم OP_CCV طريقة التحقق من التأخير ، مثل OP_VAULT ، حيث تتم إضافة كمية الإدخال لجميع إخراج المدخلات في CCV كحد أدنى لمبلغ الإخراج.التأخير هو أن هذا الاختبار يحدث أثناء المعاملة ، وليس أثناء إدخال تقييم البرنامج النصي.

في ضوء شمولية إثبات الاحتيال ، يجب أن تكون بعض المتغيرات من عقود MATT قادرة على تحقيق جميع أنواع العقود الذكية أو طبقتين من الهياكل ، على الرغم من أن المتطلبات الإضافية مطلوبة (مثل قفل رأس المال والتأخير في التحدي) ؛ الصفقة.على سبيل المثال ، باستخدام آلية تحدي الالتزام والاحتيال المشفرة لمحاكاة وظيفة OP_ZK_VERIFY ، وإدراك Rollups دون ثقة في Bitcoin.

في الممارسة العملية ، حدثت الأمور.يستخدم Johan Toras Halseth OP_CHECKCONTRACTRACTRACTRACTERDIVERIFE رمز التشغيل في اقتراح MATT SOFT FORK لتحقيق Elftrace ، والذي يسمح لأي برنامج يدعم تجميع RISC-V بالتحقق من bitcoin blockchain ، بحيث يمكن لأحد الأطراف في اتفاق العقد أن يمر عبر العقد من خلال العقد.

CSFS (OP_CHECKSIGFROMSTACK)

من إدخال رمز تشغيل APO ، تعلمنا أن OP_CHECKSIG (وعملياته ذات الصلة) مسؤولة عن تجميع معاملات وحساب التجزئة والتحقق.ومع ذلك ، يتم تداول رسائل التحقق التشغيلية هذه عن طريق التسلسل بواسطة رمز التشغيل ولا يُسمح بتحديد أي رسائل أخرى.ببساطة ، فإن دور OP_CHECKSIG (وعملياته ذات الصلة) هو التحقق مما إذا كان UTXO الذي تم إنفاقه كمعاملة مصرح به من قبل حامل التوقيع لاستخدام آلية التوقيع لحماية أمان البيتكوين.

CSFS ، كما يوحي الاسم ، هو التحقق من التوقيع من المكدس.يتلقى رمز تشغيل CSFS ثلاث معلمات من المكدس: التوقيع والرسالة والمفتاح العام ، والتحقق من فعالية التوقيع.هذا يعني أنه يمكن للناس نقل أي أخبار إلى المكدس والتحقق من خلال CSFS لتحقيق بعض ابتكارات Bitcoin.

تمكنهم مرونة CSFS من تحقيق آليات مثل توقيعات الدفع ، وعهد الترخيص ، وعقود النبوءة ، وضمان حماية الدفع المزدوج ، والمعاملات الأكثر أهمية.مبدأ استخدام CSFs للمعاملة بسيط للغاية: إذا تم دفع محتوى المعاملة المستخدمة من قبل OP_Checksig إلى المكدس من قبل الشهود ، ويستخدم نفس المفتاح العام والتوقيعات للتحقق من OP_CSFS و OP_CHECKSIG ، وإذا تم تمرير كل من التحقق ، فإنه ينقل أي محتوى الرسائل لـ OP_CSFS هو نفس معاملات الإنفاق المسلسل (مثل البيانات الأخرى) من OP_CHECKSIG الاستخدام المخفي.بعد ذلك ، نحصل على بيانات معاملة تم التحقق منها على المكدس ، والتي يمكن استخدامها لتقييد معاملة الإنفاق باستخدام رموز التشغيل الأخرى.

غالبًا ما يظهر CSFs مع OP_CAT ، لأن OP_CAT يمكنه الاتصال بمجالات مختلفة من المعاملات لإكمال التسلسل ، وذلك لتحديد حقول المعاملات بدقة أكبر.بدون OP_CAT ، لا يمكن إعادة حساب البرنامج النصي من البيانات التي يمكن فحصها بشكل منفصل.

يمكن لـ CSFS تنفيذ رموز التشغيل مثل CLTV ، CSV ، CTV ، APO ، مما يجعلها رمز تشغيل متعدد الوظائف.لذلك ، فإنه يساعد أيضًا على حل قابلية التوسع لبيتكوين 2.العيب هو أنه يحتاج إلى إضافة نسخة كاملة من معاملة التوقيع إلى المكدس ، والتي قد تزيد بشكل كبير من حجم المعاملة باستخدام CSFs.على النقيض من ذلك ، فإن النفقات العامة لتوفير رمز التشغيل في غرض واحد مثل CLTV و CSV صغير جدًا ، ولكن من الضروري إجراء تغييرات في الإجماع لإضافة كل رمز تشغيل خاص جديد للمقاطعة.

txhash (op_txhash)

OP_TXHASH هو رمز تشغيل داخلي بسيط للمشغل يسمح للمشغل باختيار حقول محددة ودفعه إلى المكدس.على وجه التحديد ، تنبثق OP_TXHash من شعار Txhash من المكدس ، ويحسب (Label with tags) txhash ، ثم ادفع التجزئة التي تم إنشاؤها إلى المكدس.

نظرًا لتشابه Txhash و CTV ، فإن عددًا كبيرًا من المناقشات في المجتمع لديها عدد كبير من المناقشات في الاثنين.

يمكن اعتبار Txhash ترقية عامة لـ CTV.على عكس رموز تشغيل العهد الأخرى ، لا يحتاج Txhash إلى مشاهدة البيانات اللازمة في الاختبار ، مما يقلل من متطلبات التخزين. تستخدم كما CTV و APOS.

من منظور بناء عقد ، يكون Txhash أكثر ملاءمة لإنشاء “عقد إضافي”. القيمة الثابتة ومطابقة القيمة الثابتة ؛بعد ذلك ، استخدم رمز التشغيل SHA256.الحرية بيه لهذا الدولة الوسطى.

من المتوقع أن يتوسع حقل TXFieldSelector المحدد في مواصفات TXHASH إلى رموز التشغيل الأخرى ، مثل OP_TX.

BIP المتعلق بـ Txhash موجود حاليًا على Github ولم يتم توزيعه بعد.

OP_CAT

OP_CAT هو رمز تشغيل غامض.في النهاية ، تمت الموافقة على OP_CAT بموجب BIP-347 ، والذي يسمى على الأرجح اقتراح BIP مؤخرًا.

في الواقع ، سلوك OP_CAT بسيط للغاية: إنه يربط عنصرين من المكدس.كيف تنفذ وظيفة العهد؟

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

كما ذكرنا سابقًا ، يمكن لـ CSFS تحقيق حل عهد مشترك بمساعدة OP_CAT.في الواقع ، حتى لو لم يكن هناك CSFS ، يمكن لـ OP_CAT نفسها إدراك مقاطعة المعاملات باستخدام الهيكل الموقع بواسطة Schnorr.

في توقيع Schnorr ، تتكون الرسالة التي يجب توقيعها من الحقول التالية:

وتشمل هذه الحقول العناصر الرئيسية للمعاملة.من خلال وضعها في ScriptPubKey أو الشاهد ، واستخدام OP_CAT Binding OP_SHA256 ، يمكننا إنشاء توقيع Schnorr واستخدام OP_CHECKSIG للتحقق.إذا تم تمرير التحقق ، فسوف يحتفظ المكدس ببيانات المعاملة التي تم التحقق منها لتحقيق المعاملة من الاستبطان.يمكّننا ذلك من استخراج و “التحقق من” كل جزء ، مثل الإدخال أو الإخراج أو العنوان الهدف أو Bitcoin المعني.

فيما يتعلق بعلم كلمة المرور المحددة ، يمكنك الرجوع إلى مقالة “Cat and Schnorr Tricks” بقلم أندرو بويلسترا.

الكل في الكل ، تمكن براعة OP_CAT من محاكاة أي رمز تشغيل العهد تقريبًا.تعتمد العديد من رموز تشغيل العهد على وظيفة OP_CAT ، والتي تحسن إلى حد كبير موضعها في جدول الاندماج.من الناحية النظرية ، بالاعتماد على OP_CAT ورمز تشغيل Bitcoin الحالي ، نأمل في إنشاء BTC ZK Rollup موثوق به.تقوم Starknet و Chakra وشركاء النظام الإيكولوجي الآخرين بترويج تحقيق هذا الهدف بنشاط.

ختاماً

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

إذا لم تكن هناك طبقة أساسية مرنة ، فمن المستحيل بناء طبقيين أكثر مرونة.

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

ومع ذلك ، فإن طبيعة الحوسبة على البيتكوين تختلف اختلافًا جذريًا عن طبيعة الحوسبة لـ Ethereum.يدعم Bitcoin فقط “التحقق” كنموذج حوسبة ولا يمكنه إجراء الحوسبة العامة ، ويتم حساب Ethereum بشكل أساسي.يمكن أن نرى من نقطة واحدة: يتقاضى Ethereum رسوم الغاز إلى المعاملات غير المعقولة ، في حين أن Bitcoin غير محاسب.

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

يتم تطبيق apo و op_vault و tluv مباشرة.سيختار عشاق شبكة Lightning APOS لتحقيق التماثل LN ؛يعد OP_CAT و TXHASH أكثر وفرة ، ويمكن أن يكون احتمال نقاط الضعف الأمامية أصغر.قامت CTV و CSFS بضبط طريقة معالجة blockchain ، وتنفيذ CTV تأخر الإخراج ، ويدرك CSFS التواقيع المتأخرة.يبرز Matt مع استراتيجية التنفيذ المتفائل وإثبات الاحتيال ، ويستخدم هيكل Merkle Trie لتحقيق العقود الذكية العامة ، لكن وظيفة المقاطعة لا تزال تتطلب رموز تشغيل جديدة.

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