Cartesi: объяснение концепции: Appchains, токен CTSI, безопасность и многое другое

Cartesi: объяснение концепции: Appchains, токен CTSI, безопасность и многое другое

Резюме: Cartesi — это специфический для приложений протокол роллапа и Ethereum Layer 2, который использует виртуальную машину Linux для решения проблем масштабируемости сложных, логически интенсивных децентрализованных приложений.

Проект использует свой собственный токен CTSI для стейкинга и децентрализованного управления, чтобы обеспечить работу высокопроизводительных приложений, таких как искусственный интеллект и полностью ончейн-игры.

Разработка на Ethereum часто напоминает попытку написать сложное программное обеспечение в калькуляторе из-за ограничивающего характера EVM. Cartesi меняет эту ситуацию, предоставляя специальную среду Linux, в которой вы наконец-то можете использовать те же инструменты программирования, что и традиционные разработчики.

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

Читайте дальше, чтобы узнать, как Cartesi преобразует децентрализованные вычисления. 👇

Что такое Cartesi?

Cartesi — это специфическая для приложений инфраструктура роллапа второго уровня, которая позволяет разработчикам создавать децентрализованные приложения с использованием программных стеков Linux. С помощью Cartesi Machine вычисления выполняются вне цепочки на виртуальной машине RISC-V, а блокчейн-контракты проверяют результаты с уровнем безопасности Ethereum.

Проект Cartesi был основан в 2018 году, когда в его техническом документе была представлена гибридная модель выполнения операций в цепочке и вне цепочки. С самого начала основное внимание уделялось обеспечению возможности выполнения сложных вычислений без перезаписи приложений в Solidity, с использованием привычных языков программирования и инструментов Linux.

Для оптимизации масштабируемости протокол разработан с учетом совместимости с модульными уровнями доступности данных, такими как Celestia и Avail, чтобы снизить стоимость публикации данных роллупа. Такая потенциальная интеграция позволяет приложениям с высокой вычислительной мощностью обрабатывать огромные массивы данных, сохраняя при этом доступные комиссии за транзакции.

Технический прорыв произошел в конце 2025 года, когда Cartesi достиг статуса безопасности Stage 2 на L2BEAT, который имеют только три проекта. Этот переход к полностью безразрешительной системе гарантирует, что механизм защиты от мошенничества работает без централизованного вмешательства.

Что такое Cartesi

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

Архитектура Cartesi отделяет выполнение от консенсуса, запуская детерминированную среду Linux вне цепочки, при этом наследуя безопасность Ethereum благодаря модульной структуре роллупа и доказательствам мошенничества.

Следующие технические компоненты определяют эту уникальную децентрализованную вычислительную инфраструктуру:

  • Cartesi Machine: эта виртуальная машина RISC-V выполняет стеки Linux, позволяя разработчикам выполнять сложные вычисления в проверяемой и детерминированной среде.
  • Среда выполнения Linux: разработчики пишут логику приложений с использованием стандартных инструментов, библиотек и языков Linux, избегая ограничений, связанных с разработкой исключительно на основе смарт-контрактов.
  • Детерминированное выполнение: каждая операция внутри виртуальной машины дает идентичные результаты, что гарантирует полную проверяемость внецепочечной обработки базовой блокчейном.
  • Специфичные для приложений роллапы: каждое приложение работает в своей собственной выделенной цепочке (роллапе), обеспечивая высокую производительность без конкуренции за место в блоке с другими проектами.
  • Cartesi Node: этот внецепочечный компонент управляет состоянием приложения, обрабатывает ввод пользователя и генерирует вывод, необходимый для безопасного окончательного расчета в Ethereum.
  • Защита от мошенничества: этот механизм «вызов-ответ» позволяет честным валидаторам оспаривать некорректные переходы состояний, гарантируя, что злоумышленники не смогут нарушить целостность сети.
  • Архитектура RISC-V: этот открытый стандартный набор инструкций позволяет протоколу поддерживать широкий спектр стандартных языков программирования и программных библиотек.
  • Поле ввода: этот контракт Ethereum служит основным шлюзом для пользователей, чтобы отправлять данные и инструкции в приложение вне цепочки.
  • Ваучеры и уведомления: эти криптографические выходы позволяют внецепочечной среде взаимодействовать с основной цепочкой, облегчая вывод активов и проверяемые обновления.
