Что такое Cartesi?

Cartesi — фреймворк с открытым кодом для роллапов под конкретные приложения, где уровнем исполнения служит виртуальная машина RISC-V с Linux. У каждого приложения есть выделенные вычислительные ресурсы на собственном роллапе. Интерактивный протокол доказательства мошенничества позволяет системе наследовать безопасность Эфириум без доверенного оператора.

Erick de Moura, Augusto Teixeira, Diego Nehab и Colin Steil основали Cartesi в 2018 году. Его первоначальный вайтпейпер описывал гибридную модель, которая используется и сегодня: тяжёлые вычисления выполняются офчейн внутри воспроизводимой машины, а Эфириум вмешивается, только когда две стороны расходятся во мнении о результате. CTSI запустился на Binance Launchpad в апреле 2020 года.

Будучи оптимистичным роллапом, Cartesi принимает заявления, если никто не докажет их ошибочность в течение окна оспаривания. В нашем сравнении ZK-роллапов и оптимистичных роллапов объясняется, как этот компромисс позволяет проверять программы любого размера при семидневной задержке выхода.

L2BEAT относит приложение PRT Honeypot v2 к роллапам Stage 2, то есть к высшему уровню зрелости. Ни multisig, ни совет безопасности, ни ключ администратора не могут отменить решение системы доказательства мошенничества. Классификация относится к этому развёртыванию и его базовому стеку, а L2BEAT продолжает формализовать, как вписываются в его систему специализированные под приложения чейны.

Как работает Cartesi?

Логика приложения выполняется офчейн внутри детерминированной Linux-машины. Эфириум записывает каждый входной сигнал, позволяя любому узлу пересчитать состояние и оспорить неверное утверждение. Поэтому приложение Cartesi может запускать ресурсоёмкое программное обеспечение, а Эфириум определяет исход споров.

Система использует следующие компоненты:

• Cartesi Machine: эмулятор RISC-V, который загружает полноценное ядро Linux и пользовательское пространство. Одинаковые входные данные всегда дают одно и то же состояние. Её архитектура открывает каждый регистр и диапазон памяти, позволяя свести спор к одной инструкции.
• Среда выполнения Linux: разработчики могут использовать Python с NumPy, стандартные библиотеки C++, базы данных SQLite или крейты Rust без переписывания под EVM. По словам Cartesi, машина обработала более 3,6 млрд инструкций за средний интервал между блоками Эфириума. Для сравнения, бюджет базового уровня на блок измеряется десятками миллионов единиц газа, как показывает наш трекер газа Эфириума.
• Роллапы для отдельных приложений: у каждого приложения свой роллап, поэтому посторонний трафик никогда не конкурирует за его пространство в блоках. Варианты развёртывания включают L2 на Эфириум, L3 на Arbitrum или Optimism либо суверенный блокчейн.
• Input Box: контракт Эфириума, который по порядку записывает все входные данные и пополнения. В него может писать любой, что позволяет пользователям принудительно провести транзакцию, даже если все офчейн-узлы их игнорируют.
• Rollups Node: офчейн-программа, которая читает Input Box, продвигает машину и публикует заявки. Node v2, которая сейчас тестируется, поддерживает несколько приложений на одном узле и переживает перезапуски.
• Выходные данные (ваучеры и уведомления): машина создаёт проверяемые сообщения, включая инструкции по выводу средств и подтверждения состояния. Контракты Эфириум исполняют их после завершения расчётного периода.
• Секвенсер: альфа-компонент, который обеспечивает быстрые предварительные подтверждения для торговых приложений, пока система доказательства мошенничества завершает расчёты.
• Доказательства мошенничества PRT: протокол разрешения споров, в рамках которого один честный узел может победить любое число недобросовестных, как описано в разделе о безопасности.

Почему Cartesi сузила фокус до DeFi

До этого года Cartesi позиционировал себя как универсальный уровень исполнения для игр, ИИ-инференса, данных датчиков и других задач, которые не помещались в смарт-контракт. Теперь он создаёт решения для разработчиков DeFi и отложил работу вне этого направления.

