O que é StarkNet?

Starknet é uma solução de escalabilidade Layer2 que nasceu dentro do ecossistema blockchain Ethereum. Este projeto, conhecido como "zk-Rollup" ou "Validity Rollup", visa melhorar a velocidade e acessibilidade das transações na rede Ethereum processando a maioria das operações de transação fora do Ethereum e fornecendo prova dessas transações à rede principal. Desenvolvido por Indústrias StarkWare, é uma empresa com vasta experiência no setor de criptografia blockchain e conta com o apoio de importantes investidores como Sequoia Capital, Paradigm e Coatue.

Rede Stark, zk-Rollups para Ethereum

Há pouco mencionamos que Rede Stark É um “Validity Rollup” ou “zk-Rollup” que opera na rede Ethereum. Isto tem como objetivo processar a maioria das operações de transação fora do Ethereum e, em seguida, fornecer prova dessas transações para a rede principal. Então, Rede Stark Ele consegue reduzir significativamente a carga na Camada 1 (Ethereum on-chain) e permite transações mais rápidas e baratas.

Isso é possível porque Rede Stark funciona como um «Camada2 de commits». Ou seja, tudo o que é feito em Rede Stark (Layer2), é enviado como um commit criptográfico para a Layer1 (neste caso Ethereum), onde é então escrito nas informações do bloco e registrado perenemente como se fosse apenas mais uma transação Ethereum. Assim que o commit atingir a Camada 1, qualquer pessoa que tenha acesso poderá pegar a prova e verificá-la usando provas de conhecimento zero, mais precisamente, usando zk-STARKs, um desenvolvimento idealizado por Rede Stark e a sua maior contribuição para o Criptografia ZKP (Zero Provas de Conhecimento).

O melhor de tudo é que este teste não revela nenhuma informação sobre as operações executadas no Rede Stark. Ele fornece apenas as informações "necessárias e suficientes" para verificar se as operações no commit estão corretas. O resto da informação é totalmente privada, o que torna Rede Stark É uma poderosa camada 2 de privacidade. Além de lhe proporcionar uma enorme segurança, tudo graças à utilização do ZKP. Tudo isso continuando a oferecer compatibilidade com Ethereum, capacidade de gerar contratos inteligentes seguros e privados graças ao Cairo e sua Máquina Virtual Cairo (CMV), entre outros grandes avanços.

Graças a isto Rede Stark tornou-se um dos grandes Layer2 do Ethereum. Com um valor total bloqueado (TVL) de mais de 700 milhões de dólares, um volume de negociação que excede um trilhão de dólares e um forte ecossistema DeFi e dApps em desenvolvimento dentro dele. Tudo isto é um exemplo do enorme potencial que Rede Stark é capaz de alcançar e oferecer aos seus usuários e desenvolvedores.

Principais características de Rede Stark

Como pode ver Rede Stark Tem enormes avanços para tornar tudo isso possível. Avanços entre os quais destacaremos:

• Custos baixos: uma das principais características Rede Stark é que as operações que você realiza nesta rede são mais baratas do que no Ethereum. Além disso, atualizações futuras como Volition e EIP 4844 reduzirão ainda mais os custos de tais operações no futuro.
• Velocidade e eficiência: Sendo uma camada2, Rede Stark Ele garante aos seus usuários e desenvolvedores velocidade e eficiência superiores ao que você pode ver em redes como Ethereum.
• Fácil de usar para desenvolvedores: outro grande ponto a favor Rede Stark é que as ferramentas de desenvolvimento de rede facilitam muito o desenvolvimento de aplicativos descentralizados usando ZKP. Isso é possível graças ao Cairo, uma linguagem de programação nativa da StarkNet que torna o desenvolvimento usando criptografia ZKP muito mais fácil e seguro.
• CVM (Máquina Virtual do Cairo): ao lado de Rede Stark Ele roda em sua própria máquina virtual (VM) chamada Cairo VM (CVM), permitindo inovação além da Máquina Virtual Ethereum (EVM). Todos os novos recursos exclusivos que cabem nesta VM. Rede Stark pode oferecer aos seus usuários e desenvolvedores.
• Pagador: permite que os usuários escolham como pagar as taxas de transação, seguindo as diretrizes estabelecidas no EIP 4337 e apoiando transações sem gás, melhorando a acessibilidade do usuário.
• Governança: a Fundação Rede Stark supervisiona a governança de Rede Stark, permitindo que os membros influenciem o protocolo votando nas mudanças por meio de Rede Stark Propostas de Melhoria (SNIP).
• zk-STARK: usa testes zk-STARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge) para fornecer baixas taxas de gás sem comprometer a segurança do Ethereum e demonstrou um histórico de testes bem-sucedido.
• Token nativo STRK: Rede Stark está programado para lançar seu próprio token nativo chamado STRK e será usado para cobrir taxas de transação, governança e participação dentro da rede Rede Stark.

