💻 computer science

zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing

تُعد zkCraft إطار عمل عملي يستفيد من النماذج اللغوية الكبيرة الموجهة بالأوامر لتوليد أنماط الطفرات، وتوظف آلية بحث مبتكرة قائمة على البراهين للكشف بكفاءة عن التناقضات الدلالية في دوائر المعرفة الصفرية، مما يجسّر الفجوة بين التحقق الرسمي وتصحيح الأخطاء الآلي مع تقليل الاعتماد على الحلول البرمجية.

المؤلفون الأصليون: Rong Fu, Jia Yee Tan, Youjin Wang, Ziyu Kong, Zeli Su, Zhaolu Kang, Shuning Zhang, Xianda Li, Kun Liu, Simon Fong

نُشر 2026-03-04

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Rong Fu, Jia Yee Tan, Youjin Wang, Ziyu Kong, Zeli Su, Zhaolu Kang, Shuning Zhang, Xianda Li, Kun Liu, Simon Fong

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أنك تبني خزنة سحرية (دائرة معرفة صفرية - Zero-Knowledge Circuit). تتيح لك هذه الخزنة إثبات امتلاكك للتركيبة الصحيحة لفتحها دون أن تظهر التركيبة نفسها أبدًا. الأمر يشبه إثبات معرفتك بكلمة مرور سرية دون كتابتها بصوت عالٍ.

المشكلة؟ هذه الخزنات معقدة للغاية. إذا ارتكبت حتى خطأً بسيطًا في المخطط (الكود)، فقد تؤدي الخزنة إلى:

السماح لأي شخص بالدخول (نقص القيود - Under-constrained): تقبل كلمة مرور خاطئة لأن القفل فضفاض للغاية.
حبسك في الخارج (زيادة القيود - Over-constrained): ترفض كلمة مرورك الصحيحة لأن القفل ضيق للغاية.

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

إليك zkCraft. فكر في zkCraft كـ محقق ذكي للغاية لا يبحث فقط عن الإبرة، بل يثبت وجود الإبرة دون أن يلمس كومة القش حتى.

إليك كيف يعمل zkCraft، مقسمًا إلى خطوات بسيطة:

1. المحقق "الموجه بالحث" (النموذج اللغوي الكبير - LLM)

عادة ما يكون العثور على الأخطاء البرمجية مثل رمي السهام وأنت معصوب العينين. يستخدم zkCraft نموذجًا لغويًا كبيرًا (LLM) — وهو أساسًا ذكاء اصطناعي ذكي يقرأ الكود — ليس لحل الرياضيات، بل ليكون شريكًا في العصف الذهني الإبداعي.

التشبيه: تخيل أنك تحاول كسر خزنة. بدلاً من تجربة كل رقم من 0000 إلى 9999، تسأل صديقًا ذكيًا: "ما هي الأرقام الغريبة التي يختارها الناس عادةً؟". يقترح الصديق: "جرب 0000، أو 9999، أو 1234".
ماذا يفعل: يقترح الذكاء الاصطناعي تغييرات محددة ومراوغة على الكود (طفرات/mutations) من المرجح أن تكشف عن خلل ما. إنه يعمل كـ "عراف من المحاولة الواحدة" (Zero-Shot Oracle)، مما يعني أنه يتوقع أفضل الأماكن للبحث دون الحاجة إلى تعلم كل قاعدة محددة أولاً.

2. خريطة "دوامة الصفوف" (تنظيم الفوضى)

بمجرد أن يقترح الذكاء الاصطناł بعض الأماكن للبحث، لا يقوم zkCraft بفحصها واحدًا تلو الآخر. بدلاً من ذلك، ينشئ خريطة فائقة الضغط تسمى متعدد حدود دوامة الصفوف (Row-Vortex polynomial).

التشبيه: تخيل أن لديك مكتبة بها 10,000 كتاب. بدلاً من فحص كل كتاب لمعرفة ما إذا كان يحتوي على خطأ مطبعي، تلتقط صورة للرف بأكمله، وتضغط حجمها لتصبح بحجم طابع بريدي، وتشفّر موقع كل كتاب داخل ذلك الطابع.
ماذا يفعل: يقوم بتجميع كل "التعديلات التي قد تحتوي على أخطاء" في كائن رياضي واحد. هذا يسمح للنظام بطرح سؤال ضخم: "هل أي من هذه التعديلات تسبب خطأً؟" دفعة واحدة، بدلاً من السؤال عنها واحدًا تلو الآخر.

