الوصول إلى تحقق فوري بزمن 27ms على بيتكوين يتطلب 17 عامًا من قوة الحوسبة لوحدات معالجة الرسوميات

أعلن مطورو مشروع Hazync أن أداة تحقق مستقلة بحجم 1.7 ميغابايت تمكنت من فحص إيصال تشفيري بحجم 226,434 بايت يغطي أول 1,789 كتلة من شبكة بيتكوين في 27 ميلي ثانية فقط. هذا الإنجاز الذي نُشر في 15 أغسطس يقتصر على فترة مبكرة من تاريخ بيتكوين، بينما لم تكتمل بعد حملة التحقق الكاملة من كتلة التأسيس الأولى وحتى أحدث كتلة.

كيف يعمل نظام Hazync؟

Hazync هو نموذج بحثي يستخدم آلة افتراضية للمعرفة الصفرية من RISC Zero تسمى zkVM لجعل التحقق من بيتكوين قابلاً لإعادة الاستخدام. تقوم هذه الآلة بتنفيذ برنامج التحقق، وينتج عن ذلك إيصال يمنح المستخدمين ملفاً مضغوطاً يمكن فحصه بسهولة. يعتمد تصميم المطور على تركيز توليد الأدلة لدى جهات محددة، بينما يبقى التحقق من الإيصال متاحاً لعدد أكبر بكثير من المستخدمين.

الفرق الكبير بين تكلفة التحقق والتوليد

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

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

الاستفادة من كود بيتكوين الأساسي

يصف مستودع Hazync العام برنامجاً مبنياً من أجزاء كبيرة من كود الإجماع الخاص بإصدار Bitcoin Core v28 ومكتبة libsecp256k1، مُجمّعة للعمل على معمارية RISC-V ذات 32 بت. إعادة استخدام كود الأساسي هذا تقلل من حجم سلوك الإجماع الذي يجب إعادة صياغته في دائرة منفصلة.

يقيس معيار كتلة رقم 741,000 تكلفة توليد الأدلة على بيانات بيتكوين الحديثة. يذكر المطور أن الكتلة احتوت على 670 مدخلاً وتتطلب 394 ورقة UTXO. استغرق إثباتها عبر 16 جزءاً على وحدتي L40S حوالي 55 دقيقة، بما في ذلك 27 دقيقة للتجميع.

التحديات التي تواجه المشروع

يمكن للتغييرات البرمجية أيضاً أن تلغي العمل المنجز. كل إيصال في Hazync يرتبط بـ METHOD_ID وهو بصمة البرنامج المُجمّع. أي بناء جديد للبرنامج يحصل على معرف جديد، تاركاً الإيصالات السابقة مرتبطة بالنسخة السابقة فقط. أعاد المشروع تشغيل لوحة التأسيس الخاصة به في 4 أغسطس بعد مراجعة داخلية فرضت خط الأساس الجديد. أي إصلاح لاحق للموثوقية قد يتسبب في نفس إعادة التعيين بعد تراكم وقت أكبر بكثير من تشغيل وحدات المعالجة.

ما الذي لا يستبدله الإيصال؟

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

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

المراجعة الأمنية والثقة

يحتوي البرنامج نفسه على حدود مراجعة مهمة، حيث يعمل كود الإجماع الأساسي الضخم بداخله، إلى جانب أجزاء يديرها المشروع لجدول الدعم وارتفاعات تفعيل السكربت. يذكر المشروع أن جدول أعلام السكربت الخاص به مُختبَر بشكل تفاضلي كمجموعة شاملة سليمة لقواعد Core، مما يسمح برفض إضافي في الاتجاه المقصود للحفاظ على الموثوقية.

طبقة نقل من C++ تُكييف كود Core للعمل مع zkVM، وتراكم Utreexo غير التابع لـ Core يلتزم بالتغييرات في مجموعة المخرجات غير المنفقة لبيتكوين. الافتراضات المعلنة تشمل أيضاً نظام إثبات RISC Zero و SHA-256 و secp256k1. يحدد Hazync طبقات النقل والتراكم كأولويات قصوى للمراجعة المتبقية.

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

الخلاصة

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

في المرحلة الحالية للمشروع، فحص الـ 27 ميلي ثانية الذي ذكره المطور يغطي جزءاً محدوداً من السلسلة، بينما تقدير 17 عاماً من عمل وحدات المعالجة يصف الطريق غير المكتمل حتى قمة بيتكوين الحالية. التنفيذ المستقر مع قدرة حسابية كافية ومراجعة خارجية قد يقلل من تكرار التحقق عبر العقد الجديدة في المستقبل.

الأسئلة الشائعة

س: ما هو Hazync وكيف يختلف عن العقد التقليدي لبيتكوين؟
ج: Hazync مشروع بحثي يستخدم تقنية المعرفة الصفرية لتوليد إيصال واحد مضغوط يثبت صحة كتل بيتكوين. بدلاً من إعادة تشغيل السلسلة كاملة كما تفعل العقد التقليدية، يمكن لأي مستخدم التحقق من صحة نطاق كامل من الكتل في جزء صغير من الثانية باستخدام ملف صغير الحجم.

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

س: هل اكتمل مشروع Hazync وجاهز للاستخدام؟
ج: لا، المشروع ما زال في مرحلة النموذج البحثي. التحقق البالغ 27 ميلي ثانية يغطي فقط الكتل الأولى من بيتكوين، ولم يكتمل بعد إثبات السلسلة كاملة من كتلة التأسيس حتى أحدث كتلة. كما أن المشروع لا يزال بحاجة إلى مراجعة أمنية مهنية مستقلة قبل اعتباره جاهزاً للاستخدام الإنتاجي.