StarkWare: Explorando a jornada inovadora do StarkEx e StarkNet

A StarkWare começou a aplicar a tecnologia de prova de validade STARK em 2018 para resolver o problema de escalabilidade do Ethereum. A empresa lançou o StarkEx, baseado no modelo SaaS, criou a linguagem de programação Cairo e construiu o Starknet — a primeira rede descentralizada de nível de produção que permite a escrita de lógica personalizada.

A StarkWare está comprometida com a dupla atenção à tecnologia, matemática, inovação e entrega de produtos; apoia as equipas que promovem a Ethereum e a tecnologia STARK; esforça-se por alcançar a abertura do produto, descentralização e tornar o STARK um produto público.

No futuro, a StarkWare irá concentrar-se em desenvolver a Starknet como um rollup de validade descentralizado sem permissão, governado pela Fundação Starknet, focando nas várias componentes descentralizadas da Starknet, como Prover, Sequencer e governança.

A tecnologia STARK baseia-se em provas de integridade, utilizando matemática para garantir a correção dos cálculos. Este conceito originou-se de um artigo de 1991, que apresentou a ideia de usar um único computador confiável para monitorar um grupo de supercomputadores não confiáveis. O STARK é uma versão aprimorada dessa tecnologia, permitindo que pequenos usuários verifiquem o funcionamento correto de grandes instituições.

Visão Geral da StarkWare

A StarkWare é uma das empresas líderes no campo dos zk rollups, co-fundada pelo professor Eli Ben-Sasson do Instituto de Tecnologia de Israel (um dos co-inventores do zk SNARK e zk STARK). A empresa atualmente desenvolveu dois produtos: StarkEx e StarkNet.

Membros da equipe principal

• Eli Ben-Sasson: cofundador e cientista-chefe, professor de informática no Instituto de Tecnologia de Israel, cientista fundador do Zcash, inventor do zkSNARKs.
• Alessandro Chiesa: cofundador e cientista-chefe, professor de informática na Universidade da Califórnia, Berkeley, cientista fundador da Zcash, co-inventor do zk-SNARKs.
• Uri Kolodny: co-fundador e CEO, um empreendedor em série experiente.
• Michael Riabzev: cofundador e arquiteto-chefe, doutor pelo Instituto de Tecnologia de Israel.
• Oren Katz: Vice-Presidente de Engenharia, engenheiro experiente com 20 anos de experiência.

Situação de financiamento

A StarkWare está atualmente avaliada em 8 mil milhões de dólares, tendo recebido o apoio de capitalistas conhecidos como Vitalik, Paradigm e Sequoia, e é a equipe com a maior avaliação na área de escalabilidade.

StarkEx

StarkEx é um motor de expansão específico de aplicação Layer-2 baseado em Ethereum, projetado para resolver os problemas de escalabilidade das redes de blockchain Layer-1. Ele utiliza o sistema de provas STARK para realizar transações rápidas e de baixo custo, ao mesmo tempo garantindo segurança, privacidade e autocustódia.

StarkEx oferece uma série de processos de aplicação para implementar cálculos off-chain de baixo custo, agrupando várias transações em uma prova STARK e, em seguida, verificando na cadeia, reduzindo assim o custo médio de combustível por transação.

StarkEx foi aplicado com sucesso em vários projetos, como dYdX, Immutable, Sorare, DeversiFi e Celer.

Starknet

Starknet é uma rede de validação descentralizada sem permissão (ZK-Rollup). Funciona como uma rede L2 sobre o Ethereum, permitindo que qualquer dApp realize computação escalável infinita sem comprometer a combinabilidade e a segurança do Ethereum.

Os contratos e o sistema operacional do Starknet são escritos em Cairo, suportando a implementação e expansão de qualquer caso de uso. Cairo é uma linguagem de programação projetada especificamente para o Starknet, destinada a simplificar o desenvolvimento e a implementação de contratos inteligentes.

Atualização de versão

Starknet continua a atualizar versões, incluindo principalmente:

• Transição para Cairo 1.0
• Melhoria de desempenho, incluindo a transição para o sequenciador Rust
• Tratamento da disponibilidade de dados off-chain
• Introdução ao design de abstração de contas

Abstração de Conta

Starknet adota um design de abstração de contas, permitindo que os usuários personalizem as funcionalidades das contas. As principais características incluem:

• Abstração de assinatura
• Abstração de custos
• Abstração de Nonce

Os contratos de conta Starknet devem conter duas funções: validate e execute.

economia de tokens

O principal objetivo do token Starknet inclui:

• Pagamento de taxas de transação
• Staking
• Governança

O total é de 10 bilhões, a distribuição inicial é a seguinte:

• 17% para investidores da StarkWare
• 32,9% para contribuintes principais
• 50.1% concedido à fundação, para suprimentos comunitários, reembolsos, pesquisa e desenvolvimento, reservas estratégicas, etc.

Modelo de Negócio

1. Venda de serviços de motor tecnológico personalizado StarkEx
2. Criar uma rede Layer2 descentralizada StarkNet, obtendo valor através de taxas de transação, MEV e economia de tokens.