План технического развития Фонда, последний раз обновлённый 3 августа, определяет три приоритета. Механизмы разрешения споров и восстановления должны выдерживать атаки. Модели рисков и статистический анализ должны быть достаточно дешёвыми, чтобы выполняться в каждом блоке. Разработчики также должны иметь возможность запускать ончейн-решения за день с помощью знакомых инструментов.

В список «отложенного» входят исполнение биткоина, сопроцессор EigenLayer и Lambada, а также интеграции с альтернативными уровнями доступности данных, такими как Celestia и Avail. Интеграции сторонних секвенсоров, разрешение имён ENS и браузерные роллапы тоже приостановлены. Их код остаётся открытым.

В апрельской публикации DeFi-сценарий был показан на примере инцидента с Curve Finance, когда займы основателя, обеспеченные CRV, едва не вызвали ликвидации в Aave и Frax. Cartesi утверждала, что проверка истории цены токена перед одобрением крупной кредитной позиции могла бы ограничить ущерб. Анализ, требующий миллиардов отдельных операций EVM, превращается в вызов NumPy внутри Cartesi Machine.

Члены совета фонда Felipe Argento и Brandon Isaacson в июне ушли в отставку, чтобы полностью посвятить себя созданию приложений на этом стеке. Сооснователь Erick de Moura считает DeFi первым испытательным полигоном технологии, а более широкое применение ожидается после проверки стека на финансовых рынках.

Как пользоваться Cartesi

Держатели CTSI могут делать стейкинг, голосовать в управлении и участвовать в программе bug bounty. Разработчики используют интерфейс командной строки и контракты, а инструменты программирования на базе ИИ играют всё большую роль.

Cartesi для пользователей

Держатели CTSI могут принять участие, выполнив следующие шаги:

1. Купить CTSI на бирже: CTSI торгуется спотовой парой на Binance, Coinbase и Kraken. Несколько деривативных бирж также предлагают бессрочные контракты на USDT. Выводите средства на кошелёк для самостоятельного хранения, совместимый с ERC-20, например из нашего руководства по лучшим криптокошелькам.
2. Стейкинг через обозреватель: подключите кошелёк к Cartesi Explorer, выберите пул и делегируйте средства. Пул управляет нодой и удерживает часть вознаграждений.
3. Голосуйте в управлении: застейканные CTSI дают держателям право голоса по распределению грантов и техническим предложениям в Governance Hub.
4. Изучайте Honeypot, но не делайте пополнение: PRT Honeypot — действующая программа вознаграждения за поиск уязвимостей. Любой, кто взломает систему доказательств мошенничества, может забрать заблокированные в ней CTSI. Пополнения считаются пожертвованиями.
5. Изучите Rollup Lab: приложения в Rollup Lab варьируются от прототипов DeFi до игровой консоли RIVES.

Cartesi для разработчиков

Разработка теперь сосредоточена на стеке v2 и инструментах ИИ:

1. Установите CLI и создайте каркас проекта: Cartesi CLI 2.0 alpha создаёт шаблоны на Python, JavaScript, TypeScript, Rust и других языках. Он также выявляет проблемы конфигурации до запуска.
2. Пишите обычный код: приложение считывает входные данные Input Box и выдаёт vouchers и notices. Логика между этими шагами — обычное ПО для Linux.
3. Сборка и локальный запуск: локальный девнет запускает контракты, узел и обозреватель. В него входит тестовый токен, похожий на USDC, для сквозной проверки депозитов и вывода средств.
4. Развёртывание в Sepolia, затем в основной сети: свежие альфа-версии Rollups Contracts и контрактов PRT dispute развёрнуты и проверены в Sepolia. Документация описывает варианты размещённых и собственных узлов.
5. Подключите ИИ-ассистента к стеку: участники Mugen Builders выпустили MCP-сервер и репозиторий cartesi-skills, содержащий десять навыков и один навык рабочего процесса. Они охватывают создание каркаса, отладку, фронтенд, контракты и развёртывание и помогают инструментам вроде Cursor или Claude генерировать корректный код Cartesi. Для той же цели в документации есть файл llms.txt.
6. Попробуйте песочницу в браузере: Альфа-версия привязок Machine запускает Cartesi Machine, включая терминал, во вкладке браузера без локальной установки.

