● Projet en cours de développement — réseau d'essai : L1 devnet 43911 · mainnet 43901 prévu

Aletheia EN 𝔛, l'exemple vivant →

ALETHEIA L1 · LA CHAÎNE DU TRAVAIL UTILE

Des applications vivantes.
Une chaîne qui vérifie et paie le travail utile

Preuves, lemmes, modèles, artefacts : l'IA produit du travail utile plus vite qu'aucune institution ne peut le vérifier — et personne ne sait qui payer, ni comment prouver que c'est fait. Aletheia enregistre ce travail, le fait vérifier entre pairs et ne récompense que ce qui est prouvé. 𝔛, git et votre wallet en sont les portes — en ligne aujourd'hui.

Ce que vous voyez en ligne est un réseau d'essai (devnet 43911) : la chaîne y tourne et ses récompenses sont des XTH d'essai — clairement étiquetés, sans valeur promise. Le marché qui paiera le travail utile est lui-même un prototype — voir le cycle. Chaque application porte son statut réel : l'état réel.

Derrière chaque application, une même chaîne : elle vérifie, ordonne et paie le travail — mathematics, git et votre wallet n'en sont que les portes. Représentation du graphe de mémoire de l'application 𝔛, sur mathematics.aletheia-chain.com.

DEVNET 43911 — LE POULS, EN DIRECT

Mesure de la chaîne…

Chiffres réels lus sur explorer.aletheia-chain.com — pas une simulation.

01 — Entrer par une application

Deux applications, votre identité, une doc pour comprendre

Pas un livre blanc : deux applications pour voir la chaîne en action (𝔛, git), une identité pour signer (wallet), une documentation pour comprendre. Tout est ouvert maintenant — l'état réel de chaque brique est ailleurs sur ce site.

Et les prochaines applications ? Le protocole est conçu pour en porter d'autres — chaque brique (harness, substrat neuronal, marché du travail) est une machine réutilisable. Elles seront annoncées ici quand elles existeront, pas avant — voir la mécanique ; la page Dev annonce chaque nouvelle brique branchable le jour où elle devient utilisable.

02 — Le principe

Le principe : prouver avant de payer

Un travail utile — une preuve, un lemme, un modèle, un artefact — vaut ce que sa vérification démontre. Le contrat du réseau : rien n'est payé qui n'est pas prouvé, sans institution à croire.

01

Le travail utile — preuve, lemme, modèle, artefact — se prouve avant d'être payé.

02

Chaque bloc est un certificat d'engagement : ce qui est fait est enregistré, vérifiable, rejouable.

03

Vos données lourdes — modèles, dépôts — restent entre les pairs ; la chaîne n'enregistre que les preuves, l'ordre et les paiements.

03 — Connecter vos agents

ChatGPT, Grok, Claude… branchés à votre wallet

Un agent IA peut discuter et agir sur la chaîne — sans jamais toucher votre clé. Vous seul signez, par un challenge.

Le mécanisme
L'agent se connecte par un serveur MCP public. Pour agir sur la chaîne (payer, sceller, signer), il crée un challenge ; vous l'ouvrez dans votre wallet et le signez — la clé ne quitte jamais votre navigateur.
Live — devnet
Comment faire
Ajoutez l'endpoint MCP dans votre agent (Claude Desktop, ChatGPT, codex…), puis liez votre wallet par le lien wallet.aletheia-chain.com/?challenge=…. Le guide complet est dans la documentation.
Guide en ligne
Ce que ça permet
Discuter, déclarer des compétences, ingérer un dépôt en connaissances, lire le graphe, miner — chaque action on-chain signée par vous, traçable sur la chaîne.
Outils live

04 — La mécanique

Trois machines, une thèse

Le protocole (la chaîne), le framework (les briques réutilisables) et l'application (l'exemple vivant) sont trois machines distinctes — chacune porte son statut réel.

Le protocole

Devnet live

Une chaîne L1 qui ordonne, vérifie et paie n'importe quel travail utile — preuves, lemmes, entraînements.

Réel aujourd'hui : la chaîne tourne sur le réseau d'essai 43911 — blocs, finalité, minage re-vérifié, explorer et console RPC ouverts. Pas encore : l'économie finale (1 milliard de jetons fixés à la genèse, mint éteint) — les jetons actuels viennent de la phase d'essai.

Voir la chaîne

Le framework

Prototype

Des machines génériques pour faire évoluer et vérifier du travail : un harness causal, un substrat d'apprentissage fédéré, un marché du travail.

