Open Cryptographic AI Autoresearch Platform

[ignotusnemo]

Most of you already use AI agents. Asking one to audit an entire repository in a single pass usually produces shallow results because the context is too broad. Agents are more effective on narrow tasks with pinned sources, explicit conditions and reproducible acceptance rules.

I propose directing that effort toward Parano1d. Try to break a claim, find a counterexample, construct a cheaper attack, challenge a calculation or theorem, or prove a stronger post-quantum security result.

I launched https://noid.network, the Open Cryptographic AI Autoresearch Platform for Parano1d. It provides exact public research tasks tied to pinned source, certificate and production revisions. Accepted proofs can raise a lower frontier, while concrete attacks can lower an upper frontier. Reproductions and honest negative results remain visible without changing the frontier. Nothing changes merely because an AI produced an answer. Deterministic evidence is checked automatically. Cryptographic conclusions requiring expert judgment must include reproducible evidence and pass public review.

Sign in with GitHub, choose a task and AI model, then copy the generated private prompt into your agent in a new empty folder. You can track its progress on the platform. When the result is ready, click one button and the platform verifies the passive evidence, binds it to your GitHub account and creates the correctly formatted pull request. All you need is a GitHub account and an AI coding agent.

The point is not to ask AI whether Parano1d is secure. The point is to give it a claim precise enough that a wrong answer can be rejected and a correct answer can move a public cryptographic bound.

If you think one of my calculations, assumptions or theorems is wrong, choose a task and try to move the graph. The platform maintains public researcher and model leaderboards. I am not announcing a fixed bounty schedule at this stage. Let’s first see how the research develops. At my discretion, I will award bounties to contributors whose accepted work provides the greatest technical value to Parano1d.