Como funciona o Starknet: navegando em seus recursos

Agora que sabemos um pouco mais sobre Rede Stark e suas principais características, é hora de conhecê-los com maior profundidade e como no seu conjunto nos permitem Rede Stark trabalhar

zk-STARK, o núcleo criptográfico

zk-STARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge) é um sistema de prova de conhecimento zero que permite que uma parte prove a veracidade de uma declaração sem revelar qualquer informação adicional além da veracidade da própria declaração. É altamente escalável e transparente, o que significa que pode lidar com um grande volume de transações e fornecer provas de forma eficiente.

Ao usar zk-STARK, Rede Stark pode ser feito com vários benefícios, incluindo:

• Melhor escalabilidade: zk-STARK permite o processamento eficiente de um grande volume de transações, contribuindo para a escalabilidade de redes blockchain como Rede Stark.
• Melhor privacidade: fornecendo provas de conhecimento zero, Rede Stark permite a verificação de cálculos sem revelar informações confidenciais, melhorando a privacidade das transações.
• Segurança estendida: zk-STARK melhora a segurança das transações, garantindo a integridade e validade das transações, mantendo a privacidade.
• eficiência: Ao mover os cálculos para fora da cadeia e usar o zk-STARK, a eficiência das redes blockchain é melhorada ao processar um volume maior de transações fora da cadeia principal.

Testadores e Validadores

Dentro Rede Stark, “testadores” e “validadores” desempenham papéis cruciais no processamento e verificação de transações. Aqui estão as informações detalhadas sobre essas funções:

• Testadores (Operadores ZK): São os responsáveis ​​​​pela preparação dos testes zk-STARK para transações em Rede Stark, orquestrando a estrutura de dados da árvore Merkle para criar testes precisos e confiáveis. Sua principal função é desenvolver provas criptográficas que garantam a precisão e confiabilidade das transações, o que contribui para a integridade e segurança da rede.
• Validadores: Atuam como verificadores da autenticidade, confirmando a validade dos testes ZK, o que é essencial para a integridade e precisão da execução dos contratos. Garantem a legitimidade das transações e a execução segura dos contratos, desempenhando um papel crucial na verificação e validação das provas ZK.

Processo de Validação

O processo de validação em Rede Stark envolve verificação de transações e testes computacionais para garantir a integridade e precisão das operações dentro da rede. Este processo é crucial para manter a segurança e a confiabilidade dos aplicativos descentralizados (dApps) executados em Rede Stark. Abaixo está uma visão geral do processo de validação:

• Envio de transações: Os usuários enviam transações para Rede Stark para processamento, que pode envolver diversas operações dentro de aplicações descentralizadas ou contratos inteligentes.
• Geração de teste: Os operadores, também conhecidos como “sondas”, geram provas de conhecimento zero (provas ZK) para transações. Esses testes são evidências criptográficas de que os cálculos realizados são válidos sem revelar informações confidenciais.
• Verificação de teste: Os validadores desempenham um papel fundamental no processo de validação, verificando a autenticidade e a precisão das provas ZK enviadas pelos operadores. Eles garantem que os cálculos e transações cumpram regras predefinidas e sejam válidos na rede.
• Consenso e propósito: Uma vez validados os testes ZK, um mecanismo de consenso dentro Rede Stark finaliza as transações, garantindo que elas sejam adicionadas ao blockchain de maneira segura e à prova de falsificação.
• Execução e liquidação: As transações validadas são então executadas e as alterações de estado resultantes são liquidadas na rede, atualizando o livro-razão e os contratos inteligentes relevantes de acordo.

Cairo e Cairo VM

Outra parte importante no funcionamento da StakNet é o Cairo e o seu VM, Cairo VM (CVM). Abaixo está uma explicação detalhada do Cairo e Cairo VM dentro Rede Stark:

Cairo

Cairo é uma linguagem de alto nível que foi desenvolvida para oferecer um ambiente seguro e eficiente para a criação de contratos inteligentes em Rede Stark. Suas principais características incluem:

• Segurança e verificação. O Cairo foi projetado com foco na segurança e na verificação. Seu design tem como foco reduzir a possibilidade de erros e vulnerabilidades em contratos inteligentes.
• Eficiência. O Cairo está otimizado para uma execução eficiente no Cairo VM, o que significa que os contratos redigidos no Cairo podem ser executados de forma eficiente, reduzindo os custos do gás e melhorando o desempenho.
• Facilidade de uso. Embora seja uma linguagem poderosa, Cairo foi projetado para ser acessível, com sintaxe clara e ferramentas de desenvolvimento que facilitam a criação e manutenção de contratos inteligentes.

