Cartesi (CTSI) no Ethereum: Linux Rollups e Cartesi Price 2026

Existe uma distribuição Linux funcional rodando dentro de um contrato inteligente na rede principal do Ethereum. Quase ninguém fora de um pequeno círculo de desenvolvedores está falando sobre isso. O projeto que a colocou lá se chama Cartesi. O token é o CTSI. Em maio de 2026, o projeto todo era negociado com uma capitalização de mercado de US$ 26,87 milhões — aproximadamente o valor de um prédio de apartamentos de tamanho médio no Brooklyn. Essa diferença entre o que a Cartesi entregou e o que o mercado acha que ela vale é a história mais interessante no cenário de rollups otimistas no momento. Este artigo explica o que a Cartesi realmente é, como a Cartesi Machine e os Cartesi Rollups funcionam, quem está construindo dApps reais nela e qual é o preço atual do CTSI. Também questiona se a tese do projeto de que "estávamos muito à frente" ainda se mantém em 2026.

O que Cartesi realmente é, em um parágrafo.

Cartesi é um framework de camada 2 específico para aplicações que permite aos desenvolvedores executar um sistema operacional Linux completo como ambiente de execução para contratos inteligentes Ethereum. A peça central é a Cartesi Machine, uma máquina virtual RISC-V determinística que inicializa uma distribuição Linux real. Os Cartesi Rollups integram esse framework modular ao Ethereum como rollups otimistas, com resolução de disputas on-chain solucionando qualquer desacordo e o Ethereum atuando como camada base para a resolução. O resultado prático é que um dApp Cartesi pode ser escrito em Python, Rust, C++ ou qualquer linguagem que compile para Linux, e ainda herdar a segurança do Ethereum. É o único projeto Linux-on-blockchain a lançar essa pilha de escalabilidade na rede principal, permitindo que os desenvolvedores criem aplicativos descentralizados em linguagens de programação consolidadas, em vez de reconstruir tudo em Solidity.

Como funciona o Cartesi: a Máquina e os rollups do Ethereum

A Máquina Cartesi é o coração de tudo. É um emulador de software do conjunto de instruções RISC-V. RISC-V é uma especificação de CPU determinística que qualquer pessoa pode construir do zero. Dentro desse emulador, roda um sistema operacional Linux simplificado, construído com Buildroot. As ferramentas de espaço do usuário são as que você esperaria: um shell, glibc, interpretadores Python, bibliotecas padrão e o universo de binários compilados do GitHub. Cada instrução executada pela máquina é reproduzível bit a bit. Se dois nós honestos começarem do mesmo estado inicial e receberem as mesmas entradas, eles terminarão exatamente no mesmo estado final, sempre.

Esse determinismo é o segredo que torna possível um Linux verificável em uma blockchain. O framework Cartesi Rollups pega a máquina e a encapsula em uma arquitetura de rollup otimista padrão. Um aplicativo descentralizado (dApp) envia entradas para um contrato Ethereum. O nó Cartesi fora da blockchain executa essas entradas em sua máquina Linux. O estado resultante é registrado em um ponto de verificação e enviado de volta para a blockchain. Na maioria das vezes, nada mais acontece. A execução é barata porque ocorre fora da blockchain, e o Ethereum serve apenas como camada de liquidação e disponibilidade de dados.

A dificuldade reside no que acontece quando alguém mente. Os rollups otimistas pressupõem que qualquer estado contestado possa ser contestado. O árbitro on-chain precisa verificar o trabalho contestado sem executar novamente toda a sessão do Linux. O Cartesi resolve isso com um protocolo de bisseção interativo. Duas partes examinam o rastreamento de execução contestado até isolarem uma única instrução RISC-V; essa instrução é então reproduzida on-chain dentro de uma implementação Solidity da máquina. O contrato se chama Solidity Step e a versão 0.14.0 foi lançada em abril de 2026. O árbitro on-chain declara um vencedor. A parte perdedora perde um bônus.

A versão 2025-2026 desta história é importante porque Cartesi finalmente tornou o sistema de disputas sem permissão. O protocolo Permissionless Arbitreed Tournaments, ou PRT, é combinado com o algoritmo Dave. Ele permite que qualquer pessoa participe de um torneio com múltiplas partes para contestar um estado ruim. O custo on-chain permanece limitado, independentemente do número de participantes. Antes do PRT, os rollups otimistas em todo o mundo dependiam de um pequeno conjunto de desafiantes com permissão. Depois do PRT, a suposição que você precisa fazer é apenas a de que existe uma única parte honesta em algum lugar na internet aberta. Esse é um modelo de confiança significativamente mais fraco.

O emulador de máquinas Cartesi também incorporou primitivas de verificação de conhecimento zero na versão 0.19.0, lançada no ano passado. Agora é possível gerar provas criptográficas de que um cálculo foi executado corretamente, sem precisar executá-lo novamente. Isso facilita a verificação de entradas de submáquinas. Também abre caminho para configurações híbridas otimistas-ZK, que várias equipes estão prototipando. Todo o conjunto de softwares é de código aberto no GitHub, sob a organização Cartesi, e houve aproximadamente 246 eventos de desenvolvimento em toda a organização em um único período de trinta dias em abril de 2014, de acordo com o rastreador de desenvolvedores do CoinMarketCap.

