Fähigkeiten air-cryptographer
🔐

air-cryptographer

Sicher ⚙️ Externe Befehle🌐 Netzwerkzugriff

Diseñar y auditar sistemas de restricciones AIR

Los sistemas de prueba de conocimiento cero requieren restricciones AIR matemáticamente sólidas para garantizar la integridad computacional. Esta habilidad proporciona orientación experta sobre diseño de trazas, restricciones de frontera, argumentos de permutación y metodologías de revisión de seguridad para protocolos ZK.

Unterstützt: Claude Codex Code(CC)
📊 70 Angemessen
1

Die Skill-ZIP herunterladen

2

In Claude hochladen

Gehe zu Einstellungen → Fähigkeiten → Skills → Skill hochladen

3

Einschalten und loslegen

Teste es

Verwendung von "air-cryptographer". ¿Cómo verifico si mi AIR tiene columnas sin restricciones?

Erwartetes Ergebnis:

  • Inventario de columnas de traza: Lista cada columna con su significado, tipo de fuente y dónde está restringida
  • Señal de alerta: Columnas que solo están documentadas pero nunca se referencian realmente en ninguna ecuación de restricción
  • Regla crítica: Cada columna debe aparecer en al menos una restricción para prevenir la libertad del probador
  • Verificar columnas derivadas: Su restricción de derivación debe estar completa, no limitada por selectores sin restricciones
  • Prueba adversaria: Intentar construir una traza donde una columna varíe libremente mientras todas las restricciones pasan

Verwendung von "air-cryptographer". ¿Qué hace que un buen selector en AIR?

Erwartetes Ergebnis:

  • Booleanidad aplicada: Cada selector s satisface s(s-1)=0 para garantizar valores binarios
  • Exclusividad mutua: La suma de selectores igual a 1 asegura exactamente un tipo de instrucción por fila
  • Sin modo fantasma: Cada fila tiene un selector definido, evitando la satisfacción vacía de restricciones
  • Compuerta adecuada: Las restricciones de selector se aplican al mismo conjunto de filas que las restricciones que limitan
  • Verificación de cobertura: Al usar menos que la exclusividad completa, probar como máximo uno activo o proporcionar prueba de cobertura

Qualitätsbewertung

41
Architektur
100
Wartbarkeit
87
Inhalt
20
Community
100
Sicherheit
91
Spezifikationskonformität

Was du bauen kannst

Diseñar restricciones AIR sólidas

Construir sistemas de restricciones con condiciones de frontera adecuadas, reglas de transición y argumentos de consistencia global.

Auditar sistemas de restricciones ZK

Revisar implementaciones AIR para columnas sin restricciones, vulnerabilidades de selectores y brechas de solidez.

Aplicar argumentos criptográficos avanzados

Implementar argumentos de permutación, tablas de búsqueda y verificaciones de consistencia de memoria con pruebas de corrección.

Probiere diese Prompts

Pregunta Básica de AIR 
Explica la diferencia entre columnas de fuente, derivadas y auxiliares en el diseño de trazas AIR.
Diseño de Restricciones 
¿Cómo escribo una restricción de transición que asegura que el contador del programa se incremente correctamente solo cuando no hay bifurcación?
Revisión de Seguridad 
¿Cuáles son las señales de alerta clave a buscar al auditar selectores AIR y restricciones de booleanidad?
Análisis Avanzado 
Recórreme los ejercicios de testigo adversario: ¿cómo probaría si todos los selectores iguales a cero crean una vulnerabilidad?

Bewährte Verfahren

  • Comenzar con un resumen de una página: declaración reclamada, manejo de longitud de traza, ubicación de entradas públicas y grados de libertad del probador
  • Forzar exclusividad de selector usando s(s-1)=0 para booleanidad y suma(s_i)=1 para exclusividad mutua
  • Siempre limitar los desafíos en el transcript antes de usarlos, con desafíos separados para diferentes argumentos

Vermeiden

  • Dejar selectores sin restricciones permite restricciones vacías cuando todos los selectores son cero
  • Usar el mismo desafío Fiat-Shamir para múltiples argumentos permite ataques de cancelación algebraica
  • Definir la fila final sin identificación única permite al probador volcar inconsistencias

Häufig gestellte Fragen

¿Qué marcos AIR están soportados?
Esta habilidad cubre principios generales de AIR aplicables a cualquier marco ZK incluyendo Cairo, Stwo, Plonky3 e implementaciones personalizadas.
¿Qué longitudes de traza están soportadas?
Trazas de longitud fija y variable. La longitud variable requiere manejo explícito de parada y vinculación de longitud de traza en el transcript Fiat-Shamir.
¿Cómo se integra con las herramientas ZK existentes?
Proporciona orientación arquitectónica compatible con compiladores de restricciones, probadores y verificadores. No reemplaza el código de implementación.
¿Se almacenan o transmiten datos?
No. Esta es una habilidad de solo conocimiento sin acceso a archivos, llamadas de red ni capacidades de persistencia de datos.
¿Por qué mi AIR está fallando FRI?
Causas comunes: el polinomio de restricción no desaparece en el dominio, el grado excede el tamaño del dominio, o faltan restricciones de frontera en la composición.
¿Cómo se compara con la verificación formal?
Proporciona metodología de revisión de seguridad para análisis humano. Complementa pero no reemplaza herramientas de verificación formal automatizadas.

Entwicklerdetails

Lizenz

MIT

Repository

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

Ref

main

Dateistruktur

📁 references/

📄 review-checklist.md

📄 SKILL.md