Архитектура Cartesi

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

Cartesi предоставляет универсальную среду для взаимодействия с децентрализованными вычислениями, предлагая специализированные пути как для конечных пользователей, так и для разработчиков программного обеспечения.

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

Пользователи могут взаимодействовать с экосистемой Cartesi, участвуя в обеспечении безопасности сети, управлении и изучении различных децентрализованных приложений, построенных на этой модульной платформе.

Участвуйте в проекте с помощью следующих конкретных методов:

  1. Используйте App-Rollups: посетите Rollup Lab от Cartesi, чтобы поработать с высокопроизводительными приложениями и найти вдохновение для создания сложных игровых, DeFi или AI-проектов.
  2. Приобретите токены CTSI: купите Cartesi (CTSI) на крупных биржах, таких как Binance или Uniswap, и переведите их в личный кошелек Web3, например MetaMask.
  3. Стейкинг через Explorer: посетите Cartesi Explorer, подключите свой кошелек, выберите пул для стейкинга и делегируйте свои токены, чтобы получать вознаграждения за участие в сети.
  4. Голосование по вопросам управления: перейдите в центр управления, просмотрите активные предложения и используйте свой заблокированный баланс, чтобы проголосовать за то, получат ли проекты экосистемы финансирование.
Cartesi Rollup Lab

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

Инженеры-программисты могут использовать полный стек Linux для создания вычислительно-интенсивных приложений с использованием привычных языков, таких как Python, C++ или JavaScript.

Начните создавать с помощью этих важных ресурсов и инструментов:

  1. Инициализация проекта: Запустите команду «cartesi create [app-name] --template python» в CLI, чтобы сгенерировать стандартный шаблон для вашего децентрализованного приложения.
  2. Логика кода: напишите бизнес-логику вашего приложения на предпочитаемом вами языке, используя стандартные библиотеки, рассматривая Cartesi Machine как среду на базе Linux.
  3. Сборка в Docker: выполните команду «cartesi build», чтобы упаковать ваш код в детерминированный образ RISC-V, который обеспечивает идентичное выполнение на всех сетевых узлах.
  4. Разверните локально: протестируйте свое dApp, запустив «cartesi run», который запускает локальную среду узла для имитации цикла выполнения в цепочке.
  5. Развертывание в тестовой сети: следуйте официальной инструкции по развертыванию, чтобы настроить свою среду, и используйте Cartesi CLI для переноса логики вашего приложения в публичные тестовые сети, такие как Sepolia.
Команды Cartesi для разработчиков

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

CTSI — это основной утилитарный актив Cartesi. Он обеспечивает работу процессов управления, играет центральную роль в экономике экосистемы и будет согласовывать стимулы для поддержки роста dApp через Validator Marketplace.

Токеномика CTSI

Общий объем предложения Cartesi (CTSI) ограничен 1 миллиардом токенов, из которых примерно 89% уже находятся в обращении. CTSI был запущен в 2020 году на Binance Launchpad, и все разблокировки уже завершены, что означает, что единственный оставшийся выпуск происходит из вознаграждений за стейкинг.

В рамках распределения основного финансирования казна Фонда Картези на 2025 год была распределена следующим образом:

  • Экосистема и НИОКР: Наибольшая доля средств казначейства в настоящее время направляется на основные НИОКР (36%) и развитие экосистемы (12%), что обеспечивает постоянное техническое развитие и поддержку разработчиков.
  • Резерв майнинга: 25% предложения остается в резерве майнинга, который автономно распределяет вознаграждения между стейкерами и операторами узлов через RewardManager.
  • Деятельность фонда: Примерно 41% расходов фонда направляется на глобальные инициативы, маркетинг и операционный рост с целью расширения присутствия протокола на рынке.
  • Стратегическая ликвидность: Фонд поддерживает высокодиверсифицированную казну, только 18,55 % которой хранится в CTSI, что обеспечивает более 4 лет запаса прочности для преодоления волатильности рынка.
