ZeroSync
ZeroSync est un projet visant à permettre la synchronisation d'un nœud Bitcoin via une ZK proof, sans télécharger toute la chaîne. Game-changer potentiel pour la mobilité. Encore expérimental.
Le problème de l'IBD
Lorsqu'on installe un nouveau nœud Bitcoin Core, il doit effectuer un Initial Block Download (IBD) : télécharger et valider tous les blocs depuis le bloc genesis. En 2026, cela représente plus de 600 GB de données et plusieurs heures (voire jours) de calcul intensif sur CPU et SSD. C'est un obstacle majeur pour l'auto-souveraineté : tout le monde ne peut pas se permettre un setup full node.
L'idée de ZeroSync
ZeroSync est un projet open-source initié en 2022 par Robin Linus et l'équipe de Bitlayer/ZeroSync.org. Il propose de remplacer l'IBD par la vérification d'une preuve à divulgation nulle de connaissance (ZK-SNARK) attestant que :
"L'UTXO set Z est valide à la hauteur N, parce qu'on l'a obtenu en appliquant correctement toutes les règles de consensus depuis le bloc genesis."
Au lieu de tout retélécharger, un nouveau nœud :
- Récupère le dernier UTXO set commit.
- Vérifie la ZK-proof associée (taille ~quelques centaines de KB, vérification en quelques secondes).
- Se synchronise au tip avec les seules headers + derniers blocs.
Technologie sous-jacente
ZeroSync utilise Cairo, un langage et runtime développé par StarkWare pour générer des proofs STARK. Le défi : encoder l'ensemble du consensus Bitcoin (validation de scripts, signatures ECDSA/Schnorr, règles de soft fork...) en circuits Cairo. C'est un travail d'ingénierie titanesque, en cours depuis 2022.
Cas d'usage potentiels
| Acteur | Bénéfice | |---|---| | Mobile users | Full validation sans 600 GB de stockage | | IoT et embedded | Nœud Bitcoin sur Raspberry Pi Zero | | Light clients | Sécurité quasi full-node sans le coût | | Sidechains et L2 | Bridges plus sécurisés |
Limites
- Pas de soft fork nécessaire côté Bitcoin (avantage majeur), mais...
- Génération des proofs très coûteuse en CPU/GPU (jusqu'à plusieurs heures de calcul).
- Confiance dans le code Cairo : un bug dans la spec ZeroSync est aussi grave qu'un bug de consensus.
- Encore expérimental en 2026, pas de release production.
Concurrents et alternatives
D'autres projets visent un objectif similaire : Utreexo (compresser l'UTXO set en accumulateur), AssumeUTXO (déjà mergé dans Bitcoin Core, mais sans ZK), et des recherches sur les rollups Bitcoin-friendly (Citrea, BOB).
À retenir
ZeroSync n'est pas encore prêt pour la production, mais c'est l'un des projets les plus ambitieux pour démocratiser le full node. Si la techno mature, elle pourrait transformer ce que signifie "faire tourner Bitcoin" en 2030.
Termes lies
- ZKP (Zero-Knowledge Proof)Une ZKP permet de prouver une affirmation sans révéler la donnée sous-jacente. SNARK et STARK en sont les variantes. Utilisée par Citrea, ZeroSync, Bullets, etc. Future bricklayer de Bitcoin.
- SNARKUn SNARK (Succinct Non-Interactive Argument of Knowledge) est une ZKP courte et vérifiable rapidement. Variantes : Groth16, PLONK, Halo. Utilisée par Citrea, ZeroSync.
- IBD (Initial Block Download)L'IBD est la phase de synchronisation initiale d'un nœud, qui télécharge tous les blocs depuis le bloc Genèse. Peut prendre plusieurs jours selon le matériel. Optimisé par headers-first et assume valid. Indispensable avant utilisation normale.
Glossaire inspire du dictionnaire de Loic Morel sur Pandul.fr.