أثار مستند تقني بعنوان "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 ، لا يمكن أن تتجاوز ظروف التخزين المحدودة ، حالة متفائلة يمكن لعنوان الجذر الرئيسي برمجة مئات البوابات المنطقية ، ويجب على المزيد الجمع بين عدد كبير من العناوين لبناء taptree. تكمن المشكلة في أن تنفيذ شروط إلغاء القفل المحددة مسبقا لعنوان الجذر الرئيسي يتطلب رسوم عامل منجم ، وكلما زاد عدد مجموعات العناوين ، زادت التكلفة. في المستقبل ، قد تقلل تقنية القناة ثنائية الاتجاه لشبكة Lightning Network من التكاليف ، ولكن بشكل عام ، فإن الاعتماد على شبكة Bitcoin لتنفيذ دوائر البوابة المنطقية ليس بطيئا فحسب ، بل إنه مكلف أيضا للتفكير فيه.
** يدعم BitVM بشكل مثالي سيناريوهات محدودة ، وهو أكثر ملاءمة للحوسبة الثقيلة خارج السلسلة ** ، فقط بعض الإجماع ونقل الأصول بحاجة إلى الاعتماد على سيناريوهات على السلسلة ، مثل التخلص من أصول الألعاب ؛
بشكل عام ، تعد BitVM فكرة تفتح العقل ومبتكرة للغاية ، ولكن وفقا لإطارها الفني للتنفيذ ، فمن المعروف أنها ستقتصر على مرحلة تصور الورقة البيضاء على المدى القصير ، ولا يزال استكشاف سيناريو التطبيق طويل المدى وتطبيق الهبوط يواجه تحديات كبيرة. للتوضيح بمثال شائع جدا: يشبه BitVM بناء كمبيوتر عملاق أكبر من غرفة في العصر الذي يمكن فيه للجميع استخدام المحطات الطرفية المتنقلة.
ملاحظة: التفسير أعلاه ينطبق فقط على فهم الإطار التقني العام ل BitVM ، بحيث يمكن للجميع فهم المنطق التقني وراءه ، قد تكون الممارسة المحددة متحيزة ، إذا كان هناك رئيس تقني لديه بحث تفصيلي متعمق للغاية ، يمكنك تصحيحه واستكماله في التعليقات.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
نسخة مثالية من نظام Ethereum البيئي إلى شبكة Bitcoin؟ تستكشف هذه المقالة سيناريوهات التطبيق والحدود العليا ل BitVM
كتبه هاوتيان
أثار مستند تقني بعنوان "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 ، لا يمكن أن تتجاوز ظروف التخزين المحدودة ، حالة متفائلة يمكن لعنوان الجذر الرئيسي برمجة مئات البوابات المنطقية ، ويجب على المزيد الجمع بين عدد كبير من العناوين لبناء taptree. تكمن المشكلة في أن تنفيذ شروط إلغاء القفل المحددة مسبقا لعنوان الجذر الرئيسي يتطلب رسوم عامل منجم ، وكلما زاد عدد مجموعات العناوين ، زادت التكلفة. في المستقبل ، قد تقلل تقنية القناة ثنائية الاتجاه لشبكة Lightning Network من التكاليف ، ولكن بشكل عام ، فإن الاعتماد على شبكة Bitcoin لتنفيذ دوائر البوابة المنطقية ليس بطيئا فحسب ، بل إنه مكلف أيضا للتفكير فيه.
** يدعم BitVM بشكل مثالي سيناريوهات محدودة ، وهو أكثر ملاءمة للحوسبة الثقيلة خارج السلسلة ** ، فقط بعض الإجماع ونقل الأصول بحاجة إلى الاعتماد على سيناريوهات على السلسلة ، مثل التخلص من أصول الألعاب ؛
بشكل عام ، تعد BitVM فكرة تفتح العقل ومبتكرة للغاية ، ولكن وفقا لإطارها الفني للتنفيذ ، فمن المعروف أنها ستقتصر على مرحلة تصور الورقة البيضاء على المدى القصير ، ولا يزال استكشاف سيناريو التطبيق طويل المدى وتطبيق الهبوط يواجه تحديات كبيرة. للتوضيح بمثال شائع جدا: يشبه BitVM بناء كمبيوتر عملاق أكبر من غرفة في العصر الذي يمكن فيه للجميع استخدام المحطات الطرفية المتنقلة.
ملاحظة: التفسير أعلاه ينطبق فقط على فهم الإطار التقني العام ل BitVM ، بحيث يمكن للجميع فهم المنطق التقني وراءه ، قد تكون الممارسة المحددة متحيزة ، إذا كان هناك رئيس تقني لديه بحث تفصيلي متعمق للغاية ، يمكنك تصحيحه واستكماله في التعليقات.