Что такое токен CTSI?

CTSI — это токен ERC-20, используемый для наград за стейкинг и управления, с планируемой ролью в будущем Validator Marketplace. Он не используется для оплаты транзакций в роллапах Cartesi. Приложения платят за данные и расчёты в Эфириум в ETH, которые валидаторы PRT также используют для своих залогов.

Токеномика CTSI

Максимальное предложение CTSI составляет 1 млрд. Около 947 млн токенов, примерно 95 процентов, находятся в обращении по данным CoinMarketCap. Распределения для инвесторов, команды и Foundation полностью разблокированы к середине 2023 года. Новое предложение теперь поступает только из Mine Reserve, который финансирует награды за стейкинг.

Текущие и планируемые варианты использования:

• Вознаграждения за стейкинг: Mine Reserve выпускает CTSI для stakers пропорционально их доле в общем объёме stake.
• Управление: Застейканные балансы дают право голоса по финансированию грантов и техническим консультациям через Governance Hub.
• Маркетплейс валидаторов: предложение от ноября 2024 года позволит держателям делегировать CTSI валидаторам, обеспечивающим безопасность отдельных приложений, и делить с ними комиссии. Foundation по-прежнему указывает полную реализацию как ожидающую.

На момент написания CTSI торгуется около 0,025 $, а рыночная капитализация составляет около 24 млн долларов. Цена примерно на 98 процентов ниже исторического максимума в 1,74 $, достигнутого в мае 2021 года, и немного выше исторического минимума около 0,02 $. Новости о стадии 2 вызвали в апреле рост выше 0,049 $, но затем токен отдал большую часть этого прироста.

Казначейство фонда

Большая часть средств фонда хранится не в CTSI. Его Отчёт о прозрачности за 2025 год, опубликованный в январе, показывает, что фиат на банковских счетах составлял 65,16 процента активов на конец года. Стейблкоины, ETH и прочие криптоактивы составляли 16,29 процента, а CTSI — 18,55 процента при цене на конец года 0,0314 $.

При текущих обязательствах этой казны хватит, по прогнозу, на четыре года и четыре месяца, или на три года и шесть месяцев без учёта CTSI. Фонд разместил 59,83 процента своих CTSI в стейкинге или позициях с процентным доходом. Остальные 40,17 процента находились на кошельках и биржевых счетах.

Из основных расходов в 2025 году гранты подразделения R&D составили 36 процента, гранты подразделения экосистемы — 12 процента, а гранты основной компании — 11 процентов. На инициативы фонда, операционную деятельность, маркетинг и рост пришлись остальные 41 процент.

Механика стейкинга CTSI

Стейкинг CTSI обеспечивает безопасность Reserve Mining — процесса на основе proof-of-stake. Узлы выбираются для создания блоков пропорционально их stake и получают CTSI из Mine Reserve.

Прежде чем делегировать, учтите следующие особенности:

• Источник вознаграждений: Foundation переводит токены из кошелька DelayedWithdraw, который вводит семидневную задержку, в кошелёк Reserve Mine. Этот кошелёк ежемесячно пополняет контракт RewardManager, после чего распределение происходит автоматически.
• Делегирование в пул: большинство держателей используют пулы из обозревателя, поскольку запуск ноды сопряжён с фиксированными расходами независимо от размера stake.
• Ожидания по доходности: Cartesi заявляет о доходности до 20 процентов. Фактические ставки зависят от общего участия и комиссий пула, а сторонние трекеры сообщали о более низких значениях. Наш калькулятор стейкинга криптовалют помогает смоделировать разницу.
• Нет слэшинга за простой: офлайн-узел теряет возможность производить блоки, но его stake не уменьшается.
• Отдельно от валидации PRT: участие в турнире по спорам для защиты роллапа Cartesi требует залога в ETH, сейчас около 0,232 ETH за каждое участие. Стейкинг CTSI в этом процессе не играет никакой роли.

