يُبلّغ مطوّر Hazync عن تحقق يستغرق أجزاءً من الثانية (ميلي ثانية) للكتل من 1 حتى 1,789، بينما لا تزال حملة الإثبات لسلسلة كاملة غير مكتملة.
يُفيد مطوّر Hazync أن مُتحقّقًا مستقلًا بحجم 1.7 ميغابايت راجع إيصالًا تشفيريًا طوله 226,434 بايتًا يغطي أول 1,789 كتلة من بيتكوين في 27 ميلي ثانية. يحدّ الكشف في 15 أغسطس هذا النتيجة إلى جزء مبكر من تاريخ بيتكوين. لا تزال حملة إثبات كاملة من التأسيس حتى الطرف غير مكتملة.
Hazync هو نموذج بحثي يستخدم آلة افتراضية التشفير صفرّي المعرفة من RISC Zero، أو zkVM، لجعل التحقق من صحة بيتكوين قابلاً لإعادة الاستخدام. تنفّذ zkVM برنامج التحقق، ويمنح ناتج التنفيذ (الإيصال) مستخدمين آخرين ملفًا مضغوطًا للتحقق. يركّز تصميم المطوّر توليد البرهان لدى المُثبتين (provers) ويترك التحقق من الإيصال لعدد أكبر بكثير من المستخدمين.
هاتان المهمتان لهما تكاليف مختلفة جذريًا. يقدّر المطوّر بحوالي 17 سنة GPU للملء الرجعي التاريخي، تليها قدرة مكافئة لحوالي ستة وحدات Nvidia L40S لمواكبة الكتل الجديدة. تأتي فحوصات الإيصال الرخيصة بعد أن يوفّر المُثبتون والمدققون ومشغلو الأرشيف العمل المكلف في المنبع.
يصف مستودع Hazync العام برنامج ضيف بُني من أجزاء كبيرة من كود إجماع Bitcoin Core v28 وlibsecp256k1، وهو مُجمَّع لـ RISC-V ذو 32 بت. إن إعادة استخدام كود Core تقلل مقدار سلوك الإجماع الذي يتعين إعادة صياغته داخل دائرة منفصلة.
يُفيد هذا القياس تقدير المطور بحوالي 17 سنة GPU لملء رجعي من التكوين حتى الطرف. توفر المواد المتاحة معايير أداء تمثيلية للمشروع بدلًا من قياس مُدقق عبر كل حقبة من تاريخ بيتكوين. لذلك تظل كفاءة Hazync على سلسلة كاملة تقديرًا حتى اكتمال الحملة.
يمكن لتغييرات البرامج أيضًا محو عملٍ مكتمل. تلتزم كل إيصال Hazync بمعرّف METHOD_ID، وهو بصمة لبرنامج الضيف المُجمَّع. يتلقى بناءٌ جديد للضيف مُعرّفًا جديدًا، ما يترك الإيصالات الأقدم مرتبطة بالإصدار السابق.
أعاد المشروع تشغيل لوحة التكوين (genesis) في 4 أغسطس بعد أن أجبر تدقيق داخلي على وضع خط أساس جديد. قد تؤدي إصلاحات لاحقة للسلامة إلى تشغيل إعادة مماثلة بعد تراكم وقت GPU أكبر بكثير. لذا يمتد ميزان الإثبات ليشمل الكود المستقر والملء الرجعي التاريخي والقدرة المستمرة حتى الطرف.
يحتوي الضيف نفسه على حدّ مراجعة مهم، إذ يعمل داخله كود إجماع Core الكبير، إلى جانب مقاطع يواصل المشروع صيانتها لجدول الإعانة وأعماق تفعيل السكربت. يقول المشروع إن جدول علم السكربت لديه مُختبر تفاضليًا بوصفه مجموعةً شاملة سليمة لقواعد Core، ما يسمح بالرفض الإضافي في الاتجاه المقصود للحفاظ على السلامة.
تقوم طبقة قابلية نقل C++ بتكييف Core مع zkVM، كما تُلتزم مُراكمَة Utreexo غير التابعة لـ Core بتغييرات مجموعة مخرجات المعاملات غير المنفقة في بيتكوين. تشمل الافتراضات المُعلنة أيضًا نظام الإثبات الخاص بـ RISC Zero وSHA-256 وsecp256k1. تحدد Hazync طبقات قابلية النقل والمراكم كأهداف مراجعة متبقية ذات أولوية قصوى.
يذكر المستودع أنه جرت في أغسطس مراجعتان خارجيتان بمساعدة الذكاء الاصطناعي فشلتا في العثور على مسار يسمح للضيف بقبول سلسلة غير صالحة. لا يزال تدقيق مهني مُكلَّف غير مكتمل. يتيح الكود العام التدقيق من خارج النظام، ولا تزال ضمانات الإنتاج تعتمد على فحصٍ عدائي للدقّة للضيف نفسه ولكل مكوّن داخل حدود إثباته.
تقسم Hazync المزامنة دون الحاجة إلى الثقة إلى عدة مهام بمشغّلين وبميزانيات مختلفة. يمكن أن يصل التحقق من الإيصالات إلى أجزاء من الملي ثانية ضمن نطاق مُثبت. يستهلك توليد الإثبات قدرة وحدات GPU، ويحتفظ مشغلو الأرشيف بالبيانات الأساسية، وتُقارن العقد الأطراف، ويقيّم المدققون الضيف.
قد يقلل التنفيذ المستقر مع قدر كافٍ من الحوسبة ومراجعة خارجية من عمليات التحقق المتكررة عبر العقد الجديدة. وفي مرحلة المشروع الحالية، يغطي فحص مدته 27 ملي ثانية كما أبلغ المطور بحدّ فقري محدود، بينما يصف تقدير 17 سنة GPU المسار غير المكتمل حتى طرف بيتكوين.