Aleo: um novo talento em Blockchain que equilibra privacidade e escalabilidade
Aleo é um projeto de blockchain focado na proteção da privacidade, que utiliza a tecnologia de provas de conhecimento zero para alcançar maior privacidade e escalabilidade. A filosofia central do projeto é permitir que os usuários realizem a verificação de identidade e o processamento de dados sem revelar informações pessoais.
Visão Geral do Projeto
Privacidade
O núcleo da Aleo são as provas de conhecimento zero (ZKPs), que permitem que a execução de transações e contratos inteligentes ocorra enquanto protege a privacidade. Os detalhes das transações dos usuários estão ocultos por padrão, mas permitem a divulgação seletiva quando necessário. Os principais componentes incluem:
Linguagem de compilação Leo: uma linguagem especialmente desenvolvida para criar aplicações de conhecimento zero (ZKApps), que reduz a necessidade de conhecimento em criptografia por parte dos desenvolvedores.
snarkVM e snarkOS: snarkVM permite a execução de cálculos fora da cadeia, com a validação dos resultados apenas na cadeia; snarkOS garante a segurança dos dados e cálculos.
zkCloud: oferece um ambiente de computação off-chain seguro e privado, suportando a interação de programação entre as partes.
Aleo também oferece um ambiente de desenvolvimento integrado e um kit de ferramentas de desenvolvimento de software, apoiando os desenvolvedores a escrever e publicar aplicativos rapidamente. Os desenvolvedores podem implantar aplicativos diretamente no registro de programas da Aleo, reduzindo o risco da plataforma.
Escalabilidade
Aleo adotou um método de processamento off-chain, onde as transações são primeiramente calculadas nos dispositivos dos usuários e, em seguida, apenas os resultados da verificação são carregados para a Blockchain. Este método aumenta significativamente a velocidade de processamento de transações e a escalabilidade do sistema, evitando problemas de congestionamento da rede e altas taxas.
mecanismo de consenso
Aleo introduziu o AleoBFT, um mecanismo de consenso de arquitetura híbrida que combina a finalização instantânea dos validadores com a capacidade de computação dos provadores. O AleoBFT não só aumenta o grau de descentralização da rede, mas também melhora o desempenho e a segurança. As suas características incluem:
Finalidade rápida do bloco: garantir que cada bloco seja confirmado imediatamente após a sua geração.
Garantia descentralizada: ao separar a produção de blocos da geração de coinbase, evita-se que poucas entidades monopolizem a rede.
Mecanismo de Incentivo: Validadores e provadores partilham recompensas de blocos, incentivando os provadores a tornarem-se validadores através do staking de tokens.
Aleo permite que os desenvolvedores criem aplicações sem restrições de gas, especialmente adequadas para aplicações que precisam de longos períodos de execução, como aprendizado de máquina, entre outros.
Últimos desenvolvimentos
Aleo planeia lançar a rede de testes incentivada a 1 de julho, aqui estão algumas informações importantes:
A proposta ARC-100 foi aprovada, a equipe está realizando os ajustes finais.
O programa de incentivos para validadores terá início a 1 de julho e funcionará até 15 de julho, distribuindo 1 milhão de pontos Aleo como recompensa.
A oferta inicial é de 1,5 mil milhões de tokens, com uma oferta circulante inicial de cerca de 10%.
Após a conclusão da redefinição do Testnet Beta, a rede será semelhante à da mainnet.
A congelamento de código foi concluído há uma semana.
Plano de expansão de nós de validação: 15 nós iniciais, objetivo de aumentar para 50 dentro de um ano, e finalmente atingir 500.
Interpretação do algoritmo Synthesis Puzzle
Aleo atualizou recentemente a sua versão mais recente do algoritmo puzzle, chamado Synthesis Puzzle. O novo algoritmo não se concentra mais na geração de resultados de prova zk, mas sim na geração de dados intermediários witness antes da prova. O fluxo do algoritmo é o seguinte:
Cada epoch gera um EpochProgram comum.
Usar nonce( para construir o endereço de recompensa de mineração, epoch_hash e o contador aleatório ) como entrada.
Construir o circuito de prova R1CS com base no EpochProgram e na entrada, gerando a testemunha.
Converter o witness em nós folha da árvore Merkle e calcular a raiz Merkle.
Converter a raiz de Merkle em proof_target da solução, verificando se atende aos requisitos de dificuldade da epoch atual.
Se atender aos requisitos, envie a solução e faça a divulgação.
Esta atualização faz com que o puzzle mude de geração de proof para geração de witness, a lógica de cálculo dentro de cada epoch é consistente, mas as diferenças entre epochs são bastante grandes. O novo algoritmo abandona os cálculos MSM e NTT anteriores, aumentando a dificuldade de implementação paralela, o que pode impactar as estratégias de otimização de mineração existentes.
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
Aleo lança Testnet de incentivo Blockchain de conhecimento zero avança para a Rede principal
Aleo: um novo talento em Blockchain que equilibra privacidade e escalabilidade
Aleo é um projeto de blockchain focado na proteção da privacidade, que utiliza a tecnologia de provas de conhecimento zero para alcançar maior privacidade e escalabilidade. A filosofia central do projeto é permitir que os usuários realizem a verificação de identidade e o processamento de dados sem revelar informações pessoais.
Visão Geral do Projeto
Privacidade
O núcleo da Aleo são as provas de conhecimento zero (ZKPs), que permitem que a execução de transações e contratos inteligentes ocorra enquanto protege a privacidade. Os detalhes das transações dos usuários estão ocultos por padrão, mas permitem a divulgação seletiva quando necessário. Os principais componentes incluem:
Linguagem de compilação Leo: uma linguagem especialmente desenvolvida para criar aplicações de conhecimento zero (ZKApps), que reduz a necessidade de conhecimento em criptografia por parte dos desenvolvedores.
snarkVM e snarkOS: snarkVM permite a execução de cálculos fora da cadeia, com a validação dos resultados apenas na cadeia; snarkOS garante a segurança dos dados e cálculos.
zkCloud: oferece um ambiente de computação off-chain seguro e privado, suportando a interação de programação entre as partes.
Aleo também oferece um ambiente de desenvolvimento integrado e um kit de ferramentas de desenvolvimento de software, apoiando os desenvolvedores a escrever e publicar aplicativos rapidamente. Os desenvolvedores podem implantar aplicativos diretamente no registro de programas da Aleo, reduzindo o risco da plataforma.
Escalabilidade
Aleo adotou um método de processamento off-chain, onde as transações são primeiramente calculadas nos dispositivos dos usuários e, em seguida, apenas os resultados da verificação são carregados para a Blockchain. Este método aumenta significativamente a velocidade de processamento de transações e a escalabilidade do sistema, evitando problemas de congestionamento da rede e altas taxas.
mecanismo de consenso
Aleo introduziu o AleoBFT, um mecanismo de consenso de arquitetura híbrida que combina a finalização instantânea dos validadores com a capacidade de computação dos provadores. O AleoBFT não só aumenta o grau de descentralização da rede, mas também melhora o desempenho e a segurança. As suas características incluem:
Finalidade rápida do bloco: garantir que cada bloco seja confirmado imediatamente após a sua geração.
Garantia descentralizada: ao separar a produção de blocos da geração de coinbase, evita-se que poucas entidades monopolizem a rede.
Mecanismo de Incentivo: Validadores e provadores partilham recompensas de blocos, incentivando os provadores a tornarem-se validadores através do staking de tokens.
Aleo permite que os desenvolvedores criem aplicações sem restrições de gas, especialmente adequadas para aplicações que precisam de longos períodos de execução, como aprendizado de máquina, entre outros.
Últimos desenvolvimentos
Aleo planeia lançar a rede de testes incentivada a 1 de julho, aqui estão algumas informações importantes:
A proposta ARC-100 foi aprovada, a equipe está realizando os ajustes finais.
O programa de incentivos para validadores terá início a 1 de julho e funcionará até 15 de julho, distribuindo 1 milhão de pontos Aleo como recompensa.
A oferta inicial é de 1,5 mil milhões de tokens, com uma oferta circulante inicial de cerca de 10%.
Após a conclusão da redefinição do Testnet Beta, a rede será semelhante à da mainnet.
A congelamento de código foi concluído há uma semana.
Plano de expansão de nós de validação: 15 nós iniciais, objetivo de aumentar para 50 dentro de um ano, e finalmente atingir 500.
Interpretação do algoritmo Synthesis Puzzle
Aleo atualizou recentemente a sua versão mais recente do algoritmo puzzle, chamado Synthesis Puzzle. O novo algoritmo não se concentra mais na geração de resultados de prova zk, mas sim na geração de dados intermediários witness antes da prova. O fluxo do algoritmo é o seguinte:
Cada epoch gera um EpochProgram comum.
Usar nonce( para construir o endereço de recompensa de mineração, epoch_hash e o contador aleatório ) como entrada.
Construir o circuito de prova R1CS com base no EpochProgram e na entrada, gerando a testemunha.
Converter o witness em nós folha da árvore Merkle e calcular a raiz Merkle.
Converter a raiz de Merkle em proof_target da solução, verificando se atende aos requisitos de dificuldade da epoch atual.
Se atender aos requisitos, envie a solução e faça a divulgação.
Esta atualização faz com que o puzzle mude de geração de proof para geração de witness, a lógica de cálculo dentro de cada epoch é consistente, mas as diferenças entre epochs são bastante grandes. O novo algoritmo abandona os cálculos MSM e NTT anteriores, aumentando a dificuldade de implementação paralela, o que pode impactar as estratégias de otimização de mineração existentes.