Sviluppare su Ethereum spesso sembra come cercare di scrivere software complesso all'interno di una calcolatrice, a causa della natura restrittiva dell'EVM. Cartesi cambia questa situazione fornendo un ambiente Linux dedicato in cui è finalmente possibile utilizzare gli stessi strumenti di programmazione degli sviluppatori tradizionali.

Ciò significa che non dovrai più sacrificare la funzionalità o accontentarti di caratteristiche di base solo perché utilizzi una blockchain. Spostando l'elaborazione pesante in uno spazio off-chain verificabile, otterrai la libertà computazionale di un vero computer mantenendo la sicurezza di Ethereum.

Continua a leggere per scoprire come Cartesi sta trasformando il computing decentralizzato. 👇

Cos'è Cartesi?

Cartesi è un framework rollup Layer 2 specifico per applicazioni che consente agli sviluppatori di creare applicazioni decentralizzate utilizzando stack software Linux. Attraverso Cartesi Machine, i calcoli vengono eseguiti off-chain su una macchina virtuale RISC-V, mentre i contratti blockchain verificano i risultati con un livello di sicurezza pari a quello di Ethereum.

Il progetto Cartesi è stato fondato nel 2018, quando il suo white paper ha introdotto un modello di esecuzione ibrido on-chain e off-chain. Fin dall'inizio, l'obiettivo era quello di consentire calcoli complessi senza riscrivere le applicazioni in Solidity, utilizzando linguaggi di programmazione familiari e strumenti Linux.

Per ottimizzare la scalabilità, il protocollo è progettato per essere compatibile con livelli modulari di disponibilità dei dati come Celestia e Avail, al fine di ridurre i costi di pubblicazione dei dati rollup. Questa potenziale integrazione consente alle applicazioni ad alta capacità di calcolo di elaborare enormi set di dati mantenendo commissioni di transazione accessibili.

Alla fine del 2025 si è verificata una svolta tecnica quando Cartesi ha raggiunto lo status di sicurezza di livello 2 su L2BEAT, un riconoscimento detenuto solo da tre progetti. Il passaggio a un sistema completamente senza autorizzazioni garantisce che il meccanismo antifrode funzioni senza interventi centralizzati.

Come funziona Cartesi?

L'architettura di Cartesi separa l'esecuzione dal consenso eseguendo un ambiente Linux deterministico off-chain, pur ereditando la sicurezza di Ethereum attraverso il suo framework rollup modulare e le prove antifrode.

I seguenti componenti tecnici definiscono questa infrastruttura informatica decentralizzata unica nel suo genere:

• Cartesi Machine: questa macchina virtuale RISC-V esegue stack Linux, consentendo agli sviluppatori di eseguire calcoli complessi in un ambiente verificabile e deterministico.
• Ambiente di esecuzione Linux: gli sviluppatori scrivono la logica delle applicazioni utilizzando strumenti, librerie e linguaggi Linux standard, evitando i vincoli dello sviluppo basato esclusivamente sugli smart contract.
• Esecuzione deterministica: ogni operazione all'interno della VM produce risultati identici, garantendo che l'elaborazione off-chain rimanga completamente verificabile dalla blockchain sottostante.
• Rollup specifici per app: ogni applicazione opera su una propria catena dedicata (rollup), fornendo un throughput ad alte prestazioni senza competere per lo spazio di blocco con altri progetti.
• Cartesi Node: questo componente off-chain gestisce lo stato dell'applicazione, elabora gli input degli utenti e genera gli output necessari per il regolamento finale sicuro su Ethereum.
• Prove antifrode: questo meccanismo di sfida-risposta consente ai validatori onesti di contestare transizioni di stato errate, garantendo che gli attori malintenzionati non possano compromettere l'integrità della rete.
• Architettura RISC-V: questo set di istruzioni standard aperto consente al protocollo di supportare un'ampia gamma di linguaggi di programmazione standard e librerie software.
• La casella di immissione dati: questo contratto Ethereum funge da gateway principale per gli utenti che desiderano inviare dati e istruzioni all'applicazione off-chain.
• Voucher e avvisi: questi output crittografici consentono all'ambiente off-chain di interagire con la catena principale, facilitando il prelievo di asset e gli aggiornamenti verificabili.

