调试底层加密代码

密码学工程师菲利波·瓦尔索达对 Claude Code 调试底层加密技术的论述。

具体怎么做

Filippo Valsorda 在他的新 Go ML-DSA 实现中使用了 Claude Code (Opus 4.1，无系统提示词)。他的提示词指定了测试命令和代码目录，描述了故障现象，并要求模型深入思考。该模型读取代码并定位错误原因，还通过小型测试验证了一个假设。随后，他对之前的两个签名故障也重复了此过程，每次使用新的会话。

做到了什么

无需任何帮助，他一次就发现了所有三个错误。Verify错误需要花费数分钟：高位位被重复读取了两次。其提出的修复方案很平庸，因此Valsorda直接摒弃了它们，亲自重新编写代码。

上手要点

使用结构清晰的失败测试，每个独立缺陷都启动新会话，并将智能体的输出视为指向该缺陷的线索，而非合并修复的方案。