WHITE PAPER · PROTOCOL-FIRST

A protocol, not a promise

This is the public summary, organised protocol first: the problem, the protocol, the framework, the applications, the transition. The long document — specs and evidence — is in preparation.

Start with the real state For developers

A rule kept everywhere: an open decision is never presented as an existing property.

01 — The problem

Verify without authority, pay without fraud

AI and mathematics produce useful work — proofs, lemmas, models, artefacts. No one can verify it without trusting an institution; no one knows whom to pay, how much, or how to prove it was done. One concept: the block is a commitment certificate — heavy data stays between peers, the chain orders and pays, work is verified. (the problem in 3 sentences)

02 — The protocol

Order, finality, economy, governance

The mechanisms, with their real status (devnet online · L1 target).

Order: Blocks proposed by proof of work, finalised by a committee (≥ 2/3 of the epoch): nothing becomes true on its own.
Finality: A finalised block is a commitment — the chain orders itself around it, replayable deterministically.
The economy: EIP-1559 fees, a 5 % levy (70/20/10), a sponsor without power over the verdict; 1 billion tokens at genesis, mint off.
Governance: Two chambers (miners propose, curators finalise), timelock, immutables — see the Governance page.
Threat model: The chain is re-verified server-side and natively; weights never reach the server; remaining limits are listed in the real state.

03 — The framework

Reusable machines

The causal harness (an AI proposes, never activates alone), the neural substrate (verifiable federated learning) and the WorkMarket (escrow, challenges, payment) are generic blocks — applicable to subjects beyond mathematics. See the Build on page.

04 — The applications

𝔛 is the first case, not the only one

The organism 𝔛 — a world that learns, whose memory, proofs and training are open and verifiable — is the first application of the protocol. It lives on mathematics.aletheia-chain.com, presented as a living example, not as the finished product.

05 — Today → at genesis

The transition table

What is online today, and what genesis will change — no date promised.

Today (devnet 43911): Chain online, real and re-verified mining, trial tokens (minted during the exploratory phase), open explorer and RPC.
At genesis (mainnet 43901): 1 billion cap fixed, mint off, bicameral governance in place, work market wired, known flaws closed.

The move happens when the chain keeps its promises — not before. Track progress, work item by work item, on the real state.