CryptHarness: A Harness for Agent-Assisted Cryptanalytic Research

Cryptanalysis typically requires both a mathematical model and code, making it a natural testbed for research agents. We present CryptHarness, a command-line agent for cryptanalytic research, built from reusable domain skills. Given only a researcher's intuition for how a cryptographic scheme might be attacked, CryptHarness develops the attack and produces a paper-style report. The report comes with three artifacts. First, a mathematical model of the underlying problem to support a theoretical analysis of the attack. Second, a proof of concept implementation designed for readability by abstracting away nonessential details. Third, an implementation of the scheme exactly according to the specification, and of the attack itself, allowing rigorous evaluation across experiments. As a case study, we apply CryptHarness to public-key decompression for ML-DSA, the new post-quantum signature standard. Given only the initial idea and minimal guidance, our agent reduced the required number of signatures of the state-of-the-art decompression method by a factor of three and provided a mathematical analysis. In a separate verification layer, we formally verify a central finite-size first-moment theorem in Lean 4, providing an (almost) matching lower bound on the number of signatures required to decompress an ML-DSA-44 public key.