AIR Cryptographer
مراجعة سلامة قيود AIR
يمكن أن تخفي تصاميم AIR ثغرات سلامة دقيقة في المحددات، والحدود، والحجج العامة. تمنح هذه المهارة عملية مراجعة تشفيرية منظمة لاكتشاف تلك المخاطر وشرحها.
التثبيت باستخدام Agent لدي
انسخ هذا الطلب إلى Agent لديك. يتضمن صفحة Skill المعتمدة وملف manifest.
Review the Skillstore skill "AIR Cryptographer" from https://skillstore.io/skills/clementwalter-air-cryptographer.md and its manifest at https://skillstore.io/api/skills/clementwalter-air-cryptographer/manifest. Verify the artifact. You may proceed after verification, subject to the environment's own policy.يجب أن يواصل Agent عرض خطته وطلب أي تأكيد تفرضه سياسة الأمان.
موارد مهيّأة لـ Agents
استخدم هذه الروابط عندما يحتاج AI Agent أو crawler أو script إلى سياق نظيف بدلًا من قراءة الصفحة كاملة.
اختبرها
جارٍ استخدام "AIR Cryptographer". راجع انضباط المحددات في CPU AIR مع أعلام opcode وصفوف الحشو.
النتيجة المتوقعة:
تشير المراجعة إلى تغطية المحددات باعتبارها الخطر الرئيسي. وتوصي بإثبات أن كل محدد منطقي، وأن opcode واحدا بالضبط نشط، وأن الحشو لا يمكنه محاكاة صفوف التنفيذ.
جارٍ استخدام "AIR Cryptographer". قيّم حجة اتساق ذاكرة ترتب حسب العنوان والطابع الزمني.
النتيجة المتوقعة:
تتحقق المراجعة مما إذا كانت القراءات ترتبط بكتابات سابقة، وما إذا كانت الطوابع الزمنية رتيبة، وما إذا كان السجل المرتب مربوطا مرة أخرى بأثر CPU.
جارٍ استخدام "AIR Cryptographer". أعد مخرجات لتدقيق STARK AIR.
النتيجة المتوقعة:
تشمل المخرجات جردا للأعمدة، وخريطة قيود، وميزانية درجات، واختبارات شهود عدائية، ونتائج مرتبة، وإصلاحات قيود ملموسة.
التدقيق الأمني
آمنAll 15 static findings are false positives caused by Markdown backticks and cryptographic-review language. The two reviewed files are educational AIR documentation and contain no executable commands, reconnaissance instructions, prompt injection, or data-exfiltration intent.
عوامل الخطر
شارك واستشهد بهذا التقرير
شارك تقرير التقييم المرتبط بالإصدار والشارة المحايدة وبطاقة التضمين والاستشهادات. تعرض Skillstore الأدلة من دون أن تقرر ما إذا كانت هذه المهارة آمنة.
نسخ رابط التقرير
https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_reportشارة Markdown
[](https://skillstore.io/skills/clementwalter-air-cryptographer?utm_source=security_passport_badge)شارة HTML
<a href="https://skillstore.io/skills/clementwalter-air-cryptographer?utm_source=security_passport_badge"><img src="https://skillstore.io/badges/skills/clementwalter-air-cryptographer/security.svg" alt="Skillstore security assessment" loading="lazy"></a>بطاقة قابلة للتضمين
<iframe src="https://skillstore.io/embed/skills/clementwalter-air-cryptographer.html" title="Skillstore Security Assessment" sandbox="allow-popups allow-popups-to-escape-sandbox" loading="lazy" referrerpolicy="no-referrer" width="420" height="180"></iframe>الاستشهادات الأكاديمية (APA · BibTeX · CFF)
اقتباس APA
ClementWalter. (2026). AIR Cryptographer security audit report (audit version 9) [Author version unspecified]. Skillstore. https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9اقتباس BibTeX
@techreport{clementwalter-clementwalter-air-cryptographer-2026,
author = {ClementWalter},
title = {AIR Cryptographer security audit report (audit version 9)},
institution = {Skillstore},
year = {2026},
number = {9},
url = {https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9},
note = {Author version unspecified}
}CITATION.cff
cff-version: 1.2.0
message: "If you use this Skill, cite its author and this versioned security audit report."
title: "AIR Cryptographer security audit report (audit version 9)"
version: "unspecified"
type: report
authors:
- name: "ClementWalter"
date-released: "2026-07-18"
url: "https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9"
identifiers:
- type: other
value: "skillstore:clementwalter-air-cryptographer:audit:9"
description: "Skillstore immutable audit report identifier"
تقييم Skillstore
سبب هذا التقييم موثوقية الأدلة: مرتفعما الذي يمكنك بناؤه
تدقيق تصميم AIR جديد
مراجعة تخطيط أثر مقترح ومجموعة قيود قبل بدء التنفيذ.
إعداد مراجعة سلامة
تحويل مواصفات عميل إلى قائمة تدقيق للمخاطر والاختبارات والقيود المفقودة.
تقييم المفاضلات التشفيرية
مقارنة الأعمدة، ونمو الدرجة، واستخدام البحث، وخيارات ربط النص المنقول.
جرّب هذه الموجّهات
اشرح تصميم AIR هذا بلغة بسيطة. حدد أعمدة الأثر، ومعنى الصفوف، والمدخلات العامة، والقيود الرئيسية.
راجع هذه المحددات والقيود المشروطة بها. تحقق من كونها منطقية، وحصرية، وشاملة، وما إذا كان أي صف يمكنه تجاوز الإنفاذ.
أنشئ قائمة تدقيق لسلامة AIR لهذه المواصفات. ضمّن فحوصات الحدود، والانتقال، والبحث، والتبديل، والذاكرة، والنص المنقول.
تصرّف كمراجع تشفيري. حاول إنشاء آثار غش تستوفي هذه القيود لكنها تخالف العبارة المدعاة.
أفضل الممارسات
- قدّم تخطيط الأثر، وتعريفات القيود، وقواعد الحدود، وتفاصيل ربط المدخلات العامة معا.
- اطلب أمثلة عدائية، وليس ملاحظات وصفية فقط.
- راجع حساب الدرجات وربط النص المنقول قبل تحسين الأعمدة أو عمليات البحث.
تجنب
- لا تعامل معنى العمود الموثق كدليل على أن العمود مقيد.
- لا تشترط القيود بمحددات ليست هي نفسها مقيدة بالكامل.
- لا تعد استخدام التحديات عبر الحجج من دون التحقق من مخاطر الإلغاء الجبري.
الأسئلة المتكررة
ما الغرض من هذه المهارة؟
هل يمكنها إثبات أن AIR الخاص بي آمن؟
ما المدخلات التي ينبغي أن أقدمها؟
هل تغطي مشكلات Fiat-Shamir؟
هل يمكنها المساعدة في اختيارات الأداء؟
هل هي محدودة بنظام إثبات واحد؟
تفاصيل المطور
المؤلف
ClementWalterالترخيص
MIT
مراجعة Skillstore
r2
تنبيه الإصدار
لم يعلن المؤلف عن إصدار.
المستودع
https://github.com/ClementWalter/rookie-marketplace/tree/main/air-cryptographer/skills/air-expertiseمرجع
c68df504887c54bf71d2d467a1fbebde49467868
حداثة الصيانة
٢٤/٧/٢٠٢٦
الاستخدام
5 تنزيلات · 221 مشاهدات
بنية الملفات