Starknet — блокчейн-платформа на zk-rollups¶
Starknet — децентрализованная блокчейн-платформа уровня 2 (L2), построенная поверх Ethereum с использованием криптографических доказательств ZK-STARK. Разработана израильской компанией StarkWare Industries; основной язык смарт-контрактов — Cairo. Сеть запущена в 2021 году, нативный токен — STRK.
¶История и создание
StarkWare Industries основана в 2018 году в Израиле. Основатели — профессор Эли Бен-Сассон (Эли Бен-Сассон), один из соавторов протокола STARK, и профессор Ади Шамир. Компания привлекла значительные инвестиции: в 2022 году оценка составляла около 8 млрд долларов.
В 2021 году StarkWare запустила сеть Starknet в mainnet. Платформа решает проблему масштабирования Ethereum: базовый слой Ethereum обрабатывает ограниченное число транзакций, а Starknet переносит вычисления на второй слой, сохраняя связь с Ethereum.
¶Технология
¶ZK-STARK
Starknet использует доказательства ZK-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge). В отличие от zk-SNARK, STARK не требует доверенной настройки (trusted setup) и устойчив к атакам квантовых компьютеров. Доказательства STARK основаны на хеш-функциях и полевых преобразованиях, что делает их прозрачными и проверяемыми.
¶Cairo
Cairo — язык программирования, разработанный StarkWare специально для создания смарт-контрактов, работающих с ZK-доказательствами. Cairo поддерживает как смарт-контракты Starknet, так и вычисления вне сети (off-chain). В 2023 году StarkWare выпустила Cairo 1.0 с улучшенным синтаксисом и типизацией.
¶StarkEx
StarkEx — масштабируемое решение для конкретных приложений (например, бирж), работающее поверх Ethereum. StarkEx используется такими проектами, как Immutable X (NFT-маркетплейс), dYdX (децентрализованная биржа), Sorare и ApeX. StarkEx и Starknet — разные продукты StarkWare, хотя оба используют ZK-STARK.
¶Структура сети
Starknet работает как zk-rollup: транзакции группируются в блоки, вычисляется доказательство их корректности, и доказательство отправляется в Ethereum. Валидаторы сети (sequencer и prover) обеспечивают порядок и доказательства.
В феврале 2023 года StarkWare провела аирдроп токена STRK среди ранних пользователей и разработчиков. Общее предложение — 10 миллиардов токенов. STRK используется для стейкинга и голосования в управлении протоколом.
¶Сравнение с другими L2
| Параметр | Starknet | zkSync Era | Polygon zkEVM |
|---|---|---|---|
| Тип доказательства | ZK-STARK | zk-SNARK | zk-SNARK |
| Язык | Cairo | Solidity/Vyper | Solidity |
| Доверенная настройка | Не требуется | Требуется | Требуется |
¶Применение
Starknet поддерживает децентрализованные финансы (DeFi), NFT, игры и DAO. Среди проектов экосистемы — StarkGate (мост между Ethereum и Starknet), автономные организации и игровые платформы. Cairo-разработчики создают контракты, оптимизированные для ZK-вычислений.
¶Перспективы и вызовы
StarkWare продолжает развивать сеть: в 2023 году анонсирован переход на доказательства с поддержкой квантовой устойчивости и улучшение пропускной способности. Основные вызовы — конкуренция с другими L2-решениями, сложность языка Cairo и необходимость привлечения разработчиков, привыкших к Solidity.
¶Источники
- StarkWare Industries — официальный сайт
- Документация Starknet (Starknet Documentation)
- Ben-Sasson, E. et al. «Scalable Zero Knowledge with No Trusted Setup» (2018)
- Отчёты о финансировании StarkWare (2022)