Ethereum L2 · STARK ZK Rollup · Cairo VM · Live since 2022
Starknet
STRK
StarkNet — это Ethereum Layer 2, созданный StarkWare, использующий STARK zero-knowledge proofs и специализированную виртуальную машину Cairo для верифицируемых вычислений.
StarkNet использует STARK — семейство доказательств с нулевым разглашением, не требующих доверенной установки, для верификации пакетов транзакций на Ethereum. Язык программирования Cairo разработан с нуля для эффективного доказательства, предоставляя разработчикам инструменты для написания проверяемых программ, выходящих за рамки простых переводов токенов.
Total value locked (DeFi)
$185.7M
Стоимость, заблокированная в DeFi-протоколах в сети Starknet. Updated Jun 8, 2026. Источник: DefiLlama.
StarkNet выполняет транзакции в Cairo VM вне сети и генерирует STARK-доказательства, отправляемые в верифицирующий контракт на Ethereum. STARK устойчивы к постквантовым атакам и не требуют доверенной установочной церемонии, что отличает их от систем на основе SNARK. Токен STRK запущен в феврале 2024 года и используется для оплаты транзакций наряду с ETH.
Consensus: STARK ZK Rollup
StarkNet выполняет транзакции в Cairo VM вне сети и генерирует STARK-доказательства, отправляемые в верифицирующий контракт на Ethereum. STARK устойчивы к постквантовым атакам и не требуют доверенной установочной церемонии, что отличает их от систем на основе SNARK. Токен STRK запущен в феврале 2024 года и используется для оплаты транзакций наряду с ETH.
Язык программирования Cairo
Cairo — тьюринг-полный язык для написания программ, выполнение которых может быть эффективно доказано с помощью STARK. Он отличается от Solidity и требует освоения новой парадигмы, но обеспечивает верифицируемые вычисления, недоступные в Solidity.
STARK-доказательства
STARK-доказательства прозрачны (не требуют доверенной установки), устойчивы к постквантовым атакам и хорошо масштабируются. Размер доказательства и стоимость верификации растут логарифмически с размером вычислений, что делает очень большие пакеты эффективными.
Абстракция аккаунтов
Как и в zkSync Era, каждый аккаунт в StarkNet является смарт-контрактом. Это встроено в протокол, а не добавлено как расширение, что по умолчанию обеспечивает расширенные функции кошелька.
Токен STRK
STRK was distributed to early community members and contributors in early 2024. It is used for gas fees and for staking in the decentralized sequencer , которую разрабатывает StarkWare.
Ecosystem & usage
Для чего нужен Starknet.
StarkNet имеет растущую DeFi-экосистему, построенную преимущественно на контрактах Cairo, включая DEX, рынки кредитования и приложения, использующие верифицируемые вычисления для новых сценариев.
Обменивайте, кредитуйте и получайте доходность на StarkNet. Комиссии ниже, чем в основной сети Ethereum, а каждое изменение состояния верифицируется STARK-доказательством на Ethereum.
Верифицируемые игры
Cairo позволяет создавать on-chain игры, в которых логика игры может быть доказанно корректной, открывая полностью верифицируемую игровую механику, недостижимую при оптимистичном выполнении.
Идентичность и учётные данные
Система доказательств StarkNet может проверять учётные данные и утверждения об идентичности, не раскрывая исходные данные, что полезно для приложений с защитой конфиденциальности.
Крупномасштабные вычисления
STARK-доказательства хорошо масштабируются с размером пакета, поэтому StarkNet хорошо подходит для приложений, которым нужно верифицировать большие объёмы вычислений на Ethereum.
Что такое Cairo и нужно ли его учить для использования StarkNet?
Cairo — язык смарт-контрактов для StarkNet, разработанный для написания верифицируемых программ. Как пользователю, вам знать его не нужно; как разработчику, потребуется изучить Cairo вместо Solidity, хотя Rust-подобный синтаксис в современных версиях Cairo делает его более доступным.
Чем STARK отличаются от SNARK?
STARK не требуют доверенной установочной церемонии, что делает их прозрачными. Они также устойчивы к постквантовым атакам. Их компромисс — больший размер доказательств по сравнению с SNARK, хотя стоимость верификации на Ethereum схожа.
Что такое STRK?
STRK — нативный токен StarkNet, запущенный в феврале 2024 года. Он используется для оплаты транзакций и будет использоваться для стейкинга при введении децентрализованной системы секвенсоров StarkNet.
Сколько времени занимают выводы из StarkNet?
Верификация ZK-доказательств заменяет окно оптимистичных доказательств мошенничества, поэтому выводы быстрее, чем в optimistic rollups. Финальность зависит от генерации доказательств и confirmation, обычно измеряется часами, а не днями.
Можно ли хранить STRK в Zypto App?
Пока нет. STRK сейчас отсутствует в Zypto App. Храните его в любом некастодиальном кошельке и запросите Starknet кнопкой «Запросить Starknet» выше.
Начните вводить для поискаСтраницы, статьи блога, кошельки и цены, всё в одном поиске.
Нет результатов для ""Возможно, этого актива ещё нет в Zypto. Попросите нас добавить его и привлеките сообщество, и он продвинется в нашей очереди на листинг.