VM do Cairo

Por sua vez, Cairo VM é a máquina virtual que executa contratos inteligentes escritos no Cairo. Alguns aspectos importantes do VM Cairo são:

• Execução eficiente. Cairo VM é otimizado para execução eficiente de contratos redigidos no Cairo, contribuindo para a escalabilidade e eficiência do Rede Stark.
• Segurança. Tal como a linguagem do Cairo, o Cairo VM centra-se na segurança e integridade da execução de contratos inteligentes, o que é fundamental para a fiabilidade das aplicações descentralizadas em Rede Stark.
• Interoperabilidade. Cairo VM foi projetado para ser interoperável com a rede Ethereum, permitindo a execução de contratos inteligentes em Layer2 com a segurança e confiabilidade da rede principal.

Em resumo, o Cairo e o Cairo VM são componentes cruciais da Rede Stark, proporcionando um ambiente seguro, eficiente e escalável para a criação e execução de contratos inteligentes na rede Ethereum.

Token STRK

O token STRK é o token nativo de Rede Stark. O lançamento deste token, previsto para 20 de fevereiro de 2024, envolve uma distribuição que abrange cerca de 1,3 milhões de carteiras elegíveis, com um fornecimento total de 10 mil milhões de tokens.

A principal função do token STRK é impulsionar a participação da comunidade e a governança do projeto em Rede Stark, permitindo que usuários, desenvolvedores e colaboradores do ecossistema de Rede Stark, bem como construtores Ethereum, partes interessadas e desenvolvedores de código aberto, para participarem da rede. Além disso, a distribuição de tokens STRK visa priorizar primeiro os usuários, colaboradores e desenvolvedores da StarkNet, promovendo uma cultura de inclusão no espaço de desenvolvimento em geral.

Os tokens serão alocados em nove categorias, e os participantes do ecossistema usarão os tokens para governança, pagando taxas, com uso para staking planejado no futuro. Em resumo, o token STRK desempenha um papel fundamental na descentralização e governança de Rede Stark, permitindo a participação ativa de uma ampla gama de partes interessadas no ecossistema.

Distribuição de tokens STRK

A distribuição de tokens STRK foi projetada para promover participação diversificada e recompensar uma ampla gama de contribuidores dentro da rede Rede Stark. Alguns aspectos importantes da distribuição de tokens STRK incluem:

• Escopo e duração. A distribuição ocorrerá de 20 de fevereiro a 20 de junho, abrangendo quase 1.3 milhão de carteiras elegíveis, permitindo aos usuários reivindicar seus tokens durante um período de quatro meses.
• Quantidade e finalidade. Mais de 700 milhões de tokens STRK, representando 7% do fornecimento total de 10 mil milhões, serão distribuídos, destacando o compromisso da fundação com a descentralização e a governação comunitária no ecossistema. Rede Stark.
• Elegibilidade. A elegibilidade para reivindicar tokens STRK se estende a vários segmentos da comunidade, incluindo os primeiros a adotar Rede Stark, contribuidores do Ethereum e desenvolvedores de código aberto, que desempenharam papéis essenciais no avanço e teste da tecnologia baseada em Stark.
• Iniciativas comunitárias. La Rede Stark A Fundação liderou várias iniciativas comunitárias para encorajar a participação e a descentralização no ecossistema, incluindo o programa “devonomys” e esforços futuros, tais como descontos e subsídios para incentivar a actividade do ecossistema.

Em resumo, a distribuição de tokens STRK concentra-se na ampla inclusão e na recompensa de diversos contribuidores, e é apoiada por iniciativas para fortalecer a participação comunitária e a descentralização no ecossistema de Rede Stark.

Conclusão

Rede Stark representa um avanço significativo no ecossistema Ethereum, oferecendo uma solução Layer2 que aproveita a criptografia de conhecimento zero para melhorar a escalabilidade, privacidade e eficiência de aplicações descentralizadas.

Com o seu foco na segurança, descentralização e governação comunitária, Rede Stark está bem posicionada para desempenhar um papel fundamental no futuro da Ethereum como uma rede de Camada 2. Além disso, seu token nativo, STRK, e distribuição inclusiva demonstram um compromisso com a participação e descentralização da comunidade, estabelecendo as bases para um ecossistema robusto e diversificado.

Desta forma, o desenvolvimento e adoção contínuos, Rede Stark tem o potencial de contribuir significativamente para a expansão e utilidade do Ethereum, estabelecendo-se como uma rede Layer2 líder no ecossistema blockchain.