مددت عملة Zcash تراجعاتها الأخيرة التي تجاوزت 50% يوم الجمعة لتصل إلى حوالي 310 دولارات، حيث استمرت ثغرة تزوير حرجة تم الكشف عنها في وقت سابق من هذا الأسبوع في التأثير سلبًا على المعنويات.

انخفضت ZEC بنسبة تصل إلى 60% في مرحلة ما، من حوالي 630 دولارًا يوم الخميس إلى ما يقرب من 250 دولارًا يوم الجمعة، قبل أن تستعيد بعض خسائرها، بينما تجاوزت تصفية المراكز 116 مليون دولار — وهي ثالث أكبر تصفية بين العملات المشفرة خلال الـ 24 ساعة الماضية بعد البيتكوين والإيثر — وفقًا لـ CoinGlass.

من الجدير بالذكر أن رقم CoinGlass يعكس صورة جزئية. بيانات تصفية المراكز مجزأة ومعروف أنها أقل من الواقع، مما يعني أن الأحجام الفعلية للتصفية القسرية من المحتمل أن تكون أعلى.

تُظهر بيانات تصفية مراكز Zcash ما يقرب من 72 مليون دولار في تصفية مراكز الشراء (long liquidations) وأكثر من 45 مليون دولار في مراكز البيع (shorts) خلال فترة الـ 24 ساعة، مع ذروة الحجم بين الساعة 8 صباحًا و 9 صباحًا بالتوقيت العالمي المنسق يوم 5 يونيو. صنفت CoinGlass شدة التصفية في الجلسة بـ 3.72 مرة مقابل متوسط السبعة أيام.

جاء الكشف من زوكو ويلكوكس، المؤسس المشارك لـ Zcash ورئيس مختبرات Shielded Labs، إلى جانب الباحثين جيسون ماكجي وتايلور هورنبي، الذين أكدوا أن الثغرة كانت موجودة في دائرة إثبات المعرفة الصفرية (zero-knowledge proof circuit) الخاصة بـ Zcash المسماة Orchard منذ تفعيلها في مايو 2022. سبق أن أبلغت The Block عن الاكتشاف الأولي وانخفاض السعر.

كانت الثغرة، التي تكمن في عنصر غير مقيّد بشكل كافٍ في أداة ضرب عدد قياسي بقاعدة متغيرة (variable-base scalar multiplication gadget) لدائرة Orchard، ستسمح لجهة فاعلة خبيثة بإنفاق نفس الملاحظة المحمية (shielded note) عدة مرات عن طريق الكشف عن مُفرِّغ (nullifier) فريد مع كل عملية إنفاق — مما يؤدي فعليًا إلى سكّ (minting) عملات ZEC مزورة وغير قابلة للكشف وغير محدودة داخل مجمع Orchard.

اكتشف هورنبي الثغرة في 29 مايو، بعد ساعات من إطلاق Anthropic لنموذجها Claude Opus 4.8.

باستخدام إطار عمل تدقيق مخصص مدعوم بالذكاء الاصطناعي أطلق عليه اسم zcash-full-stack-auditor، أجرى هورنبي مراجعة مستهدفة لدائرة Orchard.

أبلغ وكيل تدقيق عن الثغرة الحرجة في حوالي الساعة 6 مساءً بتوقيت MDT. بحلول الساعة 11:53 مساءً، قدم هورنبي إثباتًا للمفهوم (proof-of-concept) وتقريرًا كاملاً إلى مختبر Zcash Open Development Lab عبر Signal. وبحلول ليلة الاثنين التالية، كان تخفيف الثغرة عبر شوكة لينة (soft fork) مباشرًا على الشبكة الرئيسية (mainnet). وقامت ترقية شبكة كاملة، NU6.2، بإعادة تفعيل Orchard عند الكتلة 3,364,600 في 2 يونيو مع الدائرة المصححة.

امتدت فترة التعرض للثغرة من تفعيل Orchard في 31 مايو 2022، وحتى الشوكة اللينة في 1 يونيو 2026 — أربع سنوات ويوم واحد وعشر ساعات. ومن لحظة الإصدار العلني لـ Opus 4.8 إلى تفعيل التصحيح، كانت الفترة أربعة أيام وعشر ساعات تقريبًا.

ما لا يمكن إثباته

ما يجعل هذا الكشف حادًا بشكل خاص هو ما لا يمكن أن يحلّه التصحيح.

تجعل بنية الخصوصية في Zcash من المستحيل تشفيريًا التحقق مما إذا كانت الثغرة قد استُغلت قبل المعالجة. وكان ويلكوكس ومؤلفوه المشاركون واضحين بشأن ذلك.

جاء في الكشف: "لا توجد طريقة لإثبات تشفيريًا ما إذا كانت الثغرة قد استُغلت قبل معالجتها". "نعتقد أنه من المهم أن نكون شفافين بشأن هذا الغموض."

