Первый шаг к неразрешенному ZK-свертыванию
TL;DR
- Альфа-версия StarkNet Planets — первый шаг на пути к основной сети — теперь доступна в тестовой сети!
- StarkNet — это полный по Тьюрингу ZK-накопитель¹.
- Разработчики могут реализовать свою бизнес-логику в смарт-контракте и без разрешения развернуть ее в StarkNet.
- Переходы состояний StarkNet доказываются вне сети, а затем проверяются в сети.
- Как и в Ethereum, пользователи могут напрямую взаимодействовать с этими смарт-контрактами.
Введение
Мы объявили о дорожной карте для StarkNet в январе 2021 года. Святой Грааль решений масштабируемости будет поддерживать (i) произвольные смарт-контракты с (ii) компонуемостью, (iii) работать в децентрализованной сети. Сегодня мы объявляем о развертывании в тестовой сети Step 1: StarkNet Planets Alpha. Система Alpha поддерживает произвольные смарт-контракты. Компонуемость будет поддерживаться позже в этом году, после чего последует децентрализация.
Для нас очень важно быть полностью прозрачными и правильно формировать ожидания. Цель этого поста — четко перечислить, что уже поддерживается, а какие функции еще отсутствуют. Сегодня мы выпускаем Work in Progress в тестовой сети. Мы считаем, что этот ранний выпуск поможет сформировать здоровую экосистему вокруг StarkNet и его инструментов. Мы стремимся привлекать разработчиков к созданию сети вместе с нами и получать постоянную обратную связь от сообщества.
Что входит в альфа-версию StarkNet Planets?
Функциональность: Альфа позволяет разработчикам писать и развертывать контракты StarkNet для общих вычислений. Белых списков нет — любой разработчик может написать и развернуть любой контракт, какой пожелает. Пользователи могут взаимодействовать с этими контрактами, отправляя им транзакции и проверяя их состояние. Все контракты существуют в одном состоянии². Обновления до этого состояния проверяются вне сети и проверяются в цепочке — в альфа-версии проверка выполняется в тестовой сети.
ОС StarkNet: вышеуказанные функции поддерживаются новой «операционной системой», которую мы называем ОС StarkNet. Он предлагает доказуемые переходы состояний в StarkNet. Разработчики Ethereum могут рассматривать его как эквивалент EVM: он отвечает за вызов функций смарт-контрактов, управление хранилищем контрактов и т. д. Мы опубликуем отдельный пост с подробным описанием архитектуры ОС StarkNet.
Чего нет в Альфе? В Alpha по-прежнему отсутствуют некоторые ключевые возможности, такие как взаимодействие L1<>L2, данные в цепочке и возможность компоновки. Подробнее об этом ниже.
Намочите ноги
Начните с нашего руководства и документации .
Затем вы можете ознакомиться с образцом смарт-контракта AMM , который мы написали и развернули в StarkNet. Это простой AMM, и вы можете взаимодействовать с ним здесь . Теперь вы готовы писать и развертывать смарт-контракты в StarkNet. Обозреватель блоков для StarkNet — Voyager — позволяет любому проверить состояние StarkNet.
Если вы промокнете, мы полагаем, что вы будете лучше подготовлены к использованию StarkNet, поскольку мы продолжаем внедрять дополнительные функции. Мы уже заняты планированием первого хакатона, а также мастер-классов для разработчиков.
Следующие шаги для StarkNet
Ключевые возможности, которые все еще отсутствуют в альфа-версии, будут реализованы в ближайшие недели. Это:
- Взаимодействие L1<>L2, например, возможность вносить и снимать средства в L1.
- Данные в цепочке: публикация всех изменений хранилища в Ethereum.
- Компонуемость: позволяет контрактам взаимодействовать друг с другом.
Имея эти функции, мы будем готовы ввести StarkNet в основную сеть Ethereum. Мы называем этот шаг в эволюции StarkNet Constellations, и когда мы его достигнем, вы сможете создавать и без разрешения развертывать масштабируемые L2 dApps основной сети Ethereum.
Экосистема StarkNet
Мы очень взволнованы экосистемой, которая формируется вокруг StarkNet, поэтому мы сделаем паузу, чтобы поблагодарить наших сотрудников.
Мы тесно сотрудничаем с Nethermind и командой Nubia, Алексеем Ахуновым (Erigon ) и Игорем Мандригиным (gateway.fm), Иддо Бентовом , dOrg , проф. Тимом Рофгарденом , проф . Команда Парадигма .
Наши первые партнеры — dYdX , Immutable , DeversiFi , а также Sorare , Celer и другие — предоставили нам бесценный вклад с самого первого дня и позволили нам построить сеть производственного уровня для реальных пользователей.
Мы продолжаем удивляться качеству контента, созданного сообществом, такими людьми, как Bobbin Threadbare , Daniel Kroni , Adrian Hamelink , perama , Francesco Ceccon , Ilian Malchev и командой Alexandria .
Нам не терпится увидеть, что сообщество создаст на всех фронтах: инструменты для разработчиков, контент и, конечно же, приложения StarkNet, которые они создадут. Давайте продолжим общение в ваших любимых средствах массовой информации: Discord , Twitter , электронная почта , а вскоре и в самой децентрализованной форме общения: f2f .
¹ Мы не являемся поклонниками термина ZK-Rollup, так как — с математической точки зрения — это не нулевое разглашение, но вы все понимаете, что мы имеем в виду.
² В отличие от отдельного состояния, поддерживаемого для текущих развертываний StarkEx в основной сети.
Обновление (ноябрь 2021 г.): StarkNet Alpha работает в основной сети Ethereum.