Che cos'è Cartesi?

Cartesi è un framework open source per rollup specifici per applicazione, con una macchina virtuale RISC-V che esegue Linux come livello di esecuzione. Ogni applicazione dispone di capacità di calcolo dedicata sul proprio rollup. Un protocollo interattivo di fraud proof permette al sistema di ereditare la sicurezza di Ethereum senza affidarsi a un operatore fidato.

Erick de Moura, Augusto Teixeira, Diego Nehab e Colin Steil hanno fondato Cartesi nel 2018. Il suo whitepaper originale descriveva il modello ibrido ancora oggi in uso: i calcoli pesanti vengono eseguiti offchain all'interno di una macchina riproducibile ed Ethereum interviene solo quando due parti non concordano sul risultato. CTSI è stato lanciato su Binance Launchpad nell'aprile 2020.

Essendo un rollup optimistic, Cartesi accetta le dichiarazioni a meno che qualcuno non dimostri che sono errate entro una finestra di contestazione. Il nostro confronto tra rollup ZK e rollup optimistic spiega come questo compromesso consenta la verifica di programmi di qualsiasi dimensione, con un ritardo di uscita di sette giorni.

L2BEAT classifica l'applicazione PRT Honeypot v2 come rollup di Stage 2, il suo livello di maturità più alto. Nessun multisig, consiglio di sicurezza o chiave di amministrazione può ribaltare la decisione del sistema di fraud proof. La classificazione si applica a quella implementazione e al relativo stack sottostante, mentre L2BEAT continua a definire come le chain specifiche per applicazione rientrino nel suo quadro.

Come funziona Cartesi?

La logica applicativa viene eseguita offchain all'interno di una macchina Linux deterministica. Ethereum registra ogni input, permettendo a qualsiasi nodo di ricalcolare lo stato e contestare una dichiarazione errata. Un'app Cartesi può quindi eseguire software complesso mentre Ethereum stabilisce l'esito delle controversie.

Il sistema utilizza i seguenti componenti:

• Cartesi Machine: un emulatore RISC-V che avvia un kernel Linux completo e lo spazio utente. Input identici producono sempre lo stesso stato. La sua architettura espone ogni registro e intervallo di memoria, consentendo di restringere una contestazione a una singola istruzione.
• Ambiente di esecuzione Linux: gli sviluppatori possono usare Python con NumPy, le librerie standard C++, database SQLite o crate Rust senza doverli riscrivere per la EVM. Cartesi afferma che la macchina ha elaborato più di 3,6 miliardi di istruzioni nell'intervallo medio tra i blocchi di Ethereum. Il budget per blocco del livello base, al confronto, si misura in decine di milioni di unità di gas, come mostra il nostro tracker del gas di Ethereum.
• Rollup specifici per applicazione: ogni applicazione ha il proprio rollup, quindi il traffico non correlato non compete mai per il suo spazio nei blocchi. Le opzioni di distribuzione includono un L2 su Ethereum, un L3 su Arbitrum o Optimism, o una chain sovrana.
• Input Box: un contratto Ethereum che registra in ordine tutti gli input e i depositi. Chiunque può scrivervi, consentendo agli utenti di forzare una transazione anche se tutti i nodi offchain la ignorano.
• Rollups Node: Software offchain che legge l'Input Box, fa avanzare la macchina e pubblica le claim. Node v2, attualmente in fase di test, supporta più applicazioni da un unico nodo e sopravvive ai riavvii.
• Output (voucher e notifiche): La macchina emette messaggi verificabili, tra cui istruzioni di prelievo e attestazioni di stato. I contratti di Ethereum li eseguono dopo la chiusura del periodo di regolamento.
• Sequencer: componente alpha che fornisce conferme provvisorie rapide alle applicazioni di trading mentre il sistema di fraud proof completa il regolamento.
• Prove di frode PRT: un protocollo di contestazione con cui un solo nodo onesto può sconfiggere un numero qualsiasi di nodi disonesti, come illustrato nella sezione sulla sicurezza.

Perché Cartesi ha ristretto il proprio focus sulla DeFi

Fino a quest'anno, Cartesi si presentava come un livello di esecuzione generico per gaming, inferenza IA, dati di sensori e altri carichi di lavoro che non rientravano in uno smart contract. Ora sviluppa per gli sviluppatori DeFi e ha accantonato i lavori al di fuori di tale focus.

