Что такое StarkNet? Обзор Layer-2 решения StarkNet.

StarkNet — это решение Layer-2 для масштабирования Ethereum, основанное на децентрализованном пакете достоверности не требующем разрешений (также известном, как ZK-Rollup). StarkNet использует самую безопасную и масштабируемую систему доказательств — zkSTARK.

Технология zkSTARK

Компания StarkWare, основанная в 2017 году, разрабатывает решение, ориентированное на безопасность, надежность и высокую масштабируемость. zkSTARK — технология, использующая криптографию для прозрачной и эффективной проверки и подтверждения целостности вычислительных данных, сохраняя при этом конфиденциальность этих данных.

zkSTARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge) — краткий прозрачный аргумент с нулевым разглашением). Читайте: «Что такое доказательство с нулевым разглашением (Zero-Knowledge Proof)?«

Как работает StarkNet?

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

StarkNet имеет 3 вида узлов, находящихся за пределами блокчейна Ethereum:

Секвенсор (Sequencer) — узел, который принимает транзакции, проверяет их и объединяет в свертки.
Проверяющий узел (Prover) — узел, занимающийся созданием доказательства, подтверждающего целостность вычислений, произведенных секвенсором.
Полный узел (Full State Node) — узел в сети StarkNet, который используется только для запроса текущего состояния StarkNet. Он может независимо отвечать на запросы о текущем состоянии сети StarkNet, включая состояние родительского блокчейна Ethereum. Он не группирует транзакции и не подтверждает пакеты.

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

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

Разработчики StarkWare утверждают, что архитектура StarkNet позволяет снизить стоимость транзакций в 100-200 раз по сравнению с блокчейном Ethereum.

Создатель технологии zkStark утверждает, что в теории она может объединить до 60 миллионов транзакций в один блок на блокчейне Ethereum.