AIR Cryptographer
AIR制約の健全性レビュー
AIR設計では、セレクター、境界、グローバル引数に微妙な健全性の欠陥が隠れることがあります。このスキルは、そうしたリスクを見つけて説明するための体系的な暗号学的レビュー手順を提供します。
自分のエージェントでインストール
このリクエストをエージェントにコピーしてください。正規の 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 エージェント、クローラー、スクリプトがページ全体ではなく整理されたコンテキストを必要とする場合は、これらのリンクを使ってください。
テストする
「AIR Cryptographer」を使用しています。 オペコードフラグとパディング行を持つCPU AIRについて、セレクターの規律をレビューしてください。
期待される結果:
レビューでは、セレクターの網羅性を主なリスクとして指摘します。すべてのセレクターがブール値であること、正確に1つのオペコードがアクティブであること、パディングが実行行を模倣できないことを証明するよう推奨します。
「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 は証拠を報告しますが、この Skill が安全かどうかは判断しません。
レポートリンクをコピー
https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_reportMarkdownバッジ
[](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/9BibTeX形式の引用
@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の問題も対象ですか？
性能上の選択にも役立ちますか？
1つの証明システムに限定されていますか？
開発者情報
作成者
ClementWalterライセンス
MIT
Skillstore リビジョン
r2
バージョンに関する注意
作者はバージョンを宣言していません。
リポジトリ
https://github.com/ClementWalter/rookie-marketplace/tree/main/air-cryptographer/skills/air-expertise参照
c68df504887c54bf71d2d467a1fbebde49467868
メンテナンスの新しさ
2026/7/19
利用状況
5 ダウンロード · 221 閲覧
ファイル構成