StarkNet (STRK)

StarkNet – решение второго уровня с нулевым разглашением (zk-rollup) от компании StarkWare. Разработка началась в 2018 году, первая версия блокчейна была запущена в mainnet в 2021 году.

Как и другие zk-роллапы (таким как zkSync, Polygon zkEVM) блокчейн StarkNet объединяет транзакции в свертки (Rollups) и используя криптографию подтверждает их достоверность. Отличительной чертой StarkNet является использовании cобственного механизма, доказательства с нулевым разглашением zkSTARK.

zkSTARK

zkSTARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge) — краткий прозрачный аргумент с нулевым разглашением. Доказательство Zk-SNARK уже используются в Zcash, платежной системе JP Morgan Chase, основанной на блокчейн, и в качестве способа безопасной аутентификации клиентов на серверах.

zk-STARK был создан как альтернативная версия zkSNARK и считается более быстрой и дешевой реализацией технологии. zkSTARK не требует начальной доверительной настройки (следовательно, «T» transparent — прозрачность).

Количество циклов обмена данными между проверяющими и верифицирующими остается постоянным, относительно любого увеличения вычислений (в zkSNARKs, чем больше требуется вычислений, тем больше сторонам приходится отправлять сообщений туда и обратно), поэтому общий размер данных в zk-SNARK намного больше, чем в zk-STARK.

Архитектура StarkNet имеет три базовых компонента вне сети:

1. Секвенсор (Sequencer) — сервер, который получает транзакции, проверяет и объединяет их в блоки. Пока он существует в единственном экземпляре и контролируется компанией StarkWare, но в будущем команда обещает, что свои секвенсоры смогут запускать участники сети.
2. Доказатель (Prover) — занимается созданием криптографического доказательства, подтверждающего целостность вычислений, выполненных секвенсором. Пока в сети есть единственный Prover, который генерирует доказательства не только для StarkNet, но и для StarkEx.
3. Полный узел — это серверы, на которых работает приложение Pathfinder для ведения учета всех транзакций и для отслеживания текущего глобального состояния системы.

Ончейн-компоненты StarkNet, находящиеся в сети Ethereum:

1. Верификатор (Verifier) — смарт-контракт в сети Ethereum, который получает сгенерированные доказательства от узлов Prover, проверяет их и отправляет данные в StarkNet Core.
2. Ядро (StarkNet Core) — смарт-контракт в сети Ethereum, получающий изменения глобального состояния StarkNet, когда на втором слое создается и успешно проверяется новый блок.

Создатели технологии zkStark утверждает, что в теории она может объединить до 60 миллионов транзакций в один блок на блокчейне Ethereum. Потенциальный TPS (кол-во транзакций в секунду) составляет ~500.

Cairo

Cairo — это полный по Тьюрингу язык программирования и платформа для создания доказательств STARK для общих вычислений от компании StarkWare. StarkNet работает на данном языке программирования, что делает блокчейн не совместимым с EVM (для взаимодействия с блокчейном пользователям нужны другие кошельки и интерфейсы).

Для создания приложений разработчикам необходимо изучать новый язык программирования, что значительно сокращает первоначальный пул
разработчиков в сравнении с EVM-совместимыми конкурентами. Язык
постоянно совершенствуется и обновляется, для сторонних разработчиков есть подробная документация и туториалы.

StarkEx и Layer 3

StarkEx — это движок масштабируемости L2. Он обслуживает клиентов DeversiFi, dYdX , ImmutableX, в основной сети с июня 2020 года. StarkEx может обрабатывать сложную торговую логику (спотовая торговля, деривативы, NFT), а также платежи.

Разработка StarkEx была способом тестирования цепочки инструментов и соответствие реальным
потребностям. В будущем планируется, что StarkEx, в настоящее время работающий как L2, будет перенесен на L3. Кроме того, экземпляры Starknet будут доступны как L3.

L3 в StarkNet относится к L2 так же, как L2 относится к L1. L3 может быть реализован с использованием доказательств достоверности. Когда L2 использует доказательства достоверности, представленные L1 это становится рекурсивной структурой, в которой преимущество сжатия доказательств L2 умножается на преимущество сжатия доказательств L3. Другими словами, если каждый уровень достигает, например,
1000-кратного снижения затрат, L3 может достичь 1 000 000-кратного сокращения по сравнению с L1, сохраняя при этом безопасность L1.

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

Разработчики делают большую ставку на L3 и последующие слои поверх блокчейна (аналогичной концепции придерживается и zkSync, технология которых выглядит более масштабируемой благодаря технологии гиперчейнов).

График курса STRK

Дорожная карта