Come utilizzare Cartesi

Cartesi offre un ambiente versatile per interagire con il computing decentralizzato, fornendo percorsi specializzati sia per gli utenti finali che per gli ingegneri del software.

Cartesi Per gli utenti

Gli utenti possono interagire con l'ecosistema Cartesi partecipando alla sicurezza della rete, alla governance ed esplorando varie applicazioni decentralizzate costruite su questo framework modulare.

Partecipa al progetto attraverso questi metodi specifici:

1. Utilizza gli App-Rollup: visita il Rollup Lab di Cartesi per interagire con applicazioni ad alte prestazioni e trovare ispirazione per la creazione di progetti complessi nel campo dei giochi, della DeFi o dell'IA.
2. Acquista token CTSI: acquista Cartesi (CTSI) sulle principali piattaforme di scambio come Binance o Uniswap e trasferiscili su un portafoglio Web3 personale come MetaMask.
3. Stake tramite Explorer: visita Cartesi Explorer, collega il tuo portafoglio, seleziona un pool di staking e delega i tuoi token per guadagnare ricompense di partecipazione alla rete.
4. Voti di governance: accedi all'hub di governance, sfoglia le proposte attive e utilizza il tuo saldo puntato per votare se i progetti dell'ecosistema riceveranno finanziamenti.

Cartesi per sviluppatori

Gli ingegneri software possono sfruttare uno stack Linux completo per creare applicazioni ad alta intensità di calcolo utilizzando linguaggi familiari come Python, C++ o JavaScript.

Inizia a costruire con queste risorse e strumenti essenziali:

1. Inizializza il progetto: esegui il comando "cartesi create [nome-app] --template python" nella CLI per generare un modello standardizzato per la tua applicazione decentralizzata.
2. Logica del codice: scrivi la logica di business della tua applicazione nel tuo linguaggio preferito utilizzando librerie standard, trattando Cartesi Machine come un ambiente basato su Linux.
3. Compilazione in Docker: esegui "cartesi build" per impacchettare il tuo codice in un'immagine RISC-V deterministica che garantisce un'esecuzione identica su tutti i nodi di rete.
4. Distribuzione locale: prova la tua dApp eseguendo "cartesi run", che avvia un ambiente node locale per simulare il ciclo di esecuzione on-chain.
5. Distribuzione su Testnet: segui il framework di distribuzione ufficiale per configurare il tuo ambiente e utilizza la CLI Cartesi per trasferire la logica della tua applicazione su testnet pubbliche come Sepolia.

Cos'è il token CTSI?

CTSI è la risorsa fondamentale per Cartesi. Alimenta i processi di governance, svolge un ruolo centrale nell'economia dell'ecosistema e allineerà gli incentivi per sostenere la crescita delle dApp attraverso il Validator Marketplace.

Tokenomics CTSI

L'offerta totale di Cartesi (CTSI) è limitata a 1 miliardo di token, di cui circa l'89% è già in circolazione. CTSI è stato lanciato nel 2020 su Binance Launchpad e tutti gli sblocchi sono stati completati, il che significa che l'unica emissione rimanente proviene dai premi di staking.

Nell'ambito degli stanziamenti di finanziamento di base, il tesoro della Fondazione Cartesi per il 2025 è stato distribuito come segue:

• Ecosistema e ricerca e sviluppo: la quota maggiore del tesoro è ora dedicata alla ricerca e sviluppo di base (36%) e alla crescita dell'ecosistema (12%), garantendo una continua evoluzione tecnica e il supporto agli sviluppatori.
• Riserva mineraria: il 25% dell'offerta rimane dedicato alla riserva mineraria, che distribuisce autonomamente i premi agli staker e agli operatori di nodi tramite il RewardManager.
• Operazioni della Fondazione: circa il 41% della spesa della Fondazione è destinato a iniziative globali, marketing e crescita operativa per espandere la presenza sul mercato del protocollo.
• Liquidità strategica: la Fondazione mantiene una tesoreria altamente diversificata, con solo il 18,55% detenuto in CTSI, garantendo oltre 4 anni di autonomia finanziaria per far fronte alla volatilità del mercato.

Assegnazione delle forniture

La rete utilizza un meccanismo di ricompensa in cui l'emissione di nuovi CTSI è gestita tramite una riserva mineraria dedicata per incentivare gli operatori dei nodi. Secondo il rapporto sulla trasparenza del 2025, la Fondazione mantiene una solida tesoreria con una durata prevista di 4 anni e 4 mesi, garantendo un finanziamento stabile per la ricerca e lo sviluppo di base e la crescita dell'ecosistema.

L'offerta di CTSI rimane distribuita in modo strategico, con il 59,83% dei token della Fondazione utilizzati per generare ricompense di staking e il 40,17% conservato nei portafogli per esigenze operative. Le ricompense di staking sono distribuite in modo autonomo attraverso il RewardManager, che è finanziato dalla Mine Reserve per garantire il protocollo fino all'esaurimento completo della riserva.

Per mantenere la redditività economica, la Fondazione ha diversificato la propria tesoreria, con CTSI che rappresenta solo il 18,55% del patrimonio totale, mentre il 65,16% è detenuto in valuta fiat. Questa allocazione consente al protocollo di passare a un percorso di generazione di ricavi e a un meccanismo di accumulo di valore attraverso una vasta gamma di prodotti di prossima uscita, come il Validator Marketplace proposto.

Meccanismi di staking CTSI

Lo staking è il metodo principale per proteggere la rete Cartesi, consentendo ai possessori di token di partecipare al processo di consenso e guadagnare ricompense, proteggendo al contempo il protocollo da attori malintenzionati.

Partecipa alla rete utilizzando questi meccanismi:

• Delega dei nodi: gli utenti possono delegare il proprio CTSI a gestori di nodi professionali tramite il portale di staking, consentendo loro di guadagnare ricompense senza dover gestire hardware complesso.
• Probabilità di selezione: la probabilità che un nodo venga selezionato per produrre un blocco è direttamente proporzionale alla quantità di CTSI puntata all'interno di quel pool specifico.
• Distribuzione dei premi: gli staker ricevono una parte dei token appena coniati, che vengono distribuiti automaticamente in base al loro contributo individuale al pool.
• Protezione dagli slashing: l'architettura include misure di sicurezza volte a garantire che i partecipanti onesti non vengano penalizzati, mantenendo un ambiente equo in termini di ricompense.

I migliori progetti su Cartesi

L'ecosistema di Cartesi include dApp che mostrano l'esecuzione di Linux in modi diversi. Queste includono una sfida di sicurezza pubblica, una console fantasy on-chain, un protocollo DeFi modulare per token streamable e un servizio decentralizzato per l'inferenza verificabile di modelli linguistici di grandi dimensioni.

Ecco tre progetti che vale la pena provare, con semplici passaggi per iniziare.

1. Honeypot

Honeypot è la dApp rollup "hack me" di Cartesi sulla mainnet di Ethereum, lanciata nel settembre 2023 per testare Cartesi Rollups con fondi reali. L'attuale Honeypot V2 è la prima applicazione dotata del sistema antifrode PRT e mantiene un saldo di circa 50.000 CTSI.

Usalo come una sfida pratica sulla sicurezza:

• Identificare gli obiettivi: aprire l'elenco Honeypot in Rollup Lab e seguire il link del progetto alla dashboard live per analizzare lo stato attuale del contratto.
• Logica di revisione: studiare l'approfondimento "Honeypot deep dive" per comprendere la convalida dell'output e come gli impegni delle macchine definiscono la sicurezza della sfida.
• Verifica delle vulnerabilità: prova a effettuare prelievi al di fuori del percorso previsto o sfrutta qualsiasi altra vulnerabilità che potrebbe consentirti di prosciugare i fondi CTSI bloccati nello smart contract.
• Osservare le contestazioni: monitorare l'attività live della rete per vedere come gli sfidanti possono contestare le esecuzioni, spingendo i difensori a presentare prove di frode.

Cartesi considera Honeypot come un banco di prova dal vivo per la sua architettura completamente senza autorizzazioni. Raggiungendo lo stato di sicurezza di Fase 2 alla fine del 2025, questa dApp funge da prova di concetto primaria per il meccanismo decentralizzato a prova di frode del protocollo sulla mainnet di Ethereum.

2. Rives

RIVES è una console fantasy on-chain basata su Cartesi, costruita attorno a un emulatore deterministico (RIV) che funziona sia nel browser che all'interno dei validatori. È attiva sulla mainnet Base e consente di giocare a titoli retrò come Snake, Tetris e DOOM.

Interagisci con la console seguendo queste istruzioni:

1. Visita Rives.io: vai al portale ufficiale dedicato ai giochi per sfogliare la libreria di cartucce create dalla community e visualizzare le classifiche dei punteggi più alti per i giochi attivi.
2. Collega il portafoglio: collega il tuo portafoglio Web3 alla piattaforma per registrare le tue sessioni di gioco e proteggere le tue classifiche sul registro blockchain immutabile.
3. Gioca o crea: seleziona un gioco da giocare direttamente nel tuo browser oppure utilizza l'SDK Rives per sviluppare e caricare la tua cartuccia di gioco personalizzata.

Dietro le quinte, RIVES utilizza Cartesi Rollups in modo che il gameplay possa essere convalidato anziché affidabile. Nel 2025, il team ha parlato di passare al lavoro su Node V2 e ha anticipato una versione mobile, mantenendo l'attenzione sul gioco verificabile e sugli strumenti per i creatori.

3. Rete locale

Locale Network è un'infrastruttura di attestazione IoT open source che porta la verifica dei dati dei sensori senza fiducia sulla blockchain. Utilizzando il runtime Linux e la macchina RISC-V di Cartesi, crea un ambiente deterministico in cui le letture dei dispositivi vengono verificate tramite firme crittografiche.

Verifica i dati reali con questi passaggi:

• Register Device Identity: Assign a decentralized identifier to your hardware using the L{CORE} SDK to ensure the device owns its cryptographic identity.
• Letture del sensore dei segni: utilizzare gli SDK C o Python integrati per generare firme web JSON per ogni punto dati acquisito dal dispositivo.
• Eseguire l'attestazione TEE: elaborare le firme all'interno di un ambiente di esecuzione affidabile (TEE) per verificare l'autenticità del dispositivo prima che i dati vengano inseriti nel rollup.
• Finalizzazione su Arbitrum: risoluzione delle attestazioni verificate sulle catene Arbitrum Orbit, dove il sistema antifrode di Cartesi gestisce eventuali controversie per garantire la correttezza dei dati dei sensori.

Eseguendo SQLite all'interno della Cartesi Machine per query complesse, Locale Network elimina la necessità di costose commissioni per ogni prova. Questa architettura consente agli sviluppatori di collegare le risorse fisiche agli ecosistemi on-chain, mantenendo allo stesso tempo uno stack hardware completamente auto-ospitabile e decentralizzato.

4. ThinkChain

ThinkChain è un servizio decentralizzato che porta l'inferenza verificabile dei modelli linguistici di grandi dimensioni (Large Language Model) agli smart contract. Utilizzando gli operatori EigenLayer e Cartesi Machine, consente ai protocolli di eseguire attività basate sull'intelligenza artificiale senza compromettere la decentralizzazione. Supporta molti modelli popolari, tra cui DeepSeek-R1 e Qwen2.5, attraverso una semplice interfaccia Solidity.

