استكشاف حلول تحسين BitVM

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

1. تقليل عدد التفاعلات OP بناءً على ZK

تستخدم BitVM حاليًا طريقة ثنائية للاستجابة للتحديات، وفي أسوأ الحالات تتطلب حوالي 40 جولة من التفاعل، وقد تستمر الدورة لمدة تصل إلى ستة أشهر. يمكن النظر في إدخال تقنية الإثبات الصفري، بحيث يتحول موضوع التحدي من الخوارزمية الأصلية F إلى خوارزمية التحقق Verify، مما يقلل بشكل كبير من عدد جولات التحدي ويقصر الدورة.

بالإضافة إلى ذلك، يمكن استكشاف بناء دليل الاحتيال ZK، لتحقيق إثبات ZK عند الطلب. في هذا النموذج، يتعين إنشاء إثبات ZK فقط عند حدوث تحدي، مما يتجنب تكاليف إنشاء إثباتات لكل تغيير في الحالة، مع الاحتفاظ بميزات التجميع المتفائل.

2. توقيع لمرة واحدة صديق لبيتكوين

توقيع لامبورت هو مكون أساسي في BitVM، لكن توقيعه ومفتاحه العام طويلان. يمكن النظر في استخدام خطة توقيع لمرة واحدة من Winternitz، حيث يمكن تقصير طول التوقيع والمفتاح العام بحوالي 4 مرات عندما يكون d=15، مما يقلل من رسوم المعاملات بنسبة لا تقل عن 50%. يمكن أيضاً استكشاف خطة توقيع لمرة واحدة أكثر إحكامًا في المستقبل.

3. دالة التجزئة الصديقة للبيتكوين

نظرًا لقيود سكربت بيتكوين، يحتاج الأمر إلى تصميم دالة هاش صديقة لبيتكوين. BLAKE3 هو خيار جيد، حيث إن عدد جولات دالة الضغط لديه أقل، ويتطلب عند معالجة مدخلات بحجم 64 بايت ضغطًا واحدًا فقط. حتى الآن، تم تنفيذ BLAKE3 في حوالي 100 كيلوبايت من سكربت بيتكوين، ويمكن استخدامها لبناء إصدار toy من BitVM. في المستقبل، يمكن تحسين هذا التنفيذ أو استكشاف دوال هاش أخرى أكثر ملاءمة لبيتكوين.

4. سكريبتات بلا سكريبتات BitVM

تكنولوجيا Scriptless Scripts يمكن أن تنقل منطق العقود الذكية إلى التنفيذ خارج السلسلة، مما يوفر مزايا مثل المرونة العالية والخصوصية الجيدة والكفاءة العالية. يمكن تجربة إدخال هذه التقنية إلى BitVM، باستخدام توقيعات Schnorr المتعددة وتوقيعات المحول لتحقيق التزام بوابات المنطق، مما يوفر مساحة النص وزيادة الكفاءة.

5. تحدي متعدد الأطراف بدون إذن

تستخدم BitVM حاليًا نموذج تحدي ثنائي مرخص، مما يؤدي إلى بعض الثغرات الأمنية. يمكن دراسة بروتوكولات تحدي متعدد غير مرخص، لتوسيع نموذج الثقة من 1-of-n إلى 1-of-N(N> n). يتطلب ذلك معالجة مشكلات مثل هجمات الساحرات وهجمات التأخير، ويمكن الرجوع إلى نتائج الأبحاث ذات الصلة مثل البطولات المحكمّة بدون إذن وخوارزمية BoLD.

من خلال التحسينات المذكورة أعلاه، من المتوقع أن يتم تعزيز أداء BitVM وأمنه، مما يساهم في ازدهار وتطور نظام البيتكوين البيئي.