A sovereign peer-to-peer currency. No server, no bank, no mint authority. Minez la monnaie du réseau, gardez-la avec vos clés, échangez de la valeur — entre pairs, sans tiers de confiance.
Quanta est une application de bureau (macOS · Windows · Linux) et un nœud headless
(quanta-node) qui font tourner un réseau pair-à-pair souverain. La pièce native est
QUANTA (plus petite unité : µQTA, 1 QUANTA = 1 000 000 µQTA) — rare (plafond dur
100M, émission décroissante) et post-quantique. Identité, wallet et clés restent locaux et
chiffrés. Le réseau remplace la banque.
Le dépôt fait 44 000 lignes de Rust ; personne ne devrait avoir à deviner par où commencer.
| Vous voulez… | Allez voir |
|---|---|
| comprendre le protocole de bout en bout | docs/ARCHITECTURE.md — la visite guidée, écrite pour être lue d'un trait (en anglais) |
| juger la qualité du code | src-tauri/src/sm/ — le cœur de consensus, déterministe et sans aucune IO, avec son harnais de simulation seedé |
| savoir ce qui est cassé ou absent | la section État réel ci-dessous, écrite pour être lue contre le projet |
| voir comment un défaut est traité | docs/audit/2026-08-13/ — les rapports d'audit externe publiés tels quels, et la remédiation qui dit aussi ce qui reste ouvert |
| savoir pourquoi une décision a été prise | docs/decisions/ — chaque ADR nomme l'alternative écartée ; celles qui ont été renversées restent au registre |
| faire tourner un nœud | docs/ops/RUN-WITH-A-FRIEND.md — écrit pour quelqu'un qui n'a pas écrit ce code |
| comprendre le post-quantique | docs/POST-QUANTUM.md — de « qu'est-ce que Shor casse au juste » jusqu'au prix en octets |
Toute la documentation est indexée dans docs/README.md.
Quanta est un logiciel alpha de recherche. Rien ici n'est survendu ; ce qui suit est vérifiable dans le code et dans la suite de tests.
| Implémenté et testé | Testé en simulation / à petite échelle | Pas fait |
|---|---|---|
| Ledger µQTA déterministe : burn-and-mint, reorg, plafond 100M vérifié au consensus | Convergence multi-nœuds (simulation déterministe seedée, fautes réseau + byzantines) | Audit indépendant par un cabinet établi — une revue externe à un seul relecteur a eu lieu (13/08/2026), ce n'est pas la même chose |
| Identité = adresse ML-DSA + vault Argon2id / AES-256-GCM + phrase BIP39 24 mots | NAT traversal et découverte de pairs à grande échelle | Testnet public (aucun pair d'amorçage public, aucun réseau ouvert) |
| Autorité de transaction ML-DSA-65 pur (FIPS 204) | Oracle d'énergie — signal d'affichage seulement, hors du chemin monétaire depuis v8 | Notarisation / signature OS des binaires |
| Enveloppes gossip signées ML-DSA-65 + KEX de transport X25519MLKEM768 | Anti-sybil (PoC : réputation + poids de stake) | Release binaire à jour (la dernière release GitHub date de mai 2026 et ne correspond plus au code) |
| Gadget de finalité Casper-FFG câblé en vivant : votes, certificat ⅔, plancher irréversible, slashing STAKE→BURN, réconciliation de fork | Multisig M-of-N ML-DSA (on-chain, sans UX multi-partie ni test d'intégration) | Valeur de marché — QUANTA n'est coté nulle part, l'app n'affiche aucun prix |
| Récompense de bloc recalculée par chaque nœud et partagée avec les producteurs récents | Vrai VRF cryptographique + VDF (ADR-004 ouverte) | |
| Nœud headless + JSON-RPC (17 méthodes, authentifié) + explorateur web | ||
608 tests + 1 test d'intégration, clippy -D warnings propre, svelte-check 0/0 |
Les points durs, dits franchement :
- Le réseau n'a jamais tourné au-delà de deux nœuds. Pire : entre le fork v4 (18/07) et le
01/08/2026, le nœud était muet sur tout réseau réel —
iroh-gossipplafonne un message à 4 096 octets alors qu'une enveloppe signée ML-DSA en pèse ~15 000, et l'émission échouait en silence. La suite était verte, le test d'intégration deux nœuds passait, et le jalon « vérifié entre deux machines » datait de deux mois avant la régression. Corrigé et vérifié en vivant ; l'histoire complète est dansdocs/ARCHITECTURE.md§7. L'échelle réelle reste non éprouvée — deux daemons sur une même machine ne prouvent pas la traversée de NAT. - Le protocole a rompu dix fois (
TORUS_PROTOCOL_VERSION = 10). Tout binaire, snapshot ou chaîne antérieurs sont incompatibles ; la dernière rupture (14/08/2026) rejoue la genèse, car les préimages signées ont changé de forme. - Une revue de sécurité externe a eu lieu le 13/08/2026, et elle a fait mal. 85 constats, dont
13 critiques : trois d'entre eux étaient exploitables par un pair quelconque, sans clé, sans
enjeu, avec quelques messages — bannir n'importe quel nœud du réseau, faire autoriser deux
transactions différentes par une seule signature, et rejouer une transaction signée une seule
fois jusqu'à vider sa victime. Le motif dominant n'était pas l'incompétence : le projet
vérifiait très bien ce qu'il avait décidé de vérifier, et ne vérifiait pas ce dont il n'avait
jamais écrit la règle. Les rapports sont publiés tels quels dans
docs/audit/2026-08-13/, PoC compris ; l'état des corrections et ce qui reste ouvert :docs/audit/REMEDIATION-2026-08-13.md. Un audit interne adversarial du 25/07/2026 l'avait précédé (4 critiques, 8 hauts, corrigés derrière le fork v7) — il n'avait vu aucun des treize, ce qui est précisément la valeur d'un regard extérieur. - Le fork-choice est pondéré par l'enjeu depuis le 14/08/2026 (
C-04). Il était « le plus grand hash gagne » : letimestampentre dans le hash, donc quelques milliers de BLAKE3 suffisaient à gagner tous les départages sans posséder un µQTA de plus que son voisin. Le départage passe désormais par le rang d'élection — pondéré par l'enjeu bondé, ancré sur un beacon enterré, donc insensible au contenu du bloc concurrent. La profondeur de réorganisation est bornée à 128 blocs, indépendamment de la finalité (C-03). Conception, limites et ce qui reste ouvert :docs/protocol/FORK-RANK.md. - Ce n'est toujours pas une preuve de sûreté. Sans VRF post-quantique déployable, l'élection reste prédictible et sa graine partiellement broyable ; le nothing-at-stake n'est borné que par la profondeur de reorg. Ce réseau ne doit porter aucune valeur.
- Cryptographie et consensus expérimentaux : n'y stockez aucune valeur réelle.
- Un seul bloc
unsafedans le code de production — interop AppKit pour l'état d'occlusion de la fenêtre (src-tauri/src/guardian.rs). Le second est dans un test, pourset_var.
- Miner — Gardez un nœud en ligne : produisez un bloc et vous touchez la moitié de sa récompense, l'autre moitié étant partagée entre les nœuds ayant produit récemment. Le montant est une fonction pure de la chaîne que chaque nœud recalcule — aucune mesure locale (watts déclarés, réputation) ne touche la monnaie. Émission décroissante vers un plafond dur de 100M (~120 QUANTA/h à la genèse), zéro premine, zéro autorité d'émission.
- Garder — Votre identité est une paire de clés ; on vous joint par un court
@pseudoou par une adresseqta1…(Bech32m à checksum). La clé privée ne quitte jamais l'appareil (vault Argon2id + AES-256-GCM) ; une phrase de récupération de 24 mots (BIP39) restaure le compte. Aucun KYC, aucun tiers. - Échanger — Transférez des QUANTA entre wallets, autorisés par une signature ML-DSA-65 liée à l'adresse de l'expéditeur, avec un burn de 1 % à chaque transfert. Stakez pour sécuriser le réseau, ou verrouillez des fonds derrière un multisig M-of-N post-quantique.
Nommage honnête : l'élection du proposeur est déterministe et publiquement vérifiable,
ce n'est pas un VRF cryptographique. Aucune clé secrète n'entre dans le tirage, donc le
leader d'un slot est publiquement prévisible ; un beacon enterré (le hash du bloc situé
LEADER_ENTROPY_LOOKBACK = 2 hauteurs derrière le tip) empêche seulement le grinding immédiat.
Un vrai VRF (imprévisibilité) et un VDF (anti-grinding) sont au roadmap —
ADR-004, ouverte.
slot = hauteur de chaîne
beacon = BLAKE3(domaine ‖ hash du bloc enterré ‖ slot)
seed = BLAKE3(domaine ‖ beacon ‖ slot ‖ round)
seed % stake total pondéré → leader déterministe
Le poids est l'enjeu inscrit sur la chaîne (tx Stake/Unstake scellées), donc une
fonction pure de la chaîne : identique sur un nœud vivant, restauré ou synchronisé. Minimum
1 QUANTA, fallback 30 s vers le suivant, bootstrap permissionless tant que personne n'a staké.
Un bloc sur 16 est un slot ouvert, proposable par n'importe quelle adresse, bondée ou non. Sans lui le réseau se refermerait définitivement au premier staker : sans faucet, airdrop ni premine, un nouvel arrivant a besoin d'un enjeu pour proposer et de proposer pour gagner. Le prix est nommé et borné — le trilemme de vulnérabilité Sybil (Platt, Platt & McBurney, 2024) démontre qu'on ne peut être à la fois sans-permission, résistant aux Sybils et gratuit ; on relâche « gratuit » d'exactement un seizième, et comme les slots sont cadencés par la hauteur, une ferme d'un million de fausses identités n'en capte pas davantage qu'une seule.
Au-dessus, un gadget de finalité de type Casper-FFG rend l'histoire irréversible :
checkpoints par époque (E = 32 blocs), votes signés ML-DSA-65, certificat à ⅔ du stake
(défaut réglable par gouvernance, pas une promesse gravée — ADR-006), règle justify/finalize,
accountable safety (double-vote et surround détectés, preuve non-répudiable, enjeu détruit
STAKE→BURN — y compris l'enjeu en cours de déverrouillage), fork-choice LMD-GHOST pondéré par le
stake et ancré à la finalité. Le cœur est écrit sans IO et déterministe
(src-tauri/src/sm/) et éprouvé par un harnais de simulation seedé (partitions, réordres,
crashs, nœuds byzantins, invariants de sûreté / conservation / émission vérifiés à chaque pas).
Le câblage vivant (LIVE-1→4) fait circuler les votes en gossip, maintient un plancher de finalité
persisté qu'aucun fork ne peut franchir, applique le slashing sur le ledger réel et réconcilie
deux partitions qui ont scellé chacune plusieurs blocs.
Ce tableau dit ce qui est PQ et ce qui ne l'est pas.
| Surface | Primitive | État |
|---|---|---|
| Autorité de transaction (l'argent) | ML-DSA-65 (FIPS 204, crate fips204) |
PQ pur — aucun repli classique |
| Votes de finalité (l'irréversibilité) | ML-DSA-65 | PQ pur |
| Enveloppes gossip (authentification des messages) | ML-DSA-65 | PQ depuis le fork v4 |
| Confidentialité du transport (QUIC / TLS 1.3) | X25519MLKEM768 (rustls + aws-lc-rs) | hybride PQ — défense harvest-now-decrypt-later |
| Identité de nœud (NodeId Iroh) | Ed25519 | classique — dette upstream, Iroh attend un consensus d'industrie sur la signature PQ des EndpointIds |
| Chiffrement au repos (vault) | AES-256-GCM + Argon2id (64 Mio, 3 itér., p=4) | symétrique, résistant Grover |
La clé ML-DSA est dérivée de la graine (XOF BLAKE3) : aucun secret supplémentaire persisté.
Les secrets sont zeroizeés après usage. Une adresse est BLAKE3(ADDR_DOMAIN ‖ clé publique ML-DSA), présentée en Bech32m (qta1…).
Pourquoi tout ça, et comment ça marche : docs/POST-QUANTUM.md —
le cours complet, de « qu'est-ce que Shor casse au juste » jusqu'aux tailles réelles et au
vocabulaire, écrit pour être compris et réexpliqué.
Chaque message entrant traverse ce pipeline, dans cet ordre :
taille (≤ 4 Mio) → désérialisation → ban du pair → identifiant d'enveloppe canonique
(id == BLAKE3 de la pré-image signée, sinon rejet) → sonde de déduplication en lecture
→ fraîcheur du timestamp (±90 s) → vérification de signature ML-DSA-65
→ insertion en déduplication (APRÈS authentification) → rate-limit adaptatif + nonce
anti-replay monotone → handler
L'ordre n'est pas cosmétique : dédupliquer avant d'authentifier permettait à n'importe qui
d'empoisonner le cache avec des identifiants forgés et de censurer gratuitement la
synchronisation d'un pair (corrigé en v7, reverifié à l'audit du 13/08). S'y ajoutent :
bannissement (3 signalements → 1 h) persisté entre redémarrages, rate-limit adaptatif
sqrt(pairs/4) × 30 msg/min plafonné à 120, garde DoS (4 Mio par enveloppe, 3 Mio et 50 blocs
par segment de chaîne), heuristique anti-éclipse, et des cartes par pair bornées en mémoire. Les
erreurs de déchiffrement sont opaques ; aucune clé privée n'apparaît dans les logs, les erreurs
ou les réponses JSON.
Protocole gossip : 11 messages (Hello, RequestChain, ChainSegment, NewBlock,
BroadcastTx, PublishUsername, FinalityVote, FinalityFault, Ping, Pong,
ReportPeer).
Huit portes tournent en CI sur chaque commit (ci.yml) :
cargo check --locked, cargo test --locked (608 + 1), cargo clippy --all-targets -D warnings,
cargo-deny (advisories · licences · sources · bans, bloquant), cargo-audit en second
regard sans liste d'ignore, npm audit --audit-level=high, svelte-check, et une vérification
qui relit le bundle produit pour refuser tout script inline hors politique CSP.
Et une règle qui compte davantage que les huit :
Aucun correctif de sécurité n'est considéré fait tant que le test qui le couvre n'a pas été vu échouer. On sabote délibérément le correctif, on vérifie que le test rougit, puis on restaure à l'octet près.
Elle a été appliquée aux ~40 correctifs de la remédiation d'août 2026, et elle a servi. Le
correctif M-14 a d'abord été « vérifié » par une mesure de temps qui passait au vert avec et
sans lui : sur une chaîne de test, une seule vérification ML-DSA domine quelques centaines
d'itérations, si bien que le test mesurait autre chose que ce qu'il prétendait. Il a fallu le
remplacer par un compteur de parcours de chaîne compilé sous #[cfg(test)]. Un test qui n'a
jamais été rouge ne prouve rien — surtout quand il est vert.
Le même principe vaut au niveau du réseau : t0_8_sweep_catches_planted_violation casse
délibérément une règle de consensus pour prouver que le harnais de simulation la voit, et
t0_8_replay_is_byte_identical garantit qu'une graine défaillante se rejoue à l'octet près.
| Paramètre | Valeur |
|---|---|
| Plafond | 100 000 000 QUANTA, dur, vérifié au consensus |
| Émission | décroissante : (plafond − miné) / 50 000 000 µQTA par minute (~120 QUANTA/h à la genèse) |
| Récompense d'un bloc | emission_for_block(offre minée avant ce bloc) — fonction pure de la chaîne, frappée par le producteur et recalculée par chaque récepteur |
| Partage | moitié au producteur, moitié aux adresses ayant produit un bloc dans les 32 derniers, pondérée par le nombre de blocs produits — recalculée et imposée par chaque nœud. La pondération remplace un partage à parts égales qui subventionnait la duplication d'identité (H-08) |
| Premine / autorité d'émission | aucun |
| Unité | 1 QUANTA = 1 000 000 µQTA — arithmétique entière, zéro flottant sur les soldes |
| Burn | 1 % détruit par transfert (arithmétique entière, amount / 100) |
| Conservation | Σ(dépensable + staké + en déverrouillage) + brûlé == miné, vérifiée à chaque pas de simulation |
| Déverrouillage du stake | 10 080 blocs (~2 semaines), ≥ fenêtre de slashing (contrainte gravée, vérifiée à la compilation) |
Chaque tick libère une fraction fixe de l'offre restante : le rythme baisse à l'approche du plafond et le total tend vers 100M sans jamais l'atteindre. En absolu c'est lent — ≈1 % la première année, la moitié du plafond vers ~66 ans (calendrier dans le whitepaper). Miner coûte de l'électricité réelle, mais un coût de production n'est pas un prix : QUANTA n'est coté nulle part.
quanta-node— daemon headless (même cœur que l'app), wallet persistant, mine / détient / envoie.- JSON-RPC — 17 méthodes (
getinfo,getblock,getbalance,validateaddress,getfinalityinfo,getvalidators,getmempool,listtransactions,sendrawtransaction,sendtoaddress,getmultisigaddress…), montants en µQTA entiers. Les méthodes qui touchent à l'argent sont authentifiées par jeton cookie avec gardeOrigin/Content-Type— sans quoi un simplefetch()depuis une page web atteignaitsendtoaddress(critique C4, corrigée). La surface de lecture reste volontairement ouverte. - Explorateur web autonome servi par le nœud, plus un mode
--publicen lecture seule. - Multisig — adresses M-of-N qui commettent à leur politique
BLAKE3(MSIG_DOMAIN ‖ clés triées ‖ seuil), vérification rebind-proof, sans nouveau champ wire. Première custody à quorum post-quantique du projet — l'UX multi-partie et le test d'intégration restent à faire.
Prérequis : Node 18+, Rust stable, toolchain Tauri 2.
npm install
npm run tauri dev # app de bureau, hot-reload
cargo test --manifest-path src-tauri/Cargo.toml # 608 tests + 1 intégration
cd src-tauri && cargo clippy --all-targets -- -D warnings
npm run check # svelte-check (0 erreur / 0 warning)
npx tauri build # bundle de productionSur macOS le binaire n'est pas notarisé : xattr -cr /Applications/Quanta.app, puis clic
droit → Ouvrir. La notarisation est au roadmap.
Le nœud est headless et se compile avec Rust seul — ni Node, ni npm, ni toolchain Tauri :
git clone https://github.com/nobodyohm-web/Quanta.git && cd Quanta
./docs/ops/peer.sh start # compile, lance, et attend d'avoir une identité réseau
./docs/ops/peer.sh status # peers, hauteur, solde, et la ligne TIP@ à comparer
./docs/ops/peer.sh update # affiche les commits entrants, puis recompile et relanceGuide pas à pas pour quelqu'un qui découvre le dépôt, avec la lecture du status et le
tableau des pannes courantes : docs/ops/RUN-WITH-A-FRIEND.md.
src-tauri/src/
├── lib.rs ← run() / AppState / invoke_handler
├── commands/ ← commandes Tauri par domaine (identity, wallet, network, chain, diagnostics)
├── views.rs ← view-models purs partagés app Tauri ↔ JSON-RPC
├── rpc.rs ← serveur JSON-RPC (17 méthodes, authentifié)
├── node_runtime.rs ← bootstrap partagé app + daemon
├── bin/ ← quanta-node (daemon headless)
├── sm/ ← cœur sans-IO déterministe : finalité, slashing, fork-choice, simulation
├── p2p/
│ ├── pos_consensus.rs ← élection de leader (déterministe, beacon enterré)
│ ├── ledger/ ← blockchain : état, validation, stake, slash, reorg
│ ├── gossip.rs ← protocole (11 messages)
│ ├── dispatcher.rs ← pipeline de réception
│ ├── finality_live.rs ← câblage vivant du gadget (LIVE-1→3B)
│ ├── fork_heal.rs ← réconciliation de fork profonde (LIVE-4)
│ └── … ← mining_loop, willow_node, shapley, username, state_persistence
├── security/ ← CryptoEngine, vault PQ, ML-DSA-65
└── storage/ ← persistance libSQL
src/ ← frontend Svelte 5 (Wallet, Réseau, Minage, Contacts, Profil…)
Par ordre de ce qui bloque réellement :
- Deux machines physiques derrière deux NAT — la seule épreuve qui décide de la traversée
de NAT ; deux daemons sur un même hôte partagent une IP publique et ne percent rien.
Procédure scriptée :
docs/ops/two-machines.sh. - Audit indépendant par un cabinet établi — le dossier est prêt
(
docs/audit/) et s'appuie désormais sur les constats publics de la revue du 13/08/2026. - Testnet multi-nœuds durable sur la genèse actuelle — l'échelle réelle n'est pas éprouvée.
- Notarisation macOS + pipeline de release signé, et une release à jour.
- Aléa d'élection — vrai VRF + VDF (ADR-004).
- Multisig — UX multi-partie et test d'intégration.
- Vision — finalité BFT sous-seconde (design DAG-BFT), identité de nœud post-quantique le jour où Iroh la livre.
Index complet : docs/README.md.
docs/ARCHITECTURE.md— commencez par là : la visite guidée du protocole, la table des invariants avec leur lieu d'application, et les bugs qui ont façonné le design (anglais).WHITEPAPER.md·WHITEPAPER_FR.md— whitepaper.docs/POST-QUANTUM.md— la cryptographie post-quantique expliquée de bout en bout : ce que Shor casse, pourquoi c'est urgent sans machine quantique, les familles de remplacement, les standards, le prix en octets, le glossaire, et l'inventaire exact de Quanta.docs/audit/— le dossier de sécurité : les rapports de la revue externe du 13/08/2026 publiés tels quels, la remédiation, le threat model, le périmètre proposé.docs/decisions/— registre des ADR : chaque décision avec l'alternative écartée.docs/protocol/— conceptions détaillées (fork-rank, gadget de finalité, câblage vivant, piste DAG-BFT).docs/economy/DOCTRINE.md— la doctrine économique, y compris les mécanismes envisagés puis refusés.docs/ops/— lancer l'app, le nœud headless, le RPC, le test à deux machines.SECURITY.md— divulgation de vulnérabilités.CONTRIBUTING.md— comment contribuer.
Distribué sous licence Apache-2.0 — voir LICENSE et NOTICE.
Avertissement : logiciel expérimental fourni « en l'état », sans garantie d'aucune sorte. La cryptographie, le consensus et le réseau n'ont pas été audités par un cabinet indépendant. N'y stockez aucune valeur que vous ne pouvez pas vous permettre de perdre.
◈ Quanta ◈