Распределение основного финансирования CTSI

Распределение поставок

Сеть использует механизм вознаграждения, при котором выпуск новых CTSI управляется через специальный резерв для майнинга, чтобы стимулировать операторов узлов. Согласно отчету о прозрачности за 2025 год, Фонд поддерживает солидную казну с прогнозируемым сроком действия 4 года и 4 месяца, обеспечивая стабильное финансирование основных научно-исследовательских и опытно-конструкторских работ и рост экосистемы.

Предложение CTSI остается стратегически распределенным: 59,83% токенов Фонда используются для генерации вознаграждений за стейкинг, а 40,17% хранятся в кошельках для операционных нужд. Вознаграждения за стейкинг распределяются автономно через RewardManager, который финансируется из резерва Mine Reserve для обеспечения безопасности протокола до полного исчерпания резерва.

Для поддержания экономической жизнеспособности Фонд диверсифицировал свои финансовые ресурсы: CTSI составляет лишь 18,55 % от общего объема активов, а 65,16 % хранится в фиатной валюте. Такое распределение позволяет протоколу перейти к механизму генерации дохода и накопления стоимости за счет разнообразных будущих продуктов, таких как предлагаемый рынок валидаторов.

Казначейские активы CTSI

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

Стейкинг — это основной метод обеспечения безопасности сети Cartesi, позволяющий держателям токенов участвовать в процессе консенсуса и получать вознаграждение, одновременно защищая протокол от злоумышленников.

Участвуйте в сети, используя следующие механизмы:

  • Делегирование узлов: Пользователи могут делегировать свои CTSI профессиональным операторам узлов через портал стейкинга, что позволяет им зарабатывать вознаграждения без необходимости управления сложным оборудованием.
  • Вероятность выбора: вероятность того, что узел будет выбран для создания блока, прямо пропорциональна количеству CTSI, заложенного в данном пуле.
  • Распределение вознаграждений: Стейкеры получают часть вновь выпущенных токенов, которые распределяются автоматически в зависимости от их индивидуального вклада в пул.
  • Защита от сокращений: архитектура включает меры безопасности, гарантирующие, что честные участники не будут наказаны, что позволяет сохранить справедливую систему вознаграждений.
Ставка Cartesi CTSI

Лучшие проекты на Cartesi

Экосистема Cartesi включает в себя dApps, которые демонстрируют работу Linux различными способами. К ним относятся задача по общественной безопасности, ончейн-консоль для фэнтези, модульный протокол DeFi для потоковых токенов и децентрализованный сервис для проверяемого вывода больших языковых моделей.

Вот три проекта, которые стоит попробовать, с быстрыми шагами для начала.

1. Медовый горшок

Honeypot — это приложение Cartesi «hack me» на основной сети Ethereum, запущенное в сентябре 2023 года для тестирования Cartesi Rollups с использованием реальных средств. Текущая версия Honeypot V2 — первое приложение, оснащенное системой защиты от мошенничества PRT, которое поддерживает баланс примерно в 50 000 CTSI.

Используйте это как практическое задание по безопасности:

  • Определите цели: откройте список Honeypot в Rollup Lab и перейдите по ссылке проекта на панель мониторинга в режиме реального времени, чтобы проанализировать текущее состояние контракта.
  • Логика проверки: изучите раздел «Honeypot deep dive», чтобы понять, что такое проверка вывода и как машинные обязательства определяют безопасность задачи.
  • Проверка уязвимостей: попробуйте произвести вывод средств вне предусмотренного пути или воспользоваться любой другой уязвимостью, которая позволит вам извлечь средства CTSI, заблокированные в смарт-контракте.
  • Наблюдайте за спорами: отслеживайте активность сети в режиме реального времени, чтобы увидеть, как соперники могут оспаривать исполнение, побуждая защитников предоставлять доказательства мошенничества.

