Exploration des vProgs de Kaspa : le framework pour des applications évolutives et vérifiables

Kaspa a publié la première ébauche de son Livre jaune vProgs le 11 septembre 2025. Ce document détaille un protocole pour les programmes vérifiables, ou vProgs, qui permettent des calculs hors chaîne sécurisés par des preuves à connaissance nulle et ancrés à Kaspa Réseau de couche 1. 

Le framework vise à prendre en charge les applications décentralisées tout en maintenant les taux élevés de production de blocs du réseau. L'annonce, partagée via un Publication X de @DailyKaspa, intervient un jour avant la conférence Kaspa Experience à Berlin, où les développeurs et les membres de la communauté discuteront de la feuille de route du projet.

Contexte de l'architecture BlockDAG de Kaspa

Kaspa fonctionne différemment des blockchains linéaires, telles que Bitcoin or EthereumIl utilise un blockDAG, qui permet à plusieurs blocs de se référencer mutuellement en parallèle, réduisant ainsi le besoin de blocs orphelins lors du minage. Cette conception repose sur le protocole GHOSTDAG, développé par Yonatan Sompolinsky, qui étend le consensus Nakamoto pour prendre en charge des débits de blocs plus élevés sans compromettre la sécurité.

Actuellement, Kaspa traite 10 blocs par seconde, avec l'intention de porter ce débit à 32 blocs par seconde, voire 100 à plus long terme. Les confirmations interviennent généralement en une à dix secondes, la principale limitation étant la latence du réseau plutôt que le traitement en chaîne. Cela se traduit par un débit théorique de plus de 10 10,000 transactions par seconde, dépassant largement les 3 à 7 transactions par seconde de Bitcoin ou les 15 à 30 transactions par seconde d'Ethereum sur la couche 1 avant les implémentations de sharding.

Le réseau repose sur un consensus de preuve de travail, où les mineurs résolvent des énigmes informatiques pour ajouter des blocs. Les frais de transaction et les récompenses de bloc sont payés en Jetons KAS, la cryptomonnaie native du réseau Kaspa. Lancée en 2021, Kaspa s'appuie sur un modèle de distribution équitable, évitant le recours au capital-risque, ce qui a contribué à son développement communautaire. 

Kaspa a principalement servi de couche de base pour les paiements et le règlement des données, intégrant des normes comme KRC-20 pour les jetons fongibles. Jusqu'à la proposition vProgs, il manquait de prise en charge native des contrats intelligents, s'appuyant sur des scripts plus simples pour les opérations de base.

Découvrez des projets prometteurs...

Des projets prometteurs...

(Publicité)

L'article continue...

Qu'est-ce que Kaspa vProgs ?

vProgs, abréviation de programmes vérifiables, introduit un système permettant d'exécuter une logique complexe hors de la chaîne principale tout en garantissant la vérification des résultats sur la couche 1 de Kaspa. Chaque vProg agit comme une unité autonome, gérant ses propres règles d'état et de transition, de manière similaire au fonctionnement des programmes sur Solana mais avec une vérification de preuve à connaissance nulle supplémentaire.

Les preuves à connaissance nulle permettent à un démonstrateur de démontrer l'exactitude d'un calcul sans divulguer les données sous-jacentes. Dans vProgs, ces preuves sont soumises périodiquement à la couche 1, confirmant l'intégrité des activités hors chaîne. Cette approche allège la chaîne principale, privilégiant la validation plutôt que l'exécution, ce qui correspond à l'accent mis par Kaspa sur la rapidité et l'efficacité.

La version 0.0.1 du Livre jaune décrit les vProgs comme des applications « souveraines mais composables ». La souveraineté signifie que chaque vProg contrôle ses opérations internes de manière indépendante, y compris les autorisations de lecture et d'écriture. La composabilité permet à un vProg de lire les données d'un autre, facilitant ainsi les interactions telles que les transactions inter-applications. Cependant, les écritures sont limitées au vProg d'origine afin d'éviter les conflits.

Le développement de vProgs remonte à un fil de discussion d'août 2025 sur le forum de recherche de Kaspa, où les contributeurs ont abordé défis de la composabilité synchrone, y compris la latence des preuves et le partage des ressources. Le projet intègre les retours de ces sessions, même si de nombreux éléments restent à peaufiner, notamment les processus de création de comptes et les mécanismes d'élagage des données.

Principales fonctionnalités techniques de vProgs

Plusieurs mécanismes sous-tendent la fonctionnalité de vProgs, conçus pour gérer les dépendances et l'efficacité dans un environnement à haut débit :

Couture d'épreuve: L'assemblage de preuves combine plusieurs preuves à connaissance nulle provenant de vProgs interconnectés en un seul engagement, qui est ensuite soumis à la couche 1. Cela prend en charge les transactions atomiques entre les applications, où les résultats sont réglés simultanément sans délais intermédiaires courants dans les systèmes basés sur le cumul.

Lots de preuves conditionnellesLes lots de preuves conditionnelles regroupent les transactions liées pour une preuve collective, ce qui réduit la charge de calcul. Par exemple, dans un scénario DeFi impliquant plusieurs swaps, le traitement par lots réduit le nombre de preuves individuelles nécessaires.

