AICR
A living, AI-native record of open cryptographic problems, attempts, partial progress, and verification
AICR 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.
AICR 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.
The project’s steering committee and maintainer are listed in About. Supporting the project does not endorse any particular research claim; reviews are recorded on each statement.
Explore
Research 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.