Описание StarkNet

Что такое StarkNet (STRK)?

StarkNet (STRK) - это общедоступный децентрализованный накопительный пакет на основе доказательств достоверности (также известный как «ZK-накопительный пакет»). Он работает как сеть L2 поверх Ethereum, позволяя любому децентрализованному приложению достигать неограниченного масштаба для своих вычислений - без ущерба для компонуемости и безопасности Ethereum, благодаря тому, что StarkNet полагается на самую безопасную и масштабируемую систему криптографических доказательств - STARK.

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

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

Особенности проекта

• Масштабируемость и целостность. StarkNet поддерживает масштабирование, сохраняя при этом безопасность L1 Ethereum, создавая доказательства STARK вне сети, а затем проверяя эти доказательства в сети.
• Общее назначение. В StarkNet разработчики могут легко развернуть любую бизнес-логику, используя StarkNet Contracts.
• Компонуемость. StarkNet обеспечивает компонуемость на уровне Ethereum, что облегчает разработку и внедрение инноваций.

StarkNet использует доказательства достоверности STARK. Стоит отметить, что извлечь информацию из доказательства крайне сложно - практически невозможно.

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

Однако стоит отметить, что по умолчанию транзакции Starknet и их полезная нагрузка видны в сети так же, как и в Ethereum.

Контракты StarkNet написаны на языке Cairo, что позволяет развертывать и масштабировать любой вариант использования, независимо от бизнес-логики.

Технологический стек

Три ключевых компонента, лежащие в основе StarkNet, прошли боевые испытания в производственной среде:

• Cairo. Контракты StarkNet и сама ОС StarkNet написаны на Cairo, языке программирования для общих вычислений, подтверждающих STARK. Cairo упрощает и ускоряет разработку, проверку и сопровождение кода. Cairo работает в основной сети Ethereum с июня 2020 года.
• Prover. STARK Prover поддерживает механизм масштабирования StarkEx и обработал более 200 миллионов транзакций и сделок на сумму более 700 миллиардов долларов в основной сети Ethereum.
• Verifier. Верификаторы STARK были развернуты в основной сети Ethereum с 2019 года. Верификатор Cairo, который может проверять подтверждение любой программы Cairo (включая StarkNet и все развертывания StarkEx), был развернут в основной сети с июля 2020 года.

Что такое Cairo?

Cairo - это язык программирования для масштабирования децентрализованных приложений с использованием STARK. Это полный по Тьюрингу язык, который позволяет всем разработчикам блокчейнов использовать возможности STARK.

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

StarkNet использует язык программирования Cairo как для своей инфраструктуры, так и для написания контрактов StarkNet.

Токен STRK

Токен STRK необходим для управления экосистемой, ее обслуживания и защиты, определения ее ценностей и стратегических целей и управления ее развитием. Этот токен потребуется для управления, оплаты комиссий за транзакции в StarkNet и участия в механизме консенсуса StarkNet.

«Токен позволит сторонникам сообщества, выполняющим работу, которая способствовала успеху экосистемы, играть роль в управлении этой экосистемой», — было заявлено в пресс-релизе о запуске токена.

В июле 2022 года 10 миллиардов токенов были выпущены вне сети и распределены между сторонами, включая инвесторов StarkWare и ее основных участников. Эти токены появились на StarkNet в сентябре. Команда распределила количество токенов по нескольким категориям пользователей.

Из этого распределения 17% токенов предназначены для инвесторов StarkWare. 32,9% от общего объема эмиссии было выделено для основных участников StarkWare, включая основную команду, консультантов StarkWare и партнеров по разработке. Токены, выделенные основным вкладчикам и инвесторам, будут подлежать четырехлетнему периоду наделения правами и однолетнему перерыву.

StarkWare также создает фонд StarkNet Foundation, который получит 50,1% токенов для дальнейшего развития и внедрения StarkNet.

StarkWare заявила, что в следующем году сообществу будут выделены токены на основе «поддающейся проверке работы». В StarkWare добавили, что при объявлении о таких распределениях они будут относиться только к моментальным снимкам до даты объявления и будут отфильтровывать аирдроп-фермеров. StarkWare заявила, что было бы «бесполезно пытаться использовать сеть в спекулятивных целях».

STRK будет иметь три основных цели. Токен будет использоваться для управления блокчейном StarkNet. К 2023 году можно будет поместить токен в стекинг, чтобы внести свой вклад в производительность и безопасность сети. Кроме того, хотя StarkNet в настоящее время использует Ethereum (ETH) для оплаты транзакций, в конечном итоге он будет заменен новым токеном.