Ethereum L2 · STARK ZK Rollup · Cairo VM · No ar desde 2022
Starknet
STRK
A StarkNet é uma Layer 2 da Ethereum criada pela StarkWare, que usa STARK zero-knowledge proofs e uma máquina virtual Cairo construída especificamente para computação demonstrável.
A StarkNet usa STARKs, uma família de provas de conhecimento zero que não exigem uma configuração confiável, para verificar lotes de transações na Ethereum. Sua linguagem de programação Cairo foi criada desde o início para ser eficientemente demonstrável, dando aos desenvolvedores ferramentas para escrever programas verificáveis além de simples transferências de token.
Total value locked (DeFi)
$185.7M
Valor bloqueado em protocolos DeFi em Starknet. Updated Jun 8, 2026. Fonte: DefiLlama.
A StarkNet executa transações na VM Cairo fora da cadeia e gera provas STARK que são enviadas a um contrato verificador na Ethereum. As STARKs são resistentes à computação pós-quântica e não exigem uma cerimônia de configuração confiável, o que as diferencia dos sistemas baseados em SNARK. O token STRK foi lançado em fevereiro de 2024 e é usado para taxas de transação junto com o ETH.
Consensus: ZK Rollup STARK
A StarkNet executa transações na VM Cairo fora da cadeia e gera provas STARK que são enviadas a um contrato verificador na Ethereum. As STARKs são resistentes à computação pós-quântica e não exigem uma cerimônia de configuração confiável, o que as diferencia dos sistemas baseados em SNARK. O token STRK foi lançado em fevereiro de 2024 e é usado para taxas de transação junto com o ETH.
Linguagem de programação Cairo
Cairo é uma linguagem Turing-completa criada para escrever programas cuja execução pode ser demonstrada de forma eficiente com STARKs. Ela difere da Solidity e exige aprender um novo paradigma, mas permite computação demonstrável que a Solidity não é capaz de expressar.
Provas STARK
As provas STARK são transparentes (sem configuração confiável), resistentes à computação pós-quântica e altamente escaláveis. O tamanho da prova e o custo de verificação crescem de forma logarítmica com o tamanho da computação, o que torna lotes muito grandes eficientes.
Abstração de conta
Assim como na zkSync Era, toda conta na StarkNet é um contrato inteligente. Isso é embutido no protocolo em vez de adicionado como uma extensão, o que habilita recursos avançados de carteira por padrão.
Token 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 descentralizado que a StarkWare está construindo.
Ecossistema & uso
Para que Starknet é usado.
A StarkNet tem um ecossistema DeFi em crescimento, construído em grande parte com contratos Cairo, incluindo DEXs, mercados de empréstimo e aplicações que aproveitam a computação demonstrável para novos casos de uso.
Troque, empreste e ganhe rendimento na StarkNet. As taxas são mais baixas que na mainnet da Ethereum e cada mudança de estado é verificada por uma prova STARK na Ethereum.
Jogos demonstráveis
A Cairo permite jogos on-chain nos quais a lógica do jogo pode ser comprovada como correta, abrindo caminho para mecânicas de jogo totalmente verificáveis que não são possíveis com execução otimista.
Identidade e credenciais
O sistema de provas da StarkNet pode validar credenciais e declarações de identidade sem revelar os dados subjacentes, útil para aplicações que preservam a privacidade.
Computação em grande escala
As provas STARK escalam bem com o tamanho do lote, então a StarkNet é adequada para aplicações que precisam verificar grandes volumes de computação na Ethereum.
Principais protocolos por TVL · atualizado em 8 de junho de 2026
O que é Cairo e preciso aprendê-la para usar a StarkNet?
Cairo é a linguagem de contratos inteligentes da StarkNet, criada para escrever programas demonstráveis. Como usuário, você não precisa conhecê-la; como desenvolvedor, você precisará aprender Cairo em vez de Solidity, embora a sintaxe semelhante a Rust nas versões modernas de Cairo torne isso mais acessível.
Qual é a diferença entre STARKs e SNARKs?
As STARKs não exigem uma cerimônia de configuração confiável, o que as torna transparentes. Elas também são resistentes à computação pós-quântica. Sua desvantagem é um tamanho de prova maior em comparação com as SNARKs, embora o custo de verificação na Ethereum seja semelhante.
O que é o STRK?
O STRK é o token nativo da StarkNet, lançado em fevereiro de 2024. É usado para pagar taxas de transação e será usado para staking quando o sistema de sequenciador descentralizado da StarkNet for lançado.
Quanto tempo levam os saques da StarkNet?
A verificação por prova ZK substitui a janela de prova de fraude otimista, então os saques são mais rápidos do que em optimistic rollups. A finalização depende da geração da prova e da confirmation, normalmente medida em horas em vez de dias.
Posso guardar STRK no Zypto App?
Ainda não. STRK não está no Zypto App no momento. Você pode guardá-lo em qualquer carteira de autocustódia e pode pedir para adicionarmos Starknet usando o botão "Solicitar Starknet" acima.