В своём блоге Medium команда опубликовала следующую дорожную карту на 2023 год:

Версии 0.11.0 и 0.12.0 на данный момент реализованы (обновление cairo до новой версии, увеличение пропускной способности сети), остались следующие важные обновления:

• v.0.13.0 (3 кв. 2023 г.) – снижение транзакционных издержек (газа) благодаря режиму Volition. режим Volition позволит разработчикам создавать приложения с гибридным подходом к доступности данных (DA), включая данные как в сети, так и вне сети.

Используя режим Volition, Starknet ожидает резкого снижения стоимости данных. Ожидается, что это снижение будет достигнуто за счет двух ключевых факторов: реализации Ethereum EIP-4844 (транзакция Shard Blob Transaction) и внедрения самого Volition. Специфика дизайна Volition и интерфейсов для разработчиков скоро будут опубликованы, а также будет предоставлена дополнительная информация о том, как это будет способствовать снижению транзакционных издержек.

• v.0.14.0 (4 кв. 2023 г.) – введение рынка комиссий. В настоящее время, когда происходит перегрузка, время ожидания транзакций увеличивается для всех. Чтобы решить эту проблему, Starknet планирует ввести комиссионный рынок в версии 0.14.0. Этот рынок комиссий позволит эффективно распределять ограниченные ресурсы Starknet на основе готовности пользователей платить за транзакцию, а не просто следовать порядку транзакций в очереди. Внедряя платный рынок, Starknet стремится обеспечить более предсказуемый и беспроблемный опыт для пользователей даже в периоды высокой сетевой активности.

Последний пункт из дорожной карты был перенесен на 2024 год:

• v.0.15.0 (1 кв 2024 г., ранее .4 кв. 2023 г.) – Короткие и фиксированные интервалы между блоками. В настоящее время изменчивость интервалов между блоками в Starknet приводит к непредсказуемому времени ожидания транзакций. Чтобы решить эту проблему, Starknet решил ввести постоянные и более короткие интервалы между блоками, разделив отношение 1:1 между блоком Starknet и его доказательством, доказательства смогут подтвердить целостность одного или нескольких блоков Starknet.

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

• v.0.15.0 (1 кв 2024 г.) – подтверждение неудачных транзакций. По заявлением разработчиков в 2024 году они сделают упор на децентрализацию.

Токен и утилити

В июле 2022 года команда сообщила о запуске токена STARK, который будет выполнять следующие функции:

• Оплата комиссий за транзакции внутри сети StarkNet (на данный момент комиссия оплачивается в ETH);
• Участие в управлении сетью;
• Участие в механизме консенсуса и обработке транзакций.

Токеномика

StarkWare выпустила 10 млрд STARK вне сети StarkNet . Циркуляционный запас токенов со временем будет увеличиваться по мере чеканки новых
токенов протоколом в соответствии с графиком, который будет определен сообществом позднее. Следовательно циркулирующее предложение, не может оставаться постоянным.

Первоначальные 10 млрд. токенов будут распределены следующим образом:

• 17% — инвесторы;
• 32,9% — основные участники: StarkWare, сотрудники и консультанты, а также партнеры-разработчики программного обеспечения Starknet.
• 50,1% предоставленные StarkWare Фонду, выделены следующим образом:
  • 9% – награды сообществу;
  • 9% – частичное покрытие расходов при подключении Starknet из Etherium;
  • 12% – гранты на исследования и работу по разработке, тестированию, развертыванию и поддержке протокола Starknet;
  • 10% – стратегический резерв для финансирования экосистемной деятельности;
  • 2% – пожертвования;
  • 8.1% – нераспределенные средства, предназначенные для поддержки сообщества Starknet.

Токены, выделенные основным участникам и инвесторам, будут
заблокированы на 4-летний период с линейным разлоком и годовым клифом.

Команда

SrarkWare была основана в 2018 году, имеет регистрацию в Израиле. Согласно данным LinkedIn в компании работает 132 сотрудника, большинство из которых проживает в Израиле. Команда в основном состоит из технических специалистов.

1. Eli Ben-Sasson (Co-Founder, President & Chairman of the Board at StarkWare) – является основателем Zcash и профессором Техниона — Израильского
   технологического института. Изучал теорию “moon math” с 2001 года, имеет докторскую степень в MIT и Гарварде.
2. Михаил Рябзев (Co-Founder & Chief-Architect) – программист с 12-ти летним стажем, до StarkWare работал в IBM (4 мес., инженер по разработке и развитию) и intel (2 года, инженер по исследованию и развитию), начал
   свой карьерный путь с Службе разведки Израиля, где проработал 4 года в должности инженера по исследованиям и разработкам и ИТ-архитектор.
   Помимо StarkWare уже более 10 лет работает в Техниконе (израильский университет, должность исследователь аспирант).
