스킬 AIR Cryptographer
📦

AIR Cryptographer

콘텐츠 리비전 r2 안전 ⚙️ 외부 명령어

AIR 제약조건 건전성 검토

AIR 설계는 셀렉터, 경계 조건, 전역 논증에서 미묘한 건전성 공백을 숨길 수 있습니다. 이 스킬은 이러한 위험을 찾아내고 설명하기 위한 구조화된 암호학적 검토 프로세스를 제공합니다.

지원: Claude Codex Code(CC)
Maintain this Skill? Claim it 📊 72 적절함

내 에이전트로 설치

이 요청을 에이전트에 복사하세요. 공식 Skill 페이지와 매니페스트가 포함되어 있습니다.

에이전트 요청
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.

에이전트는 계속해서 계획을 표시하고 보안 정책에서 요구하는 확인을 요청해야 합니다.

에이전트가 읽기 쉬운 리소스

AI 에이전트, 크롤러, 스크립트가 전체 페이지 대신 정리된 컨텍스트만 필요할 때 이 링크를 사용하세요.

Markdown 상세 GET /skills/clementwalter-air-cryptographer.md 서명된 manifest GET /api/skills/clementwalter-air-cryptographer/manifest 서명된 lockfile GET /api/skills/clementwalter-air-cryptographer/lockfile

테스트해 보기

"AIR Cryptographer" 사용 중입니다. opcode 플래그와 padding 행이 있는 CPU AIR의 셀렉터 규율을 검토하세요.

예상 결과:

검토에서는 셀렉터 커버리지를 주요 위험으로 지적합니다. 모든 셀렉터가 boolean임을 증명하고, 정확히 하나의 opcode가 활성화되며, padding이 실행 행을 모방할 수 없도록 할 것을 권장합니다.

"AIR Cryptographer" 사용 중입니다. 주소와 timestamp로 정렬하는 메모리 일관성 논증을 평가하세요.

예상 결과:

검토에서는 읽기가 이전 쓰기와 연결되는지, timestamp가 단조 증가하는지, 정렬된 로그가 CPU 트레이스에 다시 묶여 있는지 확인합니다.

"AIR Cryptographer" 사용 중입니다. STARK AIR 감사를 위한 결과물을 준비하세요.

예상 결과:

결과물에는 열 인벤토리, 제약조건 맵, 차수 예산, 적대적 증인 테스트, 순위가 매겨진 발견 사항, 구체적인 제약조건 수정안이 포함됩니다.

보안 감사

안전
v9 • 2026. 7. 18. 버전별 보고서 열기

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.

2
스캔된 파일
612
분석된 줄 수
0
검토 항목
0
오탐 무시됨

위험 요인

⚙️ 외부 명령어 (12)
SKILL.md:61 SKILL.md:62 SKILL.md:79-82 SKILL.md:82-98 SKILL.md:98-102 SKILL.md:102-105 SKILL.md:105-128 SKILL.md:128-130 SKILL.md:130-173 SKILL.md:173-192 SKILL.md:192-196 SKILL.md:196-266
가장 최근에 완료된 정적·의미론적 감사에서 확인된 보안 발견 사항이 감지되지 않았습니다. 이는 스킬에 부작용이 없음을 증명하지 않습니다.
감사자: claude 감사 이력 보기 →
이 보고서 공유 및 인용

버전이 지정된 평가 보고서, 중립 배지, 임베드 카드 및 인용을 공유하세요. Skillstore는 근거를 보고하지만 이 Skill의 안전 여부를 판단하지 않습니다.

버전별 보고서 열기
보안 평가

보고서 링크 복사

https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_report

Markdown 배지

[![Skillstore security assessment](https://skillstore.io/badges/skills/clementwalter-air-cryptographer/security.svg)](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 점수

이 점수의 이유 증거 신뢰도: 높음
41
아키텍처
85
유지보수성
87
콘텐츠
70
커뮤니티
65
사양 준수

만들 수 있는 것

새 AIR 설계 감사

구현을 시작하기 전에 제안된 트레이스 레이아웃과 제약조건 세트를 검토합니다.

건전성 검토 준비

클라이언트 사양을 위험, 테스트, 누락된 제약조건 체크리스트로 전환합니다.

암호학적 트레이드오프 평가

열, 차수 증가, lookup 사용, transcript 바인딩 선택을 비교합니다.

이 프롬프트를 사용해 보세요

내 AIR 설명 
이 AIR 설계를 쉬운 말로 설명하세요. 트레이스 열, 행의 의미, 공개 입력, 주요 제약조건을 식별하세요.
셀렉터 안전성 검토 
이 셀렉터와 게이트된 제약조건을 검토하세요. booleanity, exclusivity, coverage와 어떤 행이 강제를 우회할 수 있는지 확인하세요.
감사 체크리스트 작성 
이 사양에 대한 AIR 건전성 체크리스트를 만드세요. boundary, transition, lookup, permutation, memory, transcript 검사를 포함하세요.
반례 트레이스 찾기 
암호학 검토자처럼 행동하세요. 이 제약조건을 만족하지만 주장된 명제를 위반하는 부정 트레이스를 구성해 보세요.

모범 사례

  • 트레이스 레이아웃, 제약조건 정의, 경계 규칙, 공개 입력 바인딩 세부 정보를 함께 제공하세요.
  • 설명적 피드백뿐만 아니라 적대적 예시도 요청하세요.
  • 열이나 lookup을 최적화하기 전에 차수 계산과 transcript 바인딩을 검토하세요.

피하기

  • 문서화된 열의 의미를 해당 열이 제약되어 있다는 증거로 취급하지 마세요.
  • 그 자체가 완전히 제약되지 않은 셀렉터로 제약조건을 게이트하지 마세요.
  • 대수적 상쇄 위험을 확인하지 않고 여러 논증에서 challenge를 재사용하지 마세요.

자주 묻는 질문

이 스킬은 무엇을 위한 것인가요?
STARK 및 영지식 증명 프로토콜에서 사용되는 AIR 제약조건 시스템을 검토하는 데 도움이 됩니다.
내 AIR가 안전하다는 것을 증명할 수 있나요?
아니요. 전문가 검토와 반례 검색을 지원하지만 형식 검증 도구는 아닙니다.
어떤 입력을 제공해야 하나요?
트레이스 열, 행 의미론, 제약조건, 경계 규칙, 공개 입력, 모든 lookup 또는 permutation 논증을 제공하세요.
Fiat-Shamir 문제도 다루나요?
예. challenge 이전에 커밋먼트, 공개 입력, 트레이스 길이, 증명자 메시지가 바인딩되는지 확인합니다.
성능 선택에도 도움이 되나요?
예. 열 수, 차수 증가, 보조 열, 로컬 논증과 전역 논증 간의 트레이드오프를 논의할 수 있습니다.
하나의 증명 시스템으로 제한되나요?
아니요. STARK 스타일 시스템 및 관련 영지식 설계 전반에 적용되는 AIR 개념에 중점을 둡니다.

개발자 세부 정보

작성자

ClementWalter

라이선스

MIT

Skillstore 리비전

r2

버전 안내

작성자가 버전을 선언하지 않았습니다.

리포지토리

https://github.com/ClementWalter/rookie-marketplace/tree/main/air-cryptographer/skills/air-expertise

참조

c68df504887c54bf71d2d467a1fbebde49467868

유지보수 최신성

2026. 7. 26.

사용량

5 다운로드 · 221 조회

파일 구조

📁 references/

📄 review-checklist.md

📄 SKILL.md

ClementWalter의 다른 스킬

전체 보기

관련 스킬

전체 보기