Un tour d'horizon des projets prometteurs de la sphère ZK et confidentialité dans l'écosystème Solana
TechFlow SélectionTechFlow Sélection
Un tour d'horizon des projets prometteurs de la sphère ZK et confidentialité dans l'écosystème Solana
De la sortie de la compression ZK à l'activation future de divers appels système, l'importance des preuves ZK pour Solana n'est pas à sous-estimer.
Dédié à des analyses Web3 approfondiesRédaction : Yash Agarwal & 0xIchigo
Traduction & révision : Pzai, Foresight News
De manière générale, l'infrastructure Solana permet aux développeurs de réduire les coûts liés aux performances du réseau, en offrant des solutions d'exécution asynchrone et de croissance de l'état. En matière de sécurité, Solana fournit confidentialité et protection des données pour les applications blockchain, ainsi que des mécanismes de vérifiabilité et de preuve de décentralisation. Examinons cela plus en détail.
Confidentialité et vérifiabilité
Arcium favorise la confidentialité des applications blockchain en proposant un cadre fiable, vérifiable et efficace pour le calcul cryptographique. Par exemple, des modèles d'IA peuvent être entraînés sur des données privées, tandis que la DeFi peut l'utiliser pour des transactions confidentielles.
Bonsol d'Anagram est un système de calcul vérifiable natif sur Solana qui permet aux développeurs de créer des exécutables pleinement vérifiables utilisant des données publiques ou privées, garantissant mathématiquement leur validité, puis d'intégrer leurs résultats dans des contrats intelligents Solana afin de les prouver sur chaîne.
Anonymat et mise à l'échelle basée sur ZK
Darklake construit une application AMM privée destinée à devenir le premier DEX sur Solana offrant une exécution d'ordres en temps réel et résistante au MEV.
Dark Protocol développe un protocole anonyme, gouverné par le marché et alimenté par des ZK-SNARKS.
ZK Compression, développé conjointement par le protocole de preuve ZK LightProtocol et Helius, est un nouveau primitif de compte Solana intégrant des mécanismes de preuves zk et de compression d'état. Il réduit les frais de location pour les développeurs d'applications Solana et propose une solution de croissance de l'état.
L'état compressé par ZK est stocké dans des comptes compressés. Ces comptes ressemblent à des comptes Solana ordinaires, mais présentent plusieurs différences clés améliorant l'efficacité et l'évolutivité :
-
Identifiant par hachage : chaque compte compressé peut être identifié par son hachage
-
Changement de hachage lors d'une écriture : toute opération d'écriture sur un compte compressé modifie son hachage
-
Adresse optionnelle : il est possible de définir une adresse comme identifiant unique permanent du compte compressé. Ce champ est facultatif afin d'éviter les surcoûts de calcul, car un compte compressé peut être référencé par son hachage. Cela s'avère particulièrement utile pour certains cas d'usage, comme les NFT.
-
Arbre d'état creux : tous les comptes compressés sont stockés dans un arbre de Merkle, seul la racine de cet arbre (racine de Merkle) étant conservée dans l'espace de compte sur chaîne. Plus précisément, l'arbre d'état est un arbre de Merkle concurrent basé sur le hachage Poseidon.
De nombreuses équipes Solana ont déjà mis en œuvre des cas d'usage de compression ZK :
-
Les utilisateurs du portefeuille Backpack peuvent détenir des jetons sans payer de frais de location (gas).
-
Des applications sociales grand public comme Tribe.fun permettent aux créateurs d'envoyer des jetons à faible coût.
-
Des outils de distribution comme Helius Airship.
ZKVM et pile de mise à l'échelle du réseau
RiscZero et SuccinctLabs permettent de prouver des calculs arbitraires sur chaîne, sans être limités par les contraintes de calcul de la blockchain. Cela renforce notamment les clients légers Solana pilotés par ZK, simplifie les réseaux DePIN et permet des connexions ZK sécurisées et transparentes.
Par ailleurs, zkSVM est utilisé dans de nombreux cas d'usage :
-
Solforge Network utilise la pile de mise à l'échelle par ZKP et la compression zk pour activer des extensions avec preuves de mises à jour d'état, optimisées pour la génération de preuves via LightSVM.
-
Terminaxyz, plateforme de déploiement de réseaux SVM, adapte les applications à des cas d'usage spécifiques en réduisant la latence, améliorant la confidentialité et abaissant les coûts de calcul.
-
Le stack SVM SonicSVM, conçu pour les jeux et applications, travaille également à l'évolutivité grâce à zk et Hypergrid.
-
ZetaMarkets Bullet L2 vise un débit extrêmement élevé, toutes les transitions d'état étant prouvables.
En outre, des équipes comme Aerius expérimentent avec les preuves zk.
D'autres initiatives incluent le programme ZK Token Proof, qui prend en charge les transferts privés via Anza — en chiffrant les soldes et montants des transactions de jetons SPL afin de protéger la confidentialité dans des cas comme les paiements. Le chiffrement homomorphe permet d'effectuer des calculs sur des données chiffrées sans avoir besoin de les déchiffrer. À cette fin, les transferts privés utilisent le chiffrement Twisted ElGamal pour effectuer des opérations mathématiques masquées sur les textes chiffrés, et le protocole Sigma pour valider ces transferts sans divulguer d'informations sensibles. Seul le titulaire du compte possédant la clé de déchiffrement peut consulter son solde chiffré. Toutefois, le Global Auditor System (système d'audit global) sur Solana autorise un accès sélectif en lecture via une clé de déchiffrement distincte, assurant conformité réglementaire et auditabilité.
Bienvenue dans la communauté officielle TechFlow
Groupe Telegram :https://t.me/TechFlowDaily
Compte Twitter officiel :https://x.com/TechFlowPost
Compte Twitter anglais :https://x.com/BlockFlow_News
