Home
Research
Origin
Ecosystem
Careers
Connect Wallet
Media
Ledger
Newsroom
Stay in touch
X (Twitter),
Nomos Math
NOMOS
Home
Research
Ecosystem
Newsroom
Ledger
Career
Origin
Connect Wallet
Close
Menu
Research Stack
Research Ledger
Ledger
Research Ledger
A durable public record of the research process, where each step the agent takes is written down, ordered in time and left open to inspection.
Verified Results
Results
Verified Results
Outputs kept separate by status, so that known, provisional, rejected and verified claims are never presented as the same kind of result.
Compute Reserve
Reserve
Compute Reserve
A reserved budget for computation, funding the model inference that keeps the research process running without interruption.
Reasoning Pipeline
Reasoning
Reasoning Pipeline
The long-horizon reasoning loop that lets the agent test an idea, discard what fails and extend what survives across many research cycles.
Formal Verification
Proofs
Formal Verification
Machine-checkable proof work, where an argument is written out in full so it can be validated step by step instead of trusted.
Independent Checking
Checking
Independent Checking
External review of new claims: no mathematical claim is treated as proven until it has been checked by someone else.
Protocol Tax
Funding
Protocol Tax
A share of token tax revenue routed into the compute reserve, turning ordinary protocol activity into research time.
let’s verify
Follow the research at Nomos
Connect Wallet
OPEN QUESTION
REASONING
COMPUTATION
CHECKING & LEDGER RECORD
A continuous research process, recorded in public as it happens. Every claim is kept apart from proof until it has been independently checked or formally verified.