المؤلف: هاوتيان ، مراقب التشفير المصدر: X (تويتر) @tmel0211
أثارت الورقة البيضاء "BitVM: Compute Anything On Bitcoin" نقاشا ساخنا بين المطورين ، مما يعني أن شبكة Bitcoin تنفذ عقود Turing-complete التي يمكنها تنفيذ أي وظيفة قابلة للحساب؟
هذا يعني أن شبكة Bitcoin يمكنها تكرار جميع روايات Ethereum والأنظمة البيئية الأخرى؟ وليس هناك حاجة لتغيير إجماع Bitcoin الحالي ، أو حتى أي ترقيات ، فالاعتماد فقط على قاعدة Bitcoin الحالية op \ _code يمكن أن يمنح شبكة Bitcoin قابلية برمجة "معقدة" ، بحيث يمكن لشبكة Bitcoin Turing-complete حوسبة كل شيء؟
انتظر ، دعنا نتوقف عن الحلم ونستكشف مسار فكرة BitVM. كيف تؤدي مساحة البرنامج النصي البرمجة المعقدة؟ إلى ماذا تشير فكرة التفاؤل التراكمي؟ إثبات الاحتيالما هي طريقة الإثبات؟ ما هي العقبات التي تحول دون تنفيذ BitVM؟ بعد ذلك ، دعنا نأخذك لتحليل إطارها المنطقي العام خطوة بخطوة ، حتى يتمكن الجميع من فهمه بشكل عام.
كيف يمكنني تنفيذ ميزات معقدة قابلة للبرمجة؟ **
نظرا لأن قدرات برمجة Bitcoin محدودة للغاية ، ولا تدعم سوى المنطق البسيط وأكواد التشغيل المحدودة على البرامج النصية ، فمن المستحيل تطوير عقود ذكية معقدة على شبكة Bitcoin. النقطة الأساسية في اقتراح BitVM هي أن تعليمات البرنامج المختلفة المشابهة للدوائر الثنائية يتم تنفيذها من خلال مصفوفة عنوان الجذر أو taptree ، وهو ما يعادل تنفيذ العقد الكامل.
على وجه التحديد ، يمكننا التعامل مع التعليمات الشرطية لتكلفة UTXO في كل برنامج نصي كأصغر وحدة في البرنامج ، وتنفيذ البرنامج النصي ليس أكثر من نتيجتين صحيحتين وخاطئة ، إذا قمت بإدخال رمز معين في عنوان الجذر الرئيسي يمكن أن تحصل على حتمية 0 أو 1 ، إذا كان عدد كبير من عناوين الجذر الرئيسي في مصفوفة يمكن أن تشكل taptree مرتبة ، وكانت نتيجة التنفيذ لها عدد كبير من تأثيرات نص الدائرة الثنائية مثل 011001. يمكن اعتباره برنامجا ثنائيا قابلا للتنفيذ. يعتمد تعقيد البرنامج على عدد عناوين الجذر المدمجة ، وكلما زاد عدد العناوين ، زادت ثراء التعليمات المحددة مسبقا لكل برنامج نصي ضمن نطاق إطار عمل Bitcoin ، كلما كان البرنامج أكثر تعقيدا الذي يمكن ل taptree بأكمله تنفيذه. صانع الحس ، أليس كذلك؟
هذا كبير بما فيه الكفاية. ومع ذلك ، وفقا لهذا المنطق ، يتم بالفعل إكمال الحد الأدنى من تعليمات الوحدة بواسطة عقدة Bitcoin الكاملة ، ويتم تثبيت عنوان الجذر الرئيسي بشكل لا نهائي ، ويمكن لإمكانية الجمع اللانهائي أن تفرض الكثير من الحسابات المعقدة. بطريقة ما ، ليس من المبالغة القول إنها آلة تورينج كاملة. لكن التراكب غير المحدود لعناوين الجذر لن يؤدي إلا إلى زيادة استهلاك التكلفة ، فمن الناحية النظرية من الممكن تحقيق كل شيء في تورينج ، لكنه غير عملي.
لذلك ، فإن اكتمال تورينج المذكور في الورقة البيضاء ليس سوى بيان مثالي للغاية ، قليلا من "مفهوم السرقة" ، حتى ما يسمى بالكمبيوتر العملاق ل Ethereum لا يمكنه تحقيق Turing-complete بالكامل ، ناهيك عن شبكة Bitcoin التي تعتمد فقط على البرنامج النصي؟
تحليل بعض المفاهيم المعقدة
استنادا إلى فهم إطار العمل الأساسي أعلاه ، انظر إلى التزام Optimism Rollup و Fraud Proof و Bit المذكور في المستند التعريفي التمهيدي ، ما هي Logic Gate؟ نظرا لأن مساحة الجذر الرئيسي ومنطق التعليمات البرمجية القابلة للتنفيذ محدودان ، أليست فكرة Rollup تنفيذ برامج معقدة خارج السلسلة ووضع روابط التحقق الرئيسية فقط على السلسلة؟
يمكن فهم إثبات الاحتيال بهذه الطريقة ، يقوم كل من Prover و verifier أولا بتجميع دائرة ثنائية ضخمة ، وتقوم شبكة Bitcoin بتنفيذ الدائرة ، وهناك فرضية مفادها أنه يجب على Prover التوقيع المسبق والتعهد بأصل Bitcoin معين ، إذا تحقق Verifier من أن Prover شرير ، فيمكنه إرسال المعاملات إلى السلسلة بنفس الطريقة لتشغيل شرط إلغاء قفل UTXO ل "برنامج" taptree على السلسلة ، إذا نجح. يمكن ل Verifier التنازل عن ضمانات Prover ، وهي عملية مقاومة للاحتيال.
في هذا المنطق ، ليس من الصعب فهم سبب كون BitVM مناسبا فقط لطرفين بإجماع متفق عليه ، أي أنه يجب مشاركة مخطط الدائرة الإجمالية قبل التنفيذ ، ويجب تنفيذ إجراء إثبات المحتال خلال فترة الصلاحية ، ويجب رهن بعض الأصول وتوقيعها مسبقا. إذا لم يتعاون الطرفان للانخراط في مجموعة من الإجماع المتفق عليه خارج السلسلة ، فمن الصعب تعزيز تنفيذ "عقد" حقيقي من خلال الاعتماد فقط على بيئة التنفيذ المحدودة على السلسلة لشبكة البيتكوين.
** ما هي العقبات التي تحول دون تنفيذ BitVM؟ **
BitVM مناسب حاليا فقط للعمليات على السلسلة بين طرفين يتفقان على الإجماع ، والبيئة على السلسلة ليست سوى عملية مفتوحة وشفافة لتنفيذ العقود. في الوقت الحاضر ، لا يمكن تنفيذه إلا بين موضوعين للعقد ، ويتطلب تنفيذ N-N تصميما منطقيا تقنيا أكثر تعقيدا.
BitVM كيفية تطبيق برنامج نصي واحد لعنوان الجذر لتنفيذ الحد الأدنى من وحدة البرمجة ، لا يمكن أن يتجاوز إطار منطق التنفيذ للبيتكوين مثل hashlock ، timelock ، لا يمكن أن يتجاوز ظروف التخزين المحدودة ، حالة متفائلة يمكن لعنوان الجذر الرئيسي برمجة مئات البوابات المنطقية ، والمزيد للتجميع
تم استخدام عدد كبير من العناوين لبناء شجرة الصنبور. تكمن المشكلة في أن تنفيذ شروط إلغاء القفل المحددة مسبقا لعنوان الجذر الرئيسي يتطلب رسوم عامل منجم ، وكلما زاد عدد مجموعات العناوين ، زادت التكلفة. في المستقبل ، قد تقلل تقنية القناة ثنائية الاتجاه لشبكة Lightning Network من التكاليف ، ولكن بشكل عام ، فإن الاعتماد على شبكة Bitcoin لتنفيذ دوائر البوابة المنطقية ليس بطيئا فحسب ، بل إنه مكلف أيضا للتفكير فيه.
يدعم BitVM بشكل مثالي سيناريوهات محدودة ، وهو أكثر ملاءمة للحوسبة ذات السلسلة الثقيلة ، ولا يحتاج سوى بعض الإجماع ونقل الأصول إلى الاعتماد على سيناريوهات على السلسلة ، مثل التخلص من أصول الألعاب ؛
بشكل عام ، تعد BitVM فكرة تفتح العقل ومبتكرة للغاية ، ولكن وفقا لإطارها الفني للتنفيذ ، فمن المعروف أنها ستقتصر على مرحلة تصور الورقة البيضاء على المدى القصير ، ولا يزال استكشاف سيناريو التطبيق طويل المدى وتطبيق الهبوط يواجه تحديات كبيرة. للتوضيح بمثال شائع جدا: يشبه BitVM بناء كمبيوتر عملاق أكبر من غرفة في العصر الذي يمكن فيه للجميع استخدام المحطات الطرفية المتنقلة.
ملاحظة: التفسير أعلاه ينطبق فقط على فهم الإطار التقني العام ل BitVM ، بحيث يمكن للجميع فهم المنطق التقني وراءه ، قد تكون طريقة الممارسة المحددة متحيزة ، إذا كان هناك أساتذة تقنيون لديهم بحث متعمق في التفاصيل الفنية.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
هل ستتمكن BitVM من إحداث ثورة في قدرات العقود الذكية ل Bitcoin؟
المؤلف: هاوتيان ، مراقب التشفير المصدر: X (تويتر) @tmel0211
أثارت الورقة البيضاء "BitVM: Compute Anything On Bitcoin" نقاشا ساخنا بين المطورين ، مما يعني أن شبكة Bitcoin تنفذ عقود Turing-complete التي يمكنها تنفيذ أي وظيفة قابلة للحساب؟
هذا يعني أن شبكة Bitcoin يمكنها تكرار جميع روايات Ethereum والأنظمة البيئية الأخرى؟ وليس هناك حاجة لتغيير إجماع Bitcoin الحالي ، أو حتى أي ترقيات ، فالاعتماد فقط على قاعدة Bitcoin الحالية op \ _code يمكن أن يمنح شبكة Bitcoin قابلية برمجة "معقدة" ، بحيث يمكن لشبكة Bitcoin Turing-complete حوسبة كل شيء؟
انتظر ، دعنا نتوقف عن الحلم ونستكشف مسار فكرة BitVM. كيف تؤدي مساحة البرنامج النصي البرمجة المعقدة؟ إلى ماذا تشير فكرة التفاؤل التراكمي؟ إثبات الاحتيالما هي طريقة الإثبات؟ ما هي العقبات التي تحول دون تنفيذ BitVM؟ بعد ذلك ، دعنا نأخذك لتحليل إطارها المنطقي العام خطوة بخطوة ، حتى يتمكن الجميع من فهمه بشكل عام.
كيف يمكنني تنفيذ ميزات معقدة قابلة للبرمجة؟ **
نظرا لأن قدرات برمجة Bitcoin محدودة للغاية ، ولا تدعم سوى المنطق البسيط وأكواد التشغيل المحدودة على البرامج النصية ، فمن المستحيل تطوير عقود ذكية معقدة على شبكة Bitcoin. النقطة الأساسية في اقتراح BitVM هي أن تعليمات البرنامج المختلفة المشابهة للدوائر الثنائية يتم تنفيذها من خلال مصفوفة عنوان الجذر أو taptree ، وهو ما يعادل تنفيذ العقد الكامل.
على وجه التحديد ، يمكننا التعامل مع التعليمات الشرطية لتكلفة UTXO في كل برنامج نصي كأصغر وحدة في البرنامج ، وتنفيذ البرنامج النصي ليس أكثر من نتيجتين صحيحتين وخاطئة ، إذا قمت بإدخال رمز معين في عنوان الجذر الرئيسي يمكن أن تحصل على حتمية 0 أو 1 ، إذا كان عدد كبير من عناوين الجذر الرئيسي في مصفوفة يمكن أن تشكل taptree مرتبة ، وكانت نتيجة التنفيذ لها عدد كبير من تأثيرات نص الدائرة الثنائية مثل 011001. يمكن اعتباره برنامجا ثنائيا قابلا للتنفيذ. يعتمد تعقيد البرنامج على عدد عناوين الجذر المدمجة ، وكلما زاد عدد العناوين ، زادت ثراء التعليمات المحددة مسبقا لكل برنامج نصي ضمن نطاق إطار عمل Bitcoin ، كلما كان البرنامج أكثر تعقيدا الذي يمكن ل taptree بأكمله تنفيذه. صانع الحس ، أليس كذلك؟
هذا كبير بما فيه الكفاية. ومع ذلك ، وفقا لهذا المنطق ، يتم بالفعل إكمال الحد الأدنى من تعليمات الوحدة بواسطة عقدة Bitcoin الكاملة ، ويتم تثبيت عنوان الجذر الرئيسي بشكل لا نهائي ، ويمكن لإمكانية الجمع اللانهائي أن تفرض الكثير من الحسابات المعقدة. بطريقة ما ، ليس من المبالغة القول إنها آلة تورينج كاملة. لكن التراكب غير المحدود لعناوين الجذر لن يؤدي إلا إلى زيادة استهلاك التكلفة ، فمن الناحية النظرية من الممكن تحقيق كل شيء في تورينج ، لكنه غير عملي.
لذلك ، فإن اكتمال تورينج المذكور في الورقة البيضاء ليس سوى بيان مثالي للغاية ، قليلا من "مفهوم السرقة" ، حتى ما يسمى بالكمبيوتر العملاق ل Ethereum لا يمكنه تحقيق Turing-complete بالكامل ، ناهيك عن شبكة Bitcoin التي تعتمد فقط على البرنامج النصي؟
تحليل بعض المفاهيم المعقدة
استنادا إلى فهم إطار العمل الأساسي أعلاه ، انظر إلى التزام Optimism Rollup و Fraud Proof و Bit المذكور في المستند التعريفي التمهيدي ، ما هي Logic Gate؟ نظرا لأن مساحة الجذر الرئيسي ومنطق التعليمات البرمجية القابلة للتنفيذ محدودان ، أليست فكرة Rollup تنفيذ برامج معقدة خارج السلسلة ووضع روابط التحقق الرئيسية فقط على السلسلة؟
يمكن فهم إثبات الاحتيال بهذه الطريقة ، يقوم كل من Prover و verifier أولا بتجميع دائرة ثنائية ضخمة ، وتقوم شبكة Bitcoin بتنفيذ الدائرة ، وهناك فرضية مفادها أنه يجب على Prover التوقيع المسبق والتعهد بأصل Bitcoin معين ، إذا تحقق Verifier من أن Prover شرير ، فيمكنه إرسال المعاملات إلى السلسلة بنفس الطريقة لتشغيل شرط إلغاء قفل UTXO ل "برنامج" taptree على السلسلة ، إذا نجح. يمكن ل Verifier التنازل عن ضمانات Prover ، وهي عملية مقاومة للاحتيال.
في هذا المنطق ، ليس من الصعب فهم سبب كون BitVM مناسبا فقط لطرفين بإجماع متفق عليه ، أي أنه يجب مشاركة مخطط الدائرة الإجمالية قبل التنفيذ ، ويجب تنفيذ إجراء إثبات المحتال خلال فترة الصلاحية ، ويجب رهن بعض الأصول وتوقيعها مسبقا. إذا لم يتعاون الطرفان للانخراط في مجموعة من الإجماع المتفق عليه خارج السلسلة ، فمن الصعب تعزيز تنفيذ "عقد" حقيقي من خلال الاعتماد فقط على بيئة التنفيذ المحدودة على السلسلة لشبكة البيتكوين.
** ما هي العقبات التي تحول دون تنفيذ BitVM؟ **
BitVM مناسب حاليا فقط للعمليات على السلسلة بين طرفين يتفقان على الإجماع ، والبيئة على السلسلة ليست سوى عملية مفتوحة وشفافة لتنفيذ العقود. في الوقت الحاضر ، لا يمكن تنفيذه إلا بين موضوعين للعقد ، ويتطلب تنفيذ N-N تصميما منطقيا تقنيا أكثر تعقيدا.
BitVM كيفية تطبيق برنامج نصي واحد لعنوان الجذر لتنفيذ الحد الأدنى من وحدة البرمجة ، لا يمكن أن يتجاوز إطار منطق التنفيذ للبيتكوين مثل hashlock ، timelock ، لا يمكن أن يتجاوز ظروف التخزين المحدودة ، حالة متفائلة يمكن لعنوان الجذر الرئيسي برمجة مئات البوابات المنطقية ، والمزيد للتجميع
تم استخدام عدد كبير من العناوين لبناء شجرة الصنبور. تكمن المشكلة في أن تنفيذ شروط إلغاء القفل المحددة مسبقا لعنوان الجذر الرئيسي يتطلب رسوم عامل منجم ، وكلما زاد عدد مجموعات العناوين ، زادت التكلفة. في المستقبل ، قد تقلل تقنية القناة ثنائية الاتجاه لشبكة Lightning Network من التكاليف ، ولكن بشكل عام ، فإن الاعتماد على شبكة Bitcoin لتنفيذ دوائر البوابة المنطقية ليس بطيئا فحسب ، بل إنه مكلف أيضا للتفكير فيه.
بشكل عام ، تعد BitVM فكرة تفتح العقل ومبتكرة للغاية ، ولكن وفقا لإطارها الفني للتنفيذ ، فمن المعروف أنها ستقتصر على مرحلة تصور الورقة البيضاء على المدى القصير ، ولا يزال استكشاف سيناريو التطبيق طويل المدى وتطبيق الهبوط يواجه تحديات كبيرة. للتوضيح بمثال شائع جدا: يشبه BitVM بناء كمبيوتر عملاق أكبر من غرفة في العصر الذي يمكن فيه للجميع استخدام المحطات الطرفية المتنقلة.
ملاحظة: التفسير أعلاه ينطبق فقط على فهم الإطار التقني العام ل BitVM ، بحيث يمكن للجميع فهم المنطق التقني وراءه ، قد تكون طريقة الممارسة المحددة متحيزة ، إذا كان هناك أساتذة تقنيون لديهم بحث متعمق في التفاصيل الفنية.