DAG de calculLe DAG de calcul forme un graphe de dépendances au niveau de la couche applicative, reflétant la structure blockDAG de Kaspa. Il suit les flux de données entre les vProgs, garantissant la disponibilité des informations référencées et le maintien de l'ordre d'exécution lors des traitements parallèles. Ce graphe permet d'éviter les surcharges en séquençant les opérations dépendantes.

Mesure des ressourcesLa mesure des ressources introduit des contrôles pour gérer les coûts. En interne, chaque vProg utilise son propre modèle de gaz de couche 2 pour les calculs. Sur la couche 1, ScopeGas mesure les interactions entre les vProgs et facture des frais en fonction des dépendances de données afin de décourager le spam ou une utilisation excessive des ressources, par exemple lorsqu'une application surcharge les besoins en entrée d'une autre.

Modèle économiqueLe modèle économique de vProgs repose sur des prouveurs sans permission (des nœuds qui génèrent et soumettent des preuves) rémunérés par les utilisateurs. La vivacité, ou la garantie de preuves ponctuelles, fonctionne selon deux modes : optimiste, où les prouveurs coopèrent, et souverain, où les applications s'exécutent indépendamment. Ce système encourage la participation sans recourir à des coordinateurs centralisés.

Caractéristiques de confidentialitéLes fonctionnalités de confidentialité émergent naturellement des preuves à connaissance nulle, permettant des états chiffrés dans des applications telles que les transactions confidentielles ou les oracles. Le framework prend en charge une variété de cas d'utilisation, des micropaiements au règlement des données d'entreprise, en ancrant les sorties vérifiables aux délais de confirmation rapides de Kaspa.

La conférence Kaspa Experience à Berlin

L'annonce de vProgs s'aligne sur la Expérience Kaspa, une conférence communautaire prévue le 13 septembre 2025 à l'Atelier Gardens de Berlin. Cet événement d'une journée, limité à 500 billets au prix de 150 $, plus 50 $ de frais d'afterparty, nécessite un paiement en jetons KAS, marquant ainsi une première application concrète de la cryptomonnaie à la logistique événementielle, incluant la restauration, les boissons et les produits dérivés.

Au programme : des conférences de développeurs clés, dont Sompolinsky sur les avancées de GHOSTDAG, des tables rondes sur l'intégration des contrats intelligents et des ateliers axés sur les implémentations pratiques. Un hackathon encouragera le prototypage, ainsi qu'une Kaspa Art Expo présentant des utilisations créatives du réseau. Bien qu'aucune session vProgs dédiée ne soit prévue au programme, les supports de presse de l'événement mettent en avant la couche programmable de Kaspa comme base de la DeFi et des systèmes de paiement, suggérant des discussions informelles sur le nouveau framework.

Les participants, issus des secteurs des mineurs, des commerçants et des développeurs, pourront réseauter dans un cadre mettant en avant la philosophie décentralisée de Kaspa. Cette conférence constitue le premier grand rassemblement en présentiel du projet, s'appuyant sur les forums en ligne et les canaux Telegram pour favoriser la collaboration.

Défis et calendrier de mise en œuvre

L'implémentation de vProgs présente des difficultés communes aux systèmes à connaissance nulle. La génération de preuves reste gourmande en ressources de calcul, ce qui peut engendrer des latences malgré la vitesse de bloc élevée de Kaspa. Les développeurs doivent gérer la compatibilité des machines virtuelles pour faciliter le portage depuis des environnements comme la machine virtuelle Ethereum.

Les contributeurs du forum ont simulé des modèles de partage de gaz afin d'atténuer les externalités, où l'activité d'un vProg impacte les autres. La disponibilité des données dans le DAG de calcul nécessite une conception rigoureuse pour éviter les risques de centralisation.

Le calendrier des discussions d'août prévoyait un déploiement du réseau de test d'ici le quatrième trimestre 2025, suite aux commentaires de la communauté sur le projet. L'intégration complète du réseau principal dépendrait d'audits et de tests de performance, l'élagage et les mécanismes de gestion des comptes étant prévus pour des révisions ultérieures.

Comparé aux rollups d'Ethereum, qui permettent de fragmenter la liquidité entre les couches, ou à l'exécution on-chain de Solana, qui teste les limites de débit, vProgs cherche à intégrer des calculs vérifiables directement dans une couche de base de preuve de travail. Cela préserve la décentralisation tout en exploitant la production de blocs parallèles.

Conclusion

vProgs équipe Kaspa d'outils d'exécution hors chaîne vérifiés par des preuves à connaissance nulle, notamment l'assemblage de preuves pour la composabilité, un DAG de calcul pour la gestion des dépendances et ScopeGas pour le contrôle des ressources. 

Ces éléments permettent aux applications de fonctionner de manière évolutive sur un réseau qui confirme les blocs toutes les quelques secondes, prenant en charge des cas d'utilisation allant de DeFi au règlement des données sans compromettre la sécurité de la couche 1.

Sources:

• Article de Kaspa Daily X sur vProgs : https://x.com/DailyKaspa/status/1966149209968505132  
• Livre jaune de vProgs, brouillon v0.0.1 : https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Fil de discussion du forum de recherche Kaspa sur la composabilité synchrone : https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Expérience Kaspa à Berlin : https://experience.kaspa.events/