Il Technical Evolution Plan della Foundation, aggiornato per l'ultima volta il 3 agosto, fissa tre priorità. La risoluzione delle controversie e i percorsi di recupero devono reggere sotto attacco. I modelli di rischio e l'analisi statistica devono diventare abbastanza economici da essere eseguiti a ogni blocco. Gli sviluppatori dovrebbero inoltre poter distribuire onchain in un giorno con strumenti che già conoscono.

L'elenco delle attività «messe da parte» comprende l'esecuzione su Bitcoin, il coprocessore EigenLayer e Lambada, oltre alle integrazioni con layer di disponibilità dei dati alternativi come Celestia e Avail. Sono sospese anche le integrazioni con sequencer di terze parti, la risoluzione ENS e i rollup basati su browser. Il loro codice resta open source.

A aprile un post ha illustrato il caso DeFi attraverso l'incidente di Curve Finance, quando i prestiti del fondatore garantiti da CRV hanno rischiato di innescare liquidazioni su Aave e Frax. Cartesi ha sostenuto che verificare lo storico dei prezzi di un token prima di approvare una grande posizione di prestito avrebbe potuto limitare i danni. Un'analisi che richiede miliardi di singole operazioni EVM diventa una chiamata NumPy all'interno di una Cartesi Machine.

I membri del consiglio della fondazione Felipe Argento e Brandon Isaacson si sono dimessi a giugno per dedicarsi a tempo pieno allo sviluppo di applicazioni sullo stack. Il cofondatore Erick de Moura vede nella DeFi il primo banco di prova della tecnologia, con usi più ampi attesi una volta che lo stack sarà stato testato nei mercati finanziari.

Come usare Cartesi

I possessori di CTSI possono fare stake, votare nella governance e partecipare al bug bounty. Gli sviluppatori usano un'interfaccia a riga di comando e contratti, con strumenti di programmazione basati su IA che hanno un ruolo crescente.

Cartesi per gli utenti

I detentori di CTSI possono partecipare seguendo questi passaggi:

1. Acquista CTSI su un exchange: CTSI è scambiato come coppia spot su Binance, Coinbase e Kraken. Diversi exchange di derivati offrono anche contratti perpetui su USDT. Preleva su un wallet in autocustodia compatibile con ERC-20, come quelli della nostra guida ai migliori wallet crypto.
2. Fai stake tramite l'explorer: collega il tuo wallet al Cartesi Explorer, seleziona un pool e delega. Il pool gestisce il nodo e trattiene una quota delle ricompense.
3. Vota nella governance: I CTSI in staking danno ai detentori diritti di voto sulle assegnazioni dei contributi e sulle proposte tecniche nel Governance Hub.
4. Studia l'Honeypot, ma non effettuare depositi: il PRT Honeypot è un bug bounty attivo. Chiunque violi il sistema di fraud-proof può richiedere i CTSI bloccati. I depositi sono trattati come donazioni.
5. Esplora Rollup Lab: le applicazioni elencate in Rollup Lab vanno dai prototipi DeFi alla console di gioco RIVES.

Cartesi per gli sviluppatori

Lo sviluppo ora si concentra sullo stack v2 e sugli strumenti di IA:

1. Installa la CLI e crea la struttura di un progetto: Cartesi CLI 2.0 alpha crea modelli in Python, JavaScript, TypeScript, Rust e altri linguaggi. Individua inoltre i problemi di configurazione prima dell'avvio.
2. Scrivi codice ordinario: l'applicazione legge gli input dell'Input Box ed emette voucher e notice. La logica tra questi passaggi è un normale software Linux.
3. Compila ed esegui in locale: una devnet locale avvia i contratti, il nodo e l'explorer. Include un token di test simile a USDC per verificare i depositi e i prelievi da un capo all'altro.
4. Distribuisci su Sepolia, poi su mainnet: Nuove versioni alpha dei Rollups Contracts e dei contratti di contestazione PRT sono distribuite e verificate su Sepolia. La documentazione copre le opzioni di nodo ospitato e autogestito.
5. Collega il tuo assistente IA allo stack: i collaboratori di Mugen Builders hanno rilasciato un server MCP e un repository cartesi-skills contenente dieci skill più una skill di workflow. Coprono scaffolding, debugging, frontend, contratti e distribuzione, per aiutare strumenti come Cursor o Claude a generare codice Cartesi corretto. La documentazione fornisce un file llms.txt per lo stesso scopo.
6. Prova il playground nel browser: Una versione alpha dei binding di Machine esegue una Cartesi Machine, compreso un terminale, all'interno di una scheda del browser senza installazione locale.

