crypto-solver-skill

name	crypto-solver-skill
description	CTF 密码学自动求解工作流（RSA/ECC/Lattice 等），配套 SageMath/Python 辅助脚本。

Crypto Solver Skill (for Codex)

用于快速求解 CTF 密码学题：先系统化读题和源代码，再进行漏洞识别，提出攻击计划并落地成可跑的 Python/SageMath。

工作方式（按阶段输出）

Phase 1: 系统分析

• 读取题目给的所有文件（源码、输出、参数、交互协议）。
• 明确：算法类型、参数规模、密钥生成方式、消息格式、与服务交互方式。
• 输出“系统分析报告”，包括最可能的 1-3 个攻击面。

Phase 2: 漏洞识别（PAUSE）

• 针对 Phase 1 的攻击面逐条验证：数学弱点、实现缺陷、随机性问题、协议/填充问题。
• 给出每个候选漏洞的可行性判断（需要哪些额外信息/样本）。
• 进入下一阶段前暂停，向用户询问需要的输入或确认优先级。

Phase 3: 攻击策略（PAUSE）

• 给出明确的攻击计划：步骤、所需数据、预期产物（恢复私钥/明文/伪造签名等）。
• 明确要写哪些脚本、用哪些库（Python/SageMath），以及验证方式。
• 在开始大量写代码前暂停，让用户确认计划。

Phase 4: 代码实现

• 生成可执行的解题代码（优先放在题目目录下，如 solve.py / solve.sage）。
• 需要 SageMath 时：优先生成 .sage 并在本机运行；如果环境没有 sage，再提供纯 Python 退路。
• 每次关键推断都要用计算验证（例如 gcd、根、LLL/BKZ、CRT 等）。

Phase 5: 文档生成

• 产出 analyse.md：包含攻击思路、关键数学点、代码入口、运行命令、以及如何得到 flag。

主题提示

• RSA：低指数（e=3/小 e）、广播攻击、共模/共享因子（gcd）、Wiener、部分泄漏/Coppersmith、Fermat、rho/ECM。
• ECC：阶含小因子（Pohlig-Hellman）、奇异曲线/Smart、invalid curve、twist。
• Lattice：LWE/NTRU/背包，LLL/BKZ，small roots。

辅助脚本

• tools/sage-executor.py：执行 Sage 代码（Windows 会尝试 WSL）。
• tools/crypto-utils.py：常用分析/分解函数。