Cartesi рассматривает Honeypot как живую испытательную площадку для своей полностью безразрешительной архитектуры. Достигнув статуса безопасности Stage 2 в конце 2025 года, это dApp служит основным доказательством концепции децентрализованного механизма защиты от мошенничества протокола в основной сети Ethereum.

Cartesi Honeypot

2. Ривз

RIVES — это ончейн-консоль для фэнтези-игр на базе Cartesi, построенная вокруг детерминированного эмулятора (RIV), который работает как в браузере, так и внутри валидаторов. Она доступна в основной сети Base и позволяет играть в ретро-игры, такие как Snake, Tetris и DOOM.

Взаимодействуйте с консолью, следуя этим инструкциям:

  1. Посетите Rives.io: перейдите на официальный игровой портал, чтобы просмотреть библиотеку картриджей, созданных сообществом, и посмотреть таблицы лидеров с высокими результатами для активных игр.
  2. Подключите кошелек: подключите свой кошелек Web3 к платформе, чтобы записывать свои игровые сессии и фиксировать свои рейтинги в неизменяемом блокчейн-реестре.
  3. Играть или создавать: выберите игру, в которую хотите играть прямо в браузере, или используйте Rives SDK для разработки и загрузки своего собственного уникального игрового картриджа.

За кулисами RIVES использует Cartesi Rollups, чтобы игровой процесс можно было проверить, а не просто доверять. В 2025 году команда обсуждала переход на Node V2 и намекнула на выпуск мобильной версии, сохраняя фокус на проверяемом игровом процессе и инструментах для создателей.

Картези Ривес

3. Локальная сеть

Locale Network — это инфраструктура атестации IoT с открытым исходным кодом, которая обеспечивает надежную проверку данных датчиков в блокчейне. Используя среду выполнения Linux и машину RISC-V от Cartesi, она создает детерминированную среду, в которой показания устройств проверяются с помощью криптографических подписей.

Проверьте реальные данные, выполнив следующие действия:

  • Register Device Identity: Assign a decentralized identifier to your hardware using the L{CORE} SDK to ensure the device owns its cryptographic identity.
  • Показания датчика знаков: используйте встроенные SDK на языке C или Python для генерации JSON-подписей для каждой точки данных, захваченной устройством.
  • Выполнить аттестацию TEE: обработать подписи в доверенной исполняемой среде, чтобы проверить подлинность устройства перед отправкой данных в сводный файл.
  • Финализация на Arbitrum: Урегулируйте проверенные подтверждения в цепочках Arbitrum Orbit, где система Cartesi, защищенная от мошенничества, обрабатывает любые споры, чтобы гарантировать правильность данных датчиков.

Запуская SQLite внутри Cartesi Machine для сложных запросов, Locale Network устраняет необходимость в дорогостоящих сборах за каждую проверку. Эта архитектура позволяет разработчикам соединять физические активы с экосистемами блокчейна, сохраняя при этом полностью автономный и децентрализованный аппаратный стек.

Локальная сеть

4. ThinkChain

ThinkChain — это децентрализованный сервис, который обеспечивает проверку выводов больших языковых моделей в смарт-контрактах. Используя операторы EigenLayer и Cartesi Machine, он позволяет протоколам выполнять задачи на основе искусственного интеллекта без ущерба для децентрализации. Он поддерживает многие популярные модели, включая DeepSeek-R1 и Qwen2.5, через простой интерфейс Solidity.

Интегрируйте ИИ в свои смарт-контракты, выполнив следующие шаги:

  • Выберите модель: выберите из интегрированных LLM, таких как SmolLM2 или DeepScaleR, в зависимости от сложности вашего приложения и требований к производительности.
  • Запрос на вывод: отправьте запрос на завершение через контракт Solidity Completer, указав свой запрос и желаемый обратный вызов для результатов.
  • Проверка внецепочечного выполнения: отслеживайте, как операторы EigenLayer запускают выбранную модель в детерминированной машине Cartesi для генерации подписанного, проверяемого результата.
  • Получение результатов Onchain: после того, как решатель отправляет агрегированную подпись, ваш назначенный контракт обратного вызова автоматически получает и декодирует ответ ИИ.

