Explorer les vProgs de Kaspa : Le cadre pour des applications évolutives et vérifiables

Kaspa a publié le premier brouillon de son vProgs Yellow Paper le 11 septembre 2025. Ce document détaille un protocole pour des programmes vérifiables, ou vProgs, qui permettent des calculs off-chain sécurisés par des preuves à divulgation nulle de connaissance et ancrés au réseau Layer 1 de Kaspa.

Le cadre vise à soutenir les applications décentralisées tout en maintenant des taux de production de blocs élevés sur le réseau. L'annonce, partagée via un post X par @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 sur l'architecture BlockDAG de Kaspa

Kaspa fonctionne différemment des blockchains linéaires, telles que Bitcoin ou Ethereum. Il utilise un blockDAG, qui permet à plusieurs blocs de se référencer mutuellement en parallèle, réduisant ainsi le besoin de rendre des blocs orphelins lors du minage. Ce design est basé sur le protocole GHOSTDAG, développé par Yonatan Sompolinsky, qui étend le consensus Nakamoto pour accueillir des taux de blocs plus élevés sans compromettre la sécurité.

Actuellement, Kaspa traite 10 blocs par seconde, avec des plans pour augmenter cela à 32 blocs par seconde et potentiellement 100 à long terme. Les confirmations se produisent généralement entre une à dix secondes, la principale limitation étant la latence du réseau plutôt que le traitement on-chain. Cela entraîne un débit théorique de plus de 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 computationnelles pour ajouter des blocs. Les frais de transaction et les récompenses de blocs sont payés en tokens KAS, la cryptomonnaie native du réseau Kaspa. Kaspa a été lancé en 2021 avec un modèle de distribution équitable, évitant le financement par des capitaux-risque, ce qui a contribué à son développement axé sur la communauté.

Kaspa a principalement servi de couche de base pour les paiements et le règlement des données, incorporant des normes comme KRC-20 pour les jetons fongibles. Jusqu'à la proposition vProgs, il manquait de support natif pour les contrats intelligents, s'appuyant sur un script plus simple pour des opérations de base.

Qu'est-ce que Kaspa vProgs ?

vProgs, abréviation de programmes vérifiables, introduit un système d'exécution de logiques complexes hors de la chaîne principale tout en garantissant que les résultats peuvent être vérifiés sur la couche 1 de Kaspa. Chaque vProg agit comme une unité autonome, gérant son propre état et ses règles de transition, similaire à la façon dont les programmes fonctionnent sur Solana, mais avec une vérification ajoutée par preuve à divulgation nulle.

Les preuves à divulgation nulle de connaissance permettent à un prouveur de démontrer la justesse 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 off-chain. Cette approche garde la chaîne principale légère, se concentrant sur la validation plutôt que sur l'exécution, ce qui s'aligne avec l'accent mis par Kaspa sur la vitesse et l'efficacité.

Le brouillon du Yellow Paper, version 0.0.1, décrit les vProgs comme permettant 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 des données d'un autre, facilitant des interactions telles que des transactions inter-applications, mais les écritures sont limitées au vProg d'origine pour é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é les défis de la composabilité synchrone, y compris la latence de preuve et le partage des ressources. Le projet intègre les retours de ces sessions, bien que de nombreux éléments restent en cours de perfectionnement, y compris les processus de création de comptes et les mécanismes d'élagage des données.

Fonctionnalités techniques de base 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 :

Proof Stitching : Le proof stitching combine plusieurs preuves à divulgation nulle de connaissance provenant de vProgs interconnectés en un seul engagement, qui est ensuite soumis à la couche 1. Cela supporte des transactions atomiques à travers les applications, où les résultats se règlent simultanément sans les délais intermédiaires courants dans les systèmes basés sur les rollups.

Lots de Preuves Conditionnelles : Les lots de preuves conditionnelles regroupent des transactions liées pour une preuve collective, ce qui réduit la charge computationnelle. Par exemple, dans un scénario DeFi impliquant plusieurs échanges, le regroupement réduit le nombre de preuves individuelles nécessaires.

DAG de calcul : Le DAG de calcul forme un graphique de dépendance au niveau de l'application, reflétant la structure blockDAG de Kaspa. Il suit les flux de données entre les vProgs, garantissant que les informations référencées restent disponibles et que l'ordre d'exécution est maintenu en cas de traitement parallèle. Ce graphique aide à prévenir la surcharge en séquençant les opérations dépendantes.

