DOUBLE TOP Research: StarkNet или почему о zkSync скоро забудут

Disclaimer:

Ресерч служит для более глубокого ознакомления читателя с проектом и написан исключительно в информационных целях. Double Top может состоять в партнерских отношениях с проектом, о котором написан этот ресерч.

Данный материал не является рекомендацей к инвестированию, мы советуем всегда самостоятельно оценивать риски и принимать взвешенные решения.

Раннее инвестирование всегда high-risk и никто не может вам гарантировать, что вложения в проект принесут прибыль. Иногда такая инвестиция может завершиться даже полной потерей средств, будьте бдительны.

О ZK-роллапах:

Существует два метода доказательства с нулевым разглашением: zkSNARK и zkSTARK. Первый представляют zkSync, а StarkWare работает над zkSTARK.

Также, в этой области существуют решения от Loopring , Aztec , Polygon Hermez (SNARK), Polygon Miden (STARK) и многие другие. Полный список на zkrollups.xyz .

И SNARK, и STARK доказательства, решают проблему масштабирования Ethereum и медлительности OR.

Не смотря на то, что zkSync и StarkWare являются конкурентами в гонке расширения экосистемы, технологии SNARK и STARK очень близки по духу.

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

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

ZkSync – лидер сегмента, который пофиксил многие из первичных недостатков SNARK, и в конце февраля даже запустил свой Testnet 2.0. Теперь на ZkSync можно создавать приложения в zkEVM, что заметно упрощает разработку и ускоряет рост экосистемы. Подробнее о Testnet ZkSync можете прочитать здесь.

zkSTARK – более молодое решение, которое еще не так обкатано на практике и не блещет EVM-совместимостью, тк StarkNet использует язык Cairo. И чтобы разрабы могли писать по-людски на Solidity, нужно дождаться релиза компилятора Warp.

Также, доказательства STARK сложнее в проверке и стоят дороже нежели SNARK. Но это о сдерживающих факторах. А щас будет о плюсах.

Бранн STARK в Игре Престолов занял железный трон.
Пропускная способность и масштабируемость у zkSTARK в разы лучше чем у zkSNARK, что делает экосистему в средне-долгосроке более интересной.
Скорость генерации сертификатов STARK в 10 раз больше, чем у SNARK.
Validium позволяет хранить данные вне сети, что серьезно демократизирует цену разработки и упрощает развертывание приложений на StarkNet.
zkSNARK более безопасен с точки зрения логики доверия доказательству.
StarkWare работает над рекурсивными STARK, известными как L3, которые расширяют возможности масштабирования, по сути внедряя дополнительный Layer3, работающий поверх Layer2.

StarkWare и StarkNet:

Ссылки:

Сеть StarkNet работает на технологии zkSTARK, которую разработали StarkWare.

StarEx – структура внутри StarkNet, которая позволяет создавать отдельные ZK-роллапы для приложений. StarEx уже используется в DyDx, Immutable и Deversifi. Это персональная сеть внутри StarkNet, аналог планеты в Солнечной системе.

StarkNet планируют внедрить L3, кроме того, поверх него смогут быть построены дополнительные уровни (L4 и т. д.). Независимые L3 смогут взаимодействовать между собой через L2. Таким образом, StarkNet может "гипермасштабироваться".

Приложения из StarEx будут перенесены на L3, что в тысячи раз увеличит их масштабируемость и удешевит цену транзакции. Безопасность сети останется при этом соизмеримой с L1 Ethereum.

Также, L3 будет использоваться в качестве канареечной сети, аля Kusama для Polkadot. В ней протоколы и приложения смогут проходить тестовый период перед релизом в основной сети StarkNet.

Важные события:

В ноябре 2019 года StarkNet выпустили первую версию сети.
4-го апреля 2022, StarkNet запустили тестнет моста – StarkGate Alpha. Это один из важнейших майлстоунов проекта.
С 5-го апреля 2022 OpenZeppelin Contracts, стандарт разработки смарт-контрактов в Solidity, начали поддерживать язык StarkNet – Cairo. Это позитивно повлияет на разработку новых приложений.
Нативный язык Cairo тоже не остается без внимания, поэтому рост экосистемы продолжается параллельно поиску EVM-совместимости. Многие пишут туториалы, аудитория разработчиков расширяется.
25-26 апреля в Амстердаме пройдет STARKATHON, после которого мы возможно познакомимся с новыми проектами экосистемы.

Основные тулзы:

Вэб-кошелек – Argent X, идет разработка мобильного кошелька.
Для просмотра транзакций сети можно использовать Voyager или StarkTx.

Архитектура StarkNet:

Взаимосвязь между L3, L2 и L1:

Команда и инвесторы

Разработка проекта началась в 2018-ом. В звездный состав команды вошли именитые криптографы и ученые, а также бывший главный научный сотрудник Zcash (работает применением SNARK).

Последнее косвенно подтверждает позиционирование zkSТARK как улучшения существующих решений в области Zero Knowledge.

Всего в команде более 77 человек с опытом разработки и еще открыто 22 вакантные позиции. Это полноценная растущая технологическая компания, которая всерьез занимается своим продуктом.

На данный момент TVL $1,16 млрд. и $518 млрд. торгового объема.
В общей сложности StarkWare привлекли $170+ млн. на ранних раундах финансирования.

Основные инвесторы: Sequoia Capital, Paradigm, Ethereum Foundation, Pantera Capital, Alameda Research, Three Arrows Capital, Founders Fund идругие.

Виталик Бутерин лично рецензировал большинство статей, опубликованных StarkWare. Инвесторы – топы из лучших.

Экосистема

На StarkNet уже работают DyDx, Immutable Х, Sorare, DeversiFi и многие другие.

Из последних:

Стейкинг платформа Parallel Finance, которая собрала 5 млн. долларов в раунде с Coinbase, Section 32 (Bill Maris, a former head of Google Ventures).
DeFi-протокол ориентированный на институционалов, zkLend привлек 5 млн. долларов от Three Arrows Capital, Alameda Research, MetaCartel DAO, Amber Group, Genesis Block Ventures и других.

Выводы

Всем здравомыслящим уже стало понятно, что короли Севера по большинству показателей уделывают СНАРКов. Да, пока что STARKи едут тише, за счет хромоты на EVM-совместимость.

Но фундаментал и планы у StarkWare впечатляющие, поэтому я верю что они вырвутся в лидеры zk-гонки вооружения уже в ближайшем обозримом будущем и выиграют в средне-долгосрочной перспективе.

Уже запустился тестнет моста, начинают появляться варианты написания приложений на Solidity, растет популяция Cairo разработчиков.

Q2 2022 принесет немалый буст экосистеме StarkNet, а за счет серьезного подхода к разработке (пускай и чуть централизованного), StarkWare займут одно из призовых мест среди роллапов на Ethereum. Так что ждем релиз Warp и L3.

В скором времени выйдет пост с новыми и работающими проектами на STARKе, которые можно будет поклацать и за которыми стоило бы следить. Напомню, мы здесь не только ради лудомании, но и за технологии (скорее всего).