Habilidades AIR Cryptographer

📦

AIR Cryptographer

Name: AIR Cryptographer
Author: ClementWalter

Revisión del contenido r2 Seguro ⚙️ Comandos externos

Revisar la solidez de restricciones AIR

Los diseños AIR pueden ocultar brechas sutiles de solidez en selectores, condiciones de frontera y argumentos globales. Esta habilidad proporciona un proceso estructurado de revisión criptográfica para encontrar y explicar esos riesgos.

Compatible con: Claude Codex Code(CC)

📊 72 Adecuado

Instalar con mi Agente

Copia esta solicitud en tu Agente. Incluye la página canónica del Skill y el manifiesto.

Solicitud de agente

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.

Tu Agente debe seguir mostrando su plan y solicitar cualquier confirmación exigida por la política de seguridad.

Recursos legibles por agentes

Usa estos enlaces cuando un agente de IA, crawler o script necesite contexto limpio en vez de leer la página completa.

Detalle Markdown GET /skills/clementwalter-air-cryptographer.md Manifest firmado GET /api/skills/clementwalter-air-cryptographer/manifest Lockfile firmado GET /api/skills/clementwalter-air-cryptographer/lockfile

Pruébalo

Usando "AIR Cryptographer". Revisar la disciplina de selectores para un AIR de CPU con indicadores de opcode y filas de relleno.

Resultado esperado:

La revisión señala la cobertura de selectores como el riesgo principal. Recomienda demostrar que cada selector es booleano, que exactamente un opcode está activo y que el relleno no puede imitar filas de ejecución.

Usando "AIR Cryptographer". Evaluar un argumento de consistencia de memoria que ordena por dirección y marca de tiempo.

Resultado esperado:

La revisión comprueba si las lecturas se vinculan con escrituras anteriores, si las marcas de tiempo son monótonas y si el registro ordenado se vincula de nuevo con la traza de CPU.

Usando "AIR Cryptographer". Preparar entregables para una auditoría AIR de STARK.

Resultado esperado:

Los entregables incluyen un inventario de columnas, un mapa de restricciones, un presupuesto de grado, pruebas de testigos adversariales, hallazgos clasificados y correcciones concretas de restricciones.

Auditoría de seguridad

Seguro

v9 • 18/7/2026 Abrir el informe versionado

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.

Archivos escaneados

612

Líneas analizadas

Elementos de revisión

Falsos positivos ignorados

Factores de riesgo

⚙️ Comandos externos (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

La auditoría estática y semántica completada más reciente no detectó hallazgos de seguridad confirmados. Esto no demuestra que el skill no tenga efectos secundarios.

Auditado por: claude Ver historial de auditorías →

Compartir y citar este informe

Comparte el informe de evaluación versionado, la insignia neutral, la tarjeta insertable y las citas. Skillstore presenta evidencias sin decidir si este Skill es seguro.

Abrir el informe versionado

Copiar enlace del informe

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

Insignia 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)

Insignia 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>

Tarjeta para insertar

<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>

Citas académicas (APA · BibTeX · CFF)

Cita APA

ClementWalter. (2026). AIR Cryptographer security audit report (audit version 9) [Author version unspecified]. Skillstore. https://skillstore.io/skills/clementwalter-air-cryptographer/audits/9

Cita 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"

Puntuación de Skillstore

Por qué esta puntuación Confianza de la evidencia: Alto

Arquitectura

Mantenibilidad

Contenido

Comunidad

Cumplimiento de la especificación

Lo que puedes crear

Auditar un nuevo diseño AIR

Revisar una disposición de traza y un conjunto de restricciones propuestos antes de que comience la implementación.

Preparar una revisión de solidez

Convertir una especificación de cliente en una lista de comprobación de riesgos, pruebas y restricciones faltantes.

Evaluar compensaciones criptográficas

Comparar columnas, crecimiento de grado, uso de búsquedas y elecciones de vinculación de transcripción.

Prueba estos prompts

Explicar mi AIR

Explica este diseño AIR en lenguaje sencillo. Identifica las columnas de traza, el significado de las filas, las entradas públicas y las restricciones principales.

Revisar la seguridad de selectores

Revisa estos selectores y restricciones condicionadas. Comprueba booleanidad, exclusividad, cobertura y si alguna fila puede eludir la aplicación.

Crear una lista de comprobación de auditoría

Crea una lista de comprobación de solidez AIR para esta especificación. Incluye comprobaciones de frontera, transición, búsqueda, permutación, memoria y transcripción.

Encontrar trazas de contraejemplo

Actúa como revisor criptográfico. Intenta construir trazas fraudulentas que satisfagan estas restricciones pero violen la afirmación declarada.

Mejores prácticas

Proporciona juntos la disposición de traza, las definiciones de restricciones, las reglas de frontera y los detalles de vinculación de entradas públicas.
Pide ejemplos adversariales, no solo comentarios descriptivos.
Revisa la contabilidad de grados y la vinculación de transcripción antes de optimizar columnas o búsquedas.

Evitar

No trates el significado documentado de una columna como prueba de que la columna está restringida.
No condiciones restricciones con selectores que no estén completamente restringidos por sí mismos.
No reutilices desafíos entre argumentos sin comprobar los riesgos de cancelación algebraica.

Preguntas frecuentes

¿Para qué sirve esta habilidad?

Ayuda a revisar sistemas de restricciones AIR utilizados en protocolos STARK y de pruebas de conocimiento cero.

¿Puede demostrar que mi AIR es seguro?

No. Apoya la revisión experta y la búsqueda de contraejemplos, pero no es una herramienta de verificación formal.

¿Qué entradas debo proporcionar?

Proporciona columnas de traza, semántica de filas, restricciones, reglas de frontera, entradas públicas y cualquier argumento de búsqueda o permutación.

¿Cubre problemas de Fiat-Shamir?

Sí. Comprueba si los compromisos, las entradas públicas, la longitud de la traza y los mensajes del probador están vinculados antes de los desafíos.

¿Puede ayudar con decisiones de rendimiento?

Sí. Puede discutir el número de columnas, el crecimiento de grado, columnas auxiliares y compensaciones entre argumentos locales y globales.

¿Está limitado a un solo sistema de prueba?

No. Se centra en conceptos AIR que se aplican a sistemas de estilo STARK y diseños relacionados de conocimiento cero.