Cartesi

Informazioni su Cartesi (CTSI)

Cos'è Cartesi (CTSI)?

Cartesi è un framework per costruire rollup specifici per applicazione che eseguono un sistema operativo Linux completo all'interno di una macchina virtuale RISC-V deterministica. Questa singola scelta lo distingue da quasi ogni altro progetto di scalabilità: invece di scrivere contratti in un linguaggio specifico per blockchain per una macchina virtuale vincolata, gli sviluppatori scrivono programmi ordinari in Python, Rust, C++, Go o JavaScript, usando librerie ordinarie, e il risultato si regola comunque in modo verificabile su Ethereum.

CTSI è il token ERC-20 della rete, con un'offerta totale fissa di 1.000.000.000. Viene usato per lo staking e la delega, per la partecipazione alla governance, ed è pensato per sostenere un marketplace di validatori man mano che la rete matura.

Fonti ufficiali:

• Cartesi
• Documentazione Cartesi
• Piano di evoluzione tecnica
• GitHub

Chi ha fondato Cartesi? (Storia)

Cartesi è stata fondata nel 2018 da Erick de Moura, Augusto Teixeira, Diego Nehab e Colin Steil. Teixeira e Nehab provenivano dall'IMPA, l'istituto brasiliano di matematica pura e applicata, e il progetto conserva forti legami accademici, inclusi corsi universitari sui Cartesi Rollups tenuti in Brasile.

L'idea originale era un marketplace decentralizzato per addestrare modelli di machine learning, con sotto uno strato di calcolo off-chain verificabile. Il marketplace non è sopravvissuto al contatto con il mercato reale. Lo strato di calcolo invece sì, ed è diventato l'intero prodotto. I CTSI sono stati distribuiti tramite una vendita su Binance Launchpad nell'aprile 2020. Un'iniziativa separata di coprocessore, che permetteva agli smart contract esistenti di scaricare calcoli pesanti sulle Cartesi Machine, è stata formalmente chiusa nel 2025 come parte di una concentrazione deliberata sul rollup principale e sullo stack di fraud proof. I riepiloghi più vecchi descrivono ancora il coprocessore e il precedente lavoro su Noether, quindi la documentazione attuale va considerata come quella autorevole.

Come funziona Cartesi

1. La Cartesi Machine Le applicazioni vengono eseguite all'interno di un emulatore RISC-V deterministico che avvia un kernel Linux e un file system radice. Poiché l'esecuzione è riproducibile, due parti oneste che eseguono gli stessi input raggiungono lo stesso stato, e tale stato può essere sottoposto a hash e registrato on-chain.

2. Regolamento on-chain e risoluzione delle controversie I contratti Ethereum custodiscono input, output e affermazioni di stato. Cartesi mantiene anche un'implementazione on-chain di un singolo passo di istruzione RISC-V, il che rende le controversie risolvibili: un disaccordo viene ristretto per bisezione fino a ridursi a un'unica istruzione che la chain stessa può eseguire e giudicare.

3. Fraud proof senza permesso Le controversie sono risolte tramite PRT, abbreviazione di Permissionless Refereed Tournaments, attivo sulla mainnet di Ethereum. I contendenti competono in un torneo a eliminazione in cui i validatori onesti si coordinano di fatto ed eliminano metà delle false richieste a ogni turno, così che una singola parte onesta può far valere il risultato corretto contro un avversario ben finanziato. Un meccanismo di cauzione scoraggia le controversie pretestuose e ha ridotto in modo sostanziale il ritardo massimo che un attaccante può imporre.

4. Deployment specifico per applicazione Ogni applicazione ottiene il proprio rollup e calcolo dedicato, distribuibile come layer 2 di Ethereum, layer 3 su un altro rollup, o rollup sovrano.

Componenti chiave dell'ecosistema

• La Cartesi Machine, l'emulatore Linux RISC-V off-chain, più la sua implementazione dei passi on-chain
• Cartesi Rollups 2.0, l'attuale framework di produzione, con la versione 1.5 deprecata
• Il Rollups Node, con un'API JSON-RPC e supporto multi-applicazione
• PRT, il sistema di fraud proof attivo, e l'applicazione Honeypot che lo mette alla prova in produzione
• Dave, l'algoritmo di fraud proof successore, in sviluppo attivo
• La CLI di Cartesi, CartesiScan, e il portale di staking dove i possessori delegano a pool

Utilità del token CTSI

• Staking e delega. I possessori delegano a pool tramite il portale ufficiale. I pool che producono blocchi ricevono ricompense in CTSI dalla riserva del progetto, trasferite ai delegatori al netto della commissione e reinvestite automaticamente.
• Governance. Il CTSI in staking conferisce diritti di voto sulle proposte dell'ecosistema, inclusa l'assegnazione delle grant e la direzione tecnica.
• Marketplace dei validatori. I materiali ufficiali descrivono un futuro sistema in cui i possessori delegano a validatori professionali e sostengono applicazioni specifiche in cambio di una quota di incentivi. Viene descritto in modo prospettico, quindi va trattato come pianificato piuttosto che già attivo.
• Cauzioni e bounty. PRT utilizza una partecipazione vincolata da cauzione, e la bug bounty Honeypot detiene CTSI come premio per chiunque riesca a violare il sistema di fraud proof.

Vale la pena dirlo chiaramente: le ricompense di staking sono finanziate da una riserva di token piuttosto che dalle entrate delle commissioni applicative, quindi il legame tra utilizzo del rollup e domanda di token resta in gran parte prospettico.

Cosa rende unico Cartesi?

Eseguire un vero Linux è l'architettura stessa, non una frase di marketing. Uno sviluppatore può usare una libreria crittografica esistente, un pacchetto di calcolo scientifico o un intero runtime di linguaggio all'interno di un'applicazione verificabile senza dover reimplementare nulla per una macchina virtuale blockchain, cosa che Cartesi ha dimostrato con inferenza di machine learning a fiducia minimizzata ed emulazione completa di console di gioco.

Il secondo punto è la maturità della verifica. Cartesi ha raggiunto il Livello 2 nella classificazione dei rollup di L2BEAT nel 2025, all'epoca uno dei soli tre progetti a riuscirci. Il Livello 2 è il livello più severo, e richiede un sistema di proof senza permesso e poteri di aggiornamento strettamente limitati.

In cosa Cartesi differisce da rollup simili

Rispetto ai rollup EVM generici, Cartesi non è un ambiente di esecuzione condiviso. Ogni applicazione ottiene il proprio rollup con calcolo dedicato, quindi le applicazioni non competono mai per lo stesso spazio di blocco, ma non esiste nemmeno uno stato globale condiviso con cui comporre. Rispetto ai rollup a conoscenza zero, il sistema attivo è ottimistico e interattivo: dimostrare è economico, ma i prelievi comportano un periodo di contestazione. Il piano di evoluzione tecnica elenca un percorso di verifica a conoscenza zero come voce di esplorazione pensata per eliminare l'esposizione agli attacchi di ritardo.

Casi d'uso di Cartesi

• Applicazioni ad alta intensità di calcolo impossibili o proibitivamente costose sull'EVM
• Inferenza di machine learning verificabile, dove il modello gira off-chain ma il risultato è dimostrabile
• Giochi e simulazioni complesse on-chain, incluse emulazioni di console di gioco
• Logica scientifica o aziendale che dipende da librerie e toolchain esistenti

Come è protetto Cartesi

La sicurezza si basa sul regolamento Ethereum più il sistema di fraud proof. I validatori inviano affermazioni di stato, chiunque può contestarle, e le controversie si risolvono attraverso la struttura a torneo fino a un'unica istruzione RISC-V verificabile. Poiché la partecipazione è senza permesso e basta un solo attore onesto, la sicurezza non dipende da un insieme fidato di validatori.

Cartesi mette questo alla prova in pubblico. L'applicazione Honeypot mantiene un premio in CTSI attivo sulla mainnet di Ethereum per chiunque riesca a battere il sistema, e questo ha già dato i suoi frutti: nell'ottobre 2025 un bug di liveness nei contratti del gioco di contestazione ha congelato temporaneamente una piccola quantità di CTSI. È stato diagnosticato come un difetto di implementazione e non come un errore dell'algoritmo, corretto e rilanciato.

Rischi e considerazioni

• Token e utilizzo sono debolmente collegati. Le ricompense di staking provengono da una riserva finita, e il marketplace dei validatori che legherebbe CTSI alla domanda reale non è ancora pienamente implementato.
• Adozione in produzione limitata. La tecnologia è ben progettata, ma poche applicazioni attive portano un valore utente significativo.
• Effetti di rete dell'ecosistema. RISC-V e Linux offrono flessibilità, ma il tooling dell'EVM, la familiarità dei revisori e la componibilità sono difficili da soppiantare.
• Compromessi dei rollup ottimistici. I periodi di contestazione ritardano i prelievi, e gli attacchi di ritardo restano un costo noto dei sistemi di proof interattivi anche con le cauzioni. Anche il rischio di implementazione è reale: il bug di liveness di Honeypot dimostra che il codice di fraud proof è difficile da scrivere, e Dave è ancora in sviluppo.
• Cambi di rotta strategici. Il progetto ha cambiato direzione più volte, e ogni svolta è costata tempo anche quando la tecnologia di base è stata mantenuta.
• Deriva della documentazione. Parte del materiale ufficiale sullo staking non è stata rivista di recente, quindi conviene verificare i meccanismi attuali sul portale live prima di fare staking.

Perché Cartesi è importante

Cartesi attacca alla radice il problema dell'esperienza dello sviluppatore. Se il calcolo verificabile deve essere usato da persone che non sono specialisti blockchain, qualcosa deve permettere loro di portare i propri strumenti esistenti, ed eseguire Linux dentro una macchina dimostrabile è una risposta credibile. Raggiungere il Livello 2 con un sistema di proof senza permesso colloca inoltre Cartesi tra i pochissimi progetti che hanno effettivamente soddisfatto lo standard pubblicato più rigoroso per la sicurezza dei rollup, invece di limitarsi a promettere di farlo. Se il token catturi questo valore ingegneristico è una questione separata e ancora irrisolta.

Dove si può acquistare Cartesi (CTSI)?

CTSI è quotato sui principali exchange centralizzati e viene scambiato su exchange decentralizzati di Ethereum. Disponibilità e coppie variano a seconda della piattaforma e della giurisdizione. Ethereum è il deployment canonico, con deployment aggiuntivi su Base, Arbitrum, Optimism, Polygon, BNB Chain e Avalanche, quindi conviene verificare la rete prima di trasferire.

Principali exchange centralizzati (CEX)

CTSI è spesso disponibile su:

• Binance
• Coinbase
• Kraken
• KuCoin
• OKX

Le coppie comuni includono CTSI/USDT e CTSI/USD dove supportate.

Opzioni di conservazione dopo l'acquisto

Dopo l'acquisto, CTSI può essere conservato su un exchange, il che è custodial, in qualsiasi wallet Ethereum che supporti i token ERC-20, oppure in un wallet hardware abbinato a software wallet compatibile. Lo staking richiede di collegare un wallet al portale ufficiale, concedere un'autorizzazione di contratto e interagire con i contratti dei pool, quindi conviene verificare il portale e leggere la documentazione attuale prima di impegnare fondi.

Monete correlate

Puoi confrontare CTSI con ecosistemi di scalabilità e infrastruttura correlati su Coinrithm:

• Arbitrum (ARB)
• Optimism (OP)
• Starknet (STRK)
• Celestia (TIA)
• Immutable (IMX)