StarkWare Industries — израильская компания, стоящая за разработкой решений масштабирования на основе STARK-доказательств для блокчейн-индустрии. Она создала:
- StarkEx — permissioned validity-rollup для отдельных проектов,
- Cairo — язык программирования и виртуальную машину для ZK-приложений.
Через Starknet и StarkEx StarkWare стала одним из ключевых игроков в сегменте ZK-роллапов и масштабирования Ethereum (см. обзор L2-экосистемы).
История и основатели
StarkWare была основана в 2018 году в Нетании (Израиль) группой криптографов и предпринимателей:
- Эли Бен-Сассон (Eli Ben-Sasson) — сооснователь, президент и CEO, один из авторов протоколов Zcash;
- Ури Колодны (Uri Kolodny) — сооснователь и первый CEO;
- Майкл Риабзев (Michael Riabzev) — криптограф, сооснователь;
- Алессандро Кьеза (Alessandro Chiesa) — криптограф, сооснователь Zcash.
Миссия компании — сделать блокчейны масштабируемыми и приватными без жертв в пользу безопасности базового слоя. Для этого StarkWare использует STARK — класс доказательств с прозрачной настройкой (без trusted setup), ориентированный на высокую пропускную способность.
Продукты StarkWare: StarkEx, Starknet и Cairo
StarkEx
StarkEx — это движок масштабирования (validity-rollup), который разворачивается под конкретный продукт:
- даёт заказчику выделенный уровень масштабирования с использованием STARK-доказательств;
- поддерживает разные режимы:
- роллап с публикацией данных в L1,
- validium с внешним DA;
- использовался/используется крупными проектами:
- децентрализованные биржи и деривативы,
- NFT-платформы и игровые проекты.
По сути, StarkEx — это «корпоративная» версия ZK-роллапа под одного клиента или ограниченный набор протоколов.
Starknet
Starknet (STRK) — публичный ZK-rollup поверх Ethereum:
- permissionless — любой разработчик может деплоить смарт-контракты;
- использует собственный стек:
- язык Cairo,
- Starknet OS и специфичную VM;
- нацелен на:
- высокую пропускную способность при сохранении безопасности L1,
- богатую экосистему DeFi, игр и инфраструктуры.
Технический разбор протокола и архитектуры Starknet — на странице tech:starknet.
Cairo и разработческий стек
Одно из ключевых достижений StarkWare — язык Cairo:
- Turing-полный язык, оптимизированный под построение STARK-доказательств;
- позволяет выражать вычисления так, чтобы их удобно было «заворачивать» в zk-доказательства;
- стал базовым языком для Starknet, а позже получил транспилеры и инструменты для связки с экосистемой Ethereum.
Вокруг Cairo и Starknet сформировалась отдельная разработческая экосистема: SDK, индексаторы, инструменты для фронтенда, мосты и DeFi-протоколы.
Роль StarkWare в экосистеме Starknet
StarkWare — исходный разработчик Starknet и основного стека:
- пишет и поддерживает значительную часть core-кода Starknet;
- развивает cryptographic prover и инфраструктуру STARK-доказательств;
- активно участвует в роадмапе по децентрализации:
- передачу полномочий Starknet Foundation,
- распределение управления через токен STRK,
- постепенное снижение своей роли как единственного оператора критичных компонентов.
При этом важно различать:
- коммерческую компанию StarkWare, которая владеет IP, нанимает сотрудников и заключает контракты;
- некоммерческий фонд Starknet Foundation, который должен со временем стать основным центром governance для сети (см. Starknet Foundation).
Финансирование и место на рынке
StarkWare привлекла несколько раундов венчурного финансирования от крупных фондов, включая:
- криптовалютные и технологические VC,
- стратегических инвесторов из экосистемы Ethereum.
Компания закрепилась в сегменте проектов, предлагающих:
- STARK-доказательства как сервис (через StarkEx и prover-инфраструктуру),
- полноценный L2-роллап (Starknet) как конкурента другим ZK- и optimistic L2.
На рынке StarkWare воспринимается как один из ключевых технологических лидеров ZK-направления наряду с разработчиками zkSync и другими ZK-rollup-проектами.
Критика и вопросы централизации
Как и в случае других L2-компаний, вокруг StarkWare и Starknet периодически всплывают вопросы:
- Централизация разработки.
- значительная часть core-кода и prover-стека пишет именно команда StarkWare;
- сообщество внимательно следит, насколько реально возможно «отвязать» сеть от одного вендора.
- Распределение ролей между StarkWare и Starknet Foundation.
- фонд создавался как независимая структура для управления Starknet;
- дискуссии касаются:
- прозрачности финансирования,
- степени влияния StarkWare на решения фонда,
- сроков фактической децентрализации.
- Риски L2-архитектуры.
- как и другие ZK-L2, Starknet и StarkEx зависят от:
- работы prover-узлов,
- режима Data Availability,
- мостов и контрактов на Ethereum (см. кросс-чейн мост и L2-мосты Ethereum).
- в модели рисков L2 StarkWare фигурирует как ключевой «корпоративный» участник trust-домена.
При этом StarkWare публично декларирует цель — сделать Starknet публичным благом, где решения принимаются децентрализованно, а компания остаётся одним из технических контрибьюторов, а не единственным центром контроля.
Значение StarkWare для пользователей и разработчиков
Для пользователей
- StarkWare — «невидимый» технологический слой за:
- быстрыми и дешёвыми транзакциями в Starknet,
- отдельными StarkEx-решениями (DeFi, NFT и т.п.);
- понимание роли компании важно при оценке:
- рисков хранения средств на Starknet,
- доверия к стеку STARK-доказательств и мостам.
Для разработчиков
- StarkWare предоставляет:
- стек Cairo и инструменты для Starknet,
- документацию, SDK и поддержку партнёров,
- программы экосистемного развития (через Starknet Foundation и совместные инициативы).
- Если вы строите dApp на Starknet, StarkWare — фактический «core-вендор»:
- от него зависят апгрейды протокола,
- исправление критических багов,
- производительность роллапа.
По мере роста сети разработчикам и пользователям важно следить за тем, как меняется баланс между StarkWare, Starknet Foundation и более широким сообществом.