Cos'è Silverscript? Il primo linguaggio e compilatore per contratti intelligenti di alto livello di Kaspa

Silverscript è un linguaggio di contratto intelligente di alto livello e un compilatore creato per Blockchain KaspaAnnunciato il 10 febbraio 2026 dallo sviluppatore Ori Newman, introduce funzionalità programmabili direttamente sul sistema operativo Kaspa. Livello 1 (L1) senza fare affidamento su macchine virtuali esterne o modelli di stato globali condivisi come EVM di Ethereum.

Silverscript si compila in Kaspa Script nativo ed è progettato per l'architettura Kaspa basata su UTXO. Consente agli sviluppatori di scrivere una logica di covenant leggibile che applica le regole di transazione a livello di protocollo.

Quale problema risolve Silverscript su Kaspa?

Kaspa è una criptovaluta Proof-of-Work (PoW) basata su un BlockDAG (grafico aciclico diretto) struttura. A differenza delle blockchain lineari, Kaspa elabora i blocchi in parallelo. La rete attualmente punta a 10 blocchi al secondo, con aggiornamenti come DAGKnight puntando a più di 100 blocchi al secondo.

Finora, lo scripting Kaspa ha avuto un'espressività limitata. Silverscript affronta questo problema introducendo funzionalità di programmazione strutturata che consentono una progettazione più avanzata dei covenant, pur rimanendo in linea con il modello UTXO.

Invece di uno stato globale condiviso, comune nei sistemi basati su account, Silverscript mantiene uno stato locale per UTXO. Ciò riduce rischi come le vulnerabilità di rientro presenti nei sistemi basati su EVM.

Come funziona Silverscript?

Silverscript si ispira a CashScript, un linguaggio per smart contract utilizzato in Bitcoin Cash. Tuttavia, amplia CashScript aggiungendo strumenti di programmazione strutturati necessari per primitive DeFi più complesse.

Compila il codice di alto livello in codici operativi Kaspa di basso livello, tra cui:

• KIP-10 (opcode di introspezione)
• KIP-16 (opcode di verifica a conoscenza zero)
• KIP-17 (primitivi di byte)

È progettato per integrarsi con prossimi aggiornamenti di rete prevista per il 5 maggio 2026, che introduce:

• Covenants++ (vincoli di spesa anticipati)
• Risorse native secondo KIP-20 (tracciamento della discendenza e della provenienza dei token)
• Supporto alla verifica a conoscenza zero (ZK)

Silverscript funge da livello di sviluppo per queste funzionalità del protocollo.

Scopri progetti promettenti...

Progetti promettenti...

(Annuncio pubblicitario)

L'articolo continua...

Quali funzionalità aggiunge Silverscript a Kaspa?

Silverscript introduce elementi di programmazione strutturata che in precedenza non erano disponibili in Kaspa Script.

Loops

Supporta operazioni iterative come per loop.
Ciò consente calcoli ripetuti, elaborazione batch e logica condizionale delle risorse.

Array

Supporta strutture dati dinamiche.
Gli sviluppatori possono gestire saldi di token, condizioni multi-firma o output strutturati.

Chiamate di funzione

Consente funzioni riutilizzabili con parametri e valori di ritorno.
Migliora la chiarezza del codice e riduce gli errori di implementazione.

Dichiarazioni obbligatorie

Fornisce asserzioni integrate.
I contratti possono imporre vincoli quali limiti di dimensione degli array o controlli dei valori in fase di compilazione o di esecuzione.

Progettazione focalizzata su UTXO

Funziona sullo stato UTXO locale anziché sullo stato globale condiviso.
Questo modello impone una convalida esplicita ed evita problemi di rientro.

Che aspetto ha il codice Silverscript?

Silverscript utilizza una sintassi semplificata simile al C. L'esempio seguente illustra array, cicli e istruzioni require:

Questo esempio definisce una funzione che somma gli elementi di un array di interi. Verifica la lunghezza dell'array, esegue un'iterazione sugli elementi e assicura che la somma sia uguale a 6.

Nell'uso produttivo, una logica simile potrebbe essere applicata a:

• Applicazione della distribuzione dei token
• Condizioni di prelievo dal Vault
• Regole di convalida dell'escrow
• Output DeFi strutturati

La sintassi è sperimentale e attualmente disponibile solo su Testnet-12.

In che cosa Silverscript è diverso da CashScript?

Silverscript si basa su CashScript ma ne amplia le funzionalità.

Analogie:

• Sintassi di alto livello per i patti basati su UTXO
• Concentrarsi sui vincoli di transazione piuttosto che sulla completezza di Turing

Differenze:

• Supporto nativo per i loop
• Array nativi
• Definizioni di funzione e struttura modulare
• Progettato specificamente per BlockDAG di Kaspa

CashScript non fornisce supporto integrato per loop strutturati o array dinamici. Silverscript introduce queste funzionalità per supportare una logica di covenant più espressiva.

Come si inserisce Silverscript nell'ecosistema di Kaspa?

Silverscript opera all'interno di un'architettura più ampia che separa i modelli di stato locali e condivisi:

• Stato locale: Gestito da Silverscript tramite patti UTXO
• Calcolo condiviso: Gestito da vProgs (programmi verificabili), verificato on-chain utilizzando prove a conoscenza zero

Si integra con:

• KIP-20 supporto delle risorse native (applicazione della provenienza del token)
• CDAG (Computational DAG) per le dipendenze del programma
• Sparkle, un framework di rollup basato su ZK

Questa struttura consente:

• Market maker automatizzati (AMM) che utilizzano strutture di output forzate
• Casseforti per prestiti
• Swap atomici
• Governance DAO codificata in script

Tutto ciò senza uno stato globale mutabile.

Qual è lo stato attuale dello sviluppo?

Silverscript è sperimentale e compatibile solo con Kaspa Testnet-12. Non è ancora disponibile sulla rete principale.

Il repository GitHub include:

• Implementazione del compilatore
• Esempi
• Documentazione TUTORIAL.md

Lo sviluppatore Ori Newman, attivo in Bitcoin dal 2013, gestisce il progetto e ha indicato un potenziale supporto per WebAssembly (WASM) in futuro.

La compatibilità con la rete principale dipende dall'hardfork del 5 maggio 2026 che attiva Covenants++ e le funzionalità delle risorse native.

Conclusione

Silverscript introduce lo sviluppo strutturato di smart contract nella rete BlockDAG basata su UTXO di Kaspa. Aggiunge loop, array, funzioni e asserzioni esecutive durante la compilazione in opcode nativi. Il linguaggio è in linea con i prossimi aggiornamenti del protocollo, tra cui Covenants++, asset nativi e verifica a conoscenza zero. 

Attualmente limitato a Testnet-12, Silverscript fornisce la base tecnica per applicazioni programmabili Layer 1 su Kaspa senza adottare modelli di stato globali condivisi.

Fonti:

• Repository GitHub di Kaspa: Tutorial sul linguaggio Silverscript 
• X Post: Annuncio pubblico di Ori Newman