De onde veio a Cartesi: fundadores e uma mudança estratégica para a IA no Rio de Janeiro

A Cartesi foi fundada em 2018 no Rio de Janeiro por Erick de Moura, Augusto Teixeira, Diego Nehab e Colin Steil. Teixeira e Nehab eram professores do IMPA, o Instituto Nacional de Matemática Pura e Aplicada; a proposta inicial era um mercado descentralizado para treinamento de modelos de IA, com uma camada de computação verificável subjacente. O conceito do mercado não sobreviveu ao contato com o mercado, mas a camada de computação verificável sim. Serguei Popov, um dos fundadores da IOTA, juntou-se à empresa como um dos primeiros consultores.

O token foi lançado na Binance Launchpad em 21 de abril de 2020, com 100 milhões de CTSI vendidos a US$ 0,015 cada. A IEO arrecadou US$ 1,5 milhão de 22.169 vencedores de um sorteio. Naquela época, as guerras de taxas de gás do Ethereum já eram um sério problema de escalabilidade, o Bitcoin acabara de passar por seu terceiro halving e o mercado em geral ainda não havia entendido o que era um L2, muito menos para que servia um torneio à prova de fraudes. A Cartesi, por sua própria admissão, estava construindo algo para o qual a indústria ainda não tinha um vocabulário. Erick de Moura ainda dirige a fundação como CEO, com os outros três cofundadores nos cargos de CSO, Cientista-Chefe e COO, respectivamente. A liderança permaneceu notavelmente estável para um projeto de criptomoedas com oito anos de existência.

Com base na Cartesi: dApps reais em 2026

A pergunta mais comum sobre qualquer camada 2 de infraestrutura é se alguém está realmente construindo algo sobre ela. Com o Cartesi, a resposta honesta é: sim, mais do que você imagina, e menos do que a tecnologia merece. O registro oficial do ecossistema em rolluplab.io lista aplicações em funcionamento em jogos, arte on-chain, empréstimos e aprendizado de máquina com minimização de confiança, além de um projeto piloto real e crescente no setor público no Brasil.

O carro-chefe é o próprio PRT Honeypot v2, um rollup otimista de Estágio 2 cuja única função é manter uma recompensa em CTSI e desafiar qualquer um a quebrar o sistema à prova de fraudes. A recompensa atual é simbólica (US$ 1.000 em CTSI, projetada para crescer até 2026), mas o Authority Honeypot anterior chegou a ter 1.772.889 CTSI no pico e sobreviveu a um ano de tentativas sem ser hackeado. O RIVES é o aplicativo mais visível para o consumidor, um ambiente de console de fantasia onde jogos retrô rodam dentro da Cartesi Machine e as pontuações mais altas são verificáveis na blockchain. O World Tycoon, ainda um protótipo, se baseia na ideia de que uma simulação do nível de SimCity é computacionalmente pesada demais para a EVM, mas perfeitamente viável dentro de uma VM Linux.

A vertente do setor público brasileiro é subestimada. A BikeFácil tokeniza créditos de carbono para o compartilhamento de bicicletas elétricas; o projeto piloto de transporte municipal de Niterói utiliza um rollup da Cartesi para liquidar pagamentos de ônibus; o projeto ILIADA é um esforço de pesquisa plurianual com o Ministério da Ciência, Tecnologia e Inovações do Brasil. Nenhum desses projetos vai gerar um bilhão em TVL (Valor Total da Moeda), e os rollups da Cartesi não são rastreados de forma significativa no DefiLlama, o que já diz muito. Mas são softwares reais sendo usados por pessoas que não são nativas do mundo das criptomoedas. Isso é mais raro do que parece.

Preço do Cartesi hoje, tokenomics do CTSI e staking.

O preço do Cartesi hoje é o fator que prejudica todo o resto. O CTSI tem um limite máximo de 1 bilhão de tokens, dos quais aproximadamente 913,7 milhões (91,4%) estão em circulação. Os detentores de CTSI e de outros tokens usam a criptomoeda para votações de governança. Eles também fazem staking de seus tokens na sidechain Noether. Lá, cada validador ganha recompensas por ajudar a proteger a rede Cartesi e seus recursos de segurança. O staking de CTSI rendeu um APY médio de cerca de 12,92%, com plataformas como a MyCointainer oferecendo até 22,8% para quem delega o staking; a oferta de Cartesi destinada ao staking varia entre os pools, mas representa uma parcela significativa do float circulante.

A máxima histórica foi atingida em maio de 2021, a US$ 1,74, aproximadamente 59 vezes o preço da oferta inicial de ações (IEO). A mínima histórica foi registrada seis semanas antes da publicação deste artigo, em 29 de março de 2026, a US$ 0,02134. A CTSI passou a maior parte dos últimos três anos oscilando lateralmente em direção a esse patamar, e o preço atual está apenas 38% acima dele. A Fundação Cartesi, por sua vez, adquiriu US$ 500.000 em ações da CTSI no mercado aberto em 2025, um sinal significativo de confiança interna, mesmo que o gráfico ainda não o reflita.

