Starknet – validity rollup для Ethereum, построенный вокруг STARK-доказательств и языка Cairo. Он исполняет множество транзакций вне L1, публикует данные о состоянии и отправляет в Ethereum криптографическое доказательство правильности вычислений.
Сеть не является EVM-копией. Смарт-контракты пишутся для Cairo VM, аккаунты программируемы, а доказуемое исполнение заложено в архитектуру. Это даёт Starknet собственный технический путь, но требует отдельных инструментов, аудита и обучения разработчиков.
Как работает Starknet
Секвенсор принимает операции, определяет порядок и исполняет их. Затем Starknet OS формирует результат перехода состояния. Prover создаёт STARK-доказательство, а контракт в Ethereum проверяет его. После принятия доказательства состояние получает защиту L1.
Пользователь обычно видит подтверждение раньше. Это мягкое подтверждение секвенсора, а не тот же уровень окончательности, что у доказанного пакета в Ethereum. Разобраться в этапах помогает материал о подтверждении L2 и финальности Ethereum.
STARK-доказательства не требуют доверенной церемонии настройки и хорошо масштабируются для больших вычислений. StarkWare использует рекурсивную агрегацию: несколько задач объединяются, а Ethereum получает компактный итог. Экономия появляется, когда стоимость проверки распределяется на большой пакет.
Cairo и программируемые аккаунты
Cairo разработан для программ, выполнение которых удобно доказывать. Контракт Starknet отличается от Solidity-контракта не только синтаксисом. У него иная VM, модель типов, инструменты компиляции и набор привычных библиотек. Перенос EVM-приложения требует адаптации и повторного аудита.
В Starknet каждый пользовательский аккаунт является контрактом. Он может поддерживать несколько подписей, лимиты, сессионные ключи, социальное восстановление или оплату комиссии спонсором. Эта гибкость не отменяет риска кода аккаунта: ошибка или опасное обновление способны затронуть управление средствами.
Комиссионная модель тоже менялась. С версии 0.14.0, введённой в сентябре 2025 года, пользовательские комиссии в Starknet оплачиваются STRK. Секвенсор конвертирует необходимую часть для покрытия расходов публикации и расчёта в Ethereum. Старые инструкции, где предлагается выбрать ETH для gas, больше нельзя применять без проверки версии сети.
Данные, мост и вывод
Starknet публикует в Ethereum данные, необходимые для проверки и восстановления состояния rollup. Это отличает его от validium-систем StarkEx, где доступность данных может обеспечиваться отдельным комитетом. Наличие общей технологии StarkWare не делает эти продукты одной сетью.
Канонический мост отправляет сообщение между Starknet и Ethereum. Операция проходит разные контракты и получает отдельные идентификаторы на каждой стороне. Сторонний мост может предложить более быстрый маршрут, но добавляет собственный контрактный и ликвидностный риск. Перед крупным переводом разумно применить чеклист безопасного использования моста.
История
Истоки проекта находятся в исследованиях доказательств STARK. Эли Бен-Сассон и соавторы развивали эту область задолго до запуска сети. В 2018 году была создана StarkWare, которая сначала выпустила масштабируемый движок StarkEx для отдельных приложений.
Публичный тестнет Starknet появился в июне 2021 года, а Starknet Alpha вышла в mainnet 29 ноября 2021 года. Ранняя сеть имела ограничения производительности и централизованную эксплуатацию, но позволила разработчикам развивать Cairo и приложения общего назначения.
В 2022 году была учреждена независимая Starknet Foundation. В 2024 году началось широкое распределение STRK и были запущены элементы управления. Стейкинг внедряется этапами: сначала делегирование и экономические роли, затем расширение обязанностей валидаторов.
Обновления 2025 года изменили комиссионную модель и proving-инфраструктуру. Сеть перешла к оплате gas в STRK, а новый prover S-two начал обслуживать значительную часть доказательств. Несмотря на это, актуальная документация прямо описывает секвенсинг как централизованный и постепенный переход к децентрализации как незавершённый процесс.
Команда
Эли Бен-Сассон является сооснователем и генеральным директором StarkWare. Ури Колодны – сооснователь и член совета, Алессандро Кьеза – сооснователь и научный советник. Их ранняя работа связала академические исследования доказательств с промышленной proving-системой.
В текущем руководстве StarkWare отдельно выделяются генеральный менеджер Starknet Том Бранд, технический директор Лиор Голдберг и главный архитектор Гидеон Кемпфер. StarkWare продолжает основную разработку, а Starknet Foundation отвечает за развитие экосистемы, гранты и децентрализацию.
Разделение организаций полезно, но проект всё ещё зависит от инженерной экспертизы StarkWare и единственного оператора секвенсора. При анализе команды нужно смотреть на распределение клиентов, prover и протокольных полномочий, а не только на формальную независимость Foundation.
Стейкинг и децентрализация
Стейкинг STRK позволяет делегировать актив валидатору и участвовать в поэтапном переходе сети. На ранних стадиях обязанности участников ограничены по сравнению с полноценным распределённым секвенсингом. Сам факт начисления наград не доказывает, что держатели уже производят и финализируют блоки.
Делегатор принимает риск выбранного валидатора, правил блокировки и будущих штрафов. Перед участием нужно проверить актуальную фазу протокола, срок выхода, комиссию оператора и перечень наказуемых действий. Общая логика раскрыта в статье о slashing в стейкинге.
Токен STRK
Начальное предложение составляет 10 миллиардов STRK. Токен используется для комиссий, стейкинга и управления. Дальнейшая эмиссия возможна по правилам протокола, поэтому начальное предложение нельзя считать вечным жёстким максимумом.
Starknet Foundation первоначально получила крупную часть распределения для экосистемы и программ сообщества. Другие доли предназначались ранним участникам, инвесторам и разработчикам. Разблокировки и выпуск наград влияют на обращение, а востребованность gas зависит от реального использования сети.
Риски
- Единственный секвенсор. Быстрое включение операций зависит от StarkWare, а децентрализация остаётся поэтапной.
- Специализированный стек. Cairo и собственная VM уменьшают переносимость EVM-кода и требуют отдельного аудита.
- Задержка доказательства. Мягкое подтверждение может появиться раньше, чем пакет станет финальным в Ethereum.
- Мосты и обновления. Контракты сообщений, административные права и аварийные процедуры остаются важными точками риска.
- Токеномика. STRK сочетает gas, стейкинг и управление, но выпуск наград и разблокировки могут увеличивать предложение.
Как оценивать Starknet
Пользователю следует проверить поддержку STRK для комиссии, правильный контракт токена и официальный маршрут моста. Разработчику – версию Cairo, аудированные библиотеки, поведение аккаунт-контракта и процедуру обновления. Стейкеру – текущие обязанности валидатора, выход и риск штрафа.
Итог: Starknet предлагает самобытную архитектуру доказуемых вычислений, а не ещё одну EVM-копию. Сильная сторона проекта – глубокая интеграция Cairo и STARK. Главная проверка на зрелость – переход от единственного оператора к реально распределённому секвенсингу и proving без потери надёжности.
