Что такое Cartesi (CTSI)?

Краткое содержание

Cartesi (CTSI) — это инфраструктурный проект в области блокчейна, который позволяет разработчикам создавать масштабируемые децентрализованные приложения (dApps), используя привычные инструменты программирования, благодаря интеграции полноценной операционной системы Linux прямо в блокчейн.

1. Связь между традиционным ПО и блокчейном — разработчики могут писать dApps на любом языке программирования и использовать обширные библиотеки из мира классического софта, при этом обеспечивая безопасность через сеть Ethereum.
2. Специализированный стек для Rollup-приложений — основная технология Cartesi — это оптимистичный rollup-фреймворк, который можно запускать как уровень 2, уровень 3 или как независимые rollup-цепочки, обеспечивая масштабируемые вычисления.
3. Linux как смарт-контракт — в основе лежит Cartesi Machine — детерминированная виртуальная машина, работающая под управлением Linux, что позволяет выполнять сложные и проверяемые вычисления, невозможные на Ethereum Virtual Machine (EVM) в одиночку.

Подробный обзор

1. Цель и ценностное предложение

Cartesi решает одну из главных проблем разработки на блокчейне — ограниченные возможности исполнения в EVM. Создавая мост к традиционному программному обеспечению, проект открывает доступ миллионам разработчиков, владеющих языками Python, Rust и Go, которые ранее не могли полноценно работать в Web3. Cartesi позволяет создавать сложные и ресурсоёмкие dApps, такие как продвинутые DeFi-приложения, решения с искусственным интеллектом и игры на блокчейне, предоставляя привычную и мощную среду разработки без ущерба для безопасности Ethereum.

2. Технология и архитектура

Архитектура Cartesi строится вокруг Cartesi Rollups — специализированной среды исполнения приложений. Разработчики создают логику приложений для работы внутри Cartesi Machine — виртуальной машины на базе архитектуры RISC-V, эмулирующей Linux. Вычисления происходят вне блокчейна (off-chain), но их результаты записываются в Ethereum. Система использует модель оптимистичного rollup, где вычисления считаются корректными, но могут быть оспорены с помощью системы доказательств мошенничества, называемой Permissionless Refereed Tournaments (PRT). Это обеспечивает проверяемость и безопасность исполнения.

3. Ключевые отличия

Главное отличие Cartesi — это поддержка полноценной среды Linux прямо в блокчейне, в отличие от других решений, которые лишь модифицируют или расширяют возможности EVM. Это значительно расширяет возможности разработки, позволяя использовать стандартные программные библиотеки, такие как NumPy или Pandas. Кроме того, Cartesi стремится к децентрализации второго этапа — когда любой пользователь может без разрешений проверять и оспаривать состояние rollup, что повышает безопасность и устойчивость к цензуре по сравнению с системами, зависящими от ограниченного круга валидаторов.

Заключение

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