PRT, L2BEAT Stage 2 e um espaço de design ilimitado

O único marco de 2025 que justifica prestar atenção à Cartesi em 2026 é a classificação L2BEAT Estágio 2. L2BEAT é a classificação padrão de maturidade de rollups. Estágio 2 significa que um rollup de nível 2 possui provas de fraude descentralizadas, sem backdoors de atualização e governança limitada sobre os fundos dos usuários. Em 2025, apenas três projetos, entre todos os rollups, haviam alcançado o Estágio 2. O Honeypot v2 da Cartesi, da PRT, é o único rollup otimista do conjunto. Todos os outros candidatos ao Estágio 2 são baseados em ZK.

O PRT Honeypot v2 entrou em operação na rede principal do Ethereum em junho de 2025. Um bug de disponibilidade foi descoberto e corrigido em outubro daquele ano. O algoritmo Dave 2.1.1 — o refinamento mais recente do torneio multipartidário — chegou à rede de testes em 13 de março de 2026, e a equipe está planejando um lançamento na rede principal no segundo trimestre de 2029. Cada nova versão reduz o valor da garantia que um desafiante precisa depositar no pior cenário e diminui o tempo limite para a resolução de fraudes no pior cenário. Por trás do jargão técnico, o espaço de design ilimitado é real: os rollups otimistas agora podem escalar sua premissa de segurança de "um desafiante confiável" para "qualquer pessoa, em qualquer lugar, disposta a depositar uma garantia e responder a tempo".

Isso é importante estrategicamente. A narrativa otimista do rollup vem perdendo espaço para as provas ZK e outros designs de rollup escaláveis há dois anos, em parte porque o problema da resolução de disputas para cargas de trabalho DeFi em geral ainda parecia inacabado. O PRT descentraliza o torneio à prova de fraudes e traz o lado otimista de volta à discussão, com custo on-chain limitado, segurança robusta e resistência à censura para o caminho de resolução de disputas. Se outros rollups decidirem descentralizar sua própria resolução de disputas em torno do PRT ou contorná-lo por meio do ZK é a questão que definirá os próximos cinco anos da Cartesi, e isso toca o debate mais amplo sobre descentralização e os limites práticos da escalabilidade da camada 2.

Cartesi versus a onda zkVM na criptografia 2026

A Cartesi começou a distribuir a execução RISC-V para blockchains em 2018, vários anos antes de as zkVMs serem tecnicamente viáveis. A aposta era que a verificação interativa com resolução de disputas on-chain seria sempre mais barata do que gerar um SNARK em uma sessão Linux. Então, surgiu o RISC Zero.

A RISC Zero arrecadou mais de US$ 40 milhões em sua Série A, vinte e seis vezes o valor arrecadado na IEO da Cartesi. A Succinct fechou rodadas privadas igualmente expressivas. A Boundless foi lançada como um mercado de provas descentralizado que, a longo prazo, pode absorver as provas da Cartesi, assim como as de todos os outros. Uma análise competitiva honesta é que a Cartesi resolveu primeiro o problema mais difícil — executar um Linux de propósito geral em uma blockchain — mas o setor recompensou o projeto que resolveu o problema marginalmente mais fácil com vinte e cinco vezes mais capital. Não estou convencido de que essa diferença se feche apenas com boa engenharia.

Análise da realidade: o que o ecossistema Cartesi realmente diz

A avaliação honesta da Cartesi, em termos de custo-benefício, apresenta três pontos positivos e três pontos fracos. Entre os pontos positivos: a Fase 2 do L2BEAT é uma conquista real. O portfólio de dApps é mais amplo do que o da maioria dos concorrentes em termos de capitalização de mercado. A fundação tem recursos para 3,5 anos, excluindo o próprio CTSI, mais do que suficiente para o lançamento da mainnet Dave e para as bolsas da Onda 2. Como ponto fraco: o preço do CTSI está a apenas 38% da mínima histórica atingida há seis semanas. A Onda 1 do programa de bolsas distribuiu apenas US$ 191.000 para 6 beneficiários, de um limite de US$ 500.000. A alocação de recursos para 2025 destinou 41% para operações e marketing da fundação, contra 12% para bolsas do ecossistema. Três sinais merecem atenção nos próximos doze meses: o lançamento da mainnet Dave 2.1.1; o ritmo das bolsas da Onda 2; e se algum dApp da atual coorte conseguirá se popularizar. Se duas dessas três condições se concretizarem, a diferença entre os fundamentos e o preço se fecha. Se nenhuma delas se concretizar, o Cartesi continua sendo uma bela obra de engenharia que chegou um ciclo antes do necessário.

Marco Lucchetti

Marco Lucchetti is a senior content strategist and blockchain analyst at Plisio. With over 7 years of experience in cryptocurrency research, DeFi protocols, and payment technologies, Marco specializes in creating clear, data-driven content for a global crypto audience. His work focuses on transaction tracing, crypto compliance, and the future of blockchain infrastructure.