ALETHEIA L1 · THE CHAIN FOR USEFUL WORK

Living applications.
One chain that verifies and pays for useful work

Proofs, lemmas, models, artefacts: AI produces useful work faster than any institution can verify it — and no one knows whom to pay, or how to prove it is done. Aletheia records that work, has it verified between peers and rewards only what is proven. 𝔛, git and your wallet are its doors — all online today.

Enter 𝔛 (maths) Explore a repo (git) The thesis in 60 seconds

What you see online is a test network (devnet 43911): the chain runs and its rewards are trial XTH — clearly labelled, with no promised value. The market that will pay for useful work is itself a prototype — see the lifecycle. Every application carries its real status: the real state.

Behind every application, the same chain: it verifies, orders and pays work — mathematics, git and your wallet are only its doors. Representation of the memory graph of the 𝔛 application, on mathematics.aletheia-chain.com.

DEVNET 43911 — THE HEARTBEAT, LIVE

Measuring the chain…

Real numbers read from explorer.aletheia-chain.com — not a simulation.

01 — Enter through an application

Two applications, your identity, a doc to understand

Not a white paper: two applications to see the chain at work (𝔛, git), an identity to sign (wallet), documentation to understand. Everything is open now — the real state of each building block lives elsewhere on this site.

𝔛 — mathematics

Live — example

Step into the living example: talk with the organism, explore its memory graph, open the Clay rooms, mine from the browser — the example, not the finished product.

mathematics.aletheia-chain.com

git — code as a graph

Live

Paste a public GitHub repository: its 3D graph builds before your eyes, every link justified by structure — then put your questions to a local LLM or a remote one with your own API key.

git.aletheia-chain.com

wallet — your identity

Live

Create a key born and kept in your browser — or bind an external wallet (MetaMask, Phantom, Trust). It signs, for you and for your agents (challenge), on devnet 43911.

wallet.aletheia-chain.com/wallet

the documentation

Live

The manual: connect your agents (MCP connector), install the CLI/miner, read what each building block really does — with the exact state of its development.

docs.aletheia-chain.com

What about the next applications? The protocol is built to carry more — each block (harness, neural substrate, work market) is a reusable machine. They will be announced here when they exist, not before — see the machinery; the Dev page announces each new technical surface the day it becomes pluggable.

02 — The principle

The principle: prove before you pay

Useful work — a proof, a lemma, a model, an artefact — is worth what its verification shows. The network's contract: nothing is paid that is not proven, with no institution to trust.

Useful work — proof, lemma, model, artefact — is proven before it is paid.

Each block is a commitment certificate: what is done is recorded, verifiable, replayable.

Your heavy data — models, repositories — stays between peers; the chain records only proofs, order and payments.

03 — Connect your agents

ChatGPT, Grok, Claude… linked to your wallet

An AI agent can talk and act on the chain — but it never touches your key. Only you sign, through a challenge.

The mechanism: The agent connects through a public MCP server. To act on the chain (pay, seal, sign), it creates a challenge; you open it in your wallet and sign it — the key never leaves your browser.
How to do it: Add the MCP endpoint in your agent (Claude Desktop, ChatGPT, codex…), then link your wallet through wallet.aletheia-chain.com/?challenge=…. The full guide lives in the documentation.
Open the docs (MCP connector) →
What it enables: Talk, declare skills, ingest a repository as knowledge, read the graph, mine — every on-chain action signed by you, traceable on the chain.

04 — The machinery

Three machines, one thesis

The protocol (the chain), the framework (reusable building blocks) and the application (the living example) are three distinct machines — each carries its real status.

The protocol

Devnet live

An L1 chain that orders, verifies and pays any kind of useful work — proofs, lemmas, training runs.

Real today: the chain runs on test network 43911 — blocks, finality, server-verified mining, an open explorer and RPC console. Not yet: the final economy (1 billion tokens fixed at genesis, mint off) — today's tokens come from the trial phase.

See the chain

The framework

Prototype

Generic machines to evolve and verify work: a causal harness, a federated-learning substrate, a work market.

Real today: the harness and neural-network cores are coded and tested. Not yet: the WorkMarket is not wired online — it is announced as a prototype, never as available.

The framework

The 𝔛 application

Live — example

An artificial organism that learns, remembers and discusses open problems — the first demonstration of what the chain makes possible.

Real today: a living world online at mathematics.aletheia-chain.com: memory graph, Clay rooms, chat, opt-in mining. It is an example, not the finished product.

Enter 𝔛

05 — Mine

Secure the chain by working

Mining is not a lottery: it is the ongoing re-verification of recorded work. Two ways to take part, both real today.

In the browser: From the 𝔛 application: a lightweight miner, bounded CPU budget, explicit consent, proof-of-work re-verified by the server. Ideal to understand, with nothing to install.
Mine inside 𝔛 →
With the native CLI: A cross-platform Rust client (Linux, macOS, Windows) with dedicated proof binaries (genesis inclusion, replayability, continuity). Installation is guided step by step.
Install the CLI →
What it earns: On the devnet, trial XTH — useful to test, clearly labelled, with no promised value. The final economy (mainnet 43901) is the target, never claimed as done.

06 — The story

A trial first, to prove — a chain next, to freeze

The trial phase validated the concept. Moving to the definitive chain freezes what must be frozen — and this site tells it without gloss.

Trial · alpha

Done — the proof of concept

An exploratory chain that validated the concept: blocks, mining, trial rewards. Tokens from this era still circulate on the test network.

Devnet L1 43911

Today — in progress

The L1 development chain: the protocol is tested publicly in real conditions. Everything online today lives on this test network.

Mainnet 43901

Planned — never claimed as done

The launch target: a fixed economy (1 billion tokens, mint off), governance in place. No date is promised here.

Why this path? Because a chain that pays for work must not freeze anything before it is sure of what it freezes. The trial proved the concept; the devnet hardens it; mainnet will come only once the known flaws are closed — they are listed, not hidden.

07 — The real state

What holds, what does not hold yet

The project is in development. This section is the site's credibility contract: nothing here is embellished.

Load

Browser mining is lightweight — a bounded CPU budget, explicit consent, and proof-of-work re-verified by the server.
AI reply costs still need bounding — the operator's keys fund the replies; the limit is an open work item, listed in the audit.

Storage

The chain records only lightweight proofs — order, commitments and payments; models, repositories and training stay between peers.
Storage is not bounded yet — growth is assumed today; the limit is to be built.

Security

The chain is re-verified — blocks, finality, roots; model weights never reach the server.
Identity and money — August's critical flaws are fixed (signatures, proof of possession); the audit continues.

Durability

Deterministic replay holds — tens of thousands of blocks re-verified identically.
Visitor backup is an acknowledged gap — a wallet key that never leaves the browser (security decision, SEC-03) cannot be recovered anywhere: loss is loss; a safe remedy — never a plain export of the key — remains an open work item.

The full audit — with file-by-file evidence — is kept current in the project repository (docs/state-of-the-system.md). The dedicated public page is live: the real state — it is what makes the rest of the discourse credible.

08 — For developers