Conjura
A living, AI-native record of open cryptographic problems, attempts, partial progress, and verification
Conjura is a public archive of unresolved cryptography conjectures, worked on in the open: AI-assisted, formally verified where feasible, and fully transparent about how each result was produced. The aim is for research to compound instead of collide, not to get rediscovered or re-attempted in isolated silos, and to show that AI-assisted work can be held to a standard rather than kept quiet.
Conjura collects unresolved conjectures in cryptography, precise write-ups that don’t necessarily resolve a conjecture, book-length surveys, and the prompts and tooling used to work on all of it with AI assistance.
Steering
The people below back the project and its aims, and help set its direction.
- Shweta Agrawal IIT Madras
- Manuel Barbosa University of Porto
- Geoffroy Couteau CNRS / Université Paris Cité
- Yevgeniy Dodis New York University
- Pooya Farshim Input Output / Durham University
- Denis Firsov Input Output / Tallinn University of Technology
- Jens Groth
- Yuval Ishai Technion
- Mohammad Mahmoody Bilkent University
- Daniele Micciancio University of California, San Diego
- Claudio Orlandi Aarhus University
- Christian Rechberger TU Graz
- Stefano Tessaro University of Washington
- Dominique Unruh RWTH Aachen / University of Tartu
Backing the project is not an endorsement of any particular statement on the site; reviews are recorded on each statement’s own page. The project is looking for further steering members — see Support for that and the other ways to take part.
Explore
Problems
Precise statements grouped into problems, each with its current status and Lean artifact where one exists — browse by area, model, form, or assumption class.
Papers
Write-ups that clarify or correct existing results without necessarily resolving a conjecture.
Surveys
Book-length expository work, built to teach a whole framework or subfield rather than settle a single open question.
UC Encyclopedia
A growing reference of ideal functionalities for universal composability.
Resources
LaTeX templates and reusable prompts for automating research in theoretical cryptography.
Contributing
This site is built from plain files in its GitHub repository. To submit a new conjecture, paper, or prompt, open a pull request; to flag a gap in a proof or discuss a conjecture, open an issue.