IOSG | BitVM: فجر برمجة البيتكوين

شكرًا وتقديرًا: شكرًا لمومير وXinshu على مراجعاتهما القيمة للمقال

TL;DR :< /p>

• غالبًا ما تتم مقاومة التغييرات في Bitcoin Core لأسباب منها: ) يفضل الناس عملة البيتكوين كمخزن للقيمة وليس كعملة. ب) قيمة الاستقرار والقدرة على التنبؤ على الابتكار السريع. ج) إن بناء الإجماع داخل مجتمع متنوع أمر صعب.

• تدعي العديد من المشاريع أن لديها طرقًا لحل مشكلات قابلية التوسع في Bitcoin دون الاضطرار إلى المساس بسلسلة Bitcoin نفسها إجراء التغييرات . لقد شهدنا مؤخرًا تضخمًا مفرطًا في عملة البيتكوين "L2s".

• على الرغم من أن العديد من الادعاءات هي مجرد تسويق مضلل، إلا أننا ندرك أيضًا نموذج الحوسبة الجديد الذي يمكن أن يوفر قابلية البرمجة إلى Bitcoin - BitVM.

• أفضل حل للقياس يمكن أن يدعمه BitVM قريب من افتراضات الأمان من النوع OP-Rollup (وإن كان مع بعض التحذيرات الإضافية).

• يعتمد نجاح BitVM والمبادرات المماثلة على الجدوى الفنية ودعم المجتمع والتعاون مع "التسويق الزائد" الآخرين "مشروع التميز.

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

مجتمع البيتكوين التقليدي مقاوم للتغيير للأسباب التالية:

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

• استقرار النظام يتفوق على الابتكار: لكي يتم اعتبار الأصل مخزنًا ممتازًا للقيمة، فإن القدرة على التنبؤ أمر بالغ الأهمية. على سبيل المثال، حتى لو كانت الشبكة تحتوي على 10 ترقيات رئيسية فقط، وكل ترقية لها معدل نجاح 90%، فإن احتمال حدوث الفشل هو 65% تقريبًا! وفقًا لنظرية الحادث العادي: "في الأنظمة المعقدة، يجب أن نتوقع أن العوامل الصغيرة التي عادة ما تكون لا تذكر ستؤدي أحيانًا إلى أحداث كبيرة عن طريق الصدفة." لذلك، كان هدف مجتمع البيتكوين دائمًا هو تقليل المسار إلى الأخطاء المحتملة. .

• مجتمع متنوع: العديد من حاملي البيتكوين يفهمون عملة البيتكوين من وجهات نظر مختلفة ويعملون بها ويقدرونها بطرق مختلفة. الأسباب. إن التوصل إلى توافق في الآراء في مجتمع متنوع ولامركزي يشكل تحديا بطبيعته، مما يزيد من تباطؤ وتيرة الابتكار. لتوضيح تنوع مجتمع البيتكوين، انظر إلى رد فعل المجتمع تجاه النقوش والأعداد الترتيبية. بينما يحتفل جزء من مجتمع Bitcoin بنجاح الأرقام الترتيبية باعتبارها لحظة CryptoKitties الخاصة بـ Bitcoin، يعتقد جزء آخر من المجتمع أنها ثغرة أمنية يجب تصحيحها.

1. التوسع السريع في خطة توسيع البيتكوين

بالنظر إلى ما سبق، لماذا يوجد فجأة عدد كبير من حلول Bitcoin "L2" الجديدة؟

