Aleo: O projeto de Blockchain que lidera a revolução da privacidade no Web3
Aleo é um projeto de blockchain dedicado à proteção da privacidade, cuja tecnologia central é baseada em provas de conhecimento zero (ZKP), com o objetivo de alcançar níveis mais elevados de privacidade e escalabilidade. A ideia básica do projeto é permitir que os usuários possam validar sua identidade e processar dados sem expor informações pessoais.
Visão Geral do Projeto
Privacidade
Aleo é uma tecnologia central baseada em provas de zero conhecimento, que permite que a execução de transações e contratos inteligentes ocorra com a proteção da privacidade. Os detalhes das transações dos usuários, como o remetente e o montante da transação, estão ocultos por padrão. Este design não apenas protege a privacidade dos usuários, mas também permite a divulgação seletiva quando necessário, sendo muito adequado para o desenvolvimento de aplicações financeiras descentralizadas.
Os principais componentes da Aleo incluem:
Linguagem de programação Leo: adaptada da linguagem Rust, especialmente projetada para desenvolver aplicações de conhecimento zero, reduzindo os requisitos de conhecimento em criptografia para os desenvolvedores.
snarkVM e snarkOS: snarkVM permite a execução de cálculos fora da cadeia, verificando apenas os resultados dos cálculos na cadeia, aumentando assim a eficiência. snarkOS garante a segurança dos dados e cálculos, permitindo a execução de funções sem permissão.
zkCloud: fornece um ambiente de computação off-chain seguro e privado, suportando a interação de programação entre usuários, organizações e organizações autônomas descentralizadas.
Aleo também oferece um ambiente de desenvolvimento integrado e um kit de ferramentas de desenvolvimento de software, apoiando os desenvolvedores na rápida criação e publicação de aplicações. Além disso, os desenvolvedores podem implantar aplicações no registro de programas da Aleo, sem a necessidade de depender de terceiros, reduzindo assim o risco da plataforma.
Escalabilidade
Aleo adotou um método de processamento off-chain, onde as transações são inicialmente calculadas nos dispositivos dos usuários e, em seguida, apenas os resultados da verificação são enviados para a Blockchain. Este método aumenta 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. O AleoBFT não só aumenta o grau de descentralização da rede, mas também melhora o desempenho e a segurança.
Finalidade rápida do bloco: AleoBFT garante que cada bloco seja confirmado imediatamente após a sua geração, melhorando a estabilidade dos nós e a experiência do usuário.
Garantia de descentralização: ao separar a produção de blocos da geração de tokens, os validadores são responsáveis pela geração de blocos, enquanto os provadores realizam os cálculos de prova, prevenindo que poucas entidades monopolisem a rede.
Mecanismo de incentivo: validadores e provadores compartilham recompensas de bloco; incentiva os provadores a se tornarem validadores através da aposta de tokens, aumentando assim o grau de descentralização e a capacidade de computação da rede.
Aleo permite que os desenvolvedores criem aplicações sem restrições de recursos, sendo especialmente adequado para aplicações que exigem longos períodos de execução, como o aprendizado de máquina.
Últimos desenvolvimentos
Aleo irá lançar a rede de teste incentivada no dia 1 de julho, aqui estão algumas informações importantes:
Votação do ARC-100 aprovada: A proposta relacionada a questões de conformidade, ao bloqueio de fundos na rede Aleo e a medidas de segurança como atrasos na contabilização foi aprovada. A equipe está realizando os ajustes finais.
Plano de Incentivos para Validadores: Este plano será lançado a 1 de julho, com o objetivo de validar o novo mecanismo de puzzle. O plano irá decorrer até 15 de julho, durante o qual serão atribuídos 1 milhão de pontos Aleo como recompensa.
Fornecimento inicial e fornecimento circulante: O fornecimento inicial é de 1.5 bilhões de tokens, e o fornecimento circulante inicial é de aproximadamente 10%. Esses tokens provêm principalmente de recompensas de tarefas (75 milhões), que serão distribuídas ao longo dos primeiros seis meses, incluindo recompensas para staking, operação de validadores e nós de validação.
Reinício da Testnet: Esta é a última reinicialização da rede, após a qual não serão adicionadas novas funcionalidades, a rede será semelhante à mainnet. O reinício é para adicionar novas funcionalidades e atualizar o mecanismo puzzle.
Congelamento de código: O congelamento de código foi concluído há uma semana.
Plano de Expansão dos Nós de Validação: O número inicial de nós de validação é de 15, com o objetivo de aumentar para 50 dentro do ano e, finalmente, atingir 500. Para se tornar um delegado, são necessários 10.000 tokens, e para se tornar um validador, são necessários 10 milhões de tokens, valores que irão diminuir gradualmente ao longo do tempo.
Análise do Algoritmo Synthesis Puzzle
O núcleo do algoritmo mais recente da Aleo é chamado de Synthesis Puzzle, cujo cerne é a geração fixa de um EpochProgram comum para cada epoch. Isso é feito construindo um circuito de prova R1CS para a entrada e o EpochProgram, gerando a correspondente atribuição R1CS (ou seja, witness) e utilizando-a como um nó folha da árvore Merkle. Após calcular todos os nós folha, é gerada a raiz Merkle e convertida no proof_target da solução.
O processo detalhado para construir o Synthesis Puzzle é o seguinte:
Cada cálculo de puzzle é chamado de nonce, construído a partir do endereço que recebe a recompensa de mineração, epoch_hash e o contador de número aleatório.
Em cada epoch, o EpochProgram calculado por todos os provers é o mesmo, amostrado do conjunto de instruções a partir de 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 e realizar o cálculo do witness.
Converter todos os witness em uma sequência de nós folha da árvore Merkle.
Calcular a raiz Merkle e convertê-la em proof_target da solução, verificando se cumpre os requisitos da epoch atual.
No mesmo epoch, é possível atualizar a entrada do EpochProgram várias vezes através da iteração do contador para calcular soluções.
Impacto da atualização do algoritmo
Após esta atualização, o puzzle passou de gerar proof para gerar witness. A lógica de cálculo de todas as soluções dentro de cada epoch é consistente, mas a lógica de cálculo entre diferentes epochs apresenta diferenças significativas. O novo algoritmo abandonou os cálculos MSM e NTT da versão anterior, o que pode impactar as estratégias de otimização de GPU existentes. Ao mesmo tempo, como o processo de geração de witness envolve a execução de um programa que varia com a epoch, as instruções podem ter dependências que exigem execução parcial em série, o que pode representar um desafio significativo para a implementação da paralelização.
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.
11 Curtidas
Recompensa
11
14
Repostar
Compartilhar
Comentário
0/400
GateUser-fea06f41
· 58m atrás
Provas de conhecimento de bola não funcionam.
Ver originalResponder0
010Strategy
· 1h atrás
Ver a resposta de vocês me deixou bastante nervoso! Posso perguntar se vocês têm Aleo Ponto?
Aleo lança Testnet de Blockchain de Privacidade, liderando a revolução de conhecimento zero no Web3
Aleo: O projeto de Blockchain que lidera a revolução da privacidade no Web3
Aleo é um projeto de blockchain dedicado à proteção da privacidade, cuja tecnologia central é baseada em provas de conhecimento zero (ZKP), com o objetivo de alcançar níveis mais elevados de privacidade e escalabilidade. A ideia básica do projeto é permitir que os usuários possam validar sua identidade e processar dados sem expor informações pessoais.
Visão Geral do Projeto
Privacidade
Aleo é uma tecnologia central baseada em provas de zero conhecimento, que permite que a execução de transações e contratos inteligentes ocorra com a proteção da privacidade. Os detalhes das transações dos usuários, como o remetente e o montante da transação, estão ocultos por padrão. Este design não apenas protege a privacidade dos usuários, mas também permite a divulgação seletiva quando necessário, sendo muito adequado para o desenvolvimento de aplicações financeiras descentralizadas.
Os principais componentes da Aleo incluem:
Linguagem de programação Leo: adaptada da linguagem Rust, especialmente projetada para desenvolver aplicações de conhecimento zero, reduzindo os requisitos de conhecimento em criptografia para os desenvolvedores.
snarkVM e snarkOS: snarkVM permite a execução de cálculos fora da cadeia, verificando apenas os resultados dos cálculos na cadeia, aumentando assim a eficiência. snarkOS garante a segurança dos dados e cálculos, permitindo a execução de funções sem permissão.
zkCloud: fornece um ambiente de computação off-chain seguro e privado, suportando a interação de programação entre usuários, organizações e organizações autônomas descentralizadas.
Aleo também oferece um ambiente de desenvolvimento integrado e um kit de ferramentas de desenvolvimento de software, apoiando os desenvolvedores na rápida criação e publicação de aplicações. Além disso, os desenvolvedores podem implantar aplicações no registro de programas da Aleo, sem a necessidade de depender de terceiros, reduzindo assim o risco da plataforma.
Escalabilidade
Aleo adotou um método de processamento off-chain, onde as transações são inicialmente calculadas nos dispositivos dos usuários e, em seguida, apenas os resultados da verificação são enviados para a Blockchain. Este método aumenta 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. O AleoBFT não só aumenta o grau de descentralização da rede, mas também melhora o desempenho e a segurança.
Finalidade rápida do bloco: AleoBFT garante que cada bloco seja confirmado imediatamente após a sua geração, melhorando a estabilidade dos nós e a experiência do usuário.
Garantia de descentralização: ao separar a produção de blocos da geração de tokens, os validadores são responsáveis pela geração de blocos, enquanto os provadores realizam os cálculos de prova, prevenindo que poucas entidades monopolisem a rede.
Mecanismo de incentivo: validadores e provadores compartilham recompensas de bloco; incentiva os provadores a se tornarem validadores através da aposta de tokens, aumentando assim o grau de descentralização e a capacidade de computação da rede.
Aleo permite que os desenvolvedores criem aplicações sem restrições de recursos, sendo especialmente adequado para aplicações que exigem longos períodos de execução, como o aprendizado de máquina.
Últimos desenvolvimentos
Aleo irá lançar a rede de teste incentivada no dia 1 de julho, aqui estão algumas informações importantes:
Votação do ARC-100 aprovada: A proposta relacionada a questões de conformidade, ao bloqueio de fundos na rede Aleo e a medidas de segurança como atrasos na contabilização foi aprovada. A equipe está realizando os ajustes finais.
Plano de Incentivos para Validadores: Este plano será lançado a 1 de julho, com o objetivo de validar o novo mecanismo de puzzle. O plano irá decorrer até 15 de julho, durante o qual serão atribuídos 1 milhão de pontos Aleo como recompensa.
Fornecimento inicial e fornecimento circulante: O fornecimento inicial é de 1.5 bilhões de tokens, e o fornecimento circulante inicial é de aproximadamente 10%. Esses tokens provêm principalmente de recompensas de tarefas (75 milhões), que serão distribuídas ao longo dos primeiros seis meses, incluindo recompensas para staking, operação de validadores e nós de validação.
Reinício da Testnet: Esta é a última reinicialização da rede, após a qual não serão adicionadas novas funcionalidades, a rede será semelhante à mainnet. O reinício é para adicionar novas funcionalidades e atualizar o mecanismo puzzle.
Congelamento de código: O congelamento de código foi concluído há uma semana.
Plano de Expansão dos Nós de Validação: O número inicial de nós de validação é de 15, com o objetivo de aumentar para 50 dentro do ano e, finalmente, atingir 500. Para se tornar um delegado, são necessários 10.000 tokens, e para se tornar um validador, são necessários 10 milhões de tokens, valores que irão diminuir gradualmente ao longo do tempo.
Análise do Algoritmo Synthesis Puzzle
O núcleo do algoritmo mais recente da Aleo é chamado de Synthesis Puzzle, cujo cerne é a geração fixa de um EpochProgram comum para cada epoch. Isso é feito construindo um circuito de prova R1CS para a entrada e o EpochProgram, gerando a correspondente atribuição R1CS (ou seja, witness) e utilizando-a como um nó folha da árvore Merkle. Após calcular todos os nós folha, é gerada a raiz Merkle e convertida no proof_target da solução.
O processo detalhado para construir o Synthesis Puzzle é o seguinte:
Cada cálculo de puzzle é chamado de nonce, construído a partir do endereço que recebe a recompensa de mineração, epoch_hash e o contador de número aleatório.
Em cada epoch, o EpochProgram calculado por todos os provers é o mesmo, amostrado do conjunto de instruções a partir de 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 e realizar o cálculo do witness.
Converter todos os witness em uma sequência de nós folha da árvore Merkle.
Calcular a raiz Merkle e convertê-la em proof_target da solução, verificando se cumpre os requisitos da epoch atual.
No mesmo epoch, é possível atualizar a entrada do EpochProgram várias vezes através da iteração do contador para calcular soluções.
Impacto da atualização do algoritmo
Após esta atualização, o puzzle passou de gerar proof para gerar witness. A lógica de cálculo de todas as soluções dentro de cada epoch é consistente, mas a lógica de cálculo entre diferentes epochs apresenta diferenças significativas. O novo algoritmo abandonou os cálculos MSM e NTT da versão anterior, o que pode impactar as estratégias de otimização de GPU existentes. Ao mesmo tempo, como o processo de geração de witness envolve a execução de um programa que varia com a epoch, as instruções podem ter dependências que exigem execução parcial em série, o que pode representar um desafio significativo para a implementação da paralelização.