Che cos'è il token CTSI?

CTSI è un token ERC-20 usato per le ricompense di staking e la governance, con un ruolo previsto in un futuro Validator Marketplace. Non finanzia le transazioni sui rollup di Cartesi. Le applicazioni pagano Ethereum per dati e regolamento in ETH, che anche i validatori PRT usano per le loro garanzie.

Tokenomics di CTSI

CTSI ha un'offerta massima di 1 miliardo. Circa 947 milioni di token, cioè circa il 95 percento, sono in circolazione secondo CoinMarketCap. Le allocazioni per investitori, team e Foundation hanno completato lo sblocco a metà 2023. La nuova offerta proviene ora esclusivamente dalla Mine Reserve che finanzia le ricompense di staking.

Usi attuali e previsti:

• Ricompense dello staking: la Mine Reserve rilascia CTSI agli stakers in proporzione alla loro quota del stake totale.
• Governance: i saldi staked danno diritto di voto sui finanziamenti di sovvenzioni e sulle consultazioni tecniche tramite il Governance Hub.
• Marketplace dei validatori: una proposta di novembre 2024 permetterebbe ai detentori di delegare CTSI a validatori che proteggono singole applicazioni e di condividerne le commissioni. La Foundation indica ancora l'implementazione completa come in sospeso.

Al momento della stesura, CTSI viene scambiato intorno a 0,025 $, con una capitalizzazione di mercato vicina a 24 milioni di dollari. Il prezzo è inferiore di circa il 98 per cento rispetto al massimo storico di maggio 2021, pari a 1,74 $, e di poco superiore al minimo storico di circa 0,02 $. I titoli sulla Stage 2 hanno alimentato a aprile un rialzo sopra 0,049 $, ma il token ha poi restituito la maggior parte di quel guadagno.

Tesoreria della fondazione

La maggior parte della tesoreria della Fondazione è detenuta al di fuori di CTSI. Il suo Rapporto sulla trasparenza 2025, pubblicato a gennaio, mostra che la valuta fiat nei conti bancari rappresentava il 65,16 percento degli asset a fine anno. Stablecoin, ETH e altre criptovalute rappresentavano il 16,29 percento, mentre CTSI costituiva il 18,55 percento a un prezzo di fine anno di 0,0314 $.

Con gli impegni attuali, questa tesoreria offre un orizzonte stimato di quattro anni e quattro mesi, oppure tre anni e sei mesi escludendo CTSI. La Foundation aveva impiegato il 59,83 per cento dei propri CTSI in posizioni di staking o fruttifere di interessi. Wallet e conti su exchange detenevano il restante 40,17 per cento.

Della spesa principale nel 2025, le sovvenzioni all'unità R&S hanno ricevuto il 36 per cento, quelle all'unità ecosistema il 12 per cento e quelle alla società principale il 11 per cento. Iniziative della fondazione, operazioni, marketing e crescita hanno rappresentato l'altro 41 per cento.

Meccanismi dello staking di CTSI

Lo staking di CTSI protegge il Reserve Mining, un processo proof-of-stake. I nodi vengono selezionati per produrre blocchi in proporzione al proprio stake e ricevono CTSI rilasciati dalla Mine Reserve.

Prima di delegare, considera questi meccanismi:

• Fonte delle ricompense: la Foundation trasferisce token da un wallet DelayedWithdraw, che impone un ritardo di sette giorni, a un wallet Reserve Mine. Quel wallet finanzia ogni mese il contratto RewardManager, dopodiché la distribuzione è automatica.
• Delega a un pool: La maggior parte dei detentori usa i pool presenti nell'explorer, perché la configurazione di un nodo comporta costi fissi indipendentemente dalla dimensione dello stake.
• Aspettative di rendimento: Cartesi pubblicizza rendimenti fino al 20 per cento. I tassi effettivi variano in base alla partecipazione totale e alle commissioni del pool, e tracker di terze parti hanno riportato valori inferiori. Il nostro calcolatore di staking per criptovalute aiuta a stimare la differenza.
• Nessuno slashing per inattività: Un nodo offline perde l'opportunità di produrre blocchi, ma il suo stake non viene ridotto.
• Separato dalla validazione PRT: partecipare a un torneo di contestazione per difendere un rollup Cartesi richiede un deposito in ETH, attualmente di circa 0,232 ETH per partecipazione. Lo staking di CTSI non ha alcun ruolo in questo processo.

