A16z كريبتو تنتقد إساءة استخدام مصطلح ZK، وترقية Jolt zkVM نحو ZK حقيقي

A16z Crypto – فرع الاستثمار في الويب3 لصندوق رأس المال المخاطر الرائد Andreessen Horowitz – قد أدلى بتصريحات تنتقد الاستخدام الشائع لمصطلح “ZK” بشكل غير دقيق في مجتمع المطورين، في مدونة حديثة قدمت عن Jolt zkVM.

وفقًا للمقال، “معظم zkVM في الواقع ليست زيرو-نولدج بالمعنى الحقيقي – إلا إذا تم تطبيق عملية ‘تغليف’ مكلفة.” غالبًا ما تتطلب هذه العملية إثباتًا متكررًا للتحقق من خلال إثبات zkVM داخل نظام إثبات آخر يحقق فعليًا خاصية zero-knowledge. هذا الأسلوب لا يستهلك فقط موارد حسابية كبيرة، بل يفرض غالبًا التنازل عن الشفافية، بسبب إنشاء آلية إعداد موثوقة (trusted setup).

كما أشار فريق المؤلفين إلى أن في العديد من الحالات، أصبح “ZK” اختصارًا لـ “الاختصار” (succinctness) – أي أن الأدلة ذات حجم صغير وسرعة تحقق عالية – بدلاً من ضمان الخصوصية الحقيقية لخاصية zero-knowledge.

وأكدت A16z Crypto أن مع تزايد اهتمام المجتمع بالخصوصية – التي تتطلب حقًا zero-knowledge لحماية البيانات الحساسة للمدعين – فإن استخدام المصطلحات بشكل غير دقيق أصبح مشكلة خطيرة.

ما هو إثبات ZK؟

إثبات zero-knowledge (ZK proof) هو تقنية تشفير تتيح لطرف (المُثبِت) إقناع الطرف الآخر (المدقق) بأن بيانًا معينًا صحيح، دون الكشف عن أي معلومات أساسية أخرى غير صحة البيان.

تم تطويرها في البداية في البيئة الأكاديمية، ويُعتقد أن أول تطبيق تجاري واسع النطاق لإثبات ZK ظهر في صناعة العملات المشفرة، خاصة مع ظهور Zcash. هذا المشروع نفذ zk-SNARKs – نوع من الأدلة المختصرة – بهدف توفير الخصوصية على السلسلة من خلال إخفاء بيانات المعاملات.

منذ ذلك الحين، تم تطبيق التشفير zero-knowledge على نطاق واسع في العديد من نماذج البلوكشين الجديدة، خاصة حلول التوسعة لـ Ethereum Layer 2 و zk-Rollups.

الخصوصية أصبحت الآن أيضًا موضوعًا رئيسيًا يثير اهتمام المطورين والمستثمرين في العملات الرقمية، حيث يعتقد الكثيرون أن الشفافية المطلقة لمعظم البلوكشين الحالية قد تعيق الاعتماد الواسع، خاصة من قبل المؤسسات المالية.

على سبيل المثال، قال الرئيس التنفيذي لشركة Digital Currency Group، باري سيلبرت، مؤخرًا إنه يتوقع تدفق استثمارات كبيرة نحو البلوكشين التي تركز على الخصوصية.

حل Jolt

أما من ناحية أخرى، فقد أطلقت Jolt zkVM مفتوحة المصدر من A16z ترقية مهمة يوم الثلاثاء، تتيح دعم إثبات zero-knowledge الأصلي (native) بشكل حقيقي.

Zero-Knowledge Virtual Machine (zkVM) هو بيئة تشغيل برامج قادرة على إصدار أدلة تؤكد أن قطعة من الكود تم تنفيذها، دون الكشف عن البيانات المدخلة.

سابقًا، مثل العديد من التطبيقات الأخرى، كانت Jolt تستخدم بشكل رئيسي إثبات ZK لتحقيق الاختصار بدلاً من الخصوصية الشاملة. ولتصحيح هذا القيد، قام فريق التطوير بتطبيق آلية “مخطط الطي” (folding scheme) المستمدة من التسعينيات.

على وجه التحديد، دمجت Jolt آلية NovaBlindFold لإنشاء أدلة مُعتمة (blinded proofs)، مما يمنع تسرب المعلومات ويساعد النظام على أن يكون مناسبًا للتطبيقات التي تتطلب الخصوصية.

وفقًا للمدونة، كانت النتيجة النهائية هي دليل zero-knowledge يزيد حجمه حوالي 3 كيلوبايت فقط عن دليل Jolt السابق الذي لم يكن يمتلك خاصية ZK، مما يظهر أن التكلفة الإضافية من حيث الحجم كانت صغيرة نسبيًا مقارنة بالفوائد التي توفرها من حيث الخصوصية.