بالنسبة لعقود تورينج الذكية الكاملة على Bitcoin ، اقترح مستخدم Twitter @robin_linus اقتراحا جديدا - BitVM.
يدعي أنه يمكن تحقيق ذلك دون أي تغييرات على رمز Bitcoin.
نظرا لأن لغة البرمجة النصية الأصلية ل Bitcoin محدودة للغاية ، فهذا هو السبب في أننا بحاجة إلى توسيع Bitcoin بطبقات مختلفة.
تعمل هذه الطبقات المختلفة كوحدات بناء مختلفة ، مما يؤدي في النهاية إلى توفير المزيد من الوظائف إلى Bitcoin. واليوم لدينا اختراق مهم: العقود الذكية.
هذا العام ، شهدنا زيادة كبيرة في النقاش حول Rollups على Bitcoin ، مع الموضوعات الأكثر شيوعا هي السيادة ، وبراهين المعرفة الصفرية ، و Optimistic Rollups.
تعمل حلول التحجيم هذه على L2 ، ولكنها تعود في النهاية إلى السلسلة الرئيسية بشكل مشفر.
** ما هو BitVM **
يستخدم BitVM تقنية مشابهة ل Optimistic Rollups.
عادة ما تفترض مجموعات التفاؤل أن المعاملة صالحة ، ولكنها تخصص فترة زمنية معينة لتسوية النزاعات.
في حالة حدوث نزاع، يعود "التراكمي" إلى حالته السابقة.
يتم حساب العقد الذكي الفعلي ل BitVM على طبقة منفصلة ، وفي حالة حدوث نزاع ، يتم "حفظ" هذه النزاعات على سلسلة Bitcoin الرئيسية. لذلك، يحدث كل نشاط BitVM خارج السلسلة.
** (ملاحظة المترجم: يتم الاحتفاظ بسجل عام غير قابل للتغيير على السلسلة الرئيسية التي يمكن استخدامها لحل النزاعات.) إذا لم يكن هناك نزاع ، إجراء جميع أنشطة BitVM خارج السلسلة ، أي خارج سلسلة Bitcoin الرئيسية. يمكن تنفيذ هذا النشاط خارج السلسلة بسرعة أكبر ويتم ضمان صحة المعاملات باستخدام سلسلة Bitcoin الرئيسية كأساس للأمن والجدارة بالثقة. ）**
يعتمد BitVM بشكل أساسي على أربعة مكونات **
تجزئة قفل
قفل الوقت
شجرة ميركل
متعدد التوقيع
** قفل التجزئة **
قفل التجزئة هو مفتاح تشفير مخفي تم إنشاؤه بواسطة الشخص الذي بدأ المعاملة ، مما يضمن أنه لا يمكن إنهاء المعاملة إلا بعد موافقة البادئ.
قفل الوقت
يجب تنفيذ المعاملة بموجب قفل زمني بعد تاريخ أو وقت أو ارتفاع كتلة معين.
شجرة ميركل
يستخدم فرع شجرة Merkle التشفير لتسجيل نتائج تنفيذ برنامج نصي في blockchain ، بدلا من تسجيل جميع عمليات التنفيذ الممكنة للبرنامج النصي.
هذا يقلل بشكل كبير من المساحة التي تشغلها المعاملات ، خاصة بالنسبة للمعاملات الأكثر تعقيدا!
** في الماضي ، من أجل التحقق من صحة المعاملة ، كان من الضروري تسجيل جميع مسارات ونتائج التنفيذ الممكنة ، والتي احتلت مساحة تخزين كبيرة. مع تفرع شجرة Merkle ، نسجل فقط نتائج التنفيذ الفعلي ، وهذا التحسين يجعل معالجة المعاملات أكثر كفاءة مع تقليل متطلبات التخزين في blockchain. ）**
مولتيسيج
غالبا ما يسمح Multisig لأطراف متعددة بمشاركة التحكم في محفظة واحدة. تحت تصميم BitVM ، سيكون لديك توقيع متعدد من جزأين يتكون من بروفير ومدقق.
** إذن كيف يعمل BitVM؟ **
يقوم المدققون والمدققون أولا بتجميع العقد الذكي في خريطة بيان if-then تحتوي على جميع النتائج المحتملة.
لتوفير مساحة ، نستخدم تنسيق Merkle للحفظ على السلسلة.
يجب على كلا الطرفين أيضا التوقيع المسبق على سلسلة من معاملات التحدي والإجابة التي يمكن استخدامها في حالة حدوث نزاع!
بعد الانتهاء من هذه المتطلبات الأساسية ، يمكنهم إيداع Bitcoin في عنوان Taproot ، والذي ينشط العقد الذكي ويسمح لكلا الطرفين بالبدء في تبادل البيانات خارج السلسلة أو على طبقة منفصلة.
يمكن للمدققين استخدام أقفال الوقت لإجبار البروفير على اتخاذ قرار خلال فترة زمنية محددة.
إذا قدم البروفير ادعاء كاذبا ، فيمكن للمدقق الاعتراض على ذلك واسترداد إيداعه.
هذا يضمن أن أي مهاجم يفقد إيداعه ويشجع السلوك الجيد.
** استخدامات BitVM **
الآن بعد أن أصبح لدينا فهم أساسي لهيكل عقد BitVM ، يمكننا الغوص بشكل أعمق قليلا في الغرض من استخدامه.
** يوجد حاليا ثلاثة "** التزام *" : *
التزام قيمة بت
التزام بوابة المنطق
التزام الدائرة الثنائية
الالتزام بقيمة البت
يتيح ذلك للمعتمدين تعيين قيمة بت إلى "0" أو "1" في نصوص مختلفة ومخرجات معاملات غير مستخدمة (UTXOs) ، مما يسمح بتشغيل برنامج نصي واحد عبر معاملات متعددة ، وهذه الثنائية 0s و 1s هي الأساس لجميع العمليات الحسابية
** (ملاحظة المترجم: من خلال التحكم في قيمة البت ، يمكن تحقيق عمليات حسابية مختلفة مثل الحكم الشرطي والعمليات المنطقية.) تسمح هذه المرونة ل BitVM بدعم وظائف العقود الذكية المعقدة بقوة أكبر. ）**
وعد بوابة المنطق
يسمح هذا باستخدام بوابات NAND وينفذ وظائف عبارات مثل AND و NOT و OR.
تقوم بوابة AND AND بإنشاء إخراج استنادا إلى حالة مدخلين (مثل قيمتي بت).
** توفر آلية التزام البوابة المنطقية ل BitVM وظائف أكثر مرونة وقوة من خلال تقديم بوابات AND NOT ، مما يتيح العقود الذكية دعم العمليات الحسابية المعقدة التي تحتوي على عمليات منطقية. ）**
** وعد الدائرة الثنائية **
بمجرد تحديد البوابات المنطقية المختلفة ، يمكنك استخدام الدوائر الثنائية لبناء أنظمة رقمية أكثر تعقيدا.
فكر في الأمر على أنه هيكل عقد ذكي كامل يتكون من كتل بناء NAND متعددة.
في BitVM ، بالمثل ، يمكننا الجمع بين بوابات منطقية متعددة لتشكيل هيكل عقد ذكي كامل ، تماما كما تشكل بوابات AND NOT المتعددة تنفيذا معياريا ملموسا. هذا النهج المعياري للبناء يجعل تصميم العقود الذكية أكثر مرونة وقابلية للتطوير. ）**
موارد مرجعية إضافية
هذا كل شيء عن التفاصيل الفنية التي يمكننا تغطيتها حتى الآن ، وهناك الكثير من الموارد الإضافية للتحقق مما إذا كنت تريد الغوص بشكل أعمق أو معرفة المزيد حول BitVM.
فيما يلي بعض الموارد التي تستحق الدراسة: **
تغيير الموقف
من خلال الملاحظة ، وجدنا ظاهرة مثيرة للاهتمام:**
كان هناك تحول كبير في المواقف تجاه بناء التطبيقات على Bitcoin عبر BitVM.
كان رد فعل الكثير من الناس باردا أو حتى معارضا علنيا لإدخال العقود الذكية في Bitcoin ، لكنهم بدأوا الآن في التعبير عن دعمهم ، وهو أمر مشجع!
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
BitVM: الدخول في عصر العقود الذكية للبيتكوين
بالنسبة لعقود تورينج الذكية الكاملة على Bitcoin ، اقترح مستخدم Twitter @robin_linus اقتراحا جديدا - BitVM.
يدعي أنه يمكن تحقيق ذلك دون أي تغييرات على رمز Bitcoin.
نظرا لأن لغة البرمجة النصية الأصلية ل Bitcoin محدودة للغاية ، فهذا هو السبب في أننا بحاجة إلى توسيع Bitcoin بطبقات مختلفة.
تعمل هذه الطبقات المختلفة كوحدات بناء مختلفة ، مما يؤدي في النهاية إلى توفير المزيد من الوظائف إلى Bitcoin. واليوم لدينا اختراق مهم: العقود الذكية.
هذا العام ، شهدنا زيادة كبيرة في النقاش حول Rollups على Bitcoin ، مع الموضوعات الأكثر شيوعا هي السيادة ، وبراهين المعرفة الصفرية ، و Optimistic Rollups.
تعمل حلول التحجيم هذه على L2 ، ولكنها تعود في النهاية إلى السلسلة الرئيسية بشكل مشفر.
** ما هو BitVM **
يستخدم BitVM تقنية مشابهة ل Optimistic Rollups.
عادة ما تفترض مجموعات التفاؤل أن المعاملة صالحة ، ولكنها تخصص فترة زمنية معينة لتسوية النزاعات.
في حالة حدوث نزاع، يعود "التراكمي" إلى حالته السابقة.
يتم حساب العقد الذكي الفعلي ل BitVM على طبقة منفصلة ، وفي حالة حدوث نزاع ، يتم "حفظ" هذه النزاعات على سلسلة Bitcoin الرئيسية. لذلك، يحدث كل نشاط BitVM خارج السلسلة.
** (ملاحظة المترجم: يتم الاحتفاظ بسجل عام غير قابل للتغيير على السلسلة الرئيسية التي يمكن استخدامها لحل النزاعات.) إذا لم يكن هناك نزاع ، إجراء جميع أنشطة BitVM خارج السلسلة ، أي خارج سلسلة Bitcoin الرئيسية. يمكن تنفيذ هذا النشاط خارج السلسلة بسرعة أكبر ويتم ضمان صحة المعاملات باستخدام سلسلة Bitcoin الرئيسية كأساس للأمن والجدارة بالثقة. ）**
يعتمد BitVM بشكل أساسي على أربعة مكونات **
** قفل التجزئة **
قفل التجزئة هو مفتاح تشفير مخفي تم إنشاؤه بواسطة الشخص الذي بدأ المعاملة ، مما يضمن أنه لا يمكن إنهاء المعاملة إلا بعد موافقة البادئ.
قفل الوقت
يجب تنفيذ المعاملة بموجب قفل زمني بعد تاريخ أو وقت أو ارتفاع كتلة معين.
شجرة ميركل
يستخدم فرع شجرة Merkle التشفير لتسجيل نتائج تنفيذ برنامج نصي في blockchain ، بدلا من تسجيل جميع عمليات التنفيذ الممكنة للبرنامج النصي.
هذا يقلل بشكل كبير من المساحة التي تشغلها المعاملات ، خاصة بالنسبة للمعاملات الأكثر تعقيدا!
** في الماضي ، من أجل التحقق من صحة المعاملة ، كان من الضروري تسجيل جميع مسارات ونتائج التنفيذ الممكنة ، والتي احتلت مساحة تخزين كبيرة. مع تفرع شجرة Merkle ، نسجل فقط نتائج التنفيذ الفعلي ، وهذا التحسين يجعل معالجة المعاملات أكثر كفاءة مع تقليل متطلبات التخزين في blockchain. ）**
مولتيسيج
غالبا ما يسمح Multisig لأطراف متعددة بمشاركة التحكم في محفظة واحدة. تحت تصميم BitVM ، سيكون لديك توقيع متعدد من جزأين يتكون من بروفير ومدقق.
** إذن كيف يعمل BitVM؟ **
يقوم المدققون والمدققون أولا بتجميع العقد الذكي في خريطة بيان if-then تحتوي على جميع النتائج المحتملة.
لتوفير مساحة ، نستخدم تنسيق Merkle للحفظ على السلسلة.
يجب على كلا الطرفين أيضا التوقيع المسبق على سلسلة من معاملات التحدي والإجابة التي يمكن استخدامها في حالة حدوث نزاع!
بعد الانتهاء من هذه المتطلبات الأساسية ، يمكنهم إيداع Bitcoin في عنوان Taproot ، والذي ينشط العقد الذكي ويسمح لكلا الطرفين بالبدء في تبادل البيانات خارج السلسلة أو على طبقة منفصلة.
يمكن للمدققين استخدام أقفال الوقت لإجبار البروفير على اتخاذ قرار خلال فترة زمنية محددة.
إذا قدم البروفير ادعاء كاذبا ، فيمكن للمدقق الاعتراض على ذلك واسترداد إيداعه.
هذا يضمن أن أي مهاجم يفقد إيداعه ويشجع السلوك الجيد.
** استخدامات BitVM **
الآن بعد أن أصبح لدينا فهم أساسي لهيكل عقد BitVM ، يمكننا الغوص بشكل أعمق قليلا في الغرض من استخدامه.
** يوجد حاليا ثلاثة "** التزام *" : *
الالتزام بقيمة البت
يتيح ذلك للمعتمدين تعيين قيمة بت إلى "0" أو "1" في نصوص مختلفة ومخرجات معاملات غير مستخدمة (UTXOs) ، مما يسمح بتشغيل برنامج نصي واحد عبر معاملات متعددة ، وهذه الثنائية 0s و 1s هي الأساس لجميع العمليات الحسابية
** (ملاحظة المترجم: من خلال التحكم في قيمة البت ، يمكن تحقيق عمليات حسابية مختلفة مثل الحكم الشرطي والعمليات المنطقية.) تسمح هذه المرونة ل BitVM بدعم وظائف العقود الذكية المعقدة بقوة أكبر. ）**
وعد بوابة المنطق
يسمح هذا باستخدام بوابات NAND وينفذ وظائف عبارات مثل AND و NOT و OR.
تقوم بوابة AND AND بإنشاء إخراج استنادا إلى حالة مدخلين (مثل قيمتي بت).
** توفر آلية التزام البوابة المنطقية ل BitVM وظائف أكثر مرونة وقوة من خلال تقديم بوابات AND NOT ، مما يتيح العقود الذكية دعم العمليات الحسابية المعقدة التي تحتوي على عمليات منطقية. ）**
** وعد الدائرة الثنائية **
بمجرد تحديد البوابات المنطقية المختلفة ، يمكنك استخدام الدوائر الثنائية لبناء أنظمة رقمية أكثر تعقيدا.
فكر في الأمر على أنه هيكل عقد ذكي كامل يتكون من كتل بناء NAND متعددة.
في BitVM ، بالمثل ، يمكننا الجمع بين بوابات منطقية متعددة لتشكيل هيكل عقد ذكي كامل ، تماما كما تشكل بوابات AND NOT المتعددة تنفيذا معياريا ملموسا. هذا النهج المعياري للبناء يجعل تصميم العقود الذكية أكثر مرونة وقابلية للتطوير. ）**
موارد مرجعية إضافية
هذا كل شيء عن التفاصيل الفنية التي يمكننا تغطيتها حتى الآن ، وهناك الكثير من الموارد الإضافية للتحقق مما إذا كنت تريد الغوص بشكل أعمق أو معرفة المزيد حول BitVM.
فيما يلي بعض الموارد التي تستحق الدراسة: **
تغيير الموقف
من خلال الملاحظة ، وجدنا ظاهرة مثيرة للاهتمام:**
كان هناك تحول كبير في المواقف تجاه بناء التطبيقات على Bitcoin عبر BitVM.
كان رد فعل الكثير من الناس باردا أو حتى معارضا علنيا لإدخال العقود الذكية في Bitcoin ، لكنهم بدأوا الآن في التعبير عن دعمهم ، وهو أمر مشجع!