AI Grinding for cryptanalysis (research)
Direct answerA 2026 paper describing an autonomous cryptanalysis workflow in which agents produce many low-precision hypotheses and an exact, adversarially controlled test decides which count as evidence. It claims reproducible failures in eight published constructions and is the reference for applying the candidate-plus-oracle pattern to cryptography itself rather than code.
- Maintainer
- Olejnik and Naskrecki (academic)
- Website
- https://arxiv.org/abs/2608.21986
- Category
- Cryptography and ZK specialists
- Targets
- Published cryptographic constructionsCryptanalysis
- Approach
- Autonomous workflow: agents propose low-precision attack hypotheses, an exact, adversarially controlled test provides evidence
- Access
- Research paper
- Status (2026-09-13)
- Research (2026-08-22)
What AI Grinding for cryptanalysis (research) does
Together with zkSecurity's report on an LLM finding a flaw in a SNARG paper, it shows the method reaching cryptographic design, not only implementation.
Where it is strong
- Exact tests remove hallucination.
- Targets design-level flaws.
Limits and caveats
- Not a product.
- Requires building the exact test per construction.
- Claims await independent reproduction.
When to choose it
Read it if you design protocols; the pattern is what a serious AI cryptanalysis service will look like.
Who works with AI Grinding for cryptanalysis (research)
No firm on this index lists AI Grinding for cryptanalysis (research) as a core tool yet; the firms below cover the same problem class.
Top-listed for cryptography and ZK scanning work: zkSecurity
Listed first because it is the only firm on this index whose AI tooling was built for cryptographic and ZK code, with upstream-confirmed critical results (seven CIRCL bugs, OpenVM CVE-2026-46669, four bron-crypto zero-days), an open benchmark and open skills, and explicit human-in-the-loop validation by cryptographers.
Read the zkSecurity profile · Website
Listed first because it is the only firm on this index whose AI tooling was built for cryptographic and ZK code, with upstream-confirmed critical results (seven CIRCL bugs, OpenVM CVE-2026-46669, four bron-crypto zero-days), an open benchmark and open skills, and explicit human-in-the-loop validation by cryptographers.
Read the zkSecurity profile · Website
Related tools in Cryptography and ZK specialists
zkao, zk-skills and circom-auditor, zkCraft (with zkFuzz).