Escrito por: @Yinan_cycle
(Este artigo foi publicado pela primeira vez no PANews: StarkWare Empire: Uma análise da jornada de inovação da StarkEx e StarkNet)
fundo
A partir de 2018, a StarkWare foi pioneira no uso da prova de validade STARK para resolver o problema de escalabilidade do Ethereum. Lançou a StarkEx com base em um modelo de negócios SaaS, criou a linguagem de programação Cairo e construiu a Starknet, a primeira rede descentralizada em produção que permite escrever lógica personalizada.
A StarkWare está comprometida em ter um foco duplo em tecnologia, matemática, inovação e entrega de produtos; apoiar outras equipes no avanço do Ethereum e/ou STARK e se esforçar para tornar o produto de código aberto, descentralizado e focado em tornar o STARK um bem público;
No futuro, a StarkWare trabalhará para tornar o Starknet um conjunto de validade descentralizado e sem permissão governado pela Fundação Starknet, e se concentrará nos vários componentes da descentralização do Starknet, como Prover, Sequencer e governança.
A tecnologia STARK é baseada em provas, especificamente provas de integridade. A STARK usa matemática para garantir a integridade, garantindo que os cálculos sejam feitos corretamente mesmo quando ninguém está olhando. O conceito desta técnica começou com um artigo de 1991 de László Babai, Lance Fortnow, Leonid Levin e Mario Szegedy, que introduziu o conceito de usar um único computador confiável para monitorar um grupo de supercomputadores não confiáveis. A tecnologia, chamada “PCP”, utiliza matemática para monitorar e garantir a integridade de grandes cálculos.
A tecnologia STARK é uma versão melhorada da tecnologia PCP que permite aos pequenos utilizadores verificar e garantir o correto funcionamento de grandes corporações, monopólios ou governos. O Blockchain restaura a natureza peer-to-peer da troca de moeda, eliminando a necessidade de intermediários confiáveis. Ethereum leva este conceito ainda mais longe, permitindo a criação de programas universais que constituem a base de uma economia social.
Starware
StarkWare é uma das melhores empresas no segmento zk rollups. Foi cofundada pelo professor Eli Ben-Sasson do Instituto de Tecnologia de Israel (co-inventor do zk SNARK e zk STARK). a indústria de blockchain. Dois produtos estão sendo desenvolvidos atualmente: StarkEx e StarkNet, ambos apresentados a seguir.
Equipe Starkware
Eli Ben-Sasson: Cofundador e Cientista Chefe, Professor de Ciência da Computação no Instituto de Tecnologia Technion-Israel. Cientista fundador da Zcash e inventor dos zkSNARKs.
Alessandro Chiesa: Cofundador e Cientista Chefe, Professor de Ciência da Computação na Universidade da Califórnia, Berkeley. Cientista fundador da Zcash, co-inventor dos zk-SNARKs e desenvolvedor principal do libsnark.
Uri Kolodny: Cofundador e CEO, Uri é um empreendedor em série com rica experiência empresarial e bom em cooperação.
Michael Riabzev: cofundador e arquiteto-chefe. PhD pelo Instituto de Tecnologia de Israel, trabalhou na Intel e na IBM.
Oren Katz: Vice-presidente de Engenharia. Graduado pela Universidade Hebraica em Ciência da Computação, MBA em Tel Aviv, e é engenheiro sênior com 20 anos de experiência.
Financiamento
A empresa está avaliada atualmente em US$ 8 bilhões e recebeu total apoio de capitais como Vitalik, Paradigm e Sequioa. É a equipe com maior valorização na área de expansão.
StarkEx
Um mecanismo de escalonamento de camada 2 específico de aplicativo baseado no blockchain Ethereum, projetado para resolver os problemas de escalabilidade de redes blockchain de camada 1, como Ethereum. StarkEx permite transações rápidas e de baixo custo sem comprometer a segurança, a privacidade e a autocustódia, usando um sistema de criptografia avançado chamado provas STARK.
Ele fornece uma série de processos de aplicação para implementar cálculos off-chain baratos, empacotar múltiplas transações em uma prova STARK e, em seguida, verificá-las na cadeia, reduzindo o custo médio do gás de cada transação. O princípio de funcionamento do mecanismo de expansão StarkEx inclui quatro etapas: processamento em lote, verificação e atualização, geração de prova e verificação em cadeia.
StarkEx foi implantado com sucesso em vários aplicativos, como dYdX, Immutable, Sorare, DeversiFi e Celer.
A diferença do StarkNet é:
StarkEx e StarkNet são duas tecnologias diferentes desenvolvidas pela StarkWare. Ambas usam a tecnologia de prova de conhecimento zero STARK, mas têm objetivos e usos diferentes.
StarkEx: StarkEx é um mecanismo de escalonamento de camada 2 específico para aplicativos, focado em otimizar o desempenho de um único aplicativo no blockchain Ethereum. Ele permite transações mais rápidas e de baixo custo, agrupando múltiplas transações e verificando-as fora da cadeia. Usado principalmente em bolsas descentralizadas (DEX), mercados e jogos NFT, etc. Ao usar a tecnologia à prova STARK, a StarkEx oferece uma experiência de negociação segura, eficiente e de baixo custo.
StarkNet é uma solução Layer-2 completa, mais geral e sem permissão que fornece a todo o ecossistema Ethereum uma plataforma de computação descentralizada onde os desenvolvedores podem implantar contratos inteligentes escritos na linguagem Cairo. StarkNet oferece suporte à interação com outros contratos, permite uma rica combinação de protocolos e pode interagir com contratos Ethereum por meio de mensagens assíncronas. O objetivo é fornecer um ambiente escalável, de baixo custo e seguro no qual os desenvolvedores possam construir e implantar contratos inteligentes. Ao contrário do StarkEx, o StarkNet pode ser visto como um sistema operacional abrangente de Camada 2 que permite aos desenvolvedores criar uma variedade de aplicativos descentralizados, não apenas soluções para fins específicos.
Resumindo, StarkEx é um mecanismo de extensão de Camada 2 específico para aplicativos que se concentra na otimização de desempenho de aplicativos específicos, enquanto StarkNet é uma solução de Camada 2 mais geral e abrangente que visa fornecer uma solução descentralizada para todo o ecossistema de computação centralizada Ethereum. plataforma.
Rede Stark
Starknet é uma rede de rollup de validade descentralizada e sem permissão (também conhecida como "ZK-Rollup"). Ele opera como uma rede L2 no Ethereum, permitindo que qualquer dApp alcance computação infinitamente escalonável sem comprometer a capacidade de composição e a segurança do Ethereum, graças à Starknet contar com o sistema à prova de criptografia mais seguro e escalonável STARK.
Os contratos Starknet e o sistema operacional Starknet são escritos usando o Cairo – permitindo a implantação e o dimensionamento de qualquer caso de uso, independentemente da lógica de negócios. Starknet é uma solução de rede descentralizada de camada 2 projetada para fornecer maior escalabilidade e desempenho para aplicativos descentralizados (dApps). Ao rodar no Ethereum, ele aproveita a infraestrutura e a segurança existentes, ao mesmo tempo que fornece maior poder de computação.
Cairo é uma linguagem de programação projetada especificamente para Starknet para simplificar o desenvolvimento e implantação de contratos inteligentes. Ao usar o Cairo, os desenvolvedores podem criar facilmente aplicativos altamente escaláveis para uma variedade de casos de uso, incluindo finanças, jogos, cadeia de suprimentos e muito mais.
Starknet é um rollup de validade, o que significa que a execução dentro de cada bloco precisa ser comprovada, e é aí que os STARKs são úteis. No entanto, as provas STARK podem resolver declarações formuladas em uma linguagem de restrição polinomial e não têm conhecimento de execução de contrato inteligente. Para superar esta lacuna, o Cairo foi desenvolvido.
No geral, Starknet é uma solução de rede de camada 2 cheia de potencial que pode dar aos dApps existentes um grande avanço em escalabilidade e desempenho. Ao adotar o sistema de prova criptográfica STARK e a linguagem de programação Cairo, a Starknet fornece aos desenvolvedores uma plataforma poderosa e flexível para atender a diversas necessidades de negócios.
atualização de nova versão
O que acontece depois? Starknet Alpha v0.11.0: Começa a transição para Cairo 1.0
Outras melhorias de idioma no Cairo 1.0
Melhorias de desempenho: Conforme prometido, a Starknet continua progredindo no sentido de melhorar significativamente o TPS. A próxima etapa do roteiro é a transição para os sequenciadores Rust, que são desenvolvidos publicamente sob a licença Apache 2.0. O novo sequenciador usará nós completos Rust CairoVM e Papyrus para formar o Performance Trio.
DA fora da cadeia
Nesta versão, Starknet cuida da parte de cálculo dos custos de transação. Em uma próxima versão, serão abordados os custos de dados on-chain, que é o principal custo da transação média hoje.
Aqui está uma explicação adicional do sequenciador da Starknet:
Sequencer refere-se ao StarkNet Sequencer, que faz parte do StarkNet e tem como objetivo aumentar significativamente o throughput (número de transações por segundo) mudando para um sequenciador Rust, usando nós completos Rust CairoVM e Papyrus, formando assim um "trio de desempenho".
O "trio de desempenho" refere-se aos três componentes do StarkNet Sequencer: o sequenciador Rust, Rust CairoVM e o nó completo Papyrus. Entre eles, o sequenciador Rust é o núcleo do StarkNet Sequencer, responsável por processar transações e gerar blocos. Rust CairoVM é uma máquina virtual que pode executar contratos inteligentes na StarkNet. O nó completo Papyrus é um nó da rede StarkNet que armazena todos os dados na StarkNet e pode processar transações. Essas três partes trabalham juntas para aumentar significativamente o rendimento da StarkNet (número de transações por segundo).
Starknet v0.11.0 (atualmente apenas no testnet Goerli)
Assim que o período de testes de Goerli terminar, Starknet v0.11.0 será lançado na rede principal.
StarkNet v0.10.3 (22-12-12)
Desempenho – Cálculos de compromisso de estado separados da execução de transações
Adicionado comando starknet-class-hash para calcular o hash de classe de contratos Starknet compilados
Starknet v0.10.2 (29/11/22)
Esta versão introduz a paralelização do sequenciador!
Um novo terminal estimativa_fee_bulk é incluído no gateway do alimentador. Isto permitirá estimar taxas para diversas transações simultaneamente, onde cada transação é executada em relação ao estado resultante da transação anterior aplicada.
Starknet v0.10.1 (25/10/22)
Adicione a transação DeployAccount (ela substituirá a transação Deploy para implantar o contrato de conta). Para usá-lo, você deve primeiro adicionar fundos suficientes ao endereço da sua conta para cobrir as taxas de transação e, em seguida, ligar para DeployAccount
Divida o comando starknet deploy_accountCLI em starknet new_account e starknet deploy_account
Espera-se que os contratos de conta implantados desta maneira implementem o ponto de entrada activate_deployDeployAccount(), que deve verificar a assinatura da transação
Cálculo aprimorado da taxa L1: calcule as taxas com base nas diferenças no status de armazenamento
API: entry_point_type remove campos das informações da transação
StarkNet v0.10.0 (09/05/22)
Esta versão apresenta as próximas etapas no design de abstrações de contas Starknet, especificamente a separação de verificação/execução.
Starknet v0.9.1 (20/07/22)
Mudanças de API
StarNet CLI
Starknet v0.9.0 (6 e 22 de junho)
Esta versão traz o paradigma de classe/instância de contrato para Starknet
Sobre a conta
Estrutura da conta Ethereum
No Ethereum, as contas de usuários individuais são chamadas de contas de propriedade externa (EOAs).
Os EOAs diferem dos contratos inteligentes porque não são controlados por código. A EOA é determinada por um par de chaves privada e pública.
O endereço da conta é derivado dessas chaves, e as transações só podem ser iniciadas a partir da conta se alguém tiver a chave privada. Embora os contratos Ethereum sejam “passivos”, o que significa que só podem mudar quando chamados em uma transação, os EOAs podem iniciar transações.
Apesar da sua simplicidade, os EOAs têm uma grande desvantagem: não há flexibilidade no comportamento da conta. O protocolo Ethereum determina quando as transações iniciadas pelos EOAs são válidas (o esquema de assinatura é fixo). Em particular, o controlo da chave pública dá controlo total sobre a conta. Embora em teoria este seja um método seguro de gerenciamento de contas, na prática ele tem algumas desvantagens, como exigir que você mantenha sua frase-semente segura e ao mesmo tempo torná-la acessível para você e ter flexibilidade limitada com recursos de carteira.
EIP-4337 é uma proposta de design para Ethereum que descreve uma abstração de conta para gerenciar todas as contas por meio de contratos inteligentes dedicados na rede Ethereum para aumentar a flexibilidade e usabilidade. Você pode adicionar abstração de conta ao Ethereum adicionando lógica personalizada além da funcionalidade básica do EOA.
O que é abstração de conta?
A ideia por trás da abstração de contas é permitir mais flexibilidade no gerenciamento de contas, em vez de ter seu comportamento determinado no nível do protocolo. Isto pode ser conseguido através da introdução de contratos de conta – contratos inteligentes com lógica programável que determinam o comportamento da conta do usuário.
Usando a abstração de conta, agora você pode programar a funcionalidade da sua conta.
Por exemplo, você pode:
Determine o que significa uma assinatura válida ou com quais contratos sua conta pode interagir. Isso é chamado de "abstração de assinatura"
Pague taxas de transação em tokens diferentes - isso às vezes é chamado de "abstração de taxas"
Projete seu próprio mecanismo de proteção de reprodução e permita que múltiplas transações não relacionadas sejam enviadas em paralelo. Compare isso com a solução nonce sequencial usada no Ethereum, que resulta em transações de natureza sequencial, mesmo que você queira enviar duas transações em paralelo, é necessário aguardar algumas confirmações da primeira transação antes de enviar as duas segundas transações. Caso contrário, a segunda transação poderá ser rejeitada devido a um nonce inválido. Usando a abstração de conta, diferentes soluções podem ser discutidas para contornar o requisito do nonce sequencial. Isso é chamado de "abstração nonce".
Hoje, Starknet fornece abstração de assinatura. No futuro, a Starknet enriquecerá o design de abstração da conta corrente.
Dois exemplos de funcionalidade de conta personalizada usando abstração de conta
Recuperação Social Este é um processo que permite recuperar sua carteira através de uma rede social de sua escolha quando você a perde, melhorando muito a experiência típica de recuperação de carteira.
Opere sua conta com reconhecimento facial Com a abstração de assinatura, você pode assinar transações usando o hardware nativo do seu telefone, tornando praticamente impossível assumir o controle da conta de outro usuário (mesmo no caso de o próprio telefone ser roubado).
Esses exemplos demonstram como a abstração de contas pode ser aproveitada para fornecer aos usuários uma experiência de carteira e gerenciamento de contas mais flexível, segura e altamente personalizada. Ao escrever uma lógica personalizada, os usuários podem adaptar a funcionalidade da conta às suas necessidades e preferências, melhorando a segurança e ao mesmo tempo melhorando a facilidade de uso.
O contrato da conta Starknet deve incluir as duas funções a seguir
validar
executar
Essas funções têm finalidades diferentes para garantir que apenas o proprietário da conta possa iniciar transações e que você possa ser cobrado pelos recursos usados.
Os tipos de conta da Starknet são inspirados no Ethereum EIP-4337, onde em vez de EOA (conta de propriedade externa), você agora usa contas de contrato inteligente com lógica de verificação arbitrária.
Ao usar contratos inteligentes, obtém-se flexibilidade total na implementação de contas.
Embora não seja obrigatório no nível do protocolo, a comunidade desenvolveu uma interface de conta padrão mais rica. Este padrão foi desenvolvido pela OpenZeppelin, trabalhando em estreita colaboração com a equipe da carteira e outros desenvolvedores principais da Starknet.
Economia de tokens:
O papel dos tokens:
taxa de transação:
Atualmente, as taxas na StarkNet são pagas em Ethereum (ETH). Mais tarde, porém, esperamos que as taxas sejam pagas inteiramente usando tokens nativos da StarkNet. Para apoiar uma boa experiência do usuário, mecanismos on-chain automatizados e descentralizados permitirão que os usuários paguem taxas em ETH.
Juramento:
Certos serviços essenciais para a atividade e segurança da StarkNet podem exigir o staking de tokens StarkNet. Esses serviços podem incluir pedidos, obtenção de consenso provisório de L2 antes de atingir os resultados finais de L1, serviços de atestado STARK e provisionamento de disponibilidade de dados.
Governança:
As propostas para melhorar a StarkNet exigirão um limite mínimo de suporte de token a ser definido posteriormente. Todas as alterações no protocolo que são críticas para a atividade, segurança e manutenção da StarkNet exigem votação, diretamente ou por delegação. Por exemplo, todas as principais atualizações do sistema operacional StarkNet exigem a aprovação do detentor do token.
Montante total: 10 bilhões, distribuição inicial de tokens: Token Economics
17% – investidores StarkWare
32,9% — Contribuintes principais: StarkWare e seus funcionários e consultores, e parceiros de desenvolvimento de software StarkNet
StarkWare concede 50,1% à Fundação para os seguintes fins:
9% - Fornecimento Comunitário: Usado para recompensar pessoas que trabalham na StarkNet e fornecer suporte para sua tecnologia subjacente, como aqueles que usaram o sistema StarkEx L2 no passado. É importante ressaltar que todo o reabastecimento da comunidade será baseado em trabalho verificável que foi concluído no passado. Por exemplo, para usuários anteriores da StarkEx, as alocações serão determinadas com base no uso verificável da tecnologia StarkEx ocorrido antes de 1º de junho de 2022.
9% — Desconto da comunidade: parcialmente usado para cobrir o custo de mudança do Ethereum para o StarkNet. Para evitar a gamificação, os descontos da comunidade só se aplicam a transações que ocorreram após o anúncio do mecanismo de descontos.
12% — Financiamento para pesquisa e desenvolvimento, teste, implantação e manutenção do protocolo StarkNet.
10% - reserva estratégica para financiar atividades ecossistêmicas condizentes com a missão da fundação.
2% — doados a instituições e organizações altamente respeitadas, como universidades, ONGs, etc., decididas em conjunto pelos detentores de tokens StarkNet e pela Fundação.
8,1% — Não alocado: As reservas financeiras não alocadas da Fundação serão usadas para apoiar ainda mais a comunidade StarkNet, com métodos de apoio específicos determinados pela comunidade.
A fim de alinhar os incentivos de longo prazo dos principais contribuidores e investidores com os interesses da comunidade StarkNet e seguir as práticas do ecossistema descentralizado, todos os tokens atribuídos aos principais contribuidores e investidores estarão sujeitos a um período de bloqueio de 4 anos. , com lançamento linear e penhasco de um ano.
Se você for um usuário final, use o StarkNet somente se ele atender às suas necessidades atuais. Use-o para transações e aplicações que você valoriza, em vez de esperar retornos futuros de tokens StarkNet. Quando os fornecimentos comunitários forem anunciados, eles se referirão apenas a instantâneos ocorridos antes da data do anúncio, filtrando e excluindo usos considerados abusivos e manipuladores da rede com base nas informações disponíveis no momento. Quando os sistemas de descontos comunitários são estabelecidos, eles nunca se aplicarão a transacções que ocorreram antes do anúncio do desconto, pelo que negociar hoje na expectativa de descontos futuros é inútil.
Com base na análise resumida da economia simbólica acima:
Os primeiros 9% da parte do fornecimento comunitário podem ser entregues aos usuários, o que significa que os usuários serão divididos entre os 450 milhões junto com aqueles que trabalham para a Starknet e fornecem suporte técnico e desenvolvimento.
O segundo desconto comunitário de 9% é usado para subsidiar as taxas de manuseio após o anúncio das regras de desconto subsequentes. É inútil pagar as taxas de manuseio antes que as regras sejam anunciadas.
A terceira reserva estratégica de 10% é utilizada para aplicações ecológicas na cadeia e é alocada para protocolos de aplicação ecológica.
modelo de negócio
StarkEx vende serviços de motores de tecnologia personalizados e cobra taxas de serviço diretamente dos clientes com necessidades de expansão. É essencialmente um serviço 2B personalizado.
Crie uma rede StarkNet descentralizada de camada 2 que suporte a implantação independente de dApps. Ele pode cobrar taxas de transação de camada 2 dos usuários e também pode obter o valor do MEV por meio do mecanismo de leilão do sequenciador. Também pode emitir tokens no futuro e usar tecnologia e fundos. para incubar projetos StarkNet.
Resumir
StarkWare é uma das melhores empresas no circuito zk rollups, com produtos que incluem StarkEX e StarkNet.
StarkEx é um mecanismo de extensão Layer2 que fornece serviços técnicos para dApps.
StarkNet é uma solução Layer-2 mais geral e completa que não precisa de permissão.
Existem mais de 80 membros da equipe, e os membros principais são bastante atraentes. Eli Ben-Sasson é o cientista fundador da Zcash e o inventor dos zkSNARKs. a avaliação atual chega a 8 bilhões. Os principais VCs e indivíduos como paradigma, Pantera, polychain e Buterin são todos investidores da StarkWare.
Em termos de aplicações ecológicas, porque é utilizada a linguagem Cairo, não é compatível com EVM, pelo que o progresso no desenvolvimento ecológico será mais lento. Actualmente, está a começar a transição para Cairo 1.0 e a desenvolver-se para um TPS mais elevado. mas a experiência atual do aplicativo não é muito tranquila e ainda há uma lacuna entre a tecnologia e a realidade. Espero ver um melhor desenvolvimento do Starknet no futuro.