3. Юрий Колодный (Co-Founder & CEO) – 18 лет был предпринимателем в области оптических коммуникаций, медицинских устройств, экологически чистых технологий и программного обеспечения. Имеет степень бакалавра компьютерных наук (с отличием) Еврейского университета и степень магистра делового администрирования MIT Sloan, является выпускником программы 8200 Haman Talpiot.

Фонды и инвестиции

За 9 раундов финансирования проект собрал 282.5M$

SEED (май 2018 года) 6М$ – лид-инвесторам выступил Pantera Capita, также приняли участие Polychain Capital, Виталик Бутерин и другие

В июле 2018 года проект получил грант от Ethereum Foundation на 18M$.

• SERIES A (октябрь 2018 года) 30М$ – лид-инвесторами выступили Paradigm Sequoia Capital, также приняли участие Pantera Capital, Multicoin Capital, ConsenSys, Coinbase Ventures, Scalar Capital, Intel Capital и другие.
• SERIES B (март 2021 года) 75М$ – Paradigm (лид-инвестор), Sequoia Capital, Pantera Capital, DCVC, Wing Venture Capital, Founders Fund, Three Arrows Capital (!), Alameda Research (!).
  SERIES C (ноябрь 21 года) 50М$ – Sequoia Capital (лид-инвестор), Paradigm, IOSG, Founders Fund, Three Arrows Capitaд (!), Alameda Research (!).
• SERIES D (май 2022 года) 100М$ – лид-инвестоарми выступили Greenoaks Capital и Coatue Management, также в раунде приняли участие Tiger Global Management, Paradigm, Sequoia Capital, Three Arrows Capital (!).

В июле 2022 года Alameda Research проинвестировала в проект ещё 9.5M$.

Социальные сети

Согласно данным Google Trends всплеск поисковых запросов пришелся на октябрь 2022 года и март 2023 года, такие всплески можно объяснить выходом ретроспективных дропов от Aptos и Arbitrum. Наибольшей популярностью запрос “StarkNet” пользуется в Китае, Нигерии и Турции.

Twitter

Твиттер-аккаунт StarkNet насчитывает 166 тыс. подписчиков, постинг регулярный, актив средний. Виден средний интерес со стороны фондов и инфлюенсеров.

Твиттер-аккаунт StarkWare насчитывает 212 тыс. читателей, актив под постами ниже среднего, виден высокий интерес со стороны фондов и участников экосистемы Etherium.

GitHub

Актив высокий, обновление репозиториев регулярные.

Ончейн-активность

Согласно данным DefiLlama* на август 2023 года в сети StarkNet развернуто 10 протоколов (при этом в zkSync Era и Polygon zkEVM 76 и 37
соответственно).

*данные могут не соответствовать действительности.

Согласно данным L2BEAT TVL сети StarkNet составляет 111M$ (в zkSync TVL 454M$, в Polygon zkEVM 55M$).

Согласно данным дешборда Dune общее количество зарегистрированных кошельков в сети составляет 675 тыс. Так как проект пользуется популярностью среди охотников за ретроспективным дропом следует провести повторную аналитику активности уже после выхода токена.

Итоги

StarkNet является первопроходцем в создании zk-роллапов, это крупный фундаментальный фундаментальный проект, поставивший перед собой большую задачу по масштабированию сети Etherium. Большим минусом для проекта является отсутствие EVM-совместимости, что делает использование блокчейна затруднительным для пользователей Etherium.

Со временем у StarkNet появились крупные конкуренты, которые при
прочих равных предлагают полную EVM-совместимость, в результате чего они смогли получить большее количество пользователей за меньший срок. Однако в StarkWare сильная команда и проект поддерживают крупные фонды, в т.ч. Etherium.

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

Минусы проекта:

• Отсутствие EVM-совместимости, что изначально сокращает начальную базу пользователей;
• Низкий TVL относительно ближайшего конкурента (также является следствием отсутствия EVM-совместимости);
• Собственный язык программирования – это значительно сокращает базу разработчиков;
• Отставание и перенос сроков в дорожной карте.

Плюсы проекта:

• Технически опытная команда;
• Поддержка крупных фондов;
• Активная разработка;
• Утилити токена;
• Потенциально высокая масштабируемость благодаря L3-решениям (однако ниже чем в zkSync).

Вывод

Проект фундаментальный, стоит следить за этапами разработки.

Ссылки:

• Сайт: starknet.io;
• Документация: ссылка;
• Medium: ссылка;
• DropTabs: ссылка;
• Twitter: ссылка.