كل ما تحتاج لمعرفته حول BitVM

كتبه بوب بوديلي. الرئيس التنفيذي لسوق بيونيك ؛ ترجمة: التمويل الذهبي كريبتوناتيف

BitVM هو مجموعة تراكمية متفائلة جديدة + دليل على الاحتيال + Taproot Leaf + نموذج حوسبة Bitcoin Script صممه روبن لينوس من ZeroSync. في صباح يوم 9 أكتوبر ، نشروا ورقة بيضاء ممتازة تمت مراجعتها من قبل Super Testnet و Sam Parker (تمت مشاهدة المقالة الآن 1.5 مليون مرة).

طويل جدا للقراءة:

1. BitVM ليس حلا سحريا لحل المشكلات

2. BitVM ليست جيدة مثل EVM ، BitVM أبطأ وأكثر تكلفة وأكثر تعقيدا

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

تتضمن حالات الاستخدام المحتملة البسيطة أجزاء من التطبيقات اللامركزية التي تعتمد حاليا على الخدمات المركزية (أوراكل للمحتوى القابل للتنزيل ، والتحكم في الازدحام / مجمعات العملات المعدنية ، وتصنيفات السلسلة الجانبية)

5 ، لا يحل BitVM مشكلة التجسير غير الموثوق بها للسلاسل الجانبية (قد يكون العقد مطلوبا - العهد)

6. نعم ، BitVM هو بالتأكيد أفضل من مثال الدفع المشروط ZKP لجريج ماكسويل لعام 2016

7. BitVM معقد للغاية ويصعب فهمه وتنفيذه. قد تحقق ترقية Bitcoin باستخدام رمز تشغيل واحد نفس التأثير.

الحفر الفني

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

الغرض من BitVM هو أنه "يمكن التحقق من أي وظيفة قابلة للحساب على Bitcoin". —المستند التقني BitVM

وهذا يعني أن "بيتكوين أصبحت الآن كاملة مثل أي سلسلة أخرى، وهذا لا يتطلب أي تغييرات على بيتكوين." "—— سام باركر

هناك بعض القيود (التي سنناقشها لاحقا) ، ولكن هذا يعني في الأساس أنه طالما كنت:

(1) هناك أموال كافية لدفع الحسابات / البراهين خارج السلسلة ،

(2) هناك نطاق ترددي كاف لتلقي وإرسال البيانات اللازمة (ربما مئات الميغابايت) أيضا

(3) يمكن تنفيذ العدد المطلوب من معاملات البيتكوين ،

ثم يمكنك حساب ما تريد.

"الشيء الوحيد الذي يفعله BitVM هو السماح لنا بتقسيم أوقات تشغيل منطقية معينة من نطاق معاملة واحدة إلى معاملات متعددة. هذا كل ما في الأمر. "—— سام باركر

لذلك قد يستغرق وقتا طويلا. يمكن أن تكون مكلفة للغاية. يمكن أن يستغرق مئات المعاملات. ولكن يمكنك أن تفعل ما تريد.

كرر سام نفسه: "وبالتالي ، ** من الناحية الفنية ، لم تصبح Bitcoin أكثر اكتمالا من ذي قبل ، يمكننا فقط أن نقول بشكل معقول أنها" Turing-complete "كافية لأي برنامج قد نرغب بالفعل في تنفيذه." **"

واحدة من الفوائد الرئيسية هي أنه لا توجد ترقيات مطلوبة. يمكنك القيام بكل هذا الآن.

وإذا كنت لا ترغب في استخدامه ، فيمكنك أيضا اختيار عدم: "** هذا اختياري **. إذا كنت لا تثق في قفل عملات البيتكوين لبعض عقود تورينج الذكية الكاملة (معقولة تماما) ، فلا تقفلها على عقد ذكي كامل من تورينج. "—— سام باركر

نظرا لأنك قد تخضع لبعض القيود الحسابية ، أعتقد أن الحد الأدنى من نتيجة BitVM من المرجح أن يحل محل خدمة "Bitcoin Edge" المركزية التي يستخدمها العديد من الأشخاص حاليا.

على سبيل المثال ، يمكننا "التخلص من جميع خدمات الاستضافة الموثوقة أو شبه الموثوقة التي نحتاجها في الوقت الحالي". يمكن أن تنتقل أدوات تجميع التحكم في الازدحام / ربط العملات المعدنية ، وروابط السلسلة الجانبية ، وأنواع معينة من أوراكل DLC من موثوقة / شبه موثوقة إلى 100٪ غير موثوقة. إن انعدام ثقة البيتكوين قوي فقط مثل أضعف رابط في الرابط الذي تتفاعل معه. " - سام باركر

الآن دعونا نرى ما يقوله إريك وول عن هذا:

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

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

سيكون من المثير للاهتمام إذا تحقق BitVM من أن طبقة zkwasm تعمل بشكل جيد فيه - فإن BitVM ستؤدي دور طبقة zkwasm التي ناقشتها سابقا. "

ثم تابع قائلا ما هو على الأرجح الملخص الأكثر إيجازا ل BitVM:

"يصف BitVM فقط الطريقة التي يمكن للمدقق من خلالها سرقة هامش من المحترف بناء على نتائج حسابات Turing-complete ، ولكنه لا يصف حقا بنية الربط / الخروج للمشاركين الخارجيين ، والتي قد تكون صحيحة."

نعم ، BitVM هو ذلك فقط.