Что создаётся на Cartesi

Пять приложений показывают текущие сценарии использования стека: четыре из них относятся к финансам и одно — к играм.

1. PRT Honeypot v2

Honeypot — постоянная программа вознаграждений за поиск ошибок от Cartesi в основной сети Эфириум. Текущая версия запущена 8 ноября 2025 года, а в следующем месяце получила листинг Stage 2 на L2BEAT. По данным трекера, она защищает CTSI на сумму менее 1 500 $.

Награда остаётся небольшой, пока стек находится в стадии альфа. Его предшественник использовал разрешительные расчёты, пропустил через себя 1 млн CTSI в июле 2024 года и ни разу не был опустошён. В v2 вывод средств возможен только через мультиподпись Cartesi 3-из-6, и отправить средства она может только самой себе.

2. Nucleus

Nucleus — протокол кредитования, победивший на хакатоне: у него привычный интерфейс, а под ним работает статистический анализ рисков на Python. NumPy и другие библиотеки с открытым исходным кодом работают внутри Cartesi Machine и задают лимиты по залогу на основе полной истории цен актива, а не одного показания ценового фида.

3. DCA Monster

DCA Monster предлагает потоковые и условные свопы на децентрализованной бирже, основная логика автоматического маркет-мейкера которой написана на Python. Её специализация — типы ордеров, которые централизованные площадки обычно поддерживают, а большинство децентрализованных бирж пока не могут предложить.

4. Комбинаторный информационный рынок

Июньская демонстрация рассматривает прогнозируемые переменные как связанную вероятностную систему. Обычные рынки прогнозов оценивают каждый вопрос отдельно. С помощью алгоритмов точного вывода, в частности дерева сочленений с распространением доверия, демонстрация показывает, как инфляционные ожидания, выборы и итоги политики влияют друг на друга. Все вычисления детерминированы и проверяемы ончейн.

5. RIVES

RIVES — ончейн-консоль для фэнтези-игр на базе RIV, детерминированного эмулятора, который работает в браузерах и внутри валидаторов роллапа. Игроки скачивают картридж и играют в браузере, затем отправляют запись своих действий. Роллап воспроизводит эту запись, чтобы проверить результат.

Работая в основной сети Base, RIVES содержит порты DOOM и другие ретро-игры. Это остаётся самым заметным потребительским приложением Cartesi.

Безопасность Cartesi: PRT, стадия 2 и Honeypot Freeze

Permissionless Refereed Tournaments (PRT) от Cartesi позволяют одному честному валидатору победить любое число недобросовестных участников. Механизм был представлен в статье 2022 года, а в мае 2025 года формализован как Dave в рецензируемом исследовании. PRT сводит спор к одной инструкции RISC-V, которую проверяет Эфириум. В основной сети используются три уровня турнира, минимальный период оспаривания в семь дней и залоги около 0,232 ETH на участника.

PRT Honeypot v2 имеет классификацию L2BEAT Stage 2, что отражает снятие административных средств контроля, описанных в вехах роллапов Vitalik Buterin. Его контракты неизменяемы, доказательство не требует разрешений, и никто не может отменить результаты. Безопасность по-прежнему требует честного валидатора, а атаки с задержкой могут замедлять расчёты.

Эти ограничения проявились в сентябре 2025 года, когда Cartesi отправила мошенническую тестовую заявку в первый PRT Honeypot. Ошибка в контракте не позволила честному валидатору заявить о победе, навсегда заморозив примерно 1 000 $ в CTSI, принадлежавших Cartesi. Разбор инцидента подтвердил, что некорректное состояние не было принято, но ключа администратора для возврата средств не существовало. Исправленная v2 была запущена два месяца спустя.

