Esplorazione di vProgs di Kaspa: il framework per applicazioni scalabili e verificabili

Caspa ha pubblicato la prima bozza del suo Carta gialla vProgs l'11 settembre 2025. Questo documento descrive in dettaglio un protocollo per programmi verificabili, o vProgs, che consentono calcoli off-chain protetti da prove a conoscenza zero e ancorati a Kaspa Rete di livello 1. 

Il framework mira a supportare applicazioni decentralizzate mantenendo al contempo gli elevati tassi di produzione di blocchi della rete. L'annuncio, condiviso tramite un X post di @DailyKaspa, arriva un giorno prima della conferenza Kaspa Experience di Berlino, dove sviluppatori e membri della community discuteranno la roadmap del progetto.

Informazioni di base sull'architettura BlockDAG di Kaspa

Kaspa opera in modo diverso dalle blockchain lineari, come Bitcoin or EthereumUtilizza un blockDAG, che consente a più blocchi di fare riferimento l'uno all'altro in parallelo, riducendo la necessità di blocchi orfani durante il mining. Questo design si basa sul protocollo GHOSTDAG, sviluppato da Yonatan Sompolinsky, che estende il consenso di Nakamoto per supportare velocità di blocco più elevate senza compromettere la sicurezza.

Attualmente, Kaspa elabora 10 blocchi al secondo, con l'intenzione di aumentarla a 32 blocchi al secondo e potenzialmente a 100 nel lungo termine. Le conferme avvengono in genere entro 1-10 secondi, con la limitazione principale dovuta alla latenza di rete piuttosto che all'elaborazione on-chain. Ciò si traduce in una capacità teorica di oltre 10,000 transazioni al secondo, di gran lunga superiore alle 3-7 transazioni al secondo di Bitcoin o alle 15-30 transazioni al secondo di Ethereum sul Livello 1 prima delle implementazioni dello sharding.

La rete si basa sul consenso proof-of-work, in cui i minatori risolvono enigmi computazionali per aggiungere blocchi. Le commissioni di transazione e le ricompense per i blocchi vengono pagate in Gettoni KAS, la criptovaluta nativa della rete Kaspa. Kaspa è stata lanciata nel 2021 con un modello di distribuzione equo, evitando finanziamenti di capitale di rischio, il che ha contribuito al suo sviluppo guidato dalla comunità. 

Kaspa ha svolto principalmente la funzione di livello base per i pagamenti e la gestione dei dati, incorporando standard come KRC-20 per i token fungibili. Fino alla proposta di vProgs, non supportava nativamente gli smart contract, affidandosi a script più semplici per le operazioni di base.

Scopri progetti promettenti...

Progetti promettenti...

(Annuncio pubblicitario)

L'articolo continua...

Che cos'è Kaspa vProgs?

vProgs, abbreviazione di programmi verificabili, introduce un sistema per eseguire una logica complessa dalla catena principale, garantendo al contempo che i risultati possano essere verificati sul Livello 1 di Kaspa. Ogni vProg agisce come un'unità autonoma, gestendo le proprie regole di stato e di transizione, in modo simile al funzionamento dei programmi su solario ma con l'aggiunta della verifica della prova a conoscenza zero.

Le dimostrazioni a conoscenza zero consentono a un dimostratore di dimostrare la correttezza di un calcolo senza rivelare i dati sottostanti. In vProgs, queste dimostrazioni vengono inviate periodicamente al Livello 1, confermando l'integrità delle attività off-chain. Questo approccio mantiene la catena principale leggera, concentrandosi sulla convalida piuttosto che sull'esecuzione, in linea con l'enfasi di Kaspa su velocità ed efficienza.

La bozza dello Yellow Paper, versione 0.0.1, descrive i vProg come strumenti che consentono applicazioni "sovrane ma componibili". Sovranità significa che ogni vProg controlla le proprie operazioni interne in modo indipendente, inclusi i permessi di lettura e scrittura. La componibilità consente a un vProg di leggere dati da un altro, facilitando interazioni come le transazioni tra applicazioni, ma le scritture sono limitate al vProg di origine per evitare conflitti.

Lo sviluppo di vProgs risale a un thread di discussione dell'agosto 2025 sul forum di ricerca di Kaspa, in cui i collaboratori hanno affrontato sfide nella componibilità sincrona, tra cui latenza di prova e condivisione delle risorse. La bozza incorpora il feedback di quelle sessioni, sebbene molti elementi siano ancora in fase di perfezionamento, tra cui i processi di creazione degli account e i meccanismi di potatura dei dati.

Caratteristiche tecniche principali di vProgs

Diversi meccanismi sono alla base della funzionalità di vProgs, progettata per gestire dipendenze ed efficienza in un ambiente ad alta produttività:

Prova di cucitura: Il proof stitching combina più prove a conoscenza zero da vProg interconnessi in un singolo impegno, che viene poi inviato al Livello 1. Ciò supporta transazioni atomiche tra applicazioni, in cui i risultati vengono risolti simultaneamente senza ritardi intermedi comuni nei sistemi basati su rollup.

Batch di prova condizionale: I batch di prove condizionali raggruppano le transazioni correlate per la dimostrazione collettiva, riducendo il sovraccarico computazionale. Ad esempio, in uno scenario DeFi che prevede più swap, il batching riduce il numero di prove individuali necessarie.

