constant-time-testing — скилл для Claude Code: проверка и установка
Скилл помогает проверять, зависят ли задержки криптографической реализации от секретных данных. Пригодится для аудита криптокода и разбора подозрительной утечки по времени.
npx skills add trailofbits/skills --skill constant-time-testing -a claude-codeЧто делает constant-time-testing
Скилл описывает проверку работающей криптографической реализации: статистически сравнивать время выполнения и отслеживать поведение программы во время запуска. Он также объясняет различия между формальными, символьными, динамическими и статистическими методами и помогает интерпретировать результаты. Здесь речь о тестах исполнения, а не о статическом просмотре машинного кода компилятора.
В руководстве разобраны типичные источники утечек: ветвления по секретным значениям, обращения к массивам, деление и сдвиги. Статистический тест чувствителен к шуму и сам по себе не указывает причину различий, поэтому результат потребует отдельного разбора. Скилл ориентирован на криптографический код, работающий с секретами.
Какие задачи решает
- проверить, связана ли длительность выполнения с секретными данными
- измерить разброс времени работы скомпилированной криптографической программы
- найти возможную утечку времени в криптографической реализации
- разобрать результаты динамического или статистического анализа
Примеры запросов агенту
- Проверь, зависит ли время выполнения этой криптографической реализации от секретного ключа.
- Помоги измерить временные различия в скомпилированной версии этой криптографической функции.
- Разбери, может ли ветвление по секретному значению раскрывать данные через задержки.
Как установить constant-time-testing
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill constant-time-testing -a claude-code2Вручную: положить файлы
~/.claude/skills/constant-time-testing/SKILL.mdПапка скилла целиком; для одного проекта — .claude/skills/constant-time-testing/
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill constant-time-testing -a codex2Вручную: положить файлы
.agents/skills/constant-time-testing/SKILL.mdДля всех проектов — ~/.agents/skills/
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill constant-time-testing -a cursor2Вручную: положить файлы
.cursor/skills/constant-time-testing/SKILL.mdCursor читает и .agents/skills/, и .claude/skills/
1GitHub CLI
gh skill install trailofbits/skills constant-time-testing2Вручную: положить файлы
.github/skills/constant-time-testing/SKILL.md1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill constant-time-testing -a gemini-cli2Командой платформы
gemini skills install https://github.com/trailofbits/skills --path plugins/testing-handbook-skills/skills/constant-time-testingВручную: положить файлы
.devin/skills/constant-time-testing/SKILL.mdСтарый путь .windsurf/skills/ тоже читается
Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill constant-time-testing -a opencodeClaude.ai
Упакуйте папку в zip и загрузите в Settings → Capabilities → Skills
По шагам, с командами для каждой платформы: Как установить скилл в Claude Code: пять способов
Вопросы о constant-time-testing
Как установить constant-time-testing в Claude Code?
Выполните npx skills add trailofbits/skills --skill constant-time-testing -a claude-code. Файл скилла находится по пути ~/.claude/skills/constant-time-testing/SKILL.md.
Что делает constant-time-testing?
Помогает исследовать временные утечки в работающем криптографическом коде с помощью статистических измерений и динамического анализа. Также объясняет, как читать результаты разных категорий проверок.
Проверяет ли скилл машинный код без запуска программы?
Нет. Он посвящён анализу выполнения и измерению задержек; статический просмотр результата компиляции относится к другому инструменту.