ربما أدى هذا الغموض إلى إنهاء آرثر هايز لمركزه. فقد نشر المؤسس المشارك لـ BitMEX والمدير التنفيذي للاستثمار في Maelstrom هذا الأسبوع أنه باع كامل ممتلكاته من ZEC وممتلكات Maelstrom.

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

المؤيدون يردون

عارضت Shielded Labs والعديد من المؤيدين البارزين القراءة الأكثر تشاؤمًا للكشف.

جادل كريغ سالم، كبير المسؤولين القانونيين في Grayscale، بأنه للاعتقاد بأن الثغرة قد تم تفعيلها بالفعل، كان على شخص ما فحص قاعدة كود Zcash بدقة أكبر من كل مطور في ECC و ZODL و Shielded Labs ومؤسسة Zcash مجتمعين — ثم اختار عدم استنزاف نظام التحكم بالتدفق (turnstile) في مجمع Orchard خلال فترة صعود بأكثر من 20 ضعفًا. قال سالم على X: "يبدو لي ذلك غير محتمل".

قدم كاميرون وينكليفوس، المؤسس المشارك لبورصة العملات المشفرة Gemini، حجة مماثلة. صرح وينكليفوس: "عندما يتعلق الأمر بأي طبقة أولى (L1)، ستكون هناك أخطاء". "المهم هو وجود باحثين على مستوى عالمي يركزون على تقوية الشبكة والبقاء متقدمين على الأشرار." ووصف الاكتشاف السريع والمعالجة بأنه "تصويت بالثقة، وليس مدعاة للقلق".

وضعت باحثة الأمن في MetaMask، تايلور موناهان، الكشف في سياق أوسع. قالت موناهان: "الاستنتاج يجب أن يكون أن هذه النماذج يمكنها وستكشف عن أسوأ الثغرات التي كانت موجودة في الإنتاج دون اكتشاف لسنوات"، مجادلة بأن علاقة Zcash مع باحثي الأمن كانت دائمًا عامل تمييز.

سجل عمل هورنبي الخاص — الذي صدر علنًا جنبًا إلى جنب مع الكشف — يشير إلى أن Opus 4.8 كان متشككًا بشكل ملحوظ في اكتشافه الخاص، مفترضًا في البداية أن الكود الأصلي قد تم تدقيقه بالفعل وبالتالي يجب أن يكون صحيحًا. تطلب الأمر حثًا قبل أن يأخذ القضية على محمل الجد.

فشلت عمليات التدقيق السابقة باستخدام Claude Opus 4.7، بجهد كبير، في الكشف عن الثغرة عندما أعطيت توجيهًا عامًا. في المقابل، وجدها Opus 4.8 في واحدة فقط من أربع عمليات اختبار عندما طُلب منه ذلك بشكل عام، بينما تم العثور عليها بشكل موثوق عندما كان التوجيه مستهدفًا بدقة نحو الأداة المحددة.

الخطوات المقترحة التالية

قالت Shielded Labs إنها تستكشف ترقية للشبكة ستنشر مجمعًا محميًا جديدًا وتفرض محاسبة التحكم بالتدفق (turnstile accounting) لجميع العملات التي تهاجر من Orchard — وهي آلية تسمح لأي شخص بالتحقق من سلامة عرض Zcash وإثبات عدم وجود عملات ZEC مزورة.

سيتطلب الاقتراح موافقة من حوكمة المجتمع. ومن المتوقع نشر متابعة تحتوي على تفاصيل فنية كاملة الأسبوع المقبل. كما تبدأ الشركة رسميًا مشروعًا للتحقق الرياضي من دائرة Orchard وفتحت عمليات بحث عن رئيس للأمن وخبير تشفير.

قال جوش سويارت، مؤسس ZODL، إن السؤال الأكثر أهمية ليس ما إذا كان سيتم بناء مجمع Orchard ثانٍ، بل كيف يضمن البروتوكول عدم تكرار الثغرات أبدًا. إجابته هي التحقق الرسمي.

كتب سويارت في منشور مفصل على X: "قد يكون من الصعب رصد قاعدة فضفاضة". "في هذه الحالة الأخيرة، ظلت القاعدة الفضفاضة غير مكتشفة على الرغم من العديد من عمليات التدقيق والمراجعات الأمنية على مستوى الخبراء." جادل بأن التحقق الرسمي يحل محل المراجعة البشرية بإثبات رياضي يفحص الدائرة بأكملها مقابل مواصفات موجزة وقابلة للقراءة — وهي مواصفات لا يمكن خداع الكمبيوتر بها.

قال سويارت إن مجمع Orchard ثانٍ يمكن، من حيث المبدأ، أن يستهدف ترقية NU7 في نهاية يوليو، وأن دائرة Orchard التي تم التحقق منها رسميًا، إذا اكتملت، يمكن أن تكون أفضل خطوة مؤقتة قبل Tachyon — نظام إثبات Zcash من الجيل التالي، والذي يتم بناؤه مع التحقق الرسمي من الأساس.