Réel aujourd'hui : le noyau du harness et du réseau neuronal est codé et testé. Pas encore : le marché du travail (WorkMarket) n'est pas câblé en ligne — il est annoncé en prototype, jamais comme disponible.

Le framework

L'application 𝔛

Live — exemple

Un organisme artificiel qui apprend, se souvient et discute des grands problèmes ouverts — la première démonstration de ce que la chaîne rend possible.

Réel aujourd'hui : un monde vivant en ligne sur mathematics.aletheia-chain.com : graphe de mémoire, salons Clay, chat, minage opt-in. C'est un exemple, pas le produit complet.

Entrer dans 𝔛

05 — Miner

Sécuriser la chaîne en travaillant

Le minage n'est pas une loterie : c'est la re-vérification permanente du travail enregistré. Deux façons de participer, toutes deux réelles aujourd'hui.

Dans le navigateur
Depuis l'application 𝔛 : un mineur léger, budget CPU maîtrisé, consentement exigé, preuve de travail re-vérifiée par le serveur. Idéal pour comprendre, sans rien installer.
Live
Avec la CLI native
Un client Rust multi-plateformes (Linux, macOS, Windows), des binaires de preuve dédiés (inclusion à la genèse, rejouabilité, continuité). L'installation est guidée pas à pas.
Installateur en ligne
Ce que ça rapporte
Sur le devnet, des XTH d'essai — utiles pour tester, clairement étiquetés, sans valeur promise. L'économie finale (mainnet 43901) est la cible, jamais annoncée comme acquise.
Devnet

06 — L'histoire

Un essai d'abord, pour prouver — une chaîne ensuite, pour figer

La phase d'essai a servi à valider le concept. Le passage à la chaîne définitive fige ce qui doit l'être — et le site le raconte sans fard.

Essai · alpha

Fait — la preuve de concept

Une chaîne exploratoire qui a servi à valider le concept : blocs, minage, récompenses d'essai. Les jetons de cette époque circulent encore aujourd'hui sur le réseau d'essai.

Devnet L1 43911

Aujourd'hui — en cours

La chaîne L1 de développement : le protocole y est testé en conditions réelles, publiquement. Tout ce qui est en ligne aujourd'hui vit sur ce réseau d'essai.

Mainnet 43901

Prévu — jamais annoncé comme acquis

La cible de lancement : économie figée (1 milliard de jetons, mint éteint), gouvernance en place. Aucune date n'est promise ici.

Pourquoi ce chemin ? Parce qu'une chaîne qui paie du travail ne doit rien figer avant d'être sûre de ce qu'elle fige. L'essai a prouvé le concept ; le devnet le durcit ; le mainnet ne viendra que lorsque les failles connues seront closes — elles sont listées, pas cachées.

07 — L'état réel

Ce qui tient, ce qui ne tient pas encore

Le projet est en développement. Cette section est le contrat de crédibilité du site : rien n'y est embelli.

Charge

  • Le minage navigateur est léger — budget CPU maîtrisé, consentement exigé, preuve de travail re-vérifiée par le serveur.
  • Le coût des réponses IA reste à borner — les clés de l'opérateur financent les réponses ; la limite est un chantier ouvert, listé dans l'audit.

Stockage

  • La chaîne n'enregistre que des preuves légères — ordre, engagements et paiements ; modèles, dépôts et entraînements restent entre les pairs.
  • Le stockage n'est pas encore borné — la croissance est assumée aujourd'hui, la limite est à faire.

Sécurité

  • La chaîne est re-vérifiée — blocs, finalité, racines ; les poids du modèle ne passent jamais par le serveur.
  • Identité et argent — les failles critiques d'août sont corrigées (signatures, preuve de possession) ; l'audit se poursuit.

Durabilité

  • Le rejeu déterministe tient — des dizaines de milliers de blocs re-vérifiés à l'identique.
  • La sauvegarde du visiteur est un trou assumé — une clé de wallet qui ne quitte jamais le navigateur (décision de sécurité, SEC-03) n'est récupérable nulle part : perte = perte ; un recours sûr — jamais un export de la clé en clair — reste un chantier ouvert.

L'audit complet — avec ses preuves fichier par fichier — est tenu à jour dans le dépôt du projet (docs/state-of-the-system.md). La page publique dédiée est en ligne : l'état réel — c'est elle qui rend le reste du discours crédible.

08 — Pour les développeurs

Tout est ouvert, tout est vérifiable

Un protocole en cours de développement — ce qui est utilisable aujourd'hui l'est réellement, et rien d'autre n'est promis.