Autor: Anci, contribuidor principal do Biteye

Em comparação com outras narrativas barulhentas no mundo web3, a trilha ZK representou por muito tempo uma construção de infraestrutura longa e enfadonha, mas significativa. É como uma prática espiritual difícil. As pessoas lá dentro estão lutando para encontrá-la, enquanto as pessoas lá fora olham para as flores na neblina. No entanto, a boa notícia é que a velocidade de desenvolvimento do ZK nos últimos dois anos excedeu em muito as expectativas. A dupla ZK Rollup, ZkSync e Starknet, alcançou enormes melhorias em desempenho e custo. Após a atualização do Ethereum EIP-4844, o ZK Rollup tornou-se gradualmente mais forte na competição com o OP Rollup. O que é ainda mais emocionante é que o ex-concorrente StarkWare colaborou com a Polygon Labs para atualizar o protocolo STARK, que sempre representou a força de ponta do ZK, e lançou oficialmente o Circle STARK, trazendo outro salto nas capacidades de prova do ZK. Se você leu o artigo do ano passado (L2 Summer está chegando? Um artigo para dominar os princípios técnicos e a ecologia da StarkNet), você deseja ter uma compreensão mais profunda do maravilhoso processo de prova ZK por trás da Starknet, mas é prejudicado por vários desafios matemáticos assustadores fórmulas e complexidades da escola técnica, então você também pode seguir este artigo para entender algumas questões importantes sobre ZK. Tentaremos evitar a chata parte matemática e, em vez disso, discutiremos as vantagens técnicas do Starknet, especialmente os principais avanços lançados recentemente. 01 Vamos começar com ZK é um rótulo e a abreviatura de Zero Knowledge Proof Systems. Como ciência atual, ZK se revela uma lenda misteriosa - provando um certo fato sem revelar qualquer informação adicional. Como alcançar esse objetivo ideal? Aqui precisamos fazer uma analogia com uma situação que é familiar a todos os alunos que a vivenciaram. Normalmente, a maneira mais simples de um aluno provar sua excelência acadêmica é produzir um histórico escolar. Com base na garantia de que o sistema de exame é eficaz e justo, um histórico escolar com nota ponderada A pode muitas vezes endossar o nível acadêmico de um aluno sem mostrar qualquer conteúdo acadêmico específico. O processo de prova ZK também é muito semelhante. Simplificando, seus membros principais têm duas partes: Provador e Verificador. O certificador é como o sistema de exame da escola. Ele tem um processo fixo para gerar históricos escolares para os alunos como prova das habilidades acadêmicas dos alunos e enviá-los aos pais/empresas como verificadores. Aqui podemos ver que a parte mais difícil de todo o processo de prova é o processo em que o provador gera a prova. Na prova ZK concreta, ela pode ser dividida em duas partes - comprometimento aritmético e polinomial. 1.1 Aritmética Aritmética serve para converter problemas de prova complexos em problemas algébricos. Especificamente, é para converter a testemunha (Testemunha) que queremos provar em um conjunto de restrições polinomiais (Restrições Polinomiais). Isso é semelhante à forma como convertemos as habilidades acadêmicas dos alunos por meio de exames em um conjunto de pontuações. Testemunha: Testemunha é o que normalmente chamamos de dados brutos de cálculos fora da cadeia, incluindo dados de transações, dados de status da conta, resultados de cálculos intermediários, etc. é público. Restrições polinomiais: restrições polinomiais. O que precisa ser feito no processo de prova ZK é transformar problemas complexos em problemas matemáticos. A parte mais crítica do método de prova matemática é encontrar um polinômio e finalmente provar que você realmente o encontrou. As restrições polinomiais referem-se às condições que o polinômio precisa satisfazer. 1.2 Compromisso Polinomial O compromisso polinomial consiste em provar em uma prova matemática específica que você encontrou um polinômio (Polynomial) que satisfaz todas as restrições geradas pela aritmética na etapa anterior. Se o polinômio for válido, então a prova matemática foi bem-sucedida, o que significa que o problema que queremos provar é verdadeiro. Esse processo é semelhante ao modo como finalmente obtemos uma nota média ponderada ou histórico escolar, o que pode garantir que as notas do aluno sejam todas A, comprovando assim a excelência acadêmica do aluno. Mas você pode questionar que, na vida real, uma transcrição muitas vezes não consegue expressar com precisão a capacidade acadêmica de uma pessoa, porque ainda existem muitas lacunas e incontroláveis ​​em nosso sistema de exames humanos. No mundo do ZK, com a ajuda da matemática com procedimentos claros de certo e errado e abertos e transparentes, esse desejo está sendo realizado (assim como os contratos inteligentes e o blockchain garantem justiça e transparência). 02 SNARK vs STARK SNARK e STARK são atualmente os dois protocolos de prova ZK mais comumente usados ​​e também são os protocolos subjacentes usados ​​por ZkSync e Starknet, respectivamente. Porque nomes e faixas semelhantes são frequentemente comparados. No entanto, antes de comparar, poderíamos também apresentar duas figuras para compreender melhor os sistemas de prova ZK construídos por estes dois protocolos do ponto de vista da história do desenvolvimento. 2.1 Groth e SNARK Jens Groth é professor do Departamento de Ciência da Computação da UCL (agora professor honorário, atualmente atuando como cientista-chefe do Nexus, na direção zkVM). Essa pessoa tem sido produtiva todos os anos desde 2009, publicando muitos artigos relacionados ao conhecimento zero. Groth09, Groth10, etc. que ouvimos frequentemente na área ZK são compostos por seu nome e o ano de publicação. (Observação: normalmente, como os nomes dos artigos são longos e difíceis de pronunciar, a comunidade acadêmica usará o nome + ano, e a abreviatura se refere a alguns artigos importantes. Os mais comuns são BBHR18, que lançou as bases para STARK, e PGHR13, que foi usado por Zcash Ambos foram escritos por várias pessoas. As iniciais do autor são combinadas com o ano.) São dois. os mais famosos: [Groth10] Short Pairing - Baseado em argumentos não interativos de conhecimento zero, um esquema de prova não interativo completo é proposto e é considerado o pioneiro teórico do SNARK. 【Groth16】Sobre o tamanho dos argumentos não interativos baseados em emparelhamento, com base no Groth10, simplifica o tamanho da prova e melhora a eficiência da verificação, e ainda é amplamente utilizado hoje. É com base na pesquisa de Gorth que o SNARK foi desenvolvido e melhorado. SNARK, que significa Succinct Non-interactive Argument of Knowledge, é um sistema conciso de prova de conhecimento zero. Sua usabilidade extremamente forte permitiu que o ZK fosse rapidamente aplicado no campo da criptomoeda. 2.2 Eli Ben-Sasson e STARK Vale ressaltar que o cofundador do Zerocash, o primeiro protocolo a aplicar SNARK à criptomoeda, não foi outro senão Eli Ben-Sasson – mais tarde cofundador da StarkWare e fundador da STARK. Um dos inventores. Além disso, Eli Ben-Sasson promoveu ativamente a implementação do protocolo SNARK nos primeiros anos e publicou artigos sucessivamente em 2013 e 2014, propondo e otimizando a estrutura do SNARK, melhorando a praticidade e a eficiência e ajudando o SNARK a realmente ganhar atenção generalizada. e aplicação. No entanto, talvez eles estejam muito familiarizados com as dificuldades enfrentadas pelo SNARK. Em 2018, Eli Ben-Sasson e outros publicaram [BBHR18] A integridade computacional segura escalável, transparente e pós-quântica foi proposta oficialmente. propôs uma solução mais completa para a solução do ZK Rollup. STARK - Argumento de Conhecimento Transparente Escalável, tem vantagens em provas em larga escala, e todo o processo de prova é transparente, sem depender de terceiros confiáveis, e possui segurança de nível de ataque anti-quântico. (Nota: É preciso afirmar que, embora as histórias épicas heróicas sejam sempre populares, nenhuma conquista pode ser alcançada por uma pessoa que vira a maré. Pelo contrário, tanto SNARK quanto STARK são o resultado dos esforços conjuntos de inúmeros cientistas. Nós carregamos O propósito de falar sobre um único personagem é apenas tornar esta história de desenvolvimento chave de ZK mais vívida sob um aspecto. Mesmo que alguém seja grande como Groth, seu artigo deve ser baseado na pesquisa de KZG e outros (Aniket Kate, Gregory Zaverucha). , Ian Goldberg). Isso só pode ser realizado em termos de resultados, e todos os autores que propuseram o STARK têm habilidades únicas. Podemos continuar a nos aprofundar no futuro) 2.3 SNARK vs STARK Então, qual foi o motivo que fez Eli Ben-. Sasso decidiu começar um novo negócio? Que dificuldades o SNARK enfrenta? 2.3.1 Transparência Antes de responder à pergunta acima, podemos querer responder a outra pergunta: No campo da criptografia, o que é mais caro? A resposta dada por Satoshi Nakamoto é – confiança. SNARK acaba de entrar neste campo minado. SNARK adota o método KZG ao fazer compromissos polinomiais, e o compromisso KZG requer uma configuração confiável para gerar uma sequência de sequências de referência comuns (Common Reference String, CRS) e, em seguida, gerar a senha no processo de prova e verificação. Voltando ao exemplo do nosso boletim escolar, a razão pela qual os pais ou as empresas podem julgar a excelência académica de um aluno quando vêem uma nota média A é porque todos concordamos que a ordem da capacidade académica do mais alto para o mais baixo é A, B, C, D. Somente sob esse padrão uma nota A faz sentido. Mas e se o sistema de notas da escola for hackeado e a classificação da capacidade acadêmica passar a ser C, A, B e D?Os alunos que originalmente receberam notas C serão tratados como melhores alunos e terão prioridade. Isso resultou em um erro judiciário. A partir disso podemos perceber que a segurança desta norma que é reconhecida por todos é crucial. No mundo da criptografia que segue as leis da floresta escura, esta configuração confiável tornou-se um enorme perigo oculto. Sabendo disso, por que a SNARK insiste em utilizar o método KZG? Isto ocorre porque o tamanho final da prova obtida usando KZG é muito pequeno. Lembra o que significa o “S” em SNARK? Suficiente! A tentação do tamanho pequeno é muito grande, especialmente antes da atualização do Ethereum Cancun. O tamanho simplificado da prova trouxe maior praticidade e eficiência ao SNARK e foi aceito por mais projetos durante um longo período de tempo. Portanto, há trocas em todos os lugares. Falando em STARK, para quebrar o osso duro de Non-Trusted, STARK adotou o método FRI (Fast Reed-Solomon Interactive Oracle Proofs) para realizar compromissos polinomiais. Especificamente, o método FRI executa a codificação Reed Solomon em polinômios, armazena-os na forma de árvores Merkle e completa múltiplas rodadas de interações entre verificadores e provadores por meio do Oracle, alcançando assim verificabilidade e transparência (transparente, STARK "T" in). (Nota: Deve-se notar que o Oráculo aqui não é um oráculo centralizado ou semicentralizado que comumente vemos no mundo web3, mas um oráculo descentralizado simulado localmente pelo verificador e provador de acordo com as regras do protocolo. Uma entidade virtual que é um mecanismo de prova interativo.) Se quisermos compará-lo com o exemplo de uma transcrição, podemos pensar no processo de comprometimento polinomial do sistema STARK como um sistema de pontuação construído na cadeia, garantido pela tecnologia blockchain. o sistema. Além disso, na prova STARK, o verificador e o provador também podem simular o processo interativo usando um beacon aleatório público (Random Beacon) e, finalmente, empacotá-lo em uma prova completa para obter uma prova não interativa e obter melhor usabilidade e assincronia. 2.3.2 Escalabilidade O progresso da STARK também se reflete em sua versatilidade e flexibilidade no tratamento de problemas computacionais complexos de grande escala, e seu tamanho médio de prova diminuirá à medida que a escala da prova aumenta, formando um efeito de rede, que é o que “S” significa . Escalável representado. Ao contrário do SNARK, que utiliza métodos de cálculo de circuitos representados pelo R1CS para aritmética, que requer o redesenho de circuitos para diferentes problemas, o STARK utiliza o método AIR (Algebraic Intermediate Representation), que é um método geral de cálculo de máquina que liga diferentes circuitos através de equações de transição de estado. , quase qualquer problema computacional pode ser abstraído em um conjunto de restrições polinomiais. Ao mesmo tempo, como o método FRI usado pela STARK usa uma estrutura recursiva para reduzir gradualmente o grau do polinômio ao gerar provas polinomiais, o crescimento do tamanho da prova é muito mais lento do que o crescimento do tamanho do problema (nível logarítmico). Portanto, apresenta vantagens significativas no processamento de operações em grande escala. Voltando ao exemplo de notas e exames, se nosso processo aritmético for comparado a um teste, então SNARK e STARK são como testes tradicionais e testes baseados em computador, respectivamente. No curto prazo ou para uma escola pequena, os testes tradicionais são baratos e rápidos, enquanto os testes baseados em computador exigem preparação em software e hardware, o que parece caro e problemático. Mas para instituições de exames globais de grande escala, um computador pode realizar exames de diferentes tipos e níveis. A riqueza e a aleatoriedade do banco de questões não exigem mais que os professores preparem questões para cada exame, economizando muita mão de obra. No longo prazo, à medida que o número de candidatos se acumula, os custos de investimento em software e hardware também serão significativamente diluídos. 2.3.3 Resistência a ataques quânticos Além das conquistas de "S" e "T", STARK também usa funções hash resistentes a quânticos (como Rescue hash, que geralmente é considerado seguro pós-quântico, enquanto o tradicional SHA -256 função hash Considera-se que pode ser frágil na computação quântica), problemas algébricos de segurança (alguns problemas algébricos complexos que o provador precisa provar são atualmente considerados difíceis de resolver em computadores quânticos), etc., para alcançar resistência ao quantum ataques. 03 Circle STARK é mais do que isso. Dito isto, não é difícil descobrir que o SNARK é uma solução essencial, rápida e viável no curto prazo. Mas com o passar do tempo, à medida que o volume de transações aumenta, a complexidade computacional explode e as pessoas se tornam cada vez mais conscientes de que a confiança é na verdade o luxo mais caro no campo da criptografia, a superioridade da STARK se tornará cada vez mais óbvia. Isso também é gradualmente revelado na indústria. Usando a versão Boojum lançada pelo ZkSync, o aplicativo principal dos SNARKs, começamos a explorar a transformação gradual de SNARK para STARK. A Polygon, que é conhecida por sua integridade, também recorreu ao STARK antecipadamente. O sistema de prova atualizado Plonky3 deste ano é baseado no mais recente Circle STARK desenvolvido em conjunto pela Polygon Labs e StarkWare. Circle STARK é um protocolo de prova ZK de nova geração baseado na atualização STARK. Devido à introdução inteligente da Curva Círculo, o pequeno campo de número primo M31 foi aplicado com sucesso ao sistema de prova, melhorando significativamente a eficiência da prova. No sistema de prova ZK, o campo de números primos desempenha um papel crucial. É operando no campo dos números primos que a prova é alcançada. A escolha do campo prime representa um equilíbrio entre eficiência e segurança. Quanto menor o campo do número primo, menor será a quantidade de operações necessárias e maior será a eficiência. Por outro lado, grandes campos de números primos geralmente representam um nível mais alto de segurança, razão pela qual tanto STARK quanto SNARK usaram grandes campos de números primos no passado. A inovação do Circle STARK se reflete no uso de um pequeno campo de números primos como o M31 por meio de uma combinação especial de curvas circulares, que não apenas melhora a eficiência da prova, mas também garante com sucesso a segurança pós-quântica. A StarkWare lançou atualmente e abriu o código-fonte de um provador de nova geração baseado no Circle STARK, Stwo. Espera-se que a eficiência da prova do Stwo seja 100 vezes maior que a do provador Stone de primeira geração. O Stwo será totalmente compatível com o Advanced Cario, o atual Starknet Pover baseado no Stone Prover (SHARP Prover), que também usará o Stwo no futuro. Nesse momento, os desenvolvedores e usuários do ecossistema Starknet se beneficiarão diretamente das melhorias de desempenho trazidas pelo Stwo sem a necessidade de realizar nenhuma operação. Além de melhorar a velocidade da prova, o cofundador da Polygon, Brendan Farmer, também mencionou que a aplicação do Circle STARK acabará reduzindo significativamente os custos e se expandirá para mais provas de aplicação. Eli Ben-Sasson está ainda mais otimista de que o lançamento do Circle STARK pode ser considerado um marco importante. O sistema de prova mais eficiente estará disponível em um futuro próximo e mais avanços e melhorias continuarão. 04 Starknet continua a se esforçar para melhorar o desempenho. Através da análise acima, podemos ver claramente que o sistema de prova STARK e sua versão atualizada mais recente, Circle STARK, são forças de ponta e estrelas de amanhã bem merecidas. no ZK Rollup tem um futuro brilhante. Mas talvez seja porque todas as coisas boas são difíceis, Starknet tem sido controverso há muito tempo. As razões incluem experiência e custo. Felizmente, através dos esforços contínuos da StarkWare, esses problemas estão se tornando história, um por um. Abaixo revisaremos várias atualizações importantes recentes do Starknet, bem como outras ações planejadas de acordo com o roteiro. 4.1 V0.12 Starknet Alpha v0.12.0, codinome Quantum Leap, será lançado na rede principal em julho de 2023. O foco desta otimização é melhorar o desempenho da rede e otimizar a experiência do usuário. A taxa de transferência e a latência são geralmente consideradas medidas de desempenho da rede. Ao otimizar o classificador para Rust e atualizar a linguagem Cario, o tempo de execução do bloco Starknet foi significativamente reduzido e a taxa de transferência aumentou de 30.000 CSPS (passos Cairo por segundo, passos Cario por segundo) na versão v0.11.0 para 220.000 CSPS. O desempenho foi bastante melhorado. O problema da experiência interativa que tem sido amplamente criticado também foi resolvido. O status pendente que antes durava em média 20 minutos para aguardar a confirmação da rede principal vai virar coisa do passado. Após a confirmação do cliente na Camada 2, a transação é considerada bem-sucedida, portanto, o tempo da transação é reduzido para cerca de 10 segundos e a experiência é bastante melhorada. Esta atualização, considerada um marco, ajudou o TVL da Starknet a ultrapassar com sucesso US$ 100 milhões, com um aumento de mais de 43% em uma única semana. 4.2 V0.13 A versão v0.13.0 lançada em janeiro de 2024 expandiu o tamanho do bloco, reduziu significativamente os custos de computação em 50% e reduziu os custos de disponibilidade de dados em 25%. A V0.13.1 implantou suporte para Ethereum EIP-4844 antecipadamente, então a Starknet habilitou a funcionalidade de blob poucas horas após a atualização de Cancun e se tornou o primeiro L2 a reduzir significativamente as taxas de usuário. No restante deste ano, de acordo com o plano do roteiro, a V0.13.2 oferecerá suporte à paralelização de transações, que pode processar mais transações ao mesmo tempo, melhorar o rendimento da rede e reduzir a latência. A V0.13.3 integrará o Cairo Native ao classificador Starknet para melhorar ainda mais o desempenho do classificador. Nesse momento, a velocidade da rede será ainda mais acelerada. 4.3 V0.14 e planos de atualização subsequentes De acordo com o roteiro, espera-se que o tão aguardado Volition seja lançado na atualização V.0.14.0. Atualmente, a avaliação de dados (DA) no Ethereum consome a grande maioria das taxas de gás na rede Starknet, portanto, reduzir o armazenamento de DA no Ethereum é a chave para reduzir as taxas. A Volition permite que os desenvolvedores optem por armazenar parte dos dados no Starknet L2 e, por fim, enviem a raiz do estado (raiz) dessa parte dos dados para o Ethereum L1. Desta forma, o custo de armazenamento DA de L1 é bastante reduzido, atingindo ainda mais o objetivo de redução de despesas. A versão V.0.14.0 também planeja usar Recursão Aplicativa para processar em lote a pegada L1 de vários blocos por vez (pegada da Camada 1, que são os dados que precisam ser armazenados e processados ​​​​no Ethereum para suportar a operação e computação Starknet. tarefas) reduzindo assim os custos. "https://community.starknet.io/t/upcoming-feature-starknet-applicative-recursion/113868" Atualmente, cada bloco de Starknet tem uma prova proprietária e cada bloco precisa ser gasto em Ethereum Um custo operacional fixo. , portanto, a rede geralmente precisa acumular volume de transações suficiente para compartilhar o custo do bloco antes de empacotar um bloco. Isso leva à incerteza no tempo de produção do bloco e à ineficiência na utilização do custo do bloco. Com a recursão do aplicativo, o validador pode empacotar vários blocos para provar isso, o que reduz o tempo de bloqueio e compartilha o custo. Além disso, a Starknet também explorará tecnicamente mais soluções de compressão DA para reduzir custos. 05 Construção Ecológica 5.1 Situação Atual Com a melhoria constante do desempenho e a redução contínua de custos, a estrutura ecológica em Starknet tornou-se cada vez mais perfeita. Em termos de infraestrutura, a carteira projeta Agente Em termos de pontes entre cadeias, o StarkGate nativo está no comando, assim como as partes do projeto com foco em pontes entre cadeias, Orbiter Finance, MiniBridge e rhino.fi. O projeto principal do DID, Starknet.id, assume o papel de ENS no Ethereum, apoiando os usuários a cunhar NFTs como identidades e repassar a cadeia Starknet. Em termos do tradicional Red Sea Defi, projetos líderes como Nostra, Ekubo, zkLend, ZKX e Carmine Options estão atualmente crescendo na Starknet, enquanto ocupam rapidamente os principais setores de negócios de Dex, staking, empréstimos e contratos, vários. Os projetos Defi também estão crescendo. Nós nos esforçamos para apresentar novos produtos. Por exemplo, ZKX usa interação gamificada e governança DAO para criar uma troca de contrato perpétua autônoma exclusiva. Ekubo lança um design de caso único para usar um contrato para gerenciar todos os pools de fundos para ajudar os usuários a reduzir os custos de atrito de transação; pode efetivamente reduzir perdas impermanentes quando o mercado flutua muito, etc., o que injeta mais vitalidade na ecologia. Gamefi é um setor no qual os funcionários da Starknet têm grandes esperanças. Além dos jogos estratégicos de cadeia completa representados por Realms na ecologia Loot do projeto principal, há também Dope Wars and Influence, um jogo de estratégia baseado em interestelar. exploração, bem como jogos criados pela equipe nativa da Starknet. Topologia baseada no conhecimento da física pode ser chamada de os quatro reis dos jogos all-chain na Starknet. Além disso, xfam.tech apareceu no Socialfi, que é semelhante ao anteriormente popular friend.tech e preenche a lacuna no campo social. Desde o lançamento aéreo do $STRK no início deste ano, a atividade na Starknet aumentou significativamente. Além disso, projetos no ecossistema como zkLend, Ekubo e ZKX lançaram sucessivamente tokens nativos $ZEND, $EKUBO e $ZKX, líder ecológico Nostra Finance também lançou o primeiro stablecoin nativo em dólares $UNO na Starknet e prometeu $STRK $; NSSTRK obtido. A emissão de tokens multinível é, sem dúvida, um impulso para o ecossistema Starknet. A partir do primeiro semestre deste ano, o desempenho geral dos dados do ecossistema Starknet é bom. No entanto, no momento atual, quando os deuses da Camada 1 e da Camada 2 estão lutando, para garantir a vitalidade contínua, é necessária dupla inovação em produtos e tecnologia para criar uma aplicação verdadeiramente popular, para que a vitalidade da cadeia possa atingir constantemente um Nível superior. Além da equipe oficial, o que é necessário por trás disso são os esforços contínuos da comunidade de desenvolvedores. Esta é uma das razões pelas quais a equipe Starknet sempre foi extremamente amigável aos desenvolvedores e até deu recompensas aos desenvolvedores sem precedentes em lançamentos aéreos. 5.2 Desafios e Escolhas Como dissemos antes, a STARK nasceu desde o início para provas complexas e seguras em grande escala, e o mesmo vale para a Starknet, que tem a mesma origem. Para atingir este objectivo ambicioso e puro, muitos esforços são inevitáveis, e a língua do Cairo é um deles. (Nota: A linguagem Cairo é uma linguagem de programação especialmente projetada pela StarkWare para o sistema de provas STARK. Ela pode gerar provas com eficiência, otimizar cálculos fora da cadeia e compensar efetivamente as limitações do Solidity na execução de provas.) Ao contrário de outras Camadas 2, que usa Solidity para inteligência Para o desenvolvimento de contratos, os desenvolvedores devem usar a linguagem nativa do Cairo para desenvolver na Starknet, o que aumenta diretamente os custos de aprendizagem e as barreiras de entrada para os desenvolvedores. Por outro lado, como o Cairo VM não é compatível com EVM, muitos projetos maduros no Ethereum não podem ser migrados diretamente para o Starknet. Isso também torna difícil para o Starknet aproveitar os dividendos do grande ecossistema, mesmo sendo um Ethereum Layer 2. Atualmente, mais de 90% dos dApps da cadeia Starknet são nativos da cadeia e os custos de desenvolvimento do projeto não são pequenos. Diante deste dilema, escolha da Starknet, podemos encontrar a resposta no artigo de Eli Ben-Sasson no início do ano, “Stick or Persist”. "https://paragraph.xyz/@think-integrity/stubborn%2C-or-steadfast" O artigo citou a alusão de "montar um tigre, mas é difícil descer", dizendo que se você sacrificar a segurança para buscar um belo desempenho no curto prazo, é como sentar em um carro e um tigre galopando causará problemas sem fim. Como verdadeiros crentes na tecnologia, nunca venderemos tecnologia de segunda categoria em embalagens de primeira categoria. O que a Starknet quer fazer é fornecer provas reais que possam resistir a dados monstruosos e florestas escuras. A insistência na prova é a insistência na segurança. Para perseverar, há muitos incentivos para desenvolvedores na Starknet. Além de atividades comunitárias como hackathons, um programa Seed Grand com dinheiro real foi lançado recentemente. financiamento de lucro. Diluir recompensas de financiamento para apoiar sua construção ecológica na Starknet. "https://mp.weixin.qq.com/s/S-nVc60Sfyk2C2SP9WkNuQ" Especificamente para o setor de jogos, o atual programa piloto de assistência a jogos da fundação (Programa Piloto de Propulsão) selecionará até 20 jogos, com base em suas recompensas de financiamento são baseados no consumo de gás da rede principal Starknet, e cada jogo pode receber até 1 milhão de dólares americanos em recompensas. "https://mp.weixin.qq.com/s/ZFSTfMyLm60M8FMR8KOG8w" Além disso, a equipe de desenvolvimento do cliente Ethereum Nethermind, que alcançou uma cooperação estratégica profunda com a Starknet, também lançou um plano de financiamento da Starknet totalizando US$ 1 milhão ( Starknet Grand Program), um único projeto pode receber financiamento de até US$ 250 mil e receber suporte técnico da equipe Nethermind. "https://x.com/Starknet_ZH/status/1785159198868943151" Starknet também está trabalhando duro para quebrar as barreiras com Ethereum em dois aspectos. De um lado está o projeto Warp desenvolvido pela Nethermind, que se dedica a converter o código Solidity em código Cairo para obter compatibilidade em nível de linguagem de alto nível. Por outro lado, a solução Kakarot zkEVM desenvolvida por membros da equipe StarkWare usa Cairo para simular o ambiente EVM e tentar criar um EVM comprovável. O projeto ainda está em desenvolvimento. 5.3 Futuro Com os esforços da StarkWare, a comunidade de desenvolvedores do Cairo está crescendo atualmente. Com a prosperidade da comunidade de desenvolvedores, o ecossistema também incubará mais produtos e ferramentas excelentes, atraindo ainda mais desenvolvedores de destaque para se juntarem à comunidade do Cairo, formando um ciclo positivo. . Além de esperar o nascimento de produtos excelentes em campos tradicionais como o DeFi, combinados com as melhorias de desempenho e vantagens de integridade computacional que a Starknet gradualmente percebeu, alguns setores de tendência que podem representar o futuro estão surgindo gradualmente na Starknet. 5.3.1 Jogos Totalmente On-Chain O conceito de Jogos Totalmente On-Chain (FOCG, também conhecidos como Jogos Infinitos) tem sido popular desde o surgimento do blockchain e é altamente aguardado pelos jogadores. Armazena completamente as regras e dados do jogo na cadeia, executa todas as operações e interações baseadas em contratos inteligentes, permite que os jogadores tenham verdadeiramente propriedade dos ativos do jogo, garante que as regras sejam transparentes e verificáveis ​​e fornece um sistema econômico aberto para criar mais oportunidades para os jogadores. Experiência de jogo gratuita e justa. No entanto, devido às limitações no rendimento inicial da cadeia, nos custos e nos modos de interação, os jogos de cadeia completa têm sido apenas uma bela visão há muito tempo e a adoção em massa não foi alcançada. No entanto, com a otimização contínua do desempenho do Starknet em todos os aspectos, podemos ver pelos seguintes aspectos que o Starknet tem um grande potencial para se tornar um terreno fértil para o cultivo de jogos full-chain. 5.3.1.1 Abstração de conta nativa A abstração de conta (AA) é uma etapa fundamental para melhorar a experiência interativa e ajudar os usuários da web2 a entrar na web3. Simplificando, trata-se de mudar da conta EOA no Ethereum que usamos como pessoa física para uma conta de contrato inteligente (CA). Devido à programabilidade da conta contratual, a conta corrente pode ser simplificada com base em predefinições. configurações ao mesmo tempo em que garante etapas de operação complexas para otimizar a experiência do usuário. O design do Starknet tornou a abstração de conta nativa uma opção obrigatória desde o início. Cada conta é uma conta de contrato inteligente, o que reduz a complexidade da implementação de AA desde o design do sistema. Tanto a carteira nativa dApp Agent X quanto o Braavos suportam abstração de contas e podem fornecer aos usuários uma experiência equivalente à Web2. Em situações de jogo, o papel da abstração de contas será mais óbvio. Por exemplo, a função Session Key iniciada por várias equipes líderes de jogos de blockchain na cadeia Starknet, Briq, Loot Realms e Topology, agora é usada no Loot Survivor, que usa um login sem carteira (Session Wallet). precisa assinar para cada operação “ofensiva”, o que otimiza muito a experiência. 5.3.1.2 O ecossistema do Cairo está melhorando gradualmente. Com a otimização contínua e a melhoria do desempenho do Starknet, um grande número de comunidades de jogos se estabeleceram para construir o ecossistema do Cairo. foi basicamente formado. Dojo é um mecanismo de jogo on-chain baseado no Cairo. Foi criado em fevereiro de 2023 e atualmente é operado e mantido em conjunto pela comunidade. O motor de jogo é a base para a construção de jogos. Ele fornece aos desenvolvedores de jogos uma estrutura de desenvolvimento composta por contratos, ferramentas e bibliotecas de códigos, para que eles não precisem construir o sistema básico do jogo do zero, facilitando a construção. -jogos em cadeia. (Nota: Os dois motores de jogo mais populares para jogos Web2 são Unity e Unreal Engine. Os familiares "Hearthstone" e "Street Fighter" são construídos com base nesses dois motores de jogo. Atualmente, o desenvolvimento do mecanismo de jogo Web3 ainda está em seu estágios iniciais, e existem dois motores de jogo criptografados, nomeadamente MUD construído em EVM e Dojo baseado no Cairo.Dojo é o primeiro mecanismo de jogo comprovadamente criptográfico. ) Cartridge é um lançador de jogos. Por um lado, fornece aos desenvolvedores ferramentas e bibliotecas de código baseadas em Dojo para criar e implantar jogos, incluindo lógica de jogo on-chain, arquitetura escalável, acesso contínuo do usuário, desenvolvimento modular e soluções químicas. , etc. Por outro lado, simplifica o processo de interação dos jogadores, facilitando a descoberta e entrada dos jogadores nos seus jogos favoritos. 5.3.1.3 Camada 3 Starknet é uma Camada 2 de uso geral usando Zk Rollup. Além de seu excelente desempenho de segurança, alto rendimento e custos bastante reduzidos, para atender a necessidades específicas, também lançou o desenvolvimento personalizado de Appchain de Camada 3. . Os desenvolvedores de jogos podem personalizar e otimizar o ambiente de execução on-chain e o mecanismo de consenso de acordo com suas próprias necessidades para criar uma cadeia específica de jogo de alto desempenho, baixa latência e baixo custo. Isso também traz mais possibilidades para jogos full-chain. Realms e Cartridge cooperaram no início do ano para desenvolver em conjunto o "Realms World L3", que deverá ser lançado oficialmente no terceiro trimestre deste ano. Todo o ecossistema Realms será executado com base no Starknet. velocidades mais rápidas e custos mais baixos, além de otimizar ainda mais a experiência do usuário. Além disso, Dope Wars também afirmou que cooperará com a Cartridge para lançar um Layer3 e usar $PAPER como token Gas. 5.3.1.4 Resumo Embora aos olhos do público, o desempenho da Starknet na Gamefi possa não ser excelente, mas se você se concentrar em jogos full-chain, a ecologia da Starknet, o claro senso de missão full-chain e suas próprias vantagens técnicas, É muito atraente para desenvolvedores e jogadores. Podemos ver que os desenvolvedores de jogos na Starknet estão atualmente muito entusiasmados com a construção do ecossistema do Cairo. A cooperação de projetos líderes levou à conclusão de infraestruturas importantes, como o Dojo. Se um dia os jogos full-chain puderem ser totalmente realizados e mais e mais entusiastas de jogos entrarem no mundo dos jogos web3 e realmente ganharem a propriedade dos ativos do jogo, temos motivos para esperar que isso aconteça na Starknet. 5.3.2 ZKML Com a explosão da IA ​​e da tecnologia blockchain, AI+Blockchain é cada vez mais considerado a direção de desenvolvimento futuro. ZKML (Zero Knowledge Machine Learning, aprendizado de máquina à prova de conhecimento zero) é um plano de solução. O modelo tradicional de ML é como uma caixa preta. Por pertencer a uma organização centralizada, os usuários comuns não podem verificar qual modelo estão usando e se ele foi treinado com dados confiáveis, exceto por confiarem no endosso de grandes organizações. Esta é também uma das principais razões pelas quais os grandes modelos centralizados são atualmente criticados. Se você simplesmente carregar o modelo na cadeia para treinamento e operação de maneira descentralizada, não apenas o custo do gás será muito alto, mas devido ao ambiente não confiável na cadeia, a confiabilidade do modelo e dos dados de treinamento não poderá ser garantido. Neste caso o ZKML é muito necessário. Pense fora da cadeia, aja dentro da cadeia. Ao treinar e executar o modelo fora da cadeia e usar a tecnologia ZK para gerar provas e enviá-las à cadeia, os dois dilemas mencionados anteriormente – custo e confiabilidade – são perfeitamente resolvidos. Ao mesmo tempo, devido às características de privacidade do próprio ZK, o ZKML também tem amplas perspectivas em áreas sensíveis, como finanças e cuidados médicos. Existem vantagens naturais em construir o ZKML baseado no Cairo na Starknet. Como uma linguagem de desenvolvimento nascida para prova, Cairo tem excelente integridade computacional e é altamente abstrata na prova. Os desenvolvedores podem chamar diretamente os componentes de prova sem ter que lidar com os próprios problemas de prova, o que simplifica muito o processo de desenvolvimento. Ao mesmo tempo, graças às vantagens de escalabilidade do STARK, ele tem efeitos de rede significativos ao processar dados de computação em grande escala e pode transportar de forma eficiente e econômica os enormes dados necessários para o aprendizado de máquina. Como resultado, o ZKML baseado na Giza Tech na Starknet está crescendo rapidamente. Giza é uma plataforma de middleware ZKML no Starknet que fornece a estrutura de desenvolvimento Orion, permitindo que os desenvolvedores usem estruturas familiares (como PyTorch, TensorFlow) para treinamento de modelo e implantação fácil no Starknet. Ao mesmo tempo, Giza também lançou Agents, uma estrutura de agente que combina ZKML com comportamento de múltiplas cadeias. Os desenvolvedores podem criar agentes de IA na cadeia baseados em ZKML, interagir com contratos inteligentes e tomar decisões com base em regras predefinidas. Atualmente, Gizé tem sido usado em muitos projetos, como redes sociais, cooperação com a Circles Network, realização de análises de gráficos sociais e detecção de usuários falsos. Em termos de DeFi, a Yearn Finance coopera para fornecer estratégias de investimento inteligentes e soluções de gestão de risco baseadas em ZKML. ML Village, o último a ser selecionado para o programa de financiamento inicial Starknet, introduziu o ZKML em jogos em cadeia para tomada de decisões através de Gizé, mostrando amplas perspectivas de aplicação. 06 Resumo De acordo com o recente anúncio oficial da Starknet, espera-se que a taxa do gás possa ser reduzida para bem abaixo de US$ 0,01 em 2024, enquanto centenas de TPS serão alcançados, tornando-a a Camada 2 com o TPS mais alto. Este objetivo não é ambicioso para a Starknet. Na verdade, o posicionamento da Starknet pela StarkWare é muito mais do que apenas uma Camada 2. Em termos de produtos-chave e escolhas de mercado, Starknet é mais semelhante a Solana, abandonando os benefícios e restrições do EVM e construindo do zero. Mas, ao contrário das falhas de descentralização de Solana, Starknet herda habilmente a extrema descentralização de Ethereum por meio de Ethereum Layer2 + ZK, ao mesmo tempo que garante que a escalabilidade e a segurança se tornem possíveis. E este resultado aparentemente feliz, como dissemos no início, é uma prática de adesão ao longo prazo e inúmeras vezes de assumir o fardo de seguir em frente sacrificando o próximo e buscando o distante. Esperamos liberar ainda mais energia na Starknet no futuro.