Cosa viene sviluppato su Cartesi

Cinque applicazioni illustrano gli usi attuali dello stack, quattro nella finanza e una nel gaming.

1. PRT Honeypot v2

Honeypot è il bug bounty permanente di Cartesi su Ethereum mainnet. La versione attuale è stata lanciata l'8 novembre 2025 e il mese successivo ha ottenuto il listing Stage 2 su L2BEAT. Secondo il tracker, protegge meno di 1.500 $ in CTSI.

La ricompensa resta contenuta finché lo stack è in alpha. Il suo predecessore usava un regolamento con permessi, ha gestito 1 milione di CTSI a luglio 2024 e non è mai stato svuotato. Nella v2 solo un multisig Cartesi 3-di-6 può prelevare, e può inviare fondi solo a se stesso.

2. Nucleus

Nucleus è un protocollo di prestito vincitore di un hackathon, con un'interfaccia tradizionale e, sotto, un'analisi statistica del rischio basata su Python. NumPy e altre librerie open source vengono eseguite all'interno della Cartesi Machine e fissano i limiti di garanzia in base all'intero storico dei prezzi di un asset, anziché a una singola lettura del price feed.

3. DCA Monster

DCA Monster offre stream swap e swap condizionali su un exchange decentralizzato la cui logica di automated market maker è scritta in Python. Si concentra sui tipi di ordine che le piattaforme centralizzate supportano abitualmente ma che la maggior parte degli exchange decentralizzati non può ancora offrire.

4. Mercato dell'informazione combinatorio

Una demo di giugno tratta le variabili di previsione come un sistema probabilistico connesso. I mercati di previsione convenzionali prezzano ogni domanda separatamente. Usando algoritmi di inferenza esatta, in particolare un albero di giunzione con propagazione delle credenze, la demo mostra come aspettative di inflazione, elezioni ed esiti delle politiche si influenzino a vicenda. Tutti i calcoli sono deterministici e verificabili onchain.

5. RIVES

RIVES è una fantasy console onchain basata su RIV, un emulatore deterministico che funziona nei browser e all'interno dei validatori rollup. I giocatori scaricano una cartuccia e giocano nel browser, poi inviano un nastro dei propri input. Il rollup riesegue quel nastro per verificare il punteggio.

Eseguito su Base mainnet, RIVES ospita porting di DOOM e altri titoli retro. Resta l'applicazione consumer più visibile di Cartesi.

Sicurezza di Cartesi: PRT, Stage 2 e il blocco Honeypot

I Permissionless Refereed Tournaments (PRT) di Cartesi permettono a un solo validatore onesto di sconfiggere un numero qualsiasi di partecipanti disonesti. Introdotti in un paper del 2022 e formalizzati come Dave in una ricerca sottoposta a revisione paritaria a maggio 2025, i PRT riducono le dispute a una sola istruzione RISC-V che Ethereum verifica. La mainnet usa tre livelli di torneo, un periodo di contestazione minimo di sette giorni e garanzie di circa 0,232 ETH per partecipante.

PRT Honeypot v2 mantiene la classificazione Stage 2 di L2BEAT, a riprova della rimozione dei controlli amministrativi descritti nelle tappe dei rollup di Vitalik Buterin. I suoi contratti sono immutabili, la verifica (proving) è senza permessi e nessuno può annullare i risultati. La sicurezza richiede comunque un validatore onesto, mentre gli attacchi di ritardo possono rallentare il regolamento.

Questi limiti sono emersi chiaramente a settembre 2025, quando Cartesi ha inviato una richiesta di prova fraudolenta al primo PRT Honeypot. Un bug del contratto ha impedito al validatore onesto di rivendicare la vittoria, bloccando in modo permanente circa 1.000 $ di CTSI di proprietà di Cartesi. Il postmortem ha confermato che non è stato finalizzato alcuno stato errato, ma non esisteva una chiave amministratore per recuperare i fondi. Una v2 corretta è stata lanciata due mesi dopo.