لاحظنا مؤخرًا طفرة في حلول Bitcoin "L2" (وفقًا لـ https://l2.watch/، كانت هناك أكثر من 50!)، ومع ذلك، كان المجتمع يستكشف أساليب مختلفة لقابلية التوسع لسنوات:

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

2. تستخدم مشاريع التحقق من جانب العميل مثل RGB نموذج UTXO الخاص بالشبكة الرئيسية لإجراء معاملات أكثر تعقيدًا خارج السلسلة، لكن تفاعلهم مع شبكة البيتكوين الرئيسية يفتقر إلى الاستقرار.

3. ترتبط قنوات الدولة مثل Lightning Network ارتباطًا وثيقًا بمطوري Bitcoin الأساسيين. وتعتبر طريقة توسع أكثر تقليدية.

الجيل الأول من حلول توسيع BTC

ما هي المستجدات التي توفرها طرق القياس الحديثة مقارنة بالحلول الحالية؟ في رأينا، فإن الابتكارات الأكثر إثارة تأتي من برامج الترميز بالإضافة إلى Bitcoin (عبر BitVM) وحصص BTC بشكل غير موثوق (على سبيل المثال، Babylon). هذه المقالة سوف تركز في المقام الأول على السابق.

2. BitVM - نظرة عامة

لشرح ماهية BitVM، يجب علينا أولاً تقديم ما يمكّنها ويلهمها بدائية - ترقية Bitcoin Taproot.

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

إدراكًا للفرصة الهائلة التي أتاحتها ترقية Taproot، كان Robin Linus رائدًا في BitVM، وهو اختراق في ابتكار نظام Bitcoin البيئي.

BitVM هو نموذج حاسوبي يستفيد من ترقيات Taproot لتسهيل تنفيذ الرسم البياني على Bitcoin دون تغيير قواعد إجماع الشبكة. عقد روحي كامل. فهو يسمح بالتحقق (بدلاً من التنفيذ) من العمليات الحسابية، على غرار Optimistic Rollups.

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

تتضمن هذه العملية إرسال الدائرة الثنائية للبرنامج إلى عنوان Taproot والتحقق منها باستخدام آلية التحدي والاستجابة. باختصار، تطبق BitVM عقد Turing-Complete Bitcoin، والأهم من ذلك:

• لا يتطلب BitVM شوكات أو أي تغييرات على بروتوكول Bitcoin.

• لن يؤدي BitVM إلى ازدحام سلسلة Bitcoin لأن الحسابات لا يتم تنفيذها على Bitcoin، بل على شبكة Bitcoin. يتم استخدامه للتحقق فقط عند حدوث نزاع.

• 

بناء دوائر ثنائية على البيتكوين

بناء الدوائر الثنائية هو طريقة لتمثيل الحسابات أو البرامج من حيث البوابات المنطقية الثنائية (مثل AND، OR، NOT)، القادرة على أداء أي وظيفة قابلة للحساب.

يشبه BitVM بوابة منطقية تمرر التيار الكهربائي عبر شريحة كمبيوتر (تحدد هذه الهياكل الصغيرة ما إذا كانت الإشارة تمر بناءً على وجودها أو غيابها) للتيار الكهربائي، أي تشغيل أو إيقاف، تشغيل أو إيقاف)، مترجم إلى لغة البيتكوين.

في الأساس، أي برنامج كمبيوتر، بدءًا من الألعاب وحتى أنظمة تشغيل Linux الكاملة، هو نتيجة لترتيب معقد لهذه البوابات المنطقية، وجميع الأشياء الرقمية كلها في الأساس عبارة عن على أساس الأرقام الثنائية - 0 و 1. من خلال الجمع بين هذه الأرقام الثنائية مع البوابات المنطقية مثل بوابات AND و NOT، فإننا ننشئ مجموعة متنوعة من الدوائر، بما في ذلك الوحدات المنطقية الحسابية (ALUs) وأنظمة الذاكرة. تمكننا هذه التكنولوجيا الأساسية من كتابة وتنفيذ البرامج لأداء مجموعة واسعة من المهام.

المصدر: التنقل عبر البوابات المنطقية; البوابات المنطقية الأساسية (F يمثل 0، T يمثل 1)

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

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

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

في حالة عدم تطابق المدخلات والمخرجات، يحق للمدقق معاقبة المزود بمصادرة أموال المزود.

