منصة CoinEx تُطلق BitVM: لتطوير إمكانيات العقود الذكية على الشبكة الأساسية للبيتكوين

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

تطرح BitVM بنية حوسبة مبتكرة تسمح بتنفيذ عقود بيتكوين تحترم معيار Turing-Complete دون الحاجة إلى تغييرات في قواعد التوافق الإجماعي للشبكة.

العقود الذكية الموزعة: التحديات والمساعي

برنامج البيتكوين البرمجي، المعتمد على لغة الأوامر المبنية على المكدس، يوفر وظائف تحكم محدودة مثل الشروط المشروطة للتحقق من صحة المعاملات.

هذا البرنامج يتطلب توقيعات رقمية موثوقة لإنفاق البيتكوين عبر عملية تحقق مشروطة بسيطة.

لكن، صُممت لغة الأوامر لتكون غير مكتملة من ناحية Turing، حيث لا تدعم التحكم المعقد في تدفق العمليات مثل الحلقات، مما يضمن البساطة والأمان.

هذه القيود جعلت من الصعب على البرنامج تنفيذ العمليات الحسابية المعقدة التي تشمل العقود الذكية.

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

وهذا يتعارض مع مبدأ البيتكوين القائم على اللامركزية.

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

BitVM و بلوكشين البيتكوين:

في صميم ابتكار BitVM، يتم استغلال برنامج البيتكوين البرمجي الحالي لإنشاء بوابات منطقية مثل AND، OR، NOT، و XOR.

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

تستخدم هذه الدوائر لتنفيذ عمليات منطقية باستعمال البوابات المذكورة لإنتاج النتائج الثنائية. تحديداً، تستخدم BitVM عقود التجزئة المقفلة (HTLC) و Taproot (وهي تحسينات تم إضافتها إلى بروتوكول البيتكوين في نوفمبر 2021) لتمثيل البوابات المنطقية الأساسية، مثل AND و OR.

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

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

يزعم البروتوكول أن دالة معينة ستُقيم مجموعة معينة من المدخلات لإنتاج مجموعة محددة من النتائج.

إذا ثبت أن الزعم كاذب، يُمكن للطرف الآخر تقديم برهان احتيال لتحدي الزعم وفرض عقوبات.

هذه الآلية تضمن إمكانية التحقق من أي وظيفة حسابية يُمكن تنفيذها على البيتكوين دون الحاجة إلى الثقة بين الأطراف.

المضي قدما:

مع إطلاق BitVM، من المتوقع أن تتوسع إمكانيات العقود الذكية على الشبكة الأساسية للبيتكوين بشكل كبير.

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

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

“BitVM” بشكل مبسط هو نظام أو أداة تسمح بتنفيذ عمليات منطقية وحسابية ضمن بيئة بلوكشين البيتكوين من خلال استخدام البرمجة النصية (Scripting).

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

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

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

لذلك، يلزم وجود آلية للتحدي والاستجابة لتحقيق ذلك.

في هذا السياق، يجب على الطرفين (المثبت والمدقق) التوقيع مسبقا على سلسلة من المعاملات التي تنظم عملية “التحدي – الاستجابة” المتعددة الجولات.

ويتم تنظيم هذه المعاملات بطريقة تتيح لأي من الطرفين الفوز بالتحدي إذا توقف الطرف الآخر عن الاستجابة.

في المثال المعطى، يمكن لفيكي (المدقق) أن يبدأ التحدي بتحديد تحدي معين (hash7) من علامات التجزئة في Tapscript، وبول (المثبت) يتحمل مسؤولية الاستجابة لهذا التحدي بتنفيذ Tapscript مع مدخلات ومخرجات معينة.

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

هذا النظام يضمن الكفاءة والشفافية في العمليات الحسابية ويفرض عقوبات في حالة الاحتيال. وهو يوضح كيف يمكن لـ BitVM تسهيل التحقق من حسابات كاملة لـ Turing (أي حسابات يمكن لآلة تورينغ القيام بها) في شبكة البيتكوين، وهو ما يعتبر إنجاز مهم في مجال الحوسبة الموزعة والبلوكشين.

الجوانب الرئيسية لتصميم BitVM:

1. الحساب خارج السلسلة والتحقق عبر السلسلة: يقوم BitVM بوضع العمليات الحسابية خارج البلوكشين، محافظًا على البلوكشين لعملية التحقق من النتائج فقط. هذا الأسلوب يُبقي البلوكشين خاليًا من العمليات المعقدة ويقلل من احتمالية تضخم السلسلة.
2. تعبير البوابات المنطقية بواسطة Hashlocks ونصوص Bitcoin: يتم تمثيل البوابات المنطقية الأساسية، مثل AND و NOT، باستخدام تقنيات التجزئة والبرامج النصية التي تدعمها بيتكوين، والتي تمكن من تكوين دوائر معقدة وتحقيق الحوسبة الكاملة لتورينج.
3. آلية نظرية اللعبة للمثبت والمدقق: تتبع BitVM آلية تحقق مشابهة لتلك المستخدمة في Optimistic Rollup، حيث تتم التحديات والاستجابات التفاعلية بين الأطراف المشاركة في العملية الحسابية، وتؤكد النتيجة الصحيحة للحساب على السلسلة. إذا قام المثبت بمحاولة الغش، يمكن للمدقق فرض عقوبات على البلوكشين.
4. الحد الأدنى من التأثير على السلسلة: تحرص BitVM على أن تكون تأثيراتها على البلوكشين الرئيسي للبيتكوين محدودة، حيث تترك فقط بعض المعاملات الضرورية في حالة وجود نزاعات، مما يساهم في الحفاظ على كفاءة وقابلية توسع البيتكوين.
5. لا حاجة للانقسامات الناعمة: لا يتطلب BitVM أي تغييرات في البروتوكول الأساسي للبيتكوين، لأنه يعتمد فقط على قدرات البرنامج النصي الموجودة بالفعل في بيتكوين، مما يسهل دمجه في الشبكة الرئيسية دون الحاجة إلى تحديثات بروتوكولية كبيرة.

في الختام:

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

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

مع هذه الابتكارات، يمهد BitVM الطريق أمام إمكانيات جديدة للبيتكوين، بما في ذلك تقديم العقود الذكية والتطبيقات اللامركزية التي كانت حتى وقت قريب خارج نطاق إمكانياته. ويمكن أن يُحدث هذا تغييرًا جوهريًا في كيفية استخدام البيتكوين وتفاعله مع أنظمة البلوكشين الأخرى، مثل بناء جسور السلاسل القليلة الثقة لتعزيز التشغيل البيني، وتطوير طبقات توسعة مثل zkRollups التي تساهم في تحسين مقياس القابلية للتوسع.

بشكل عام، يقدم BitVM رؤية مستقبلية لنظام بيتكوين البيئي، حيث يتم تحسين القدرات الحالية وتوسيعها لتشمل تطبيقات أكثر تعقيدا وتفاعلية.

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

الروابط الرسمية لمنصة coinex على الشبكات الاجتماعية:

– الموقع الالكتروني الرسمي للمنصة:

http://www.coinex.com/

– فيسبوك:

https://www.facebook.com/coinexmenaofficial
– تليجرام:

– قناة الأخبار تليجرام:

– تويتر:

– انستجرام:

– يوتيوب: