أثار نقاش عام بين بوليجون كبير التكنولوجيا موديت جوبتا ومؤسس Zcash زوكو ويلكوك سؤالًا حول ما إذا كانت أنظمة العملات الرقمية التي تركز على الخصوصية يمكنها ضمان بقاء الإمدادات النقدية سليمة. يدور النزاع حول ثغرة تزوير في تجمع معاملات Zcash المحمية عام 2019 وما إذا كانت آليات التدقيق في الشبكة يمكنها إثبات عدم حدوث إنشاء عملات غير شرعي.
الأمور التي يجب معرفتها:
- تساءل كبير التكنولوجيا في بوليجون عما إذا كان بالإمكان التحقق من سقف Zcash البالغ 21 مليون عملة بسبب خطأ لانهائي تم اكتشافه في مارس 2019 وتم إصلاحه بعد سبعة أشهر
- يجادل مؤسس Zcash بأن آليات المحاسبة "turnstile" تجعل التزوير غير المكتشف مستحيلًا بتتبع جميع القيم التي تدخل وتخرج من التجمعات المحمية
- يسلط الخلاف التقني الضوء على التوتر بين خصوصية المعاملات وإمكانية تدقيق الإمدادات في تصميم العملة الرقمية
الخلاف العام
بدأ جوبتا النقاش على X بتأكيد مباشر حول غموض Zcash. كتب: "لا يعرف أحد كم عدد عملات Zcash الموجودة فعليًا". "الأصول المحمية مثل Zcash يصعب تدقيقها. في مارس 2019، تم اكتشاف خطأ في التزوير اللانهائي في أصول Zcash المحمية. تم إصلاحه في أكتوبر 2019 ولكن لا يوجد طريقة مضمونة لمعرفة ما إذا كان الخطأ قد تم استغلاله من قبل."
لاحقًا، اعتدل في موقفه، قائلاً إن التحليل التحليلي يقترح أن الثغرة لم تستغل على الأرجح.
"بناءً على التحليل الإحصائي، من غير المحتمل أن يكون الخطأ قد استغل لذلك لا داعي للفزع"، أضاف جوبتا.
وصف تعليقاته بأنها تحديد لفئة خطر جوهري بدلاً من الادعاء بالاستغلال الفعلي. "أنا فقط أريد تسليط الضوء على ضعف محتمل في Zcash والتجمعات المماثلة"، أوضح.
رفض ويلكوك الوصف باعتباره غير دقيق. وجه جوبتا إلى عمليات التدقيق المتاحة للجمهور التي تراقب القاعدة النقدية. "إنها توضح سلامة القاعدة النقدية لـ Zcash"، كتب ويلكوك، مضيفًا أن "تحليل نظري اللعبة البسيط يظهر كذلك أن نسبة التزوير صفر."
أشار مؤسس Zcash إلى تجربة فكرية تتعلق بتجمع Sprout القديم.
كتب: "لنفرض أن شخصًا ما قد زيف ZEC في تجمع Sprout قبل 28 أكتوبر 2018". "ثم هناك 'سباق للخروج' بين المزيفين وضحاياهم. من يحرك ZEC خارج تجمع Sprout أولًا يحتفظ بكل المال. النتيجة: لم يكن هناك تزوير."
أضاف ويلكوك أن حتى لو كان هناك تزوير، فإن الإمدادات الكلية ستظل مقيدة. "حتى لو كان هناك تزوير... سيظل هناك فقط 16,355,911 ZEC موجودة، ولا يزال فقط 21 مليون مستخدم"، كتب. "شكرًا، turnstiles!"
الخلفية التقنية
أثرت الثغرة على Sprout، وهو تنفيذ تجمع Zcash المحمي الأصلي. اكتشفت شركة Electric Coin ومؤسسة Zcash الخلل في عام 2018 وكشفت عنه علنًا في 5 فبراير 2019. وقد أزالت ترقية Sapling، التي تم تفعيلها في 28 أكتوبر 2018، الكود الضعيف قبل الكشف العام.
نفذت Zcash نظام محاسبة turnstile لمواجهة الاستغلال المحتمل. يعمل الآلية بتسجيل جميع تحويلات القيم عند الحدود بين التجمعات الشفافة والمحمية. لأن العمليات الخاصة بالدخول والخروج تكشف عن المبالغ في هذه النقاط الانتقالية، يمكن للشبكة حساب رصيد تجمع متوقع. أي محاولة لسحب أكثر من القيم التي دخلت تصبح قابلة للكشف.
أعلنت شركة Electric Coin عند الكشف عن أنها لم تجد أي دليل على التزوير. وقد حافظت المنظمة على هذا الموقف أثناء وصف turnstiles كآلية أمان لحماية النزاهة النقدية حتى في سيناريوهات الاستغلال الافتراضية.
يشير مثال "سباق للخروج" لويلكوك إلى نظرية اللعبة.
قدم المهاجم الذي أنشأ عملات زائفة داخل Sprout سيتنافس مع الحائزين الشرعيين لسحب الأموال قبل أن تمنع قيود turnstile عمليات الخروج الإضافية. عدم وجود نزيف في التجمع أو تسويات سلبية غير مبررة يسيب أن التزوير لم يحدث على نطاق واسع.
ركز رد جوبتا على الحدود المعرفية بدلاً من مهاجمة نوايا تصميم Zcash. "ربما كان يجب أن أكون أكثر وضوحًا"، كتب. "نظرًا لاحتمالية وجود الثغرات، لا يوجد ضمان بأن التجمعات المحمية تحتوي على نفس مقدار Zcash المتداولة بداخلها مثل Zcash الشفافة التي دخلت. لذلك، لا يمكنك أن تكون متأكدًا بنسبة 100٪ من الإمدادات الكلية الفعلية."
اعترف بأن الخطر العملي يظل ضئيلًا. "احتمالية استغلال ثغره كهذه هي في الأساس صفر"، أكد جوبتا.
فهم الميكانيكا
يعكس نموذج Zcash الاقتصادي هيكل Bitcoin. يحدد البروتوكول سقف عرض ثابت يبلغ 21 مليون قطعة موزعة عبر جدول إصدار يعتمد على التحرر. يظهر هذا السقف في كل الوثائق الرسمية.
تسمح بروتوكولات انعدام المعرفة لـ Zcash بإخفاء مبالغ المعاملات الفردية وهوية المشاركين داخل التجمعات المحمية. ومع ذلك، تخلق هذه الميزات المتعلقة بالخصوصية تحديًا في التدقيق الذي لا يواجهه بلوكشينات شفافة. يجب أن يوازن البروتوكول بين إخفاء المعاملات المحددة مع الحفاظ على إمداد إجمالي يمكن التحقق منه.
تعمل turnstiles كوسائل اتصال بين الأجزاء الشفافة والخاصة للشبكة. عندما تنتقل العملات من العناوين الشفافة إلى التجمعات المحمية، يسجل البلوكشين مبلغ الإيداع. عندما تخرج العملات إلى العناوين الشفافة، يصبح مبلغ السحب مرئيًا. الفرق التجميلي بين الودائع والسحوبات المسجلة يحدد التوازن المحمي الأقصى الممكن.
لا يمكن لهذه الآلية المحاسبية الكشف عما إذا كان هناك تزوير قد حدث داخل تجمع محمي خلال فترة زمنية معينة. ولكن يمكنها الكشف إذا كانت هناك محاولة لسحب أكثر من المواتر المسجلة يمكن أن تسمح به. هذا التمييز يبرز التوتر الأساسي في النقاش.
أفكار ختامية
تسلط المناقشة الضوء على الأسئلة الأساسية حول إمكانية التحقق في الأنظمة الرقمية المشفرة التي تحافظ على الخصوصية. بينما توفر آليات Zcash الخاصة بـ turnstile أدلة احتمالية قوية ضد التزوير غير المكتشف، تكشف المناقشة عن معايير مختلفة لما يشكل دليلاً حاسمًا في البيئات النقدية المبنية على التشفير المعاصر. تم تداول ZEC عند سعر 325 دولار في وقت النشر.