آلية الرد على التحدي

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

تتضمن ديناميكيات آلية الاستجابة للتحدي في BitVM نظامًا يقوم فيه المشاركون (مثل Vicky وPaul) بإجراء عملية تحقق من خلال تنفيذ البرامج على blockchain. عندما ينشأ الجدل، يتحدى فيكي بول ليثبت صحة تنفيذ برنامجه.

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

يحتاج Paul إلى تأمين الدليلعلى مطالبته عن طريق إيداع الأموال في عنوان الرد باستخدام معاملة موقعة مسبقًا. تنشئ هذه المعاملات سلسلة تسمح للأموال بالتأرجح بين عناوين التحدي والاستجابة بناءً على التفاعلات المستمرة.

يمكن أن تتدفق الأموال من عنوان الاستجابة عبر مسارات متعددة اعتمادًا على نتيجة التحدي:

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

• إذا أثبتت فيكي أن بول لم يكن متسقًا في إعدامه (حدث غموض)، فيمكنها المطالبة بهذه الأموال.

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

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

التقسيم: تحسين كفاءة حل النزاعات

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

نستخدم أدناه مثالًا مبسطًا لتوضيح كيفية عمل طريقة التجزئة:

Paul وفيكي يحلان مسائل حسابية، السؤال هو حساب ((1+2)+(3+4))+((5+6)+(7+8)).

عملية إكمال هذه العملية الحسابية بشكل صحيح هي ((1+2)+(3+4))+((5+6)+(7+8) ) ) = (3+7)+(11+15) = 10+26 = 36.

الإجابة التي قدمها بولس هي 35، لأن طريقة حسابه هي ((1+2)+(3+4))+((5+ 6)+ (7+8)) = (2+7)+(11+15) = 9+26 = 35.

عندما تتحدى فيكي بول، عليها فقط أن تتحدى الحساب الذي يتضمن الجزء الأول من الحساب (أي فتح البوابة المنطقية) لأنهم يتفقون على أن الجزء الثاني الحساب هو بالضبط ((5+6)+(7+8)) = 26.

3. استخدم BitVM لإنشاء الحد الأدنى Trust Bridge (Trust-Minimized Bridge)

من المرجح أن يكون أول تطبيق عملي لـ BitVM هو برنامج يمثل الحد الأدنى من Trust Bitcoin Bridge. من خلال تحليل تفاصيل تنفيذ الجسر، يمكننا أن نفهم بشكل أفضل التعقيد الإضافي لتنفيذ برنامج BitVM. أدناه، نلخص اقتراح المؤسس المشارك لبنك BoB، أليكسي زامياتين.

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

بعد ذلك، يلزم إنشاء شبكة اتحاد/متعدد التوقيع (multi-sig) لتسهيل نقل وتشغيل BTC لعبة التحدي والرد. يجب أن تلتزم التحالفات بتشغيل برنامج الجسر كجزء من إعداد BitVM.

يزداد تعقيد الإعداد الأولي للائتلاف بشكل تربيعي مع عدد الأعضاء، نظرًا لأن كل عضو في التحالف يجب أن يتفاعل مع كل عضو آخر، وبالتالي فإن الحجم للتحالف حد أعلى معين، ويتوقع الباحثون أن العدد = 100 ممكن.

بخلاف OP Rollup، الذي ليس له حد لحجم N، يوفر هذا المخطط ضمانات أمنية أضعف. ومع ذلك، فإن حل العمل المقترح هذا سيتضمن على الأرجح تناوب أعضاء التحالف بحيث يصبح العدد N أكبر بكثير من 100 على مدى فترة زمنية أطول. طالما أن أحد الأعضاء المائة صادق في أي وقت، فستظل الوديعة آمنة. بافتراض وجود جهات فاعلة ضارة، يمكن تحديهم في أي وقت على السلسلة، وإذا ثبت غشهم، فيمكن حظرهم من التحالف.