3. "بروتوكول انتهاك المعرفة المتقاطعة" (الإثبات السحري)

هذا هو الجزء الأروع. بدلاً من تشغيل محاكاة حاسوبية بطيئة لمعرفة ما إذا كان هناك خطأ، يستخدم zkCraft إثبات المعرفة الصفرية (تحديدًا "Violation IOP").

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

4. "الإثبات كحالة مضادة" (الحل)

في الماضي، كان العثور على خطأ يعني العثود إلى "ربما". مع zkCraft، الإثبات هو الحل.

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

لماذا يعد هذا أمراً مهماً؟

السرعة: يجد الأخطاء بسرعة أكبر بكثير من الأدوات السابقة لأنه يتوقف عن فحص كل إمكانية ويستخدم الرياضيات لإثبات الوجود فوراً.
الدقة: لديه صفر إنذارات كاذبة. إذا قال النظام إن هناك خطأ، فهناك بالتأكيد خطأ.
القابلية للتوسع: يمكنه التعامل مع الدوائر (الخزنات) الضخمة والمعقدة التي قد تتسبب في تعطل الأدوات القديمة.

باخت-صار:
zkCraft يشبه توظيف مهندس معماري عبقري (الذكاء الاصطناعي) لاقتراح نقاط الضعف المحتملة، ثم استخدام مجهر سحري (إثبات المعرفة الصفرية) للتأكد فوراً مما إذا كانت تلك النقاط معطلة، وأخيراً تسليمك المخطط الدقيق للإصلاح (الحالة المضادة) حتى تتمكن من إصلاحه على الفور. إنه يحول المهمة المستحيلة المتمثلة في تصحيح أخطاء أنظمة الخصوصية المعقدة إلى عملية سريعة وموثوقة ومؤتمتة.

إليك ملخص تقني مفصل لورقة البحث بعنوان: "zkCraft: نموذج لغوي كبير موجه بالطلبات (Prompt-Guided LLM) كأوراكل لأنماط الطفرات صفري المعرفة (Zero-Shot) لدعم الفحص الموجه بـ TCCT."

1. بيان المشكلة

تعد دوائر المعرفة الصفرية (ZK circuits) أساسية للأنظمة القائمة على البلوكشين التي تحافظ على الخصوصية وتدعم التوسع، ولكن من الصعب للغاية تنفيذها بشكل صحيح. يكمن التحدي الجوهري في اختبار اتساق تتبع الأثر والقيود (Trace-Constraint Consistency Test - TCCT): حيث يجب أن يتوافق مولد الشاهد (الذي يحسب القيم الخاصة) تماماً مع نظام القيود المستخدم للتحقق. يؤدي عدم التوافق إلى فئتين حرجتين من الأخطاء:

أخطاء نقص القيود (Under-constrained faults): يقبل نظام القيود آثار تنفيذ لا يمكن لأي شاهد صالح إنتاجها (مما يسمح بإثباتات غير صالحة).
أخطاء فرط القيود (Over-constrained faults): يتم رفض عمليات التنفيذ التي تنتج شهداً صالحاً بواسطة القيود (مما يسبب حجب الخدمة).

تواجه الحلول الحالية قيوداً كبيرة:

أدوات الكشف القائمة على الأنماط أو الثابتة: تفشل في اكتشاف التناقضات الدلالية التي تظهر فقط أثناء توليد الشاهد.
التحقق الرسمي/SMT: يعاني من صعوبة في التوسع ليشمل الدوائر الكبيرة، ولا يمكنه التعامل بكفاءة مع مساحة البحث المشتركة لتعديلات البرنامج وتعيينات المدخلات.
الفحص التقليدي (Fuzzing): يعتمد على استدعاءات مكلفة للمحللات (SMT/SAT) للتحقق، وغالباً ما يولد مرشحات ذات قيمة منخفضة بسبب الطفرات غير الموجهة.
الطرق الموجهة بالنماذج اللغوية الكبيرة (LLM): تحسن جودة الطفرات، ولكنها غالباً ما تكون منفصلة عن عملية توليد الإثبات، مما يؤدي إلى تكاليف تحقق عالية وإيجابيات كاذبة.

2. المنهجية: إطار عمل zkCraft

