AIR Cryptographer
Review AIR Constraints for Soundness
AIR designs can contain subtle unconstrained states, selector gaps, and degree errors. This skill guides structured reviews that connect each protocol claim to enforceable constraints.
Install with my Agent
Copy this request to your Agent. It includes the canonical Skill page and 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.Your Agent should still show its plan and request any confirmation required by the security policy.
Agent-readable resources
Use these links when an AI agent, crawler, or script needs clean context instead of reading the full page.
Test it
Using "AIR Cryptographer". Review a selector that activates arithmetic constraints only when an opcode flag is set.
Expected outcome:
- Check that the opcode flag is Boolean.
- Check that every row has an active selector or an explicit padding rule.
- Verify that constraints prevent all selectors from being zero.
Using "AIR Cryptographer". Assess a memory consistency argument with address, timestamp, value, and write flag columns.
Expected outcome:
- Confirm that timestamps are constrained to increase for each address.
- Verify that reads bind to the latest preceding write.
- Ensure a permutation argument links the sorted memory log to CPU events.
Security Audit
SafeAll 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.
Risk Factors
Share & cite this report
Share the versioned assessment report, neutral badge, embed card, and citations. Skillstore reports evidence without deciding whether this Skill is safe.
Copy report link
https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_reportMarkdown badge
[](https://skillstore.io/skills/clementwalter-air-cryptographer?utm_source=security_passport_badge)HTML badge
<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>Embed card
<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>Academic citations (APA Β· BibTeX Β· CFF)
APA citation
ClementWalter. (2026). AIR Cryptographer security audit report (audit version 9) [Author version unspecified]. Skillstore. https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9BibTeX citation
@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 Score
Why this score Evidence Confidence: HighWhat You Can Build
Audit a new AIR design
Map each execution rule to constraints and identify unconstrained columns or selector gaps before implementation.
Prepare a security review
Build an adversarial test plan for boundary conditions, memory consistency, and challenge binding.
Learn AIR soundness methods
Study practical checks for trace design, degree limits, and common STARK vulnerability patterns.
Try These Prompts
Explain why every AIR trace column needs constraints. Use a small conceptual example without implementation code.
Review this selector design: [describe selectors and gated constraints]. Check Booleanity, coverage, exclusivity, and ghost modes.
Create a constraint map for this AIR: [describe columns, row meanings, and rules]. List each claim, its enforcing constraint, and gaps.
Audit this AIR specification for soundness: [provide full specification]. Test transitions, boundaries, lookups, memory, quotient degree, and Fiat-Shamir binding. Rank findings and suggest fixes.
Best Practices
- Provide complete column definitions, constraints, domains, and transcript order before requesting a review.
- Test every claimed rule with a counterexample trace that attempts to bypass it.
- Track constraint degrees after selectors and boundary factors are applied.
Avoid
- Do not treat documented column meanings as constraints.
- Do not assume selector coverage without enforcing it algebraically.
- Do not reuse Fiat-Shamir challenges across independent arguments.
Frequently Asked Questions
What is an AIR?
Can this skill find unconstrained columns?
Does it implement STARK proofs?
What information should I provide for an audit?
Can it review lookup and permutation arguments?
Does a positive review guarantee security?
Developer Details
Author
ClementWalterLicense
MIT
Skillstore revision
r2
Version notice
The author did not declare a version.
Repository
https://github.com/ClementWalter/rookie-marketplace/tree/main/air-cryptographer/skills/air-expertiseRef
c68df504887c54bf71d2d467a1fbebde49467868
Maintenance freshness
7/19/2026
Usage
5 downloads Β· 221 views
File structure