ThinkChain решает проблему искусственного интеллекта в блокчейне, перенося огромную вычислительную нагрузку LLM на сопроцессоры EigenLayer и используя Cartesi для поддержания целостности каждого вывода. Эта структура позволяет разработчикам создавать сложные ИИ-агенты, которые могут анализировать данные и выполнять логические операции с таким же уровнем доверия, как и стандартный смарт-контракт.

ThinkChain

Безопасность Cartesi

Cartesi использует безопасную систему разрешения споров без разрешений под названием Dave (ожидается внедрение после текущей системы защиты от мошенничества, PRT), которая позволяет любому честному участнику оспаривать недействительные претензии. Это многостороннее взаимодействие гарантирует, что даже один честный узел может защитить сеть от большинства злоумышленников.

Математическая окончательность достигается посредством многораундовой игры с бисекцией, которая изолирует конкретную инструкцию, в которой произошло несогласие. Проверяя только спорный шаг на базовом уровне, система значительно сокращает объем данных, необходимых для расчетов в цепочке.

Протокол достигает уровня безопасности Stage 2, который Виталик Бутерин описывает как «снятие вспомогательных колес», когда система становится полностью безразрешительной. Этот статус гарантирует, что ни одна централизованная организация не может отменить результаты децентрализованного механизма защиты от мошенничества.

Состояние безопасности Cartesi

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

Понимание компромиссов протокола Cartesi необходимо для оценки его роли в эволюции модульных уровней выполнения и децентрализованных вычислений.

Плюсы Cartesi
Минусы Cartesi
Экосистема Linux
Создавайте dApps с помощью библиотек Linux и стандартных языков, таких как Python или C++.
Задержки с выводом средств
Оптимистичная архитектура предполагает 7-дневный испытательный срок для переноса активов в Ethereum.
Масштаб для конкретного приложения
Специализированные роллапы обеспечивают высокую производительность ЦП без конкуренции за общее пространство блоков.
Технический барьер
Разработка происходит в детерминированной среде без энтропии, что требует использования специализированных внецепочечных узлов.
Уровень безопасности 2
Статус L2BEAT Stage 2 позволяет осуществлять проверку без разрешения через отдельные честные узлы.
Расходы на хранение
Дэпп-приложения с большим объемом данных сталкиваются с высокими комиссиями при публикации массовых обновлений состояния в Ethereum.

Основатели Cartesi

Компания Cartesi была основана в 2018 году Эриком де Моура, Аугусто Тейшейра, Диего Нехабом и Колином Стейлом. Эта разнообразная команда объединила опыт ведущих академических учреждений и разработчиков программного обеспечения для создания уникальной архитектуры виртуальной машины на базе Linux.

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

Заключительные размышления

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

Используя весь стек Linux, разработчики могут выполнять интенсивные задачи, которые остаются невозможными в стандартной виртуальной машине Ethereum.

На 2026 год в дорожной карте Cartesi приоритетом является полное внедрение RISC-V и повышение удобства для разработчиков приложений DeFi с целью оптимизации высокопроизводительных децентрализованных вычислений.

Часто задаваемые вопросы

Как токен CTSI сохраняет свою ценность в экосистеме?

Какова роль Фонда Картези в развитии проекта?

Могут ли роллапы Cartesi работать на блокчейнах, отличных от Ethereum?

Как детерминированный характер машины Cartesi обеспечивает безопасность?

Написано 

Антони Бьянко

Руководитель отдела исследований

Антони Бьянко, соучредитель Datawallet, является экспертом по DeFi и активным членом сообщества Ethereum, помогающим в исследовании доказательств нулевого знания для второго уровня. Имея степень магистра в области компьютерных наук, он внес значительный вклад в криптовалютную экосистему, работая с различными DAO на цепочке.