تحديثات a16z كريبتو تُحفز zkVM لدعم المعرفة الصفرية الأصلية، مما يواجه سوء استخدام تسمية 'ZK' في الصناعة
أعلنت شركة a16z كريبتو، الذراع الخاص بـ Web3 لشركة رأس المال المغامر أندريسن هورويتز، في 3 مارس 2026 عن ترقية مهمة لآلة الافتراضات المفتوحة المصدر “جولت” التي تدعم بشكل أصلي الخصوصية الحقيقية بدون الحاجة إلى تغليف أدلة متكرر مكلف.
تطبق التحديث خطة التشكيل NovaBlindFold لإخفاء رسائل إثبات جمع التحقق، مما يجعل جولت مناسبة للتطبيقات الخاصة مع إضافة حوالي 3 كيلوبايت فقط إلى حجم الدليل دون زيادة ملحوظة في وقت الإثبات. كما ينتقد الإعلان الاستخدام الواسع لمصطلح “ZK” بشكل خاطئ في الصناعة، مشيرًا إلى أن معظم أنظمة zkVM تستخدم المصطلح للإشارة إلى الاختصار وليس للخصوصية الحقيقية لبيانات الإثبات، وهو تمييز يصبح أكثر إشكالية مع تزايد تركيز المطورين على الخصوصية.
تسليط الضوء على سوء استخدام المصطلحات التقنية في منشور تقني
يلفت منشور مدونة a16z كريبتو الانتباه إلى ما يصفه المؤلفون بأنه انحراف كبير في المصطلحات داخل مجتمع تطوير البلوكشين. يقول المنشور: “معظم أنظمة zkVM ليست في الواقع ذات معرفة صفرية — إلا إذا تم تطبيق إجراء تغليف مكلف”، في إشارة إلى ممارسة إثبات صحة zkVM داخل نظام إثبات آخر يوفر خصائص المعرفة الصفرية بشكل متكرر.
يفرض هذا الإجراء تكاليف حسابية وغالبًا ما يتطلب التضحية بالشفافية من خلال إدخال إعدادات موثوقة. يلاحظ المؤلفون أن “zk” أصبح يُستخدم على نطاق واسع كاختصار لـ"الاختصار" — أي إثباتات قصيرة وسريعة التحقق، بدلاً من الإشارة إلى الخصوصية الحقيقية للبيانات.
“مع تزايد تركيز المجتمع على الخصوصية — الذي يتطلب معرفة صفرية حقيقية، وهي تتعلق بخصوصية البيانات الحساسة للمثبت — فإن هذا الاستخدام الخاطئ للمصطلحات أصبح مشكلة حقيقية”، يضيف المنشور، مشيرًا إلى تزايد الطلب على أنظمة التشفير التي تحمي معلومات الإثبات بدلاً من مجرد ضغط عملية التحقق.
تُعد إثباتات المعرفة الصفرية تقنيات تشفير تتيح لطرف واحد إقناع طرف آخر بصحة بيان معين دون الكشف عن المعلومات الأساسية وراءه. على الرغم من أنها طُورت أكاديميًا في البداية، إلا أن صناعة العملات الرقمية قدمت أول تطبيقات تجارية واسعة النطاق، خاصة استخدام zk-SNARKs في Zcash للخصوصية على السلسلة من خلال بيانات المعاملات المغطاة. توسعت التكنولوجيا منذ ذلك الحين إلى حلول التوسعة من الطبقة الثانية على إيثريوم وأنظمة zk-Rollups أخرى، مع إعادة ظهور الأولوية للخصوصية من قبل المؤسسات نظرًا لقيود شفافية البلوكشين.
التنفيذ الفني عبر NovaBlindFold
كانت النسخة السابقة من جولت تفتقر إلى المعرفة الصفرية تحديدًا لأن رسائل إثبات جمع التحقق كانت تكشف عن بيانات الشاهد. الحل الذي تم تنفيذه عبر NovaBlindFold يتضمن إرسال التزامات إخفاء لهذه الرسائل بدلاً من إرسالها بشكل واضح، مما يخلق دليلًا “مغطى” يُرمز إليه بـ π.
هذا الدليل المغطى هو في الواقع أقصر من دليل جولت الأصلي لأنه يضغط عناصر الحقل المتعددة إلى عناصر مجموعة واحدة. ومع ذلك، فإن التغطية تخلق تحديًا في التحقق، حيث لم يعد بإمكان المدقق التحقق مباشرة من صحة رسائل جمع التحقق.
الحل يمدد π إلى دليل أطول قليلاً (π، π’)، حيث يوضح π’ أن القيم داخل الالتزامات المغطاة ستلبي فحوصات مدقق جمع التحقق. يقل حجم π تقريبًا عن حجم الدليل غير ZK، مع تعويض البيانات الإضافية من π’، مما ينتج دليل معرفة صفرية يزيد حجمه حوالي 3 كيلوبايت فقط عن النسخة غير ZK الأصلية.
يستخدم بناء π’ تقنية NovaBlindFold التي تعبر عن فحوصات مدقق جمع التحقق كنظام قيود وتدمج عشوائيًا الشاهد مع حل عشوائي مستقل تم اختياره عشوائيًا. هذا الحل المدمج آمن للكشف لأنه يخفي أي معلومات قد يكون الشاهد الحقيقي قد تسربها، مماثلًا للسرية المطلقة التي تحققها أشرطة التشفير ذات الاستخدام الواحد.
للحفاظ على اختصار الدليل، يطبق التنفيذ تقنية Spartan لإثبات أن الحل المدمج هو تعيين مرضٍ، مما يضمن أن π’ ينمو بشكل لوغاريتمي فقط مع طول الحل بدلاً من خطي.
الآثار على خصوصية البلوكشين والتوسعة
تضع الترقية جولت في موقع يمكنه من أداء وظيفتين داخل بنية البلوكشين. يمكن للمطورين استخدام zkVM لتوسيع التطبيقات باستخدام إثباتات تعتمد على وحدات معالجة الرسوميات أو للتطبيقات التي تركز على الخصوصية والتي تتطلب إثباتات تُنتج على أجهزة ذات موارد محدودة مثل الهواتف المحمولة.
عبر الرئيس التنفيذي لمجموعة العملات الرقمية الرقمية Barry Silbert عن توقعات بتدفقات مالية كبيرة نحو شبكات البلوكشين التي تركز على الخصوصية، مما يعكس اعترافًا أوسع في الصناعة بأن شفافية المعاملات على دفاتر الحسابات العامة قد تحد من اعتماد المؤسسات. لذلك، جذبت سلاسل الخصوصية والتشفير بمعرفة صفرية استثمارات وتطويرات متجددة.
تُحقق تقنية جولت هذه القدرات دون الحاجة إلى إعداد موثوق أو أنظمة إثبات متكررة، مما قد يخفض الحواجز أمام المطورين الراغبين في دمج وظائف تحافظ على الخصوصية في تطبيقاتهم. يتيح الطابع المفتوح للمشروع التحقق المجتمعي والمساهمة في التطوير المستمر.
الأسئلة الشائعة: جولت zkVM وخصوصية المعرفة الصفرية
ما الفرق بين “ZK” للاختصار versus الخصوصية الحقيقية للمعرفة الصفرية؟
في مصطلحات التشفير، تشير المعرفة الصفرية تحديدًا إلى الخاصية التي لا يكشف فيها الدليل عن أي معلومات بخلاف صحة البيان المُثبت، مما يحمي خصوصية المُثبت. ومع ذلك، تستخدم العديد من مشاريع البلوكشين مصطلح “ZK” بشكل غير رسمي للدلالة على الاختصار — أي الدليل القصير والسريع التحقق — دون تقديم خصوصية فعلية. يصبح هذا التمييز حاسمًا للتطبيقات التي تتعامل مع بيانات حساسة حيث تكون السرية الحقيقية مطلوبة.
كيف يحقق ترقية جولت المعرفة الصفرية دون تأثير على الأداء؟
يطبق جولت خطة NovaBlindFold لتغليف رسائل إثبات جمع التحقق التي كانت تكشف سابقًا عن بيانات الشاهد. تخلق التقنية التزامات إخفاء، وتضغط عناصر الدليل، وتستخدم نظام تحقق مدمج للشاهد يضيف حوالي 3 كيلوبايت فقط إلى حجم الدليل مع تأثير ضئيل على وقت الإثبات، متجنبًا الحاجة إلى التغليف المتكرر المكلف عادةً لإضافة الخصوصية إلى أنظمة غير ZK.
لماذا أصبح الدعم الأصلي للمعرفة الصفرية مهمًا لتطوير البلوكشين؟
زاد الاهتمام المؤسساتي المتزايد بتقنية البلوكشين من تسليط الضوء على الشفافية كعقبة محتملة، حيث تتطلب الشركات غالبًا سرية المعاملات. تتيح أنظمة التشفير المركزة على الخصوصية حالات استخدام متوافقة مع اللوائح مع الحفاظ على فوائد البلوكشين. بالإضافة إلى ذلك، تتطلب وكلاء الذكاء الاصطناعي والأنظمة الآلية بشكل متزايد التحقق الخاص من العمليات الحسابية، مما يخلق طلبًا على أنظمة zkVM التي يمكنها إثبات التنفيذ الصحيح دون الكشف عن المدخلات الحساسة.