التحالف لديه مشغل (Operators) مسؤول عن إدارة الإيداعات والسحوبات والتحقق من حالة السلسلة الجانبية في أي وقت. يتعين على كل من المشغلين وأبراج المراقبة تقديم ضمانات لتحفيز السلوك الصحيح وردع التحديات الكاذبة.

هناك سبب آخر لعدم استيفاء هذا الحل للتعريف الأكثر صرامة للالتفاف وهو أن المستخدمين لا يمكنهم الخروج من السلسلة الجانبية من جانب واحد، ولكن يجب عليهم الخضوع للسلسلة الجانبية بناءً على 1/ن الافتراض الأمني.التحالفات العاملة تطلب الانسحابات.

4. BitVM v2: هل يمكن لـ BitVM دعم التحقق بدون إذن (التحقق بدون إذن)؟

في 25 مارس، قدم Robin Linus إصدار BitVM v2. التغيير الرئيسي في اقتراح BitVM v2 هو أن المُبرِغ يحتاج إلى إرسال حالة الإخراج وجميع النتائج الوسيطة مرة واحدة، بدلاً من فتح البوابات المنطقية واحدة تلو الأخرى أثناء عملية التحقق من التحدي مثل الإصدار 1. وبهذا التغيير، تضمن BitVM أن أي تحدي لهذه الوعود يجب أن يكون مدعومًا بأدلة تشفير. تقوم هذه الآلية بتصفية تحديات البريد العشوائي غير المبررة لأنه يجب على المنافس تقديم دليل تشفير محدد للاعتراض على المُثبِّت.

من خلال السماح بالمشاركة غير المقيدة في عملية التحقق والتحدي، تقوم BitVM 2 بتوسيع ضماناتها الأمنية إلى ما هو أبعد من حدود الاتحاد متعدد التوقيعات وتجعل BitVM أقرب إلى التفاؤل بافتراضات السلامة للالتواء.

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

افتراضات الأمان الإضافية في السلسلة الأساسية

5. القيود من BitVM

كما ناقشنا أعلاه، فإن أفضل ما يمكن أن توفره BitVM قريب من افتراض الأمان للالتفاف المتفائل. بالإضافة إلى تعقيد إدارة الاتحاد المسؤول عن تأمين الودائع وقضايا حيويتها، تتضمن بعض التعقيدات الإضافية الفريدة لـ BitVM ما يلي:

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

• يمكن لمجموعات التعدين التي تتمتع بأغلبية القدرة الحاسوبية أن تسرق من BitVM (على غرار مشكلة الشبكة المسرّعة) لأنها يمكن أن تتواطأ للرقابة إثبات المنافس، أو يمكن للجهات الخبيثة رشوتهم لتجاهل المنافس.

• نظرًا للطبيعة التفاعلية لإثباتات BitVM، قد يتلاعب المثبتون الضارون بالنظام ويسرقون المدققين. يمكن بناء الهجوم بناءً على الافتراضات التالية:

• يبدأ المُثبِّت تسلسل التحقق من خلال بدء المعاملة

• يقوم المدقق الذي يشك في صحة تصرفات المُثبِّت ببدء تحدي يتضمن رسوم استجابة مدفوعة للمُثبِّت

• اختيار المُحقق تحصيل الرسوم مع تجاهل التحديات وعدم القيام بدورها في عملية التحقق

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

6. الاستنتاج

النظر في توسيع نطاق Ethereum التقييم يمثل الحل حاليًا حوالي 15-20% من القيمة السوقية لـ Ethereum - وقد تكون القيمة السوقية المحتملة لحلول الطبقة الثانية من Bitcoin ضخمة.

