Ключевые моменты
Starknet — это решение для масштабирования Ethereum второго уровня, которое использует доказательства для обеспечения быстрых и недорогих транзакций с безопасностью Ethereum.
Сеть обрабатывает транзакции вне основного блокчейна и отправляет криптографические доказательства в Ethereum для окончательной проверки.
Разработчики используют язык программирования Cairo для создания масштабируемых децентрализованных приложений (DApp) в сети Starknet.
Введение
Starknet — это решение второго уровня, которое использует масштабируемый прозрачный аргумент знания (STARK) для обеспечения более быстрых, дешевых и масштабируемых транзакций. В результате разработчики могут создавать высокопроизводительные децентрализованные приложения (DApp) с меньшими затратами и надежными криптографическими гарантиями без ущерба для безопасности или децентрализации.
Что такое STARK
STARK (масштабируемый прозрачный аргумент) — это тип криптографического доказательства, который используется для верификации выполнения вычислений без необходимости их повторного проведения.
В контексте Starknet STARK-доказательства используются для подтверждения того, что офчейн-транзакции были обработаны правильно, чтобы затем отправить компактное доказательство обратно в Ethereum. Это помогает Ethereum обрабатывать крупные пакеты транзакций более эффективно и с меньшими затратами.
STARK-доказательства по своей природе не обеспечивают конфиденциальность и отличаются от традиционных доказательств с нулевым разглашением (ZKP), фокусируясь на доказательстве целостности вычислений. Особенная сила STARK заключается в том, что они не требуют доверенной настройки, хорошо масштабируются даже с усложнением вычислений и созданы для противодействия будущим угрозам, таким как потенциальные квантовые атаки.
Что такое Starknet
Starknet — это решение для масштабирования второго уровня, призванное сделать транзакции в Ethereum быстрее и дешевле. Вместо обработки каждой транзакции непосредственно в основной сети Ethereum, Starknet обрабатывает их вне блокчейна.
Затем сеть генерирует STARK-доказательство, которое математически подтверждает корректность выполнения транзакций. Это доказательство вместе со сводкой изменений отправляется обратно в Ethereum, где оно проверяется и окончательно фиксируется на блокчейне.
Как работает Starknet
1. Секвенсер: управление транзакциями
Секвенсер отвечает за прием и организацию транзакций. Он группирует эти транзакции в партии, проверяет валидность транзакций и отбрасывает те, которые не прошли проверку (например, при недостатке средств или ошибках).
Только валидные транзакции включаются в блоки, которые затем передаются для дальнейшей проверки. Поскольку этот процесс происходит вне основной сети, секвенсер может достичь более высокой пропускной способности.
2. Доказывающий: генерация доказательства
Доказывающий (или поставщик доказательств) принимает обработанный блок, записывает каждый шаг выполнения транзакций и итоговые изменения состояния системы. Затем он преобразует эти данные и выбирает случайные части для генерации финального STARK-доказательства, которое служит математической гарантией того, что все транзакции были обработаны корректно.
3. Расчет в сети Ethereum
Доказательство и финальные изменения состояния отправляются в Ethereum, где два смарт-контракта выполняют верификацию:
Контракт Verifier проверяет доказательство на точность. Если данные корректны и валидны, оно подтверждается.
Контракт Starknet Core затем обновляет состояние Starknet в Ethereum на основе проверенного доказательства.
После принятия обновленное состояние добавляется в блок Ethereum, где становится частью постоянной записи. Поскольку доказательство подтверждает валидность офчейн-вычислений, необходимость повторного выполнения транзакций в Ethereum отсутствует, что помогает снизить нагрузку и стоимость.
Ключевые особенности Starknet
Cairo: язык программирования Starknet
Starknet использует собственный язык для смарт-контрактов под названием Cairo, специально разработанный для написания программ, которые можно верифицировать с помощью STARK-доказательств. Он позволяет разработчикам создавать масштабируемые приложения на Starknet без необходимости в особых знаниях в сфере криптографии.
Экосистема Cairo включает инструменты для разработчиков, такие как Dojo — игровой движок с открытым исходным кодом для создания ончейн-игр, и Starknet React — библиотеку, которая упрощает создание веб-интерфейсов для Starknet DApp.
Встроенная абстракция аккаунта
Starknet предлагает нативную абстракцию аккаунтов, предлагая пользователям то же удобство работы, что и в Web2 и Web3-пространствах. Система также поддерживает такие функции, как Passkeys, позволяя авторизоваться без сид-фраз, и сессионные ключи для подтверждения нескольких транзакций сразу. Функция paymasters открывает доступ к бесплатным транзакциям, в рамках которых пользователи могут платить токенами ERC-20 или делегировать кому-то другому оплату газа.
Cartridge Controller — это пример кошелька смарт-контрактов от Starknet, который реализует эти функции в сфере игр. Он поддерживает адаптацию пользователей в одно нажатие, идентификацию игроков, достижения и работает с игровыми движками и фронтенд-инструментами.
Оптимистический роллап и роллап для валидации
В отличие от оптимистических роллапов, которые предполагают, что транзакции действительны (если не доказано иное), Starknet использует доказательства для подтверждения корректности. Это позволяет быстро исполнять транзакции (поскольку нет необходимости ждать период оспаривания) и надежные криптографические гарантии.
Однако оптимистические роллапы могут быть проще в реализации и иметь более широкую совместимость с существующими инструментами Ethereum. Оба подхода имеют свои недостатки, и выбор роллапа будет зависеть от конкретных требований, таких как длительность задержек, совместимость и предположения о доверии.
Трудности
Starknet не предлагает нативной совместимости с виртуальной машиной Ethereum (EVM), что отличает его от решений второго уровня, таких как zkSync Era и Scroll, которые позволяют разработчикам повторно использовать существующий код на Solidity и инструменты Ethereum.
Вместо этого Starknet требует от разработчиков использования Cairo — собственного языка, созданного для масштабируемости через STARK-доказательства. Хотя Cairo предлагает технические преимущества, он требует освоения, что может замедлить адаптацию пользователей и усложнить миграцию существующих приложений.
Токен STRK
Токен STRK — это нативный utility-токен протокола Starknet. Он используется для различных целей, включая управление, оплату комиссий за транзакции и стейкинг.
Управление: держатели STRK могут участвовать в управлении протоколом, голосуя по предложениям, таким как обновления системы или изменения в операционной системе Starknet. Некоторые предложения могут требовать минимального количества STRK для поддержки или инициации.
Комиссии за транзакции: STRK может использоваться для оплаты комиссий за транзакции в сети Starknet. При использовании STRK часть токенов конвертируется секвенсером в ETH для покрытия газа в Ethereum.
Стейкинг: STRK можно вносить в стейкинг двумя способами:
В качестве валидатора: необходимо внести минимальное количество STRK и выполнить требования в сети для получения вознаграждений.
В качестве делегатора: можно делегировать токены валидатору и получать долю от вознаграждений без необходимости запуска ноды валидатора.
В заключение
Starknet предлагает новый подход к масштабированию Ethereum через использование доказательств для валидации, в частности STARK. Этот роллап стремится увеличить пропускную способность и снизить затраты, сохранив при этом гарантии безопасности Ethereum. Благодаря таким функциям, как язык программирования Cairo и нативная абстракция аккаунтов, Starknet создает новые возможности для разработчиков, особенно в таких областях, как ончейн-игры и инфраструктура.
Рекомендуемая литература
Отказ от ответственности. Статья предоставляется исключительно для образовательных целей. Эта информация не должна рассматриваться как финансовая, юридическая консультация или рекомендация по приобретению какого-либо конкретного продукта или услуги. Вам следует самостоятельно обратиться за советом к соответствующим профессиональным консультантам. Упомянутые в этой статье продукты могут быть недоступны в вашем регионе. Поскольку статья написана сторонним автором, обратите внимание, что высказанные мнения принадлежат стороннему автору и необязательно отражают точку зрения Binance Academy. Для получения более подробной информации изучите полный текст отказа от ответственности. Стоимость цифровых активов может быть волатильной. Стоимость инвестированных средств может увеличиваться и уменьшаться. Вы можете не вернуть инвестированные средства. Вы несете полную ответственность за свои инвестиционные решения. Binance Academy не несет ответственность за ваши возможные убытки. Данная информация не является финансовой, юридической или профессиональной рекомендацией. Чтобы узнать больше, ознакомьтесь с нашими Условиями использования и Предупреждением о рисках.