技能 air-cryptographer
🔐

air-cryptographer

安全 ⚙️ 外部命令🌐 網路存取

Проектирование и аудит систем ограничений AIR

Системы доказательств с нулевым разглашением требуют математически обоснованных ограничений AIR для гарантии вычислительной целостности. Этот навык предоставляет экспертные рекомендации по проектированию трассировки, граничных ограничений, аргументов перестановки и методологии проверки безопасности для ZK-протоколов.

支援: Claude Codex Code(CC)
📊 70 充足
1

下載技能 ZIP

2

在 Claude 中上傳

前往 設定 → 功能 → 技能 → 上傳技能

3

開啟並開始使用

測試它

正在使用「air-cryptographer」。 Как проверить, есть ли в моём AIR неограниченные колонки?

預期結果:

  • Инвентаризация колонок трассировки: перечислите каждую колонку с её значением, типом источника и местом ограничения
  • Красный флаг: Колонки, которые задокументированы, но никогда не упоминаются в каком-либо уравнении ограничения
  • Критическое правило: Каждая колонка должна появляться хотя бы в одном ограничении для предотвращения свободы доказывающего
  • Проверьте производные колонки: их ограничение производной должно быть полным, а не зависеть от неограниченных селекторов
  • Тест противника: Попытайтесь построить трассировку, где одна колонка свободно варьируется, а все ограничения проходят

正在使用「air-cryptographer」。 Что делает хороший селектор в AIR?

預期結果:

  • Булевость обеспечена: каждый селектор s удовлетворяет s(s-1)=0 для гарантии двоичных значений
  • Взаимоисключаемость: сумма селекторов равна 1 гарантирует ровно один тип инструкции на строку
  • Нет призрачного режима: каждая строка имеет определённый селектор, предотвращая тривиальное удовлетворение ограничений
  • Правильное ограничение: ограничения селектора применяются к тому же набору строк, что и ограничения, которые они ограничивают
  • Проверка покрытия: при использовании менее полной взаимоисключаемости докажите, что активен максимум один, или предоставьте доказательство покрытия

品質評分

41
架構
100
可維護性
87
內容
19
社群
100
安全
91
規範符合性

你能建構什麼

Проектирование надёжных ограничений AIR

Постройте системы ограничений с правильными граничными условиями, правилами перехода и аргументами глобальной согласованности.

Аудит ZK-систем ограничений

Проверьте реализации AIR на наличие неограниченных колонок, уязвимостей селекторов и пробелов в soundness.

Применение продвинутых криптографических аргументов

Реализуйте аргументы перестановки, таблицы поиска и проверки согласованности памяти с доказательствами корректности.

試試這些提示

Базовый вопрос об AIR 
Объясните разницу между колонками источника, производными и вспомогательными в проектировании трассировки AIR.
Проектирование ограничений 
Как написать ограничение перехода, которое гарантирует правильное приращение счётчика программы только когда нет ветвления?
Проверка безопасности 
Какие ключевые красные флаги нужно искать при аудите селекторов AIR и ограничений булевости?
Продвинутый анализ 
Проведите меня через упражнения с противником: как я могу проверить, создаёт ли ситуация когда все селекторы равны нулю уязвимость?

最佳實務

  • Начните с краткой страницы: заявленное утверждение, обработка длины трассы, размещение публичных входных данных и степени свободы доказывающего
  • Обеспечьте взаимоисключаемость селекторов с помощью s(s-1)=0 для булевости и sum(s_i)=1 для взаимной исключаемости
  • Всегда ограничивайте вызовы в транскрипте перед их использованием, с отдельными вызовами для разных аргументов

避免

  • Оставление селекторов без ограничений позволяет тривиальные ограничения, когда все селекторы равны нулю
  • Использование одного и того же вызова Fiat-Shamir для нескольких аргументов позволяет атаки алгебраического сокращения
  • Определение последней строки без уникальной идентификации позволяет доказывающему сбрасывать несоответствия

常見問題

Какие AIR-фреймворки поддерживаются?
Этот навык охватывает общие принципы AIR, применимые к любому ZK-фреймворку, включая Cairo, Stwo, Plonky3 и пользовательские реализации.
Какие длины трассировки поддерживаются?
Фиксированная и переменная длина трассировки. Переменная длина требует явной обработки остановки и связывания длины трассировки в транскрипт Fiat-Shamir.
Как это интегрируется с существующими ZK-инструментами?
Предоставляет архитектурные рекомендации, совместимые с компиляторами ограничений, доказывающими и верификаторами. Не заменяет код реализации.
Сохраняются или передаются ли данные?
Нет. Это навык только со знаниями, без доступа к файлам, сетевым вызовам или возможностей сохранения данных.
Почему мой AIR не проходит FRI?
Распространённые причины: многочлен ограничения не исчезает на домене, степень превышает размер домена, или отсутствуют граничные ограничения на композицию.
Как это сравнивается с формальной верификацией?
Предоставляет методологию проверки безопасности для человеческого анализа. Дополняет, но не заменяет автоматизированные инструменты формальной верификации.

開發者詳情

授權

MIT

儲存庫

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

引用

main

檔案結構

📁 references/

📄 review-checklist.md

📄 SKILL.md