DAG di calcolo: Il Computation DAG forma un grafo delle dipendenze a livello applicativo, rispecchiando la struttura blockDAG di Kaspa. Traccia i flussi di dati tra i vProg, garantendo che le informazioni referenziate rimangano disponibili e che l'ordine di esecuzione venga mantenuto durante l'elaborazione parallela. Questo grafo aiuta a prevenire il sovraccarico sequenziando le operazioni dipendenti.

Misurazione delle risorse: La misurazione delle risorse introduce controlli per la gestione dei costi. Internamente, ogni vProg utilizza il proprio modello di gas di Livello 2 per i calcoli. Sul Livello 1, ScopeGas misura le interazioni tra vProg, addebitando tariffe basate sulle dipendenze dei dati per scoraggiare lo spam o l'uso eccessivo delle risorse, ad esempio quando un'applicazione sovraccarica i requisiti di input di un'altra.

Modello economico: Il modello economico per vProgs si basa su dimostratori permissionless, ovvero nodi che generano e inviano dimostrazioni, che percepiscono compensi dagli utenti. La vitalità, ovvero la garanzia di dimostrazioni tempestive, opera attraverso due modalità: ottimistica, in cui i dimostratori cooperano, o sovrana, in cui le applicazioni vengono eseguite in modo indipendente. Questa configurazione incentiva la partecipazione senza dover fare affidamento su coordinatori centralizzati.

Funzionalità sulla privacy: Le funzionalità di privacy emergono naturalmente dalle dimostrazioni a conoscenza zero, consentendo stati crittografati in applicazioni come transazioni riservate o oracoli. Il framework supporta una vasta gamma di casi d'uso, dai micropagamenti alla gestione dei dati aziendali, ancorando output verificabili ai rapidi tempi di conferma di Kaspa.

La conferenza Kaspa Experience a Berlino

L'annuncio di vProgs è in linea con Esperienza Kaspa, una conferenza comunitaria in programma per il 13 settembre 2025 presso gli Atelier Gardens di Berlino. Questo evento di un giorno, limitato a 500 biglietti al prezzo di 150 dollari più un costo di 50 dollari per l'afterparty, richiede il pagamento in token KAS, segnando una prima applicazione concreta della criptovaluta per la logistica degli eventi, inclusi cibo, bevande e merchandising.

Il programma prevede interventi di sviluppatori chiave, tra cui Sompolinsky, sui progressi di GHOSTDAG, panel sull'integrazione degli smart contract e workshop incentrati su implementazioni pratiche. Un hackathon incoraggerà la prototipazione, insieme a una Kaspa Art Expo che mostrerà gli usi creativi della rete. Sebbene non sia prevista alcuna sessione dedicata a vProgs, i materiali stampa dell'evento evidenziano il livello programmabile di Kaspa come base per DeFi e sistemi di pagamento, suggerendo discussioni informali sul nuovo framework.

I partecipanti, provenienti da minatori, commercianti e sviluppatori, potranno fare networking in un contesto che enfatizza l'etica decentralizzata di Kaspa. La conferenza rappresenta il primo grande incontro di persona del progetto, basato su forum online e canali Telegram per la collaborazione.

Sfide e tempi di implementazione

L'implementazione di vProgs presenta ostacoli comuni ai sistemi a conoscenza zero. La generazione di prove rimane computazionalmente impegnativa, introducendo potenzialmente latenza nonostante l'elevata velocità di blocco di Kaspa. Gli sviluppatori devono gestire la compatibilità con le macchine virtuali per facilitare il porting da ambienti come la Ethereum Virtual Machine.

I partecipanti al forum hanno simulato modelli di condivisione del gas per mitigare le esternalità, in cui l'attività di un vProg ha un impatto sugli altri. La disponibilità dei dati nel Computation DAG richiede un'attenta progettazione per evitare rischi di centralizzazione.

Le tempistiche delle discussioni di agosto indicavano un lancio della testnet entro il quarto trimestre del 2025, in seguito al feedback della community sulla bozza. La completa integrazione della mainnet dipenderà da benchmark di audit e prestazioni, con la potatura e le meccaniche di account programmate per revisioni future.

Rispetto ai rollup di Ethereum, che possono frammentare la liquidità tra i livelli, o all'esecuzione on-chain di Solana, che testa i limiti di throughput, vProgs cerca di integrare il calcolo verificabile direttamente in un livello di base proof-of-work. Ciò preserva la decentralizzazione sfruttando al contempo la produzione parallela di blocchi.

Conclusione

vProgs fornisce a Kaspa strumenti per l'esecuzione off-chain verificata tramite prove a conoscenza zero, tra cui proof stitching per la componibilità, un DAG di calcolo per la gestione delle dipendenze e ScopeGas per il controllo delle risorse. 

Questi elementi consentono alle applicazioni di operare in modo scalabile su una rete che conferma i blocchi ogni pochi secondi, supportando casi d'uso che vanno dalla DeFi alla liquidazione dei dati senza compromettere la sicurezza del Livello 1.

Fonti:

• Articolo di Kaspa Daily X su vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• Bozza del documento giallo vProgs v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Discussione del forum di ricerca Kaspa sulla componibilità sincrona: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Esperienza Kaspa a Berlino: https://experience.kaspa.events/