Integra l'IA nei tuoi contratti intelligenti con questi passaggi:

• Seleziona il tuo modello: scegli tra LLM integrati come SmolLM2 o DeepScaleR a seconda della complessità della tua applicazione e delle esigenze di prestazioni.
• Richiesta di inferenza: invia una richiesta di completamento tramite il contratto Solidity Completer, specificando il tuo prompt e il callback desiderato per i risultati.
• Verifica dell'esecuzione off-chain: monitora il modo in cui gli operatori EigenLayer eseguono il modello selezionato all'interno di una Cartesi Machine deterministica per generare un risultato firmato e verificabile.
• Ricezione dei risultati Onchain: una volta che il risolutore invia la firma aggregata, il contratto di callback designato riceve e decodifica automaticamente la risposta dell'IA.

ThinkChain risolve il dilemma dell'IA on-chain scaricando l'enorme carico computazionale degli LLM sui coprocessori EigenLayer, utilizzando Cartesi per mantenere l'integrità di ogni inferenza. Questo framework consente agli sviluppatori di creare sofisticati agenti IA in grado di analizzare i dati ed eseguire logiche con lo stesso livello di affidabilità di uno smart contract standard.

Sicurezza Cartesi

Cartesi utilizza un sistema sicuro di risoluzione delle controversie senza autorizzazione chiamato Dave (in attesa di implementazione dopo l'attuale sistema antifrode in uso, PRT), che consente a qualsiasi partecipante onesto di contestare richieste non valide. Questa interazione multipartitica garantisce che anche un singolo nodo onesto possa difendere la rete dalla maggioranza degli attori malintenzionati.

La finalità matematica viene raggiunta attraverso un gioco di bisecazione a più round che isola l'istruzione specifica in cui si è verificato un disaccordo. Verificando solo il passaggio contestato sul livello base, il sistema riduce significativamente i dati necessari per il regolamento on-chain.

Il protocollo raggiunge il livello di sicurezza Stage 2, una pietra miliare che Vitalik Buterin descrive come la "rimozione delle rotelle di sicurezza", in cui il sistema diventa completamente senza autorizzazioni. Questo status garantisce che nessuna entità centralizzata possa sovrascrivere i risultati del meccanismo decentralizzato a prova di frode.

Pro e contro di Cartesi

Comprendere i compromessi del protocollo Cartesi è essenziale per valutare il suo ruolo nell'evoluzione dei livelli di esecuzione modulari e del calcolo decentralizzato.

Fondatori di Cartesi

Cartesi è stata fondata nel 2018 da Erick de Moura, Augusto Teixeira, Diego Nehab e Colin Steil. Questo team eterogeneo ha unito le competenze acquisite presso istituzioni accademiche di alto livello e nel campo dell'ingegneria del software per sviluppare un'architettura di macchina virtuale basata su Linux unica nel suo genere.

I fondatori hanno immaginato un livello di esecuzione modulare in cui gli sviluppatori potessero utilizzare stack software tradizionali per applicazioni decentralizzate. Il loro background collettivo nell'informatica teorica e nel mondo degli affari ha portato all'evoluzione del protocollo in un ecosistema pronto per la produzione.

Pensieri finali

Oggi gli sviluppatori utilizzano il livello di esecuzione modulare di Cartesi per creare applicazioni ad alta intensità di calcolo, come giochi completamente on-chain e protocolli basati sull'intelligenza artificiale.

Sfruttando l'intero stack Linux, gli sviluppatori possono eseguire attività intensive che rimangono impossibili all'interno della macchina virtuale Ethereum standard.

Per il 2026, la roadmap di Cartesi dà priorità alla piena integrazione di RISC-V e al miglioramento della praticità per gli sviluppatori di app DeFi, al fine di ottimizzare il computing decentralizzato ad alte prestazioni.