Le successive misure di sicurezza includono i prelievi di emergenza in Rollups Node v2.0.0-alpha.12 di giugno e la fase di preparazione dei claim a luglio, che aggiunge una finestra prima che i risultati del torneo diventino definitivi. La roadmap dà priorità alla diversità dei validatori, al Fraud-Proof System v3, agli audit esterni e ai test con agenti IA prima che le applicazioni gestiscano denaro reale. Cartesi sta inoltre esplorando la verifica ZK per eliminare gli attacchi di ritardo, mantenendo l'esecuzione Linux e il supporto per calcoli di qualsiasi dimensione.

Statistiche e tendenze di Cartesi

Cifre principali a settembre:

• Mercato: CTSI viene scambiato intorno a 0,025 $, con una capitalizzazione di mercato di circa 24 milioni di dollari, con circa 947 milioni degli 1 miliardo di offerta massima in circolazione. È circa il 98,5 per cento al di sotto del massimo di maggio 2021 di 1,74 $.
• Valore protetto: meno di 1.500 $ di CTSI nel rollup PRT Honeypot v2, mantenuto basso durante la fase alpha.
• Parametri di fraud-proof: tre livelli di torneo, un periodo di contestazione di circa sette giorni e una cauzione di circa 0,232 ETH per partecipante.
• Cronologia della fase 2: lancio della mainnet a giugno 2025, blocco a settembre 2025, v2 ridistribuita l'8 novembre 2025, listing della fase 2 a dicembre 2025.
• Autonomia della fondazione: quattro anni e quattro mesi includendo CTSI, oppure tre anni e sei mesi senza, con una tesoreria composta per il 65,16 percento da valuta fiat.
• Margine di calcolo: più di 3,6 miliardi di istruzioni RISC-V per intervallo medio di blocco di Ethereum, secondo i benchmark di Cartesi stessa.
• Cadenza dei rilasci: Machine Emulator v0.21.0, Rollups Contracts 3.0.0-alpha.9, Rollups Node v2.0.0-alpha.12, Sequencer v0.1.0-alpha.9 e CLI 2.0.0-alpha.35 sono stati tutti rilasciati tra aprile e agosto, come riportato su GitHub di Cartesi.

Le tendenze dietro questi numeri:

• Più focus, meno dispersione: l'abbandono del coprocessore EigenLayer, dell'esecuzione su Bitcoin e del lavoro su soluzioni alternative di disponibilità dei dati è il cambiamento strategico più importante nella storia del progetto.
• Sicurezza prima dei depositi: prelievi di emergenza, gestione delle richieste, diversificazione dei validatori e audit vengono prima di qualsiasi spinta sul valore totale bloccato, e nessuna applicazione DeFi detiene ancora fondi significativi.
• Lo Stage 2 si sta affollando: Aztec è entrato nel livello a giugno dopo aver revocato la proprietà del contratto del proprio rollup, quindi il badge sta diventando uno standard minimo.
• L'utilità del token è in ritardo rispetto alla tecnologia: il Validator Marketplace che legherebbe CTSI ai ricavi delle applicazioni è una proposta da novembre 2024, quindi il prezzo segue il sentiment più dell'utilizzo.

Pro e contro di Cartesi

Fondatori di Cartesi

Erick de Moura, CEO di Cartesi, ha fondato il progetto nel 2018 insieme ad Augusto Teixeira, Diego Nehab e Colin Steil. Teixeira si occupa di teoria della probabilità e Nehab di computer grafica presso l'IMPA, l'istituto nazionale brasiliano di matematica pura e applicata.

Felipe Argento e Brandon Isaacson hanno lasciato il consiglio della Foundation a giugno per sviluppare applicazioni. La loro scelta suggerisce che chi è più vicino allo stack vede nel lancio di prodotti la prossima prova.

Considerazioni finali

Cartesi ha completato il difficile lavoro sull'infrastruttura. Il suo sistema di fraud-proof resiste agli attacchi Sybil, ha lo stato Stage 2 su L2BEAT ed è stato messo alla prova da un vero blocco del mainnet. La maggior parte dei rollup non può vantare altrettanto.

Il compito che resta è attirare denaro verso quell'infrastruttura. La svolta di Cartesi verso la DeFi dipende dalla capacità di motori di rischio in Python, bonding curve esatte e ordini condizionali nativi di portare liquidità su una chain specifica per applicazione con un'uscita di sette giorni. Riteniamo la tesi solida e l'esecuzione onesta. Il caso di una rivalutazione di CTSI dipende da quali applicazioni verranno lanciate nel prossimo anno e da quanto denaro gli utenti affideranno loro.