Что такое Starknet: STARK-доказательства, язык Cairo, токен STRK и отличия от zkSync
3 недели назад 0
Starknet (STRK) — это валидационный роллап второго уровня для Ethereum, использующий STARK-доказательства и собственный язык программирования Cairo. Starknet не совместим с EVM на уровне байткода: контракты пишутся заново, зато сеть получает высокую пропускную способность, встроенную абстракцию аккаунта и устойчивость к квантовым атакам.
Раздел глоссария: Блокчейн и сети · все термины от А до Я
Коротко о главном
- Разработан компанией StarkWare (основатели — Эли Бен-Сассон и Ури Колоднер); основная сеть работает с ноября 2021 года.
- STARK — доказательства с прозрачной настройкой, без доверенного сетапа и с постквантовой стойкостью.
- Язык Cairo создан специально для доказуемых вычислений; инструменты — Scarb, Starknet Foundry.
- Абстракция аккаунта встроена в протокол: каждый адрес — контракт с произвольной логикой подписи.
- Токен STRK запущен в феврале 2024 года и используется для комиссий, стейкинга и управления.
- Технология StarkEx ранее применялась в dYdX, Immutable X и Sorare — до их перехода на собственные решения.
STARK против SNARK
| Критерий | STARK (Starknet) | SNARK (zkSync, Scroll) |
|---|---|---|
| Доверенная настройка | Не требуется — прозрачность | Обычно нужна (кроме отдельных систем) |
| Размер доказательства | Больше (десятки-сотни килобайт) | Меньше (килобайты) |
| Скорость верификации ончейн | Дороже, но улучшается | Дешевле |
| Скорость генерации | Быстрее, хорошо масштабируется | Медленнее на сложных программах |
| Постквантовая стойкость | Да (хеш-функции) | Нет (эллиптические кривые) |
Почему Cairo, а не Solidity
- Cairo изначально спроектирован так, чтобы любое вычисление можно было доказать в STARK.
- Модель памяти и арифметика поля отличаются от EVM — это даёт оптимизации, недоступные в совместимых решениях.
- Плата за вычисление — алгоритмическая оценка сложности шагов Cairo, а не побайтовый газ EVM.
- Параллельное исполнение транзакций заложено в архитектуре: сеть ориентируется на высокую пропускную способность.
- Обратная сторона — отсутствие готовых Solidity-контрактов и необходимость переобучения разработчиков.
Starknet выбрал путь «не совместимость, а новая машина»: сложнее для миграции, но с большим потолком производительности.
Токен STRK и экономика сети
- Комиссии: с 2024 года газ можно платить в STRK, а также в ETH.
- Стейкинг: механизм делегирования и валидации STRK запущен поэтапно для распределения ролей.
- Управление: Starknet DAO распределяет гранты и принимает решения о параметрах протокола.
- Аирдроп февраля 2024: раздача вызвала критику за критерии и давление продаж на старте.
- Экосистема: myswap, Jedi, AVNU, Nostra, Ekubo — основные DeFi-протоколы сети.
Сильные стороны и риски Starknet
| Преимущества | Ограничения и риски |
|---|---|
| Прозрачные STARK-доказательства без доверенного сетапа | Несовместимость с EVM: контракты нужно переписывать на Cairo |
| Высокая пропускная способность и потенциал параллельного исполнения | Меньше разработчиков и приложений, чем у EVM-сетей |
| Нативная абстракция аккаунта и дешёвые комиссии | Более крупные доказательства увеличивают стоимость верификации |
| Постквантовая стойкость криптографии | Волатильность STRK и давление разлоков после аирдропа |
Частые вопросы
Итог
Starknet — валидационный роллап Ethereum на STARK-доказательствах и языке Cairo. Отсутствие совместимости с EVM усложняет миграцию, но даёт прозрачную криптографию без доверенного сетапа, высокую пропускную способность и встроенную абстракцию аккаунта. Токен STRK используется для комиссий, стейкинга и управления. Главные риски — небольшой пул разработчиков, стоимость верификации крупных доказательств и давление разлоков после аирдропа 2024 года.
Связанные термины
Теги по теме
Источники и полезные ссылки
Автор новостного раздела сайта cryptonews.website. Работа над написанием обзоров для сайта (обзоры криптовалютных бирж и альткоинов).