ينضم آدم باك إلى تعليق أكثر انتقادا (مع العديد من النقاط): "إنه أمر رائع بالنسبة للأشخاص الذين يصبحون متحمسين (بشكل مفرط) ، لكنه في الحقيقة مجرد تعميم للعبة ثنائية الاتجاه - مذكورة صراحة في الملخص - لذا فهي تشبه إلى حد ما مثال جريج ماكسويل لعام 2016 لتنفيذ الدفع المشروط ZKP ". "

بصرف النظر عن حقيقة أن آدم لم يلاحظ جزءا من الورقة البيضاء ، فإن BitVM هذا هو في الواقع أفضل من مثال Greg Maxwell لعام 2016 ZKP. على حد تعبير روبن: "إنه متفوق تماما في ZKCP [مقارنة بمثال ZKP لجريج ماكسويل لعام 2016] ، لأنه في ZKCP ، يجب أن يعرف البروفير الحل مسبقا." "

قدم Super Testnet ، أحد المراجعين للمقال ، رأيه: "ربما يكون هذا هو الاكتشاف الأكثر إثارة في تاريخ Bitcoin Script. يبدو أنه يحل جميع المشكلات تقريبا ويتيح لنا الوصول إلى العهود والسلاسل الجانبية والميزات مثل Liquid أو EVM دون أي شوك. لا استطيع الانتظار لإصدار العرض التوضيحي الخاص بي. "

ردا على سؤال Eric Wall حول إعداد مخطط 1-to-N ، نشر Super Testnet ما يلي: "كما أنه يدعم مخطط 1-N ، على غرار عمليات التراكم. يمكن أن يكون لديك طرف مركزي يتلقى رسوما لإجراء العمليات الحسابية لمجموعة. يعلم الجميع في المجموعة أن الحزب المركزي لا يمكن أن يكذب ، وإلا يمكن للمجموعة الحصول على هامش كبير وتقسيمه بين أعضائها. "

العيب الرئيسي في BitVM هو التعقيد. ** لكي يعمل BitVM ، يلزم الكثير من التوقيع المسبق.

Rijndael: "يبدو أن CTV ستقلل من التوقيعات المسبقة. سيكون حلا رائعا للبناء باستخدام Bitcoin الحالي ، ثم معرفة مقدار التفاعل الذي يمكن تقليله باستخدام CTV ، وما إذا كان هذا أمرا جيدا أم ضرورة. "

إذا كنت لا تعرف بالفعل ، CTV = BIP-119 = عهد بسيط. لذلك ، إذا قمنا بترقية Bitcoin لتمكين CTV ، فسيكون BitVM أفضل بكثير وأكثر كفاءة. **

أضاف Post Capone وجهة نظره الخاصة عند مناقشة الإيجابية الحالية داخل نظام Bitcoin البيئي: "لقد ولدت BitVM تعليقات إيجابية صافية من 8 فصائل مختلفة داخل Bitcoin ، والتي عادة ما تشوه بعضها البعض إلى حد التدمير. شيء كبير يا رجل. يتم تمرير الكثير من التحليلات / التعليقات في فترة زمنية قصيرة ، وهو أمر رائع جدا. كانت الترتيب الترتيبي لحظة سحرية. يبدو الأمر وكأنه متحمس بما يكفي لبذل جهد إضافي. نحن جميعا مجتمعون معا لتشغيلها. "

BitVM مشابه جدا لشبكة Lightning ، مع وجود متطلبات multisig واحدة على الأقل 2: 2 في الورقة.

ديلان لوكلير قائلا: "صححني إذا كنت مخطئا: على الرغم من اختلافه تقنيا ، إلا أنه يشبه LN من حيث أنه متعدد 2: 2 حيث يمكن بناء TXs / apps / العقود على Bitcoin ، ولكن التحقق والتسوية تتم على السلسلة. كما أفهمها ، فإن هذا من شأنه أن يمكن ربط BTC غير الموثوق به (؟) ）"。

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

كانت هناك شكوك في أن BitVM ستكون قادرة على دعم الحالة العالمية ، حيث أن الوصف الوارد في المقالة مشابه لقناة الدولة ، لكن Super Testnet ردت: "إنها تدعم الحالة العالمية". يمكن للطرف "أ" أن يثبت للطرف "ب" بيانات حول دفتر الأستاذ العالمي (مثل Bitcoin أو السلاسل الجانبية أو حتى السلاسل الأخرى). "

بشكل عام ، BitVM "يجعل عقود Bitcoin أكثر تعبيرا". على وجه الخصوص ، فإنه يجعل الميزات الممكنة التي اعتقدنا في الأصل أنها بحاجة إلى شوكة ناعمة. قد تنفذ سلاسل جانبية غير موثوقة ، لكن هذا لم يتم حله تماما بعد. "—— سوبر تيستنت

أجاب Rijndale أننا قد لا نزال بحاجة إلى عهود لتنفيذ سلاسل جانبية غير موثوقة: "يسمح لك BitVM بإنفاق جميع مبالغ UTXOs التي تحتوي على عقود ذكية. بالنسبة للسلاسل الجانبية غير الموثوقة ، نحتاج إلى أن نكون قادرين على إنفاق جزء UTXO الذي يحتوي على العقد الذكي. "

رأيي

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

2. قد تكون هناك بعض حالات الاستخدام الرئيسية البسيطة لبدء الاستفادة من BitVM على الفور لتقليل افتراضات الثقة (مثل أوراكل DLC).

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