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