Mesure des ressources : La mesure des ressources introduit des contrôles pour gérer les coûts. En interne, chaque vProg utilise son propre modèle de gaz Layer 2 pour les calculs. Sur Layer 1, ScopeGas mesure les interactions entre vProgs, facturant des frais en fonction des dépendances de données pour décourager le spam ou une utilisation excessive des ressources, comme une application inondant les exigences d'entrée d'une autre.

Modèle Économique : Le modèle économique de vProgs repose sur des prouveurs sans permission—des nœuds qui génèrent et soumettent des preuves—qui gagnent des frais des utilisateurs. La vivacité, ou la garantie de preuves en temps opportun, fonctionne par le biais de deux modes : optimiste, où les prouveurs coopèrent, ou souverain, où les applications fonctionnent de manière indépendante. Ce dispositif incite à la participation sans dépendre de coordinateurs centralisés.

Fonctionnalités de confidentialité : Les fonctionnalités de confidentialité émergent naturellement des preuves à connaissance nulle, permettant des états chiffrés dans des applications telles que des transactions confidentielles ou des oracles. Le cadre prend en charge une gamme de cas d'utilisation, des micropaiements à la liquidation de données d'entreprise, en ancrant des sorties vérifiables aux temps de confirmation rapides de Kaspa.

La Conférence sur l'Expérience Kaspa à Berlin

L'annonce de vProgs s'aligne avec l'Expérience Kaspa, une conférence communautaire prévue pour le 13 septembre 2025, aux Atelier Gardens à Berlin. Cet événement d'un jour, limité à 500 billets au prix de 150 $ plus 50 $ de frais pour l'afterparty, nécessite un paiement en tokens KAS, marquant une application réelle précoce de la cryptomonnaie pour la logistique de l'événement, y compris la nourriture, les boissons et les marchandises.

L'agenda comprend des discours d'ouverture de développeurs principaux, y compris Sompolinsky sur les avancées dans GHOSTDAG, des panels sur l'intégration des contrats intelligents et des ateliers axés sur des mises en œuvre pratiques. Un hackathon encouragera le prototypage, accompagné d'une exposition d'art Kaspa présentant des utilisations créatives du réseau. Bien qu'aucune session vProgs dédiée n'apparaisse au programme, les documents de presse de l'événement mettent en avant la couche programmable de Kaspa comme une base pour les systèmes DeFi et de paiement, suggérant des discussions informelles sur le nouveau cadre.

Les participants, issus des mineurs, des commerçants et des développeurs, se rencontreront dans un cadre qui met en avant l'éthique décentralisée de Kaspa. La conférence représente le premier grand rassemblement en personne du projet, s'appuyant sur des forums en ligne et des canaux Telegram pour la collaboration.

Défis et calendrier de mise en œuvre

La mise en œuvre de vProgs implique des obstacles communs aux systèmes à connaissance nulle. La génération de preuves reste gourmande en calcul, ce qui pourrait introduire de la latence malgré la grande vitesse de bloc de Kaspa. Les développeurs doivent aborder 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 pour 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 un design soigneux pour éviter les risques de centralisation.

Les délais des discussions d'août indiquaient un déploiement de testnet d'ici le quatrième trimestre de 2025, suite aux retours de la communauté sur le projet. L'intégration complète du mainnet dépendrait des audits et des benchmarks de performance, avec des mécanismes de taille et de compte prévus pour de futures révisions.

Comparé aux rollups d'Ethereum, qui peuvent 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 le calcul vérifiable directement dans une couche de base proof-of-work. Cela préserve la décentralisation tout en exploitant la production de blocs parallèle.

Conclusion

vProgs équipe Kaspa d'outils pour l'exécution off-chain vérifiée par des preuves de connaissance zéro, y compris le collage 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 des blocs toutes les quelques secondes, prenant en charge des cas d'utilisation allant de DeFi à la résolution de données sans compromettre la sécurité de la couche 1.

Sources:

• Article quotidien Kaspa X sur vProgs :
• Projet de Livre Jaune vProgs v0.0.1 :
• Fil de discussion du forum de recherche Kaspa sur la composabilité synchrone :
• Expérience Kaspa à Berlin :