على الرغم من أن BitVM لا يزال في بداياته - وهو في الأساس مفهوم كمبيوتر افتراضي غير مكتمل - فقد أثار بالفعل الكثير من الاهتمام والإعلانات من مشاريع مختلفة، إلا أن هذه المشاريع حريصة على لاستغلال إمكاناتها. تتدافع العديد من المشاريع غير التابعة لفريق BitVM لإصدار إعلانات كبيرة على أمل الحصول على مكانة مناسبة فيما يعتبرونه حدودًا جديدة واعدة للبيتكوين. ومع ذلك، يكشف التدقيق الدقيق عن حقيقة أكثر واقعية: لا يحتوي حساب GitHub الخاص بـ BitVM إلا على عدد قليل من المساهمين، ولا يشارك فعليًا سوى عدد قليل من مشاريع Bitcoin 'L2' في مجموعة BitVM Builders Telegram.

المبدأ الرئيسي الذي يجب أن يلتزم به أي حل قابل للتوسع للبيتكوين هو أن البنية الأساسية للبيتكوين يجب أن تظل دون تغيير (من حيث مبدأ القدرة على التنبؤ الجنسي). تلتزم BitVM بهذا المبدأ وتصبح الحل الرائد الأول الذي يوفر طبقة قابلة للبرمجة فوق Bitcoin دون تغيير جوهرها.

تمت كتابة هذه المقالة في المراحل المبكرة جدًا من تطوير BitVM، ونظرًا لتطورها السريع، قد تصبح المعلومات الواردة هنا قديمة قريبًا. على سبيل المثال، حتى وقت قريب، كانت فكرة تنفيذ تلافيفات ZK على البيتكوين تبدو وكأنها قلعة في الهواء لأن القدرات الأساسية المطلوبة - مثل قدرة Bitcoin على التحقق من أدلة ZK - لم تكن موجودة. ومع ذلك، قام باحثو BitVM مؤخرًا بمشاركة التطورات في نصوص Bitcoin التي يمكن أن تؤدي إلى تنفيذ أداة التحقق من صحة STARK على Bitcoin.

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

مع وقوف النظام البيئي عند مفترق الطرق هذا، فإن مسألة ما إذا كانت حلول توسيع نطاق Bitcoin يمكنها تكرار نجاح Ethereum ليست تقنية فحسب ولكنها متجذرة بعمق في الديناميكيات الأوسع لـ blockchain مجتمع. بعد كل شيء، اختار مجتمع Ethereum الأساسي L2 كجزء أساسي من خريطة طريق التوسع في Ethereum، في حين لا يمكن قول الشيء نفسه بالنسبة لمجتمع Bitcoin حتى الآن.

المرجع

• "Bitcoin Audible." تم الوصول إليه في 26 فبراير 2024.https://pod.link/1359544516/episode/413027f0bdb982a8593d50f4466930f5.

• "BitVM." تم الوصول إليه في 26 فبراير 2024.https://www.bitcoinrollups.io/bitvm.

• "BitVM: Uma Ferramenta Para Contratos Ainda Mais Inteligentes - Super Testnet - Satsconf 2023 - YouTube." تم الوصول إليه في 26 فبراير 2024. https://www.youtube.com/watch?v=iEM_txmJYxA.

• لينوس، روبن. "BitVM: حساب أي شيء على Bitcoin،" بدون تاريخ

• "ما هو BitVM؟ مع Robin Linus وSuper Testnet (SLP520) - YouTube." تم الوصول إليه في 26 فبراير 2024. https://www.youtube.com/watch?v=XxqQU6j6jI8.

• التعمق في نموذج الحوسبة BitVM للتعبير عن عقود Bitcoin المكتملة من Turing.https://medium.com/crypto -garage/deep-dive-into-bitvm-computing-paradigm-to-express-turing-complete-bitcoin-contracts-1c6cb05edfca

• مؤسسة CoinEx: BitVM، إمكانات العقود الذكية على شبكة Bitcoin الرئيسية https://www.business-standard.com/content/press-releases-ani/coinex-institution-bitvm-the-potential-of-smart- Contracts-on-the-bitcoin-mainnet-123122500619_1.html