Дальнейшие меры защиты включают экстренный вывод средств в июньской версии Rollups Node v2.0.0-alpha.12 и поэтапное подтверждение заявок в июле, которое добавляет временное окно до окончательного утверждения результатов турнира. В дорожной карте приоритет отдан разнообразию валидаторов, Fraud-Proof System v3, внешним аудитам и тестированию ИИ-агентов до того, как приложения начнут работать с реальными деньгами. Cartesi также изучает проверку ZK, чтобы устранить атаки с задержкой, сохранив выполнение на Linux и поддержку вычислений любого объёма.

Статистика и тенденции Cartesi

Ключевые показатели на сентябрь:

• Рынок: CTSI торгуется около 0,025 $, рыночная капитализация составляет примерно 24 млн долларов, при этом в обращении находится около 947 млн из максимального предложения в 1 млрд. Это примерно на 98,5 процента ниже максимума мая 2021 года в 1,74 $.
• Защищённая стоимость: менее 1 500 $ в CTSI в роллапе PRT Honeypot v2, сумма намеренно невелика на альфа-этапе.
• Параметры доказательства мошенничества: три уровня турнира, период оспаривания около семи дней и залог около 0,232 ETH на участника.
• Сроки этапа 2: запуск основной сети в июне 2025 года, заморозка в сентябре 2025 года, v2 повторно развёрнута 8 ноября 2025 года, листинг этапа 2 в декабре 2025 года.
• Запас прочности фонда: четыре года и четыре месяца с учётом CTSI или три года и шесть месяцев без него при том, что казначейство на 65,16 процента состоит из фиата.
• Вычислительный запас: более 3,6 млрд инструкций RISC-V на средний интервал блока Эфириума по собственным тестам Cartesi.
• Частота релизов: 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 и CLI 2.0.0-alpha.35 вышли в период с апреля по август; их отслеживают в GitHub Cartesi.

Тенденции, стоящие за этими цифрами:

• Фокус вместо широты: Отказ от сопроцессора EigenLayer, исполнения биткоина и работы над альтернативной доступностью данных — крупнейшее стратегическое изменение в истории проекта.
• Безопасность прежде пополнений: экстренный вывод средств, поэтапное получение выплат, разнообразие валидаторов и аудиты стоят на первом месте, прежде чем гнаться за общей заблокированной стоимостью, и пока ни одно DeFi-приложение не удерживает значимых средств.
• В Stage 2 становится тесно: Aztec присоединился к этому уровню в июне после отзыва прав владения контрактом своего роллапа, так что этот знак становится базовым стандартом.
• Полезность токена отстаёт от технологии: маркетплейс валидаторов, который привязал бы CTSI к доходам приложений, остаётся предложением с ноября 2024 года, поэтому цена отражает настроения больше, чем использование.

Плюсы и минусы Cartesi

Основатели Cartesi

Erick de Moura, генеральный директор Cartesi, основал проект в 2018 году вместе с Augusto Teixeira, Diego Nehab и Colin Steil. Teixeira занимается теорией вероятностей, а Nehab — компьютерной графикой в IMPA, Национальном институте чистой и прикладной математики Бразилии.

Felipe Argento и Brandon Isaacson покинули совет Foundation в июне, чтобы создавать приложения. Их шаг говорит о том, что те, кто ближе всего к стеку, считают выпуск продуктов его следующим испытанием.

Выводы

Cartesi завершила сложную инфраструктурную работу. Её система доказательства мошенничества выдерживает атаки Сивиллы, имеет статус Stage 2 на L2BEAT и прошла стресс-тест реальной остановки основной сети. Большинство роллапов не могут этим похвастаться.

Остаётся задача привлечь деньги в эту инфраструктуру. Переход Cartesi в DeFi зависит от того, смогут ли риск-движки на Python, точные кривые связывания и встроенные условные ордера привлечь ликвидность в специализированную сеть с семидневным выходом. Мы считаем тезис обоснованным, а реализацию честной. Аргументы в пользу переоценки CTSI зависят от того, какие приложения будут запущены в ближайший год и сколько денег пользователи им доверят.