يعتبر zkCraft مسار عمل أصيل لتقنيات المعرفة الصفرية (ZK-native pipeline) يدمج التوطين الجبري، وإثباتات المعرفة الصفرية الموجزة، والطفرات الموجهة حتمياً عبر النماذج اللغوية الكبيرة. إنه يعيد صياغة البحث عن التعديلات المسببة للثغرات كبيان وجود جبري واحد يتم توثيقه بواسطة إثبات، بدلاً من سلسلة من استعلامات المحلل (solver).

يعمل إطار العمل عبر ثلاث مراحل:

المرحلة 1: استخراج التوقيع المتناثر (التوطين)

بدلاً من الطفرات العشوائية، يقوم zkCraft بإجراء تحليل حتمي مدرك لبنية R1CS لتحديد المرشحات ذات العائد العالي.

بصمة الإصبع (Fingerprinting): يقوم بحساب درجات تشخيصية ( $s_i$ ) لكل صف قيد بناءً على تقاطع متغيرات الشاهد ( $W$ ) ومواقع التعيين الضعيفة ( $K$ ).
مجمع المرشحين: يتم اختيار الصفوف ذات الدرجات الأدنى (التي تشير إلى حساسية عالية للتعيينات الضعيفة) لتشكيل مجمع مرشحين صغير ( $R_{cand}$ )، وعادة ما يكون $k \le 32$ .
أوراكل النماذج اللغوية الكبيرة (LLM Oracles): تعمل النماذج اللغوية الكبيرة الحتمية كـ "أوراكل أنماط صفري المعرفة" لاقتراح تعديلات الطرف الأيمن (RHS) (مثل الحالات الحدية مثل 0، أو $q-1$ ) وتوزيعات الاستدلال للمدخلات. من المهم أن النموذج اللغوي لا يحل القيود؛ بل يعمل فقط على توجيه مساحة البحث.

المرحلة 2: التزام دوامة الصف (Row-Vortex Commitment) وبروتوكول تقاطع انتهاك الـ IOP

هذا هو الابتكار الجوهري. يستبدل zkCraft استعلامات SMT المتكررة بإثبات أوراكل تفاعلي واحد.

