Starknet — L2-валидити-роллап на STARK: архитектура и account abstraction

Starknet — сеть уровня 2 (Layer-2) поверх Ethereum (ETH), построенная как validity / zk-rollup на доказательствах STARK. Транзакции исполняются на L2, а в L1 публикуются коммиты состояния и криптографические доказательства корректности, благодаря чему Starknet наследует безопасность Ethereum и при этом существенно снижает комиссии.

Страница crypto:starknet отвечает на вопросы «что это за сеть и токен STRK»; здесь фокус — на архитектуре Starknet: слоях протокола, пути транзакции, роли секвенсера, Data Availability и EIP-4844.

Starknet как validity-роллап над Ethereum

По своей модели Starknet — ZK-роллап (validity-доказательства):

исполнение и хранение состояния происходят на L2;
для каждого батча транзакций строится STARK-доказательство корректности перехода состояния;
доказательство и корень состояния публикуются в контракты на Ethereum;
после проверки доказательства в L1 новое состояние L2 считается экономически финальным.

Отличие от optimistic-роллапов:

нет challenge-периода — финальность зависит от времени генерации и проверки доказательства;
нельзя «нарисовать» произвольное состояние без валидного STARK-доказательства;
усложняется инфраструктура prover-узлов и управление Data Availability (DA).

Слои архитектуры Starknet

Архитектуру Starknet удобно разложить на несколько уровней (аналогично общему обзору роллапов на Ethereum):

1. Execution layer (исполнение)

Собственная виртуальная машина и язык Cairo, оптимизированные под STARK-доказательства.
Состояние хранится в виде дерева (Merkle / патриция), корень которого коммитится в L1.
dApp работают через смарт-контракты на Cairo; для разработчиков есть тулчейн и обёртки поверх привычного EVM-стека.

2. Sequencer (упорядочивание транзакций)

Секвенсер принимает транзакции от пользователей, упорядочивает их, исполняет на L2 и формирует L2-блоки.
Выдаёт быстрое «мягкое» подтверждение (L2-finality), ещё до публикации в Ethereum.
На этом уровне сосредоточены риски цензуры, остановки и MEV-поведения (см. модель рисков L2).

3. Prover (генерация STARK-доказательств)

Специализированные узлы (prover-ы) строят zk-доказательство того, что переход состояния Sₙ → Sₙ₊₁ соответствует правилам протокола.
Доказательство компактно по размеру и дорого по вычислениям, поэтому организуется отдельная инфраструктура генерации.

4. Data Availability (DA-слой)

Часть данных транзакций / state diff публикуется в Ethereum в формате, достаточном для восстановления состояния.
Стоимость и надёжность DA критически влияют на комиссии и безопасность (подробнее — в Data Availability).

5. Settlement и мост L1↔L2

Контракты на Ethereum:
принимают батчи и доказательства,
хранят корни состояния L2,
реализуют депозиты и выводы через канонический мост.
Мост Starknet вписывается в общую схему кросс-чейн мостов и несёт типичные риски мостов.

Путь транзакции в Starknet

1. Формирование и подписание

Пользователь формирует транзакцию в смарт-аккаунте Starknet.
Подпись и логика авторизации задаются самим аккаунтом (account abstraction, см. Account Abstraction).

2. Отправка секвенсеру

Транзакция попадает в мемпул секвенсера.
Секвенсер проверяет лимиты, исполняет транзакции и собирает их в L2-блок.

3. Батчинг и доказательство

Несколько L2-блоков объединяются в батч.
Prover формирует STARK-доказательство корректности перехода состояния для всего батча.

4. Публикация в Ethereum

В контракт роллапа на L1 отправляются:
корень нового состояния,
STARK-доказательство,
упакованные данные для DA.
После успешной проверки доказательства состояние L2 фиксируется на уровне Ethereum.

5. Депозиты и выводы

Депозиты: перевод средств из Ethereum в Starknet через мост и появление «отзеркаленного» актива на L2.
Выводы: фиксация операции на L2, ожидание публикации соответствующего батча и доказательства в L1, затем получение средств в Ethereum.

Data Availability и EIP-4844

Главный источник затрат для роллапов — публикация данных в L1. Starknet использует возможности EIP-4844:

данные L2-батчей упаковываются в «блобы», у которых отдельный рынок blob-газов;
это снижает конкуренцию с обычными транзакциями за L1-gas;
итоговая комиссия для пользователя становится ниже и предсказуемее.

Практически:

чем лучше Starknet сжимает данные и упаковывает их в блобы, тем выгоднее стоимость одной L2-транзакции;
при всплесках спроса в Ethereum подрастает и стоимость blob-газов — комиссии Starknet тоже могут временно увеличиваться.

