Stellar prend désormais en charge la vérification de preuve sans connaissance directement dans ses contrats intelligents, offrant ainsi aux développeurs de nouveaux outils pour la protection des données et le calcul hors chaîne à grande échelle. La mise à niveau exploite les Groth16 zk-SNARK et la nouvelle cryptographie BN254, permettant aux applications de vérifier des preuves complexes avec une seule transaction en chaîne.
Voici comment fonctionnent désormais les preuves ZK sur Stellar
Avec la récente mise à niveau du protocole X-Ray et les nouvelles capacités de l'hôte BN254, les contrats intelligents Soroban peuvent effectuer des opérations clés de courbe elliptique et d'appariement nécessaires aux zk-SNARK. Ces fonctionnalités sont similaires aux précompilations EIP-196 et EIP-197 d'Ethereum, facilitant le portage des projets ZK existants vers Stellar.
ZK verification started on Ethereum. Now it's live on @StellarOrg.
The pattern is clear: every major chain will need ZK proofs. For scale, for privacy, compliance, and trust-minimized interop between ecosystems.
Stellar is the first payments-native chain to make this move. A… https://t.co/GG2f0XH42C
— Boundless (@boundless_xyz) February 17, 2026
Le réseau prend actuellement en charge la vérification des preuves créées par le zkVM de RISC Zero et les circuits compilés avec des outils tels que Circom à l'aide du système de vérification Groth16. Les développeurs génèrent des preuves hors chaîne, puis soumettent les données de preuve compactes aux contrats Soroban, qui les vérifient en chaîne sans réexécuter le calcul d'origine.
Intégration RISC Zero et informatique hors chaîne
La nouvelle intégration de Stellar avec RISC Zero permet aux développeurs de prouver que le code arbitraire dans un zkVM a été exécuté correctement, puis de vérifier cette preuve en chaîne. Nethermind a développé le contrat de vérification qui combine les informations d'identification RISC Zero avec Soroban, permettant aux applications de traiter le zkVM comme une boîte noire vérifiable.
Cette conception déplace le gros travail en dehors de la blockchain : les applications peuvent traiter des mégaoctets de données ou une logique complexe ailleurs, puis envoyer uniquement une preuve cryptographique à Stellar. Le contrat vérifie la preuve en une seule transaction, maintenant les frais bas et n'atteignant pas les limites de calcul de la blockchain.
Les développeurs de Stellar ont déjà publié un prototype open source de « paiements privés » qui utilise les preuves Groth16 pour masquer les détails des dépôts, transferts et retraits tout en gardant les soldes valides. L'architecture combine un contrat de pool, un vérificateur Circom Groth16 et des arbres d'adhésion Merkle pour gérer qui peut envoyer et recevoir de l'argent.
La fondation affirme que ces outils permettent de nouveaux cas d'utilisation tels que la paie confidentielle, les transferts privés et les pools de protection des données respectueux de la conformité pour les institutions financières. Plus généralement, toute application qui doit prouver des faits sur un utilisateur ou une transaction sans révéler l'intégralité des données peut désormais le faire sur Stellar.
Pour les développeurs, la vérification ZK native sur Soroban offre un moyen d'intégrer des cumuls, des systèmes d'intention et des protocoles de confidentialité de style Ethereum sur une chaîne avec des frais inférieurs. Les équipes peuvent réutiliser les circuits et bibliothèques existants basés sur BN254 au lieu de reconstruire leurs piles sur une courbe différente.
EN SAVOIR PLUS: Prédiction des prix Monero : quelle est la prochaine étape pour XMR alors que le volume diminue ?