air-cryptographer
تصميم وتدقيق أنظمة قيود AIR
تتطلب أنظمة البراهين ذات المعرفة الصفرية قيود AIR سليمة رياضياً لضمان سلامة الحساب. توفر هذه المهارة إرشادات خبيرة حول تصميم التتبع، والقيود الطرفية، وحجج التبادل، ومنهجيات التدقيق الأمني للبروتوكولات ZK.
下載技能 ZIP
在 Claude 中上傳
前往 設定 → 功能 → 技能 → 上傳技能
開啟並開始使用
測試它
正在使用「air-cryptographer」。 كيف أتحقق من أن AIR الخاص بي يحتوي على أعمدة غير مقيدة؟
預期結果:
- جرد عمود التتبع: سرد كل عمود مع معناه ونوعه والمكان الذي يتم فيه تقييده
- علامة تحذيرية: الأعمدة الموثقة فقط ولكن لا يتم الإشارة إليها فعلياً في أي معادلة قيد
- قاعدة حاسمة: يجب أن يظهر كل عمود في قيد واحد على الأقل لمنع حرية المتحقق
- تحقق من الأعمدة المشتقة: يجب أن يكون قيد اشتقاقها كاملاً، لا يعتمد على محددات غير مقيدة
- اختبار عدائي: محاولة بناء تتبع حيث يختلف عمود واحد بحرية بينما تمر جميع القيود
正在使用「air-cryptographer」。 ما الذي يجعل المحدد الجيد في AIR؟
預期結果:
- فرض الثنائية: كل محدد s يرضي s(s-1)=0 لضمان القيم الثنائية
- التبادل المتبادل: مجموع المحددات يساوي 1 يضمن نوع تعليمات واحد فقط لكل صف
- لا وضع الشبح: كل صف له محدد محدد، يمنع الرضا التلاعب بالقيود
- التحديد الصحيح: قيود المحددات تنطبق على نفس مجموعة الصفوف مثل القيود التي تتحكم فيها
- التحقق من التغطية: عند استخدام أقل من التبادل الكامل، أثبت أن واحداً نشطاً على الأكثر أو قدم دليل التغطية
安全審計
安全Pure documentation skill containing only educational markdown content about AIR cryptography for ZK proof systems. Zero executable code, no file access, no network calls, no external commands. Static findings are false positives from mathematical notation and cryptographic terminology being misidentified as security risks.
風險因素
⚙️ 外部命令 (32)
🌐 網路存取 (1)
品質評分
你能建構什麼
تصميم قيود AIR سليمة
بناء أنظمة قيود مع شروط طرفية صحيحة، وقواعد انتقال، وحجج اتساق عام.
تدقيق أنظمة قيود ZK
مراجعة تنفيذات AIR للأعمدة غير المقيدة، ونقاط ضعف المحددات، وفجوات الصوتية.
تطبيق حجج تشفير متقدمة
تنفيذ حجج التبادل، وجداول البحث، وفحوصات اتساق الذاكرة مع براهين الصحة.
試試這些提示
اشرح الفرق بين أعمدة المصدر والمشتق والمساعد في تصميم تتبع AIR.
كيف أكتب قيد انتقال يضمن أن عداد البرنامج يزيد بشكل صحيح فقط عندما لا يتفرع؟
ما هي العلامات التحذيرية الرئيسية التي يجب البحث عنها عند تدقيق محددات AIR وقيود الثنائية؟
مرني عبر تمارين الشاهد العدائي: كيف أختبر ما إذا كان مجموع المحددات يساوي صفراً يخلق ثغرة؟
最佳實務
- ابدأ بملخص صفحة واحدة: الادعاء المطالب، معالجة طول التتبع، وضع المدخلات العامة، ودرجات حرية المتحقق
- فرض تبادل المحددات باستخدام s(s-1)=0 للثنائية وsum(s_i)=1 للتبادل المتبادل
- احد تحديات دائماً في النص قبل استخدامها، مع تحديات منفصلة لحجج مختلفة
避免
- ترك المحددات غير مقيدة يسمح بالقيود التافهة عندما تكون جميع المحددات صفراً
- استخدام نفس تحدي Fiat-Shamir لحجج متعددة يتيح هجمات الإلغاء الجبري
- تعريف الصف النهائي بدون تعريف فريد يسمح للمتحقق بإلقاء التناقضات
常見問題
ما أطر AIR المدعومة؟
ما أطوال التتبع المدعومة؟
كيف يتكامل هذا مع أدوات ZK الحالية؟
هل يتم تخزين البيانات أو نقلها؟
لماذا يفشل AIR الخاص بي في FRI؟
كيف يقارن هذا بالتحقق الرسمي؟
開發者詳情
授權
MIT
儲存庫
https://github.com/ClementWalter/rookie-marketplace/tree/main/air-cryptographer/skills/air-expertise引用
main
檔案結構