Account abstraction по умолчанию

В Starknet нет классических EOA-адресов: каждый пользовательский аккаунт — смарт-контракт. Это нативная account abstraction, а не надстройка:

можно использовать произвольные схемы подписи (мультисиг, пороговая криптография, «логин через устройство» и др.);
поддерживаются paymaster-сценарии — оплата газа третьей стороной или в альтернативном токене;
возможно «социальное восстановление» (social recovery) и гибкие политики доступа;
применяются сессионные ключи и лимиты для конкретных действий.

Для безопасности:

для крупных сумм разумно использовать аппаратные ключи (аппаратный кошелёк) и продуманное самостоятельное хранение;
горячие кошельки и «удобные» AA-схемы лучше держать с ограниченными лимитами (кошелёк и seed-фраза).

Роль секвенсера и децентрализация

Секвенсер Starknet — операционно критичный компонент:

отвечает за включение транзакций в блоки и скорость L2-подтверждений;
может временно задерживать или приоритизировать транзакции отдельных адресов;
при отказе секвенсера UX резко ухудшается, хотя средства должны оставаться защищёнными за счёт состояния на L1.

Путь развития — от единого оператора к множеству независимых секвенсеров и, потенциально, к shared-sequencer-архитектурам. Это:

снижает риск полной остановки сети из-за одной точки отказа;
усложняет дизайн fee-market и консенсуса между секвенсерами;
напрямую связано с темой рисков и стимулов L2.

Практика для разработчиков dApp на Starknet

1. Проектируйте под смарт-аккаунты

используйте AA-возможности: paymaster’ы, social recovery, кастомные подписи;
заранее продумайте UX онбординга без «страшной» seed-фразы.

2. Оптимизируйте данные и хранение

минимизируйте размер state diff и лишние записи в хранилище;
избегайте «горячих» глобальных структур, блокирующих параллельное исполнение;
учитывайте стоимость DA и упаковки в блобы EIP-4844.

3. Учитывайте деградационные сценарии

закладывайте поведение dApp при задержках батчей, росте комиссий или временных сбоях секвенсера;
делайте операции по возможности идемпотентными;
обеспечивайте «graceful-режим» для чувствительных функций (пауза, лимиты).

4. Работайте с мостами и оракулами аккуратно

для DeFi-логики критичны источники цен (оракулы) и маршруты ввода/вывода;
внимательно анализируйте доверительную модель мостов (см. кросс-чейн мост и риски мостов).

Для пользователей Starknet: базовый чек-лист

Проверяйте сеть и адреса.

Перед переводом убедитесь, что отправляете активы именно в Starknet, а не в другую L2/L1.

Используйте только проверенные мосты.

По возможности — официальный L1↔L2-мост или крупные инфраструктурные проекты; начинайте с небольшой суммы.

Следите за комиссиями.

При всплесках нагрузки в Ethereum стоимость операций в Starknet тоже может вырасти — особенно для сложных DeFi-операций.

Не держите «всё» на одном L2.

Распределяйте активы между L1 и несколькими независимыми L2 с учётом своего профиля риска (см. обзор рисков L2).

Частые вопросы (FAQ)

Starknet — это EVM-совместимый L2? Не напрямую. Starknet использует собственный язык Cairo и среду исполнения. Для разработчиков есть библиотеки и обёртки, облегчающие портирование логики с EVM, но это не «чистый zkEVM» как в zkSync Era.

Какой токен используется для комиссий? Комиссии на L2 оплачиваются в нативном токене сети (STRK) с учётом внутренних правил экономической модели. Часть стоимости транзакции косвенно уходит на оплату публикации данных и проверки доказательств в Ethereum (см. комиссии в Ethereum и L2).

Чем Starknet отличается от других zk-роллапов (zkSync, Scroll и др.)? Starknet делает ставку на:

STARK-доказательства (без необходимости доверять trusted setup),
язык Cairo и оптимизацию под сложные вычисления,
нативную account abstraction.

Другие ZK-L2 чаще ориентируются на «максимальную EVM-эквивалентность» или иные trade-off’ы.

Почему комиссии иногда растут, хотя Starknet — L2? Потому что важная часть затрат — это публикация данных и проверка доказательств в L1. Когда газ и blob-газ в Ethereum дорожают, L2-комиссии тоже растут, хотя остаются ниже прямой работы в L1.

Подходит ли Starknet для долгосрочного хранения активов? Технически Starknet наследует безопасность Ethereum и использует строгие STARK-доказательства, но:

остаются риски секвенсера, мостов, DA и сложного кода;
сеть активно развивается и меняется.

Для крупных сумм обычно рекомендуют комбинировать L1 и несколько независимых L2 и оценивать риски по модели рисков L2.