A16z Crypto تحدث Jolt zkVM، وتنتقد الاستخدام الفضفاض لتسمية "ZK"

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

"إن معظم zkVMs ليست فعلاً zero knowledge — إلا إذا تم تطبيق إجراء “تغليف” مكلف"، كما ورد في المدونة. "هذا التغليف عادةً ما يشمل إثباتياً متكررًا (recursively proving) للتحقق من إثبات zkVM داخل نظام إثبات آخر

كما أشار المؤلفون إلى أنه غالبًا ما أصبح "zk" اختزالاً لـ "صفة الإيجاز"، أي أن الإثباتات "قصيرة وسريعة التحقق"، وليس الخصوصية الحقيقية التي توفرها zero-knowledge. 

"ومع تزايد تركيز مجتمع العملات الرقمية على الخصوصية — والتي تتطلب zero knowledge حقيقية، وتعني حماية خصوصية بيانات المُثبِت الحساسة — بدأ هذا الاستخدام الخاطئ للمصطلحات يشكل مشكلة حقيقية"، أضافت a16z. 

ما هي ZK proofs؟

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

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

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

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

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

حل Jolt

من جانبها، طرحت Jolt zkVM مفتوحة المصدر التابعة لـ a16z ترقية جديدة مهمة لدعم إثباتات zero-knowledge بشكل أصلي يوم الثلاثاء.

تُستخدم ما يسمى بآلات Zero-Knowledge الافتراضية لتشغيل البرامج وتوليد إثبات أن وظيفة ما من الكود تم تنفيذها دون الكشف عن المدخلات.

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

على وجه الخصوص، استخدمت Jolt مخطط NovaBlindFold للطي لإنتاج إثباتات مخفية تمنع تسرب المعلومات، "مما يجعلها مناسبة لتطبيقات الخصوصية".

"النتيجة النهائية هي إثبات ZK أكبر بحوالي 3 كيلوبايت فقط من إثبات Jolt الأصلي غير المزود بالـZK"، كما تذكر المدونة.