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؟
كيف يقارن هذا بالتحقق الرسمي؟
開発者の詳細
作成者
ClementWalterライセンス
MIT
リポジトリ
https://github.com/ClementWalter/rookie-marketplace/tree/main/air-cryptographer/skills/air-expertise参照
main
ファイル構成