متعدد حدود دوامة الصف (Row-Vortex Polynomial): يتم ترميز اختيارات الصفوف المرشحة ( $\delta$ ) وثوابت الاستبدال ( $c$ ) في متعدد حدود ثنائي المتغير $R(X, Y)$ .
بروتوكول تقاطع الانتهاك (Violation IOP): يقوم المبرهن ببناء إثبات تفاعلي للأوراكل (IOP) لتوثيق وجود شاهد $w'$ $w^{'}$ يحقق:
1. القيود المعدلة ( $F_{\delta,c}(w') = 0$ ).
2. ينتج مخرجاً عاماً $y'$ يختلف عن المخرج الأصلي $y$ ( $y' \neq y$ ).
بروتوكول التحقق من المجموع (Sum-Check Protocol): يتم اختزال وجود مثل هذا الشاهد إلى هوية "التحقق من المجموع" عبر نطاق $D$ . يقوم المبرهن بالالتزام بـ $R(X, Y)$ ويشارك في بروتوكول يعتمد على العملات العامة لإثبات أن مجموع البواقي هو صفر بينما يكون متعدد حدود اختلاف المخرج غير صفري.

المرحلة 3: الإثبات كنموذج مضاد (الاستخراج)

شهادة قابلة للتدقيق: عند التحقق بنجاح، يعمل الإثبات $\pi$ كـ "إثبات كنموذج مضاد".
الاستخراج: يقوم المستخرج باستعادة الزوج المكون من $(\delta, c, w')$ من فتحات الإثبات. إذا تضمن السجل (transcript) متعدد حدود الشاهد، فإن الاستكمال (interpolation) يعطي $w'$ مباشرة؛ وإلا، يتم حل نظام خطي.
التوليف (Synthesis): يقوم النظام بتوليف الكود المصدري المتحور $P'$ والنموذج المضاد الملموس $(x', z', y')$ بشكل حتمي دون الحاجة إلى إعادة تنفيذ كاملة لـ TCCT، لأن الإثبات يضمن القبول بالفعل.

3. المساهمات الرئيسية

إطار بحث أصيل لتقنيات ZK: يربط مشكلة الجمع بين التعديلات المسببة للثغرات وبيان الوجود الجبري الواحد المشفر كمتعدد حدود "دوامة الصف" والموثق بواسطة Violation IOP.
تكامل النماذج اللغوية الكبيرة الحتمي: يستخدم النماذج اللغوية الكبيرة حصرياً كأوراكل قوالب لتحديد أنماط الطفرات وتحيز المدخلات، وهي منفصلة عن توليد الإثبات التشفيري لضمان السلامة.
الإثبات كنموذج مضاد: يقدم سير عمل يوفر للمطورين نماذج مضادة ملموسة وقابلة للتدقيق فور التحقق، مما يسهل عملية تحليل السبب الجذري ومعالجته.
التزام دوامة الصف (Row-Vortex Commitment): ترميز مبتكر لمتعدد حدود ثنائي المتغير يجمع بين اختيار الصف ومعاملات الاستبدال، مما يسمح بتمثيل مضغوط لخيارات الطفرة.
آلية التراجع الهجين (Hybrid Fallback): آلية تراجع قوية تستخدم حلول SMT/SAT عندما تتجاوز قيود ZK (الدرجة/النطاق) الحدود، مما يضمن الاكتمال.

4. النتائج التجريبية

قام المؤلفون بتقييم zkCraft على 452 دائرة Circom واقعية (تتراوح من الصغيرة جداً إلى الكبيرة جداً، وتصل إلى 50 ألف قيد) مقابل خطوط الأساس مثل Circomspect و ZKAP و Picus و ZKFUZZ.

فعالية الكشف:
- الإيجابيات الحقيقية (TP): اكتشف zkCraft 88 خطأً فريداً في الاختبار الكامل، متفوقاً على جميع خطوط الأساس.
- الدقة (Precision): حقق دقة بنسبة 100% (صفر إيجابيات كاذبة) عبر جميع أحجام الدوائر، بينما سجلت خطوط الأساس مثل ZKAP و Circomspect معدلات دقة منخفضة تتراوح بين 0.06 و 0.46.
- الجدة (Novelty): اكتشف 65 خطأً إجمالاً، بما في ذلك 6 ثغرات لم تكن معروفة سابقاً في دوائر جاهزة للاستخدام (مثل تزوير الملكية، وحساب المكافآت غير الصحيح).
الكفاءة:
- تقليل استعلامات المحلل: استبدل آلاف استدعاءات SMT بـ Violation IOP واحد.
- السرعة: وصل إلى 90% من النتائج خلال 100 ثانية (العلامة الذهبية في الشكل 2)، وهو أسرع بكثير من الفحص غير الموجه.
- حجم الإثبات: باستخدام HyperPlonk+، ظلت أحجام الإثبات ثابتة عند 96 بايت بغض النظر عن حجم الدائرة، بينما نما وقت المبرهن بشكل دون خطي ( $O(|C|^{0.7})$ ).
دراسة الاستئصال (Ablation): أدى إزالة التزام "دوامة الصف" أو Violation IOP إلى تباطؤ كبير (يصل إلى 100 ضعف) وفقدان بعض الأخطاء، مما يؤكد ضرورة النهج الأصيل لتقنيات ZK.

5. الأهمية والأثر

الربط بين التحقق الرسمي والفحص (Fuzzing): نجح zkCraft في سد الفجوة بين قابلية التوسع في الفحص والضمانات الصارمة للتحقق الرسمي، موفراً مساراً قابلاً للتوسع لتطوير دوائر ZK قوية.
خفض التكلفة: من خلال استبدال التفاعلات المكلفة للمحللات بإثباتات تشفيرية موجزة، فإنه يقلل بشكل كبير من التكلفة الحسابية لاكتشاف الأخطاء من البداية للنهاية.
سير عمل المطورين: توفر ميزة "الإثبات كنموذج مضاد" للمطورين آثاراً ملموسة وقابلة للتدقيق فور التحقق، مما يسهل تحليل السبب الجذري والتصنيف.
الأمن: قدرة إطار العمل على اكتشاف كل من أخطاء نقص وفرط القيود مع صفر إيجابيات كاذبة تجعل منه أداة حاسمة لتأمين الأنظمة التي تحافظ على الخصوصية وبيئات zkVM.

باختصار، يمثل zkCraft تحولاً جذرياً في اختبار دوائر ZK، حيث ينتقل من النهج القائم على الاستدلالات وكثرة استعلامات المحلل إلى منهجية صارمة رياضياً ومدفوعة بالإثبات، وهي منهجية تتسم بالكفاءة العالية والدقة المطلقة.