Aleo: o pioneiro em Blockchain de proteção de privacidade e escalabilidade
Aleo é um projeto inovador que se dedica a melhorar a proteção da privacidade e a escalabilidade do Blockchain. Ao empregar a tecnologia de provas de zero conhecimento, Aleo permite que os usuários realizem a autenticação de identidade e o processamento de dados enquanto protegem suas informações pessoais.
Visão Geral do Projeto
Proteção de Privacidade
A tecnologia central da Aleo é a prova de conhecimento zero (ZKPs), que garante a proteção da privacidade dos usuários durante a execução de transações e contratos inteligentes. Por padrão, detalhes da transação como o remetente e o montante estão ocultos. Este design não só protege a privacidade dos usuários, mas também suporta a divulgação seletiva quando necessário, sendo muito adequado para o desenvolvimento de aplicações DeFi.
Os principais componentes da Aleo incluem:
Linguagem de programação Leo: adaptada a partir do Rust, especialmente projetada para o desenvolvimento de aplicações de conhecimento zero (ZKApps), reduzindo as exigências de conhecimento em criptografia para os desenvolvedores.
snarkVM e snarkOS: snarkVM suporta a execução de cálculos fora da cadeia, validando apenas os resultados na cadeia, aumentando a eficiência. snarkOS garante a segurança dos dados e dos cálculos, suportando a execução de funções sem permissão.
zkCloud: fornece um ambiente de computação off-chain seguro e privado, suportando interações de programação entre as partes.
Aleo também oferece um ambiente de desenvolvimento integrado (IDE) e um kit de ferramentas de desenvolvimento de software (SDK), facilitando para os desenvolvedores escrever e publicar aplicações rapidamente. Os desenvolvedores podem implantar aplicações diretamente no registro de programas da Aleo, sem depender de terceiros, 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 melhora significativamente a velocidade de processamento das transações e a escalabilidade do sistema, evitando problemas de congestionamento da rede e altos custos.
Mecanismo de Consenso
Aleo introduziu o AleoBFT, que é um mecanismo de consenso de arquitetura híbrida, combinando a finalização instantânea dos validadores e a capacidade de computação dos provadores. AleoBFT não apenas aumenta o nível de descentralização da rede, mas também melhora o desempenho e a segurança.
Finalidade rápida de bloco: AleoBFT garante que cada bloco gerado seja imediatamente confirmado, melhorando a estabilidade dos nós e a experiência do usuário.
Garantia de descentralização: separando a produção de blocos da geração de coinbase, os validadores são responsáveis pela geração de blocos, enquanto os provadores realizam os cálculos de prova, impedindo que poucas entidades monopolizem a rede.
Mecanismo de incentivo: validadores e comprovadores compartilham recompensas de bloco; incentivam os comprovadores a se tornarem validadores através da aposta de tokens, aumentando o nível de descentralização e a capacidade de computação da rede.
Aleo permite que os desenvolvedores criem aplicações sem restrições de gas, sendo especialmente adequado para aplicações que necessitam de longos períodos de execução, como aprendizado de máquina, entre outros.
Últimos desenvolvimentos
Aleo irá lançar a rede de teste incentivada em 1 de julho, aqui estão algumas atualizações importantes:
Proposta ARC-100 aprovada: a proposta que envolve medidas de segurança como conformidade, bloqueio de fundos e atrasos na entrega foi aprovada, e a equipe está realizando os ajustes finais.
Programa de incentivo para validadores: de 1 a 15 de julho, serão distribuídos 1 milhão de pontos Aleo como recompensa. A distribuição das recompensas baseia-se na percentagem de pontos gerados pelos nós, e cada validador deve ganhar pelo menos 100 tokens para receber a recompensa.
Fornecimento de tokens: a oferta inicial é de 1.5 bilhões de tokens, com uma oferta de circulação inicial de cerca de 10%. Esses tokens vêm principalmente da tarefa Coinbase (7500 mil ), que será distribuída nos primeiros seis meses, incluindo recompensas para staking, operação de validadores e nós de validação.
Atualização da Testnet: A Testnet Beta passará por um último reset, adicionando a funcionalidade ARC-41 e um novo puzzle. Após o reset, a rede será semelhante à da mainnet, sem a adição de novas funcionalidades.
Congelamento de código: concluído há uma semana.
Expansão de nós de validação: o número inicial de nós de validação é de 15, com o objetivo de aumentar para 50 até o final do ano, e eventualmente alcançar 500. Para se tornar um delegador, são necessários 10.000 tokens, enquanto para se tornar um validador, são necessários 10.000.000 tokens; esses montantes diminuirão gradualmente ao longo do tempo.
Análise do algoritmo Synthesis Puzzle
O algoritmo puzzle mais recente da Aleo é chamado de Synthesis Puzzle, cujo núcleo é gerar um EpochProgram fixo para cada epoch. Ao construir um circuito de prova R1CS para a entrada e o EpochProgram, gera-se a correspondente atribuição R1CS (, ou seja, o witness ), que é usado como um nó folha da árvore Merkle. Após calcular todos os nós folha, gera-se a raiz Merkle e converte-se para o proof_target da solução.
O processo detalhado do Synthesis Puzzle é o seguinte:
Cada cálculo de puzzle é chamado de nonce, composto pelo endereço que recebe a recompensa de mineração, epoch_hash e o contador aleatório.
Em cada epoch, todos os provers calculam o mesmo EpochProgram, que é obtido a partir da amostragem de instruções com um número aleatório gerado pelo epoch_hash atual.
Usar nonce como semente de número aleatório para gerar a entrada do EpochProgram.
Agregar o R1CS e a entrada correspondentes ao EpochProgram, realizando o cálculo do witness.
Calcule todos os witnesses e converta-os na sequência de nós folha da árvore de Merkle.
Calcular a raiz Merkle e convertê-la no proof_target da solução, verificando se atende ao latest_proof_target da epoch atual.
Se as condições forem atendidas, envie o endereço de recompensa, epoch_hash e counter necessários para construir a entrada como solução e transmita.
É possível atualizar a entrada do EpochProgram através da iteração do counter dentro do mesmo epoch, realizando múltiplos cálculos de solução.
Esta atualização transformou o puzzle de gerar proof para gerar witness. A lógica de cálculo da solução dentro de cada epoch é consistente, mas as diferenças na lógica de cálculo entre diferentes epochs são bastante grandes. O novo algoritmo abandonou os cálculos MSM e NTT anteriores, trazendo novos desafios para a otimização em GPU. Como o processo de geração de witness envolve a execução de programas que variam com a epoch, as instruções têm algumas dependências de execução serial, o que representa um grande desafio para a paralelização.
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
13 gostos
Recompensa
13
7
Partilhar
Comentar
0/400
BankruptcyArtist
· 10h atrás
Bom rapaz, finalmente chegámos ao projeto de design de privacidade!
Aleo lança Testnet, Blockchain de privacidade escalável inicia um novo capítulo
Aleo: o pioneiro em Blockchain de proteção de privacidade e escalabilidade
Aleo é um projeto inovador que se dedica a melhorar a proteção da privacidade e a escalabilidade do Blockchain. Ao empregar a tecnologia de provas de zero conhecimento, Aleo permite que os usuários realizem a autenticação de identidade e o processamento de dados enquanto protegem suas informações pessoais.
Visão Geral do Projeto
Proteção de Privacidade
A tecnologia central da Aleo é a prova de conhecimento zero (ZKPs), que garante a proteção da privacidade dos usuários durante a execução de transações e contratos inteligentes. Por padrão, detalhes da transação como o remetente e o montante estão ocultos. Este design não só protege a privacidade dos usuários, mas também suporta a divulgação seletiva quando necessário, sendo muito adequado para o desenvolvimento de aplicações DeFi.
Os principais componentes da Aleo incluem:
Linguagem de programação Leo: adaptada a partir do Rust, especialmente projetada para o desenvolvimento de aplicações de conhecimento zero (ZKApps), reduzindo as exigências de conhecimento em criptografia para os desenvolvedores.
snarkVM e snarkOS: snarkVM suporta a execução de cálculos fora da cadeia, validando apenas os resultados na cadeia, aumentando a eficiência. snarkOS garante a segurança dos dados e dos cálculos, suportando a execução de funções sem permissão.
zkCloud: fornece um ambiente de computação off-chain seguro e privado, suportando interações de programação entre as partes.
Aleo também oferece um ambiente de desenvolvimento integrado (IDE) e um kit de ferramentas de desenvolvimento de software (SDK), facilitando para os desenvolvedores escrever e publicar aplicações rapidamente. Os desenvolvedores podem implantar aplicações diretamente no registro de programas da Aleo, sem depender de terceiros, 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 melhora significativamente a velocidade de processamento das transações e a escalabilidade do sistema, evitando problemas de congestionamento da rede e altos custos.
Mecanismo de Consenso
Aleo introduziu o AleoBFT, que é um mecanismo de consenso de arquitetura híbrida, combinando a finalização instantânea dos validadores e a capacidade de computação dos provadores. AleoBFT não apenas aumenta o nível de descentralização da rede, mas também melhora o desempenho e a segurança.
Finalidade rápida de bloco: AleoBFT garante que cada bloco gerado seja imediatamente confirmado, melhorando a estabilidade dos nós e a experiência do usuário.
Garantia de descentralização: separando a produção de blocos da geração de coinbase, os validadores são responsáveis pela geração de blocos, enquanto os provadores realizam os cálculos de prova, impedindo que poucas entidades monopolizem a rede.
Mecanismo de incentivo: validadores e comprovadores compartilham recompensas de bloco; incentivam os comprovadores a se tornarem validadores através da aposta de tokens, aumentando o nível de descentralização e a capacidade de computação da rede.
Aleo permite que os desenvolvedores criem aplicações sem restrições de gas, sendo especialmente adequado para aplicações que necessitam de longos períodos de execução, como aprendizado de máquina, entre outros.
Últimos desenvolvimentos
Aleo irá lançar a rede de teste incentivada em 1 de julho, aqui estão algumas atualizações importantes:
Proposta ARC-100 aprovada: a proposta que envolve medidas de segurança como conformidade, bloqueio de fundos e atrasos na entrega foi aprovada, e a equipe está realizando os ajustes finais.
Programa de incentivo para validadores: de 1 a 15 de julho, serão distribuídos 1 milhão de pontos Aleo como recompensa. A distribuição das recompensas baseia-se na percentagem de pontos gerados pelos nós, e cada validador deve ganhar pelo menos 100 tokens para receber a recompensa.
Fornecimento de tokens: a oferta inicial é de 1.5 bilhões de tokens, com uma oferta de circulação inicial de cerca de 10%. Esses tokens vêm principalmente da tarefa Coinbase (7500 mil ), que será distribuída nos primeiros seis meses, incluindo recompensas para staking, operação de validadores e nós de validação.
Atualização da Testnet: A Testnet Beta passará por um último reset, adicionando a funcionalidade ARC-41 e um novo puzzle. Após o reset, a rede será semelhante à da mainnet, sem a adição de novas funcionalidades.
Congelamento de código: concluído há uma semana.
Expansão de nós de validação: o número inicial de nós de validação é de 15, com o objetivo de aumentar para 50 até o final do ano, e eventualmente alcançar 500. Para se tornar um delegador, são necessários 10.000 tokens, enquanto para se tornar um validador, são necessários 10.000.000 tokens; esses montantes diminuirão gradualmente ao longo do tempo.
Análise do algoritmo Synthesis Puzzle
O algoritmo puzzle mais recente da Aleo é chamado de Synthesis Puzzle, cujo núcleo é gerar um EpochProgram fixo para cada epoch. Ao construir um circuito de prova R1CS para a entrada e o EpochProgram, gera-se a correspondente atribuição R1CS (, ou seja, o witness ), que é usado como um nó folha da árvore Merkle. Após calcular todos os nós folha, gera-se a raiz Merkle e converte-se para o proof_target da solução.
O processo detalhado do Synthesis Puzzle é o seguinte:
Cada cálculo de puzzle é chamado de nonce, composto pelo endereço que recebe a recompensa de mineração, epoch_hash e o contador aleatório.
Em cada epoch, todos os provers calculam o mesmo EpochProgram, que é obtido a partir da amostragem de instruções com um número aleatório gerado pelo epoch_hash atual.
Usar nonce como semente de número aleatório para gerar a entrada do EpochProgram.
Agregar o R1CS e a entrada correspondentes ao EpochProgram, realizando o cálculo do witness.
Calcule todos os witnesses e converta-os na sequência de nós folha da árvore de Merkle.
Calcular a raiz Merkle e convertê-la no proof_target da solução, verificando se atende ao latest_proof_target da epoch atual.
Se as condições forem atendidas, envie o endereço de recompensa, epoch_hash e counter necessários para construir a entrada como solução e transmita.
É possível atualizar a entrada do EpochProgram através da iteração do counter dentro do mesmo epoch, realizando múltiplos cálculos de solução.
Esta atualização transformou o puzzle de gerar proof para gerar witness. A lógica de cálculo da solução dentro de cada epoch é consistente, mas as diferenças na lógica de cálculo entre diferentes epochs são bastante grandes. O novo algoritmo abandonou os cálculos MSM e NTT anteriores, trazendo novos desafios para a otimização em GPU. Como o processo de geração de witness envolve a execução de programas que variam com a epoch, as instruções têm algumas dependências de execução serial, o que representa um grande desafio para a paralelização.