Qu'est-ce que Cartesi ?

Cartesi est un framework open source pour les rollups spécifiques aux applications, doté d'une machine virtuelle RISC-V exécutant Linux comme couche d'exécution. Chaque application dispose d'une puissance de calcul dédiée sur son propre rollup. Un protocole de preuve de fraude interactive permet au système d'hériter de la sécurité d'Ethereum sans dépendre d'un opérateur de confiance.

Erick de Moura, Augusto Teixeira, Diego Nehab et Colin Steil ont fondé Cartesi en 2018. Son whitepaper d'origine décrivait le modèle hybride toujours utilisé aujourd'hui : les calculs lourds s'exécutent offchain dans une machine reproductible, et Ethereum n'intervient que lorsque deux parties sont en désaccord sur le résultat. Le CTSI a été lancé sur Binance Launchpad en avril 2020.

En tant qu'optimistic rollup, Cartesi accepte les déclarations à moins que quelqu'un ne prouve qu'elles sont fausses au cours d'une fenêtre de contestation. Notre comparaison entre zk rollups et optimistic rollups explique comment ce compromis permet de vérifier des programmes de n'importe quelle taille, avec un délai de retrait de sept jours.

L2BEAT classe l'application PRT Honeypot v2 comme un rollup de Stage 2, son niveau de maturité le plus élevé. Aucun multisig, conseil de sécurité ou clé administrateur ne peut passer outre la décision du système de preuve de fraude. Cette classification s'applique à ce déploiement et à sa pile sous-jacente, tandis que L2BEAT continue de formaliser la manière dont les chaînes spécifiques aux applications s'intègrent dans son framework.

Comment fonctionne Cartesi ?

La logique applicative s'exécute offchain dans une machine Linux déterministe. Ethereum enregistre chaque entrée, permettant à n'importe quel nœud de recalculer l'état et de contester une déclaration erronée. Une application Cartesi peut ainsi exécuter des logiciels exigeants tandis qu'Ethereum détermine l'issue des litiges.

Le système utilise les composants suivants :

• Cartesi Machine : Un émulateur RISC-V qui amorce un noyau Linux complet et un espace utilisateur. Des entrées identiques produisent toujours le même état. Son architecture expose chaque registre et plage de mémoire, permettant de réduire un litige à une seule instruction.
• Environnement d'exécution Linux : Les développeurs peuvent utiliser Python avec NumPy, les bibliothèques standard C++, des bases de données SQLite ou des crates Rust sans avoir à les réécrire pour l'EVM. Cartesi indique que la machine a traité plus de 3,6 milliards d'instructions dans l'intervalle moyen entre les blocs Ethereum. Le budget par bloc de la couche de base, en comparaison, se mesure en dizaines de millions d'unités de gas, comme le montre notre suivi du gas Ethereum.
• Rollups spécifiques aux applications : Chaque application possède son propre rollup, de sorte qu'aucun trafic non pertinent ne concurrence son espace de bloc. Les options de déploiement incluent un L2 sur Ethereum, un L3 sur Arbitrum ou Optimism, ou une chaîne souveraine.
• Input Box : Un contrat Ethereum qui enregistre toutes les entrées et tous les dépôts dans l'ordre. N'importe qui peut y écrire, permettant aux utilisateurs de forcer le passage d'une transaction même si chaque nœud offchain les ignore.
• Rollups Node : Un logiciel offchain qui lit l'Input Box, fait avancer la machine et publie des déclarations. Le Node v2, actuellement en phase de test, prend en charge plusieurs applications à partir d'un seul nœud et survit aux redémarrages.
• Sorties (vouchers et notices) : La machine émet des messages vérifiables, notamment des instructions de retrait et des attestations d'état. Les contrats Ethereum les exécutent après la clôture de la période de règlement.
• Sequencer : Un composant alpha qui fournit des confirmations provisoires rapides pour les applications de trading pendant que le système de preuve de fraude achève le règlement.
• Preuves de fraude PRT : Un protocole de litige grâce auquel un nœud honnête peut vaincre un nombre quelconque de nœuds malhonnêtes, tel que décrit dans la section sur la sécurité.

Pourquoi Cartesi a recentré son activité sur la DeFi

Jusqu'à cette année, Cartesi se présentait comme une couche d'exécution polyvalente pour le gaming, l'inférence d'AI, les données de capteurs et d'autres charges de travail qui ne tenaient pas dans un smart contract. Elle développe désormais des solutions pour les développeurs DeFi et a mis de côté les projets extérieurs à ce domaine.

Le Technical Evolution Plan de la Fondation, mis à jour pour la dernière fois le 3 août, fixe trois priorités. La résolution des litiges et les parcours de récupération doivent résister aux attaques. Les modèles de risque et l'analyse statistique doivent être suffisamment abordables pour s'exécuter à chaque bloc. Les développeurs doivent également être capables de déployer Onchain en un jour avec des outils qu'ils connaissent déjà.

La liste « mise de côté » couvre l'exécution sur Bitcoin, le coprocesseur EigenLayer et Lambada, ainsi que les intégrations avec des data-availability layers alternatives telles que Celestia et Avail. Les intégrations de séquenceurs tiers, la résolution ENS et les rollups basés sur le navigateur sont également en suspens. Leur code reste open source.

Une publication d'avril a illustré le cas DeFi à travers l'incident Curve Finance, lorsque les prêts garantis par CRV du fondateur ont failli déclencher des liquidations sur Aave et Frax. Cartesi a soutenu que la vérification de l'historique des prix d'un token avant d'approuver une position de prêt importante aurait pu limiter les dégâts. Une analyse nécessitant des milliards d'opérations EVM individuelles devient un appel NumPy au sein d'une Cartesi Machine.

Les membres du conseil d'administration de la Fondation, Felipe Argento et Brandon Isaacson, ont démissionné en juin pour créer des applications sur la pile à temps plein. Le cofondateur Erick de Moura considère DeFi comme le premier terrain d'essai de la technologie, avec des utilisations plus larges attendues une fois que la pile aura été testée sur les marchés financiers.

Comment utiliser Cartesi

Les détenteurs de CTSI peuvent stake, voter pour la gouvernance et participer au programme de bug bounty. Les développeurs utilisent une interface en ligne de commande et des contrats, les outils de codage AI jouant un rôle croissant.

Cartesi pour les utilisateurs

Les détenteurs de CTSI peuvent participer en suivant ces étapes :

1. Acheter du CTSI sur un exchange : Le CTSI se négocie en tant que paire spot sur Binance, Coinbase et Kraken. Plusieurs exchanges de produits dérivés proposent également des perpetuals en USDT. Retirez les fonds vers un self-custody wallet compatible ERC-20, tel que ceux présentés dans notre guide des best crypto wallets.
2. Faire du staking via l'explorateur : Connectez votre wallet au Cartesi Explorer, sélectionnez un pool et déléguez. Le pool fait fonctionner le nœud et conserve une part des récompenses.
3. Voter pour la gouvernance : Le CTSI staké confère aux détenteurs des droits de vote sur l'attribution des subventions et les propositions techniques dans le Governance Hub.
4. Étudier le Honeypot, mais ne pas déposer de fonds : Le PRT Honeypot est un bug bounty en direct. Quiconque parvient à briser le système de preuve de fraude peut réclamer son CTSI verrouillé. Les dépôts sont considérés comme des dons.
5. Explorer le Rollup Lab : Les applications répertoriées dans le Rollup Lab vont des prototypes DeFi à la console de jeux RIVES.

Cartesi pour les développeurs

Le développement se concentre désormais sur la pile v2 et les outils d'AI :

1. Installer la CLI et échafauder un projet : Cartesi CLI 2.0 alpha crée des modèles en Python, JavaScript, TypeScript, Rust et d'autres langages. Il détecte également les problèmes de configuration avant le démarrage.
2. Écrire du code ordinaire : L'application lit les entrées de la boîte d'entrée (Input Box) et émet des bons et des notifications. La logique entre ces étapes relève du logiciel Linux ordinaire.
3. Construire et exécuter localement : Un devnet local lance les contrats, le nœud et l'explorateur. Il inclut un token de test de type USDC pour vérifier les dépôts et les retraits de bout en bout.
4. Déployer sur Sepolia, puis sur mainnet : De nouvelles versions alpha des Rollups Contracts et des contrats de litige PRT sont déployées et vérifiées sur Sepolia. La documentation couvre les options de nœuds hébergés et auto-hébergés.
5. Orienter votre assistant AI vers la pile : Les contributeurs de Mugen Builders ont publié un serveur MCP et un dépôt cartesi-skills contenant dix compétences ainsi qu'une compétence de flux de travail. Celles-ci couvrent l'échafaudage, le débogage, le front-end, les contrats et le déploiement pour aider des outils tels que Cursor ou Claude à générer du code Cartesi correct. La documentation fournit un fichier llms.txt dans le même but.
6. Essayer le playground du navigateur : Une version alpha des liaisons Machine exécute une Cartesi Machine, incluant un terminal, dans un onglet de navigateur sans installation locale.

Qu'est-ce que le token CTSI ?

Le CTSI est un token ERC-20 utilisé pour les récompenses de staking et la gouvernance, avec un rôle prévu dans un futur Validator Marketplace. Il ne finance pas les transactions sur les rollups Cartesi. Les applications paient Ethereum pour les données et le règlement en ETH, que les validateurs PRT utilisent également pour leurs cautions.

tokenomics de CTSI

Le CTSI a une offre maximale de 1 milliard. Environ 947 millions de tokens, soit près de 95 pour cent, sont en circulation selon CoinMarketCap. Les allocations des investisseurs, de l'équipe et de la Fondation ont toutes terminé leur déblocage à la mi-2023. La nouvelle offre provient désormais uniquement de la réserve minière (Mine Reserve) qui finance les récompenses de staking.

Utilisations actuelles et prévues :

• Récompenses de staking : La réserve minière libère du CTSI aux stakers proportionnellement à leur part du total du stake.
• Gouvernance : Les soldes stakés confèrent des voix sur le financement des subventions et les consultations techniques par l'intermédiaire du Governance Hub.
• Validator Marketplace : Une proposition de novembre 2024 permettrait aux détenteurs de déléguer du CTSI à des validateurs sécurisant des applications individuelles et de partager leurs frais. La fondation indique toujours que la mise en œuvre complète est en attente.

Au moment où nous écrivons ces lignes, le CTSI s'échange autour de 0,025 $, avec une capitalisation boursière proche de 24 millions de dollars. Le prix est inférieur d'environ 98 % à son record historique de 1,74 $ atteint en mai 2021 et modestement supérieur à son plus bas historique d'environ 0,02 $. Les annonces concernant l'étape 2 ont provoqué une hausse en avril au-dessus de 0,049 $, mais le token a ensuite rétrocédé l'essentiel de ce gain.

Trésorerie de la fondation

La plus grande partie de la trésorerie de la fondation est détenue hors du CTSI. Son rapport de transparence pour 2025, publié en janvier, montre que les monnaies fiat sur des comptes bancaires représentaient 65,16 % des actifs de fin d'année. Les stablecoins, l'ETH et d'autres cryptos représentaient 16,29 %, tandis que le CTSI constituait 18,55 % à un cours de fin d'année de 0,0314 $.

Aux engagements actuels, cette trésorerie offre une autonomie prévisionnelle de quatre ans et quatre mois, ou de trois ans et six mois hors CTSI. La fondation avait déployé 59,83 % de son CTSI dans le staking ou des positions générant des intérêts. Les wallets et les comptes d'exchange détenaient les 40,17 % restants.

Sur les dépenses principales en 2025, les subventions de l'unité R&D ont reçu 36 %, les subventions de l'unité écosystème 12 % et les subventions de l'entreprise principale 11 %. Les initiatives de la fondation, les opérations, le marketing et la croissance ont représenté les 41 % restants.

Mécanismes de staking de CTSI

Le staking de CTSI sécurise Reserve Mining, un processus de proof-of-stake. Les nœuds sont sélectionnés pour produire des blocs proportionnellement à leur stake et reçoivent du CTSI libéré de la réserve de minage.

Avant de déléguer, tenez compte de ces mécanismes :

• Source des récompenses : La fondation transfère des tokens d'un wallet DelayedWithdraw, qui impose un délai de sept jours, vers un wallet Reserve Mine. Ce wallet alimente mensuellement le contrat RewardManager, après quoi la distribution est automatique.
• Délégation en pool : La plupart des détenteurs utilisent des pools sur l'explorateur, car la configuration d'un nœud entraîne des coûts fixes quelle que soit la taille du stake.
• Attentes de yield : Cartesi annonce des rendements allant jusqu'à 20 %. Les taux réels varient en fonction de la participation totale et des frais de pool, et les observateurs tiers ont rapporté des chiffres inférieurs. Notre calculateur de crypto staking aide à modéliser la différence.
• Pas de slashing en cas de temps d'arrêt : Un nœud hors ligne perd l'opportunité de produire des blocs, mais son stake n'est pas réduit.
• Indépendant de la validation PRT : Participer à un tournoi de litige pour défendre un rollup Cartesi nécessite un dépôt en ETH, actuellement d'environ 0,232 ETH par participation. Le staking de CTSI ne joue aucun rôle dans ce processus.

Ce qui est construit sur Cartesi

Cinq applications illustrent les usages actuels de la stack, quatre dans la finance et une dans le gaming.

1. PRT Honeypot v2

Honeypot est le bug bounty permanent de Cartesi sur le mainnet Ethereum. La version actuelle a été lancée le 8 novembre 2025 et a reçu son listing de l'étape 2 sur L2BEAT le mois suivant. Selon l'outil de suivi, elle sécurise moins de 1 500 $ de CTSI.

Le montant du bounty reste modeste tant que la stack est en alpha. Son prédécesseur utilisait un règlement avec permissions, a dépassé 1 million de CTSI en juillet 2024 et n'a jamais été vidé. Dans la v2, seule une multisig Cartesi 3 sur 6 peut effectuer un retrait, et elle ne peut envoyer des fonds qu'à elle-même.

2. Nucleus

Nucleus est un protocole de prêt primé lors d'un hackathon, doté d'une interface conventionnelle et d'une analyse des risques statistiques basée sur Python en arrière-plan. NumPy et d'autres bibliothèques open source s'exécutent au sein de la machine Cartesi, définissant des limites de collateral à partir de l'historique complet des prix d'un actif plutôt que d'une simple lecture de flux de prix.

3. DCA Monster

DCA Monster propose des swaps en flux continus et des swaps conditionnels sur un exchange décentralisé dont la logique d'automated market maker principale est écrite en Python. Il se concentre sur des types d'ordres que les plateformes centralisées prennent régulièrement en charge, mais que la plupart des exchanges décentralisés ne peuvent toujours pas offrir.

4. Combinatorial Information Market

Une démo de juin traite les variables de prévision comme un système probabiliste connecté. Les prediction markets conventionnels évaluent chaque question séparément. À l'aide d'algorithmes d'inférence exacte, plus précisément un arbre de jonction avec propagation des croyances, la démo montre comment les anticipations d'inflation, les élections et les résultats politiques s'influencent mutuellement. L'ensemble des calculs est déterministe et vérifiable onchain.

5. RIVES

RIVES est une console fantastique onchain propulsée par RIV, un émulateur déterministe qui s'exécute dans les navigateurs et au sein des validateurs de rollup. Les joueurs téléchargent une cartouche et jouent dans le navigateur, puis soumettent un enregistrement de leurs saisies. Le rollup rejoue cet enregistrement pour vérifier le score.

Fonctionnant sur le mainnet Base, RIVES héberge des adaptations de DOOM et d'autres titres rétro. Il demeure l'application grand public la plus visible de Cartesi.

Sécurité de Cartesi : PRT, Étape 2 et gel du Honeypot

Les Permissionless Refereed Tournaments (PRT) de Cartesi permettent à un seul validateur honnête de battre n'importe quel nombre de participants malhonnêtes. Présentés dans un article de 2022 et officialisés sous le nom de Dave dans une recherche évaluée par des pairs en mai 2025, les PRT réduisent les litiges à une seule instruction RISC-V vérifiée par Ethereum. Le mainnet utilise trois niveaux de tournoi, une période de contestation d'au moins sept jours et des cautions d'environ 0,232 ETH par participant.

Le PRT Honeypot v2 détient la classification Étape 2 de L2BEAT, reflétant la suppression des contrôles administratifs décrits dans les jalons des rollup de Vitalik Buterin. Ses contrats sont immuables, la preuve est sans permission et personne ne peut contourner les résultats. La sécurité nécessite toujours un validateur honnête, tandis que les attaques par retardement peuvent ralentir le règlement.

Ces contraintes sont apparues clairement en septembre 2025 lorsque Cartesi a soumis une fausse réclamation de test au premier PRT Honeypot. Un bug de contrat a empêché le validateur honnête de revendiquer la victoire, gelant définitivement environ 1 000 $ de CTSI appartenant à Cartesi. Le post-mortem a confirmé qu'aucun état erroné n'avait été réglé, mais qu'aucune clé d'administration ne permettait de récupérer les fonds. Une version v2 corrigée a été lancée deux mois plus tard.

Les mesures de protection ultérieures comprennent les retraits d'urgence dans le Rollups Node v2.0.0-alpha.12 de juin et la mise en attente des réclamations en juillet, ce qui ajoute une fenêtre avant que les résultats du tournoi ne deviennent définitifs. La feuille de route donne la priorité à la diversité des validateurs, au système de preuve de fraude v3, aux audits externes et aux tests par agent AI avant que les applications ne détiennent de l'argent réel. Cartesi explore également la vérification zk pour éliminer les attaques par retardement tout en préservant l'exécution sous Linux et la prise en charge de calculs de toute taille.

Statistiques et tendances de Cartesi

Chiffres clés à compter de septembre :

• Marché : Le CTSI se négocie près de 0,025 $, avec une capitalisation boursière d'environ 24 millions de dollars et environ 947 millions de tokens en circulation sur un total plafonné à 1 milliard. Cela représente environ 98,5 pour cent de moins que le sommet de mai 2021 établi à 1,74 $.
• Valeur sécurisée : Moins de 1 500 $ de CTSI dans le rollup PRT Honeypot v2, maintenu à un niveau bas pendant la phase alpha.
• Paramètres des preuves de fraude : Trois niveaux de tournoi, une période de contestation d'environ sept jours et une caution d'environ 0,232 ETH par participant.
• Calendrier de l'Étape 2 : Lancement sur le mainnet en juin 2025, gel en septembre 2025, redéploiement de la v2 le 8 novembre 2025, inscription à l'Étape 2 en décembre 2025.
• Autonomie financière de la fondation : Quatre ans et quatre mois en incluant le CTSI, ou trois ans et six mois sans celui-ci, sur une trésorerie composée à 65,16 pour cent de monnaie fiat.
• Marge de calcul : Plus de 3,6 milliards d'instructions RISC-V par intervalle de bloc Ethereum moyen, selon les propres benchmarks de Cartesi.
• Cadence des versions : 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 et CLI 2.0.0-alpha.35 ont tous été publiés entre avril et août, suivis sur le GitHub de Cartesi.

Les tendances derrière ces chiffres :

• La concentration plutôt que la diversité : L'abandon du coprocesseur EigenLayer, de l'exécution Bitcoin et des travaux sur la disponibilité des données alternatives constitue le changement stratégique le plus important de l'histoire du projet.
• La sécurité avant les dépôts : Les retraits d'urgence, la mise en attente des réclamations, la diversité des validateurs et les audits passent avant toute course à la valeur totale verrouillée, et aucune application DeFi ne détient encore de fonds significatifs.
• L'Étape 2 devient encombrée : Aztec a rejoint ce niveau en juin après avoir révoqué la propriété de son contrat de rollup, de sorte que le label devient une norme de base.
• L'utilité du token est en retard sur la technologie : Le Validator Marketplace qui lierait le CTSI aux revenus des applications est à l'état de proposition depuis novembre 2024, de sorte que le prix reflète davantage le sentiment du marché que l'utilisation réelle.

Avantages et inconvénients de Cartesi

Fondateurs de Cartesi

Erick de Moura, le PDG de Cartesi, a fondé le projet en 2018 avec Augusto Teixeira, Diego Nehab et Colin Steil. Teixeira effectue des recherches en théorie des probabilités et Nehab en infographie à l'IMPA, l'institut national brésilien de mathématiques pures et appliquées.

Felipe Argento et Brandon Isaacson ont quitté le conseil d'administration de la Fondation en juin pour créer des applications. Leur départ suggère que ceux qui connaissent le mieux la pile considèrent le lancement de produits comme son prochain test.

Dernières réflexions

Cartesi a accompli le travail d'infrastructure le plus difficile. Son système de preuve de fraude peut résister aux attaques Sybil, détient le statut de Stage 2 sur L2BEAT et a été mis à l'épreuve par un gel réel du mainnet. La plupart des rollup ne peuvent pas en dire autant.

La tâche restante est d'attirer des capitaux vers cette infrastructure. Le virage DeFi de Cartesi dépend de la capacité des moteurs de risque en Python, des courbes de liaison exactes et des ordres conditionnels natifs à apporter de la liquidité à une chaîne spécifique à une application dotée d'un délai de sortie de sept jours. Nous estimons la thèse solide et l'exécution honnête. Le cas d'une réévaluation du CTSI dépend des applications qui seront lancées au cours de l'année à venir et des montants que les utilisateurs leur confieront.