عندما قرأت مستند TBV الخاص بـ@BabylonLabs_io ، لم تكن أكثر نقطة عالقة هي منطق العائد. بل كان لدي سؤال تقني أبسط: حتى أن سكربتات بيتكوين لا تحتوي على Covenant (العقد). فكيف يمكن لـ Babylon أن تنشئ مَخزنًا غير موثوق (Vault) قابلًا للبرمجة على الشبكة الرئيسية عبر شروط؟ في البداية ظننت أنها لا بد أن تغيّر شيئًا في بيتكوين نفسها، مثل محاولة اقتراح soft fork. لكن بعد أن قرأت البنية كاملة، اكتشفت أنني تعقّدت الأمور أكثر من اللازم.
الشيء الذي جعلني أجلس في مكاني فعلاً هو فكرته التي تتجاوز القيود. بما أن Bitcoin Script لا يملك Covenant، فهذا يعني أنك لا تستطيع فرض قيد أصلي على السلسلة يقول إن “هذا الـUTXO في المستقبل لا يمكن إلا أن يُصرف بهذه الطريقة”. لم تنتظر Babylon ترقية طبقة الإجماع، بل قدّمت القيود مسبقًا: باستخدام معاملات مُوقَّعة مسبقًا (pre-signed transactions). عند قفل الأموال، يتم توقيع مسارات الإنفاق المسموح بها سلفًا. فإذا لم تتحقق الشروط، فلن تحصل على توقيع صالح لمسار الإنفاق أصلاً. كأنها نقلت “العقد” من طبقة السكربت إلى طبقة التوقيع.$BABY
وبالاستمرار على هذا الخط، هناك نصف آخر وهو إثبات الحالة (state proof). مجرد توقيعات مسبقة تحل مشكلة “مسار الإنفاق”، لكن على التطبيقات الخارجية أيضًا أن تكون قادرة على تأكيد الحالة الحالية للـVault، وأي مسار يجب اتباعه. تستخدم Babylon إثباتات الحالة لتحويل تغيّر حالة الـVault إلى شيء يمكن التحقق منه، بحيث يكون قرار الدفع المشروط مبنيًا على دليل. درست هذه المجموعة مرارًا حتى استقام المفهوم: التوقيع المسبق يضبط “كيف يمكن إنفاق المستقبل”، وإثبات الحالة يضبط “ما هي الحالة الحالية”. عند جمع الأمرين معًا فقط يكتمل دفع مشروط قابل للبرمجة.#baby
أولًا، تمسّك بهذه الحيلة، وهناك عدة مقدمات يجب أن تُثبت بإحكام. التوقيع المسبق يعني أن المسارات المسموح بها تُحصَر وتُقيَّد عند لحظة الإعداد. وبعد ذلك، إضافة سيناريو جديد يتطلب إعادة التوقيع وإعادة التنسيق بين الأطراف المتعددة—إنها مرونة تُشترى بدقة صارمة. كذلك إن تكلفة التنسيق بين أطراف متعددة وإدارة المفاتيح تعقيدها لن تذكرها الورقة البيضاء صراحة؛ وبعد التحجيم الحقيقي، تصبح هذه التكاليف الخفية هي الاختبار.
في النهاية، أكثر ما في Babylon ذكاءً هو أنها لا تسلك طريق “تعديل بيتكوين” البطيء والخطِر. بل في ظل عدم تغيير الشبكة الرئيسية وعدم السعي إلى soft fork، قامت بتجميع Vault قابل للبرمجة باستخدام آليات التوقيع والتحقق الموجودة مسبقًا. هذه نمط هندسي كلاسيكي من التوازن: ليست القدرة تأتي بتغيير الطبقة الأساسية، بل تأتي عبر إعادة ترتيب الرموز الحالية ودفعها لتوليد نتيجة جديدة. هل يمكن لهذه الطريق أن تتحمل الأموال الحقيقية والتوازي واسع النطاق؟ هذا لا يزال يتطلب أن تتكلم بيانات الشبكة الرئيسية.
#BitVM
الشيء الذي جعلني أجلس في مكاني فعلاً هو فكرته التي تتجاوز القيود. بما أن Bitcoin Script لا يملك Covenant، فهذا يعني أنك لا تستطيع فرض قيد أصلي على السلسلة يقول إن “هذا الـUTXO في المستقبل لا يمكن إلا أن يُصرف بهذه الطريقة”. لم تنتظر Babylon ترقية طبقة الإجماع، بل قدّمت القيود مسبقًا: باستخدام معاملات مُوقَّعة مسبقًا (pre-signed transactions). عند قفل الأموال، يتم توقيع مسارات الإنفاق المسموح بها سلفًا. فإذا لم تتحقق الشروط، فلن تحصل على توقيع صالح لمسار الإنفاق أصلاً. كأنها نقلت “العقد” من طبقة السكربت إلى طبقة التوقيع.$BABY
وبالاستمرار على هذا الخط، هناك نصف آخر وهو إثبات الحالة (state proof). مجرد توقيعات مسبقة تحل مشكلة “مسار الإنفاق”، لكن على التطبيقات الخارجية أيضًا أن تكون قادرة على تأكيد الحالة الحالية للـVault، وأي مسار يجب اتباعه. تستخدم Babylon إثباتات الحالة لتحويل تغيّر حالة الـVault إلى شيء يمكن التحقق منه، بحيث يكون قرار الدفع المشروط مبنيًا على دليل. درست هذه المجموعة مرارًا حتى استقام المفهوم: التوقيع المسبق يضبط “كيف يمكن إنفاق المستقبل”، وإثبات الحالة يضبط “ما هي الحالة الحالية”. عند جمع الأمرين معًا فقط يكتمل دفع مشروط قابل للبرمجة.#baby
أولًا، تمسّك بهذه الحيلة، وهناك عدة مقدمات يجب أن تُثبت بإحكام. التوقيع المسبق يعني أن المسارات المسموح بها تُحصَر وتُقيَّد عند لحظة الإعداد. وبعد ذلك، إضافة سيناريو جديد يتطلب إعادة التوقيع وإعادة التنسيق بين الأطراف المتعددة—إنها مرونة تُشترى بدقة صارمة. كذلك إن تكلفة التنسيق بين أطراف متعددة وإدارة المفاتيح تعقيدها لن تذكرها الورقة البيضاء صراحة؛ وبعد التحجيم الحقيقي، تصبح هذه التكاليف الخفية هي الاختبار.
في النهاية، أكثر ما في Babylon ذكاءً هو أنها لا تسلك طريق “تعديل بيتكوين” البطيء والخطِر. بل في ظل عدم تغيير الشبكة الرئيسية وعدم السعي إلى soft fork، قامت بتجميع Vault قابل للبرمجة باستخدام آليات التوقيع والتحقق الموجودة مسبقًا. هذه نمط هندسي كلاسيكي من التوازن: ليست القدرة تأتي بتغيير الطبقة الأساسية، بل تأتي عبر إعادة ترتيب الرموز الحالية ودفعها لتوليد نتيجة جديدة. هل يمكن لهذه الطريق أن تتحمل الأموال الحقيقية والتوازي واسع النطاق؟ هذا لا يزال يتطلب أن تتكلم بيانات الشبكة الرئيسية.
#BitVM
