Qu'est-ce que Silverscript ? Le premier langage et compilateur de contrats intelligents de haut niveau de Kaspa.

Silverscript est un langage et un compilateur de contrats intelligents de haut niveau conçu pour Blockchain KaspaAnnoncée le 10 février 2026 par le développeur Ori Newman, cette fonctionnalité introduit des fonctions programmables directement sur les appareils Kaspa. Couche 1 (L1)) sans dépendre de machines virtuelles externes ou de modèles d'état globaux partagés tels que La machine virtuelle Ethereum (EVM).

Silverscript se compile en Kaspa Script natif et est conçu pour l'architecture de Kaspa basée sur les UTXO. Il permet aux développeurs d'écrire une logique de convention lisible qui applique les règles de transaction au niveau du protocole.

Quel problème Silverscript résout-il sur Kaspa ?

Kaspa est une cryptomonnaie à preuve de travail (PoW) construite sur un BlockDAG (Graphique acyclique dirigé) structure. Contrairement aux blockchains linéaires, Kaspa traite les blocs en parallèle. Le réseau vise actuellement 10 blocs par seconde, avec des améliorations futures telles que : DAGKnight Objectif : plus de 100 blocs par seconde.

Jusqu'à présent, le langage de script Kaspa était limité en termes d'expressivité. Silverscript remédie à cela en introduisant des fonctionnalités de programmation structurée qui permettent une conception de conventions plus avancée tout en restant conforme au modèle UTXO.

Contrairement aux systèmes à base de comptes qui utilisent un état global partagé, Silverscript conserve un état local par UTXO. Cela réduit les risques tels que les vulnérabilités de réentrance présentes dans les systèmes basés sur l'EVM.

Comment fonctionne Silverscript ?

Silverscript s'inspire de CashScript, un langage de contrats intelligents utilisé dans Bitcoin Cash. Cependant, il enrichit CashScript en y ajoutant des outils de programmation structurée nécessaires aux primitives DeFi plus complexes.

Il compile du code de haut niveau en opcodes Kaspa de bas niveau, notamment :

• KIP-10 (codes d'opération d'introspection)
• KIP-16 (codes d'opération de vérification à divulgation nulle de connaissance)
• KIP-17 (primitives octets)

Il est conçu pour s'intégrer à mises à niveau du réseau à venir prévu pour le 5 mai 2026, qui introduit :

• Conventions++ (contraintes de dépenses avancées)
• Actifs natifs dans le cadre du KIP-20 (traçage de la lignée et de la provenance des jetons)
• Assistance à la vérification à divulgation nulle de connaissance (ZK)

Silverscript sert de couche de développement pour ces fonctionnalités de protocole.

Découvrez des projets prometteurs...

Des projets prometteurs...

(Publicité)

L'article continue...

Quelles sont les fonctionnalités supplémentaires de Silverscript pour Kaspa ?

Silverscript introduit des éléments de programmation structurée qui étaient auparavant indisponibles dans Kaspa Script.

Boucles

Prend en charge les opérations itératives telles que pour boucles.
Cela permet des calculs répétitifs, un traitement par lots et une logique conditionnelle des actifs.

Arrays

Prend en charge les structures de données dynamiques.
Les développeurs peuvent gérer les soldes de jetons, les conditions de signature multiple ou les sorties structurées.

Appels de fonction

Permet la réutilisation des fonctions avec paramètres et valeurs de retour.
Améliore la clarté du code et réduit les erreurs d'implémentation.

Instructions obligatoires

Fournit des assertions intégrées.
Les contrats peuvent imposer des contraintes telles que des limites de taille de tableau ou des vérifications de valeurs lors de la compilation ou de l'exécution.

Conception axée sur UTXO

Fonctionne sur l'état UTXO local plutôt que sur l'état global partagé.
Ce modèle impose une validation explicite et évite les problèmes de réentrance.

À quoi ressemble le code Silverscript ?

Silverscript utilise une syntaxe simplifiée similaire à celle du C. L'exemple suivant illustre les tableaux, les boucles et l'instruction `require` :

Cet exemple définit une fonction qui calcule la somme des éléments d'un tableau d'entiers. Elle vérifie la longueur du tableau, parcourt ses éléments et s'assure que la somme est égale à 6.

En production, une logique similaire pourrait s'appliquer à :

• Application de la distribution des jetons
• Conditions de retrait du coffre-fort
• Règles de validation des comptes séquestres
• Sorties DeFi structurées

Cette syntaxe est expérimentale et n'est actuellement disponible que sur Testnet-12.

En quoi Silverscript diffère-t-il de CashScript ?

Silverscript s'appuie sur CashScript mais en étend les fonctionnalités.

Similitudes:

• Syntaxe de haut niveau pour les conventions basées sur UTXO
• Privilégier les contraintes de transaction plutôt que la complétude de Turing complète

Différences:

• Prise en charge native des boucles
• tableaux natifs
• Définitions fonctionnelles et structure modulaire
• Conçu spécifiquement pour le BlockDAG de Kaspa

CashScript ne prend pas en charge nativement les boucles structurées ni les tableaux dynamiques. Silverscript introduit ces fonctionnalités pour une logique de contrat plus expressive.

Quel est le rôle de Silverscript dans l'écosystème de Kaspa ?

Silverscript fonctionne au sein d'une architecture plus large qui sépare les modèles d'état locaux et partagés :

• État local : Géré par Silverscript via des conventions UTXO
• Calcul partagé : Géré par vProgs (Programmes Vérifiables), vérifié sur la blockchain à l'aide de preuves à divulgation nulle de connaissance.

Il s'intègre avec :

• KIP-20 Prise en charge des actifs natifs (application de la provenance des jetons)
• CDAG (DAG computationnel) pour les dépendances de programmes
• Sparkle, un framework de rollup basé sur ZK

Cette structure permet :

• Les teneurs de marché automatisés (AMM) utilisant des structures de sortie imposées
• Coffres-forts de prêt
• Échanges atomiques
• La gouvernance de la DAO est codée dans des scripts

Le tout sans état global mutable.

Quel est l'état actuel du développement ?

Silverscript est expérimental et compatible uniquement avec le réseau de test Kaspa-12. Il n'est pas encore disponible sur le réseau principal.

Le dépôt GitHub comprend :

• implémentation du compilateur
• Exemples
• Documentation TUTORIAL.md

Le développeur Ori Newman, actif dans Bitcoin depuis 2013, maintient le projet et a indiqué un soutien potentiel pour WebAssembly (WASM) à l'avenir.

La compatibilité avec le réseau principal dépend de la mise à jour majeure (hard fork) du 5 mai 2026 qui activera Covenants++ et les fonctionnalités natives des ressources.

Conclusion

Silverscript introduit le développement structuré de contrats intelligents sur le réseau BlockDAG de Kaspa, basé sur les UTXO. Il ajoute des boucles, des tableaux, des fonctions et des assertions vérifiables, tout en compilant en opcodes natifs. Ce langage est compatible avec les prochaines mises à jour du protocole, notamment Covenants++, les actifs natifs et la vérification à divulgation nulle de connaissance. 

Actuellement limité au réseau de test Testnet-12, Silverscript fournit la base technique pour les applications programmables de couche 1 sur Kaspa sans adopter de modèles d'état global partagés.

Sources:

• Dépôt GitHub KaspaTutoriel sur le langage Silverscript 
• X PostAnnonce publique d'Ori Newman