ينقل BitVM الحوسبة المحدودة خارج السلسلة ويعرض على Bitcoin إثبات احتيال مجهزًا مسبقًا؛ وليس آلة افتراضية عامة تعمل مباشرة داخل Bitcoin Script.
يصف BitVM الأصلي علاقة ثنائية بين prover وverifier. ينفذ prover البرنامج خارج السلسلة ويلتزم بمسار تنفيذه، ولا يتدخل verifier إلا عندما يدعي أن النتيجة خاطئة. [1]
يتحقق BitVM2 من SNARK بواسطة scripts مقسمة إلى برامج فرعية أصغر. لا يكتب المسار المتفائل الحوسبة كلها على السلسلة؛ وعند النزاع يستطيع أي challenger الاعتراض على ادعاء غير صالح عبر بروتوكول مختصر. [2]
يهدف BitVM Bridge إلى نقل BTC إلى الطبقات الثانية بأمان أكبر: ففي setup يخفض الافتراض من أغلبية نزيهة إلى مشارك نزيه واحد على الأقل، ويستطيع أي شخص، لا verifier محدد مسبقًا فقط، الاعتراض على إثبات غير صالح. [2]
لا يعني permissionless challenge انعدام الثقة. فمن أجل liveness لا يزال الجسر يحتاج إلى مشغّل عقلاني نشط واحد على الأقل؛ وإذا أخفق الجميع فقد تعلق الأموال، كما يعتمد البروتوكول المحدد على setup وإتاحة البيانات والحوافز وصحة مخطط المعاملات. [3]
تصف تطبيقات BitVM Bridge الرسمية نفسها بأنها غير مخصصة للإنتاج وتحذر صراحة من استخدامها فيه. المستودع نموذج أولي لـ SNARK verifier وجسر، وليس ضمانًا مدققًا لنقل BTC بأمان. [4]
لا يزيل permissionless challenge تكاليف التشغيل. يستخدم البروتوكول scripts كبيرة وإثباتات مجزأة وضمانات ومهلًا ورسومًا؛ وقد يضر التوقف أو الرقابة بـ liveness حتى إن عجز المهاجم عن تقديم إثبات صالح. [3]
لا يحول BitVM برنامج Bitcoin Script إلى آلة افتراضية تقليدية لبرامج onchain عشوائية. صُممت البنية من دون تغيير في الإجماع، وتأتي عموميتها من حوسبة offchain والالتزامات وtimelocks ونزاع موقع مسبقًا يستطيع Bitcoin إنفاذه. [5]
يشمل اسم BitVM عدة تصاميم مختلفة ومتطورة: لا تتطابق أدوار وافتراضات BitVM1 وBitVM2 وبروتوكولات الجسور المحددة. قبل الاستخدام يجب التحقق من الإصدار الدقيق ومخطط المعاملات وsetup وعدد المشغلين ومسار challenge ومخارج الطوارئ. [4]
للحصول على صورة أوضح، اقرأ هذا المدخل مع Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.
01هل يشغّل BitVM البرامج مباشرة على Bitcoin؟+
لا. يُحسب البرنامج خارج السلسلة، ويعمل Bitcoin حكمًا في نزاع مجهز مسبقًا حول التزامات تشفيرية وخطوة صغيرة من الإثبات.
02هل BitVM جسر trustless مكتمل؟+
لا. يقلل BitVM2 بعض افتراضات الثقة ويتيح permissionless challenge، لكن الجسر المحدد يظل معتمدًا على setup والمشغلين وliveness وتطبيق غير مخصص للإنتاج.