Aleo: A liderança de uma nova era de computação privada na Web3
Aleo é um projeto de blockchain focado na proteção da privacidade, que utiliza a tecnologia de prova de conhecimento zero (ZKP) para alcançar maior privacidade e escalabilidade. A sua ideia central é permitir que os usuários realizem autenticação e processamento de dados sem revelar informações pessoais.
Visão Geral do Projeto
O núcleo da Aleo são as provas de conhecimento zero (ZKPs), que permitem que as transações e a execução de contratos inteligentes ocorram enquanto protegem a privacidade. Os detalhes das transações dos usuários estão ocultos por padrão, enquanto permite a divulgação seletiva quando necessário, sendo muito adequado para o desenvolvimento de aplicações DeFi.
Os principais componentes incluem:
Leo linguagem de compilação: adaptada a partir do Rust, especialmente para o desenvolvimento de aplicações de conhecimento zero (ZKApps), reduzindo a exigência de conhecimento em criptografia para os desenvolvedores.
snarkVM e snarkOS: snarkVM permite 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, e suporta a execução de funcionalidades sem permissão.
zkCloud: fornece um ambiente de computação fora da cadeia seguro e privado, suportando a interação de programação entre usuários, organizações e DAOs.
Aleo também oferece um ambiente de desenvolvimento integrado (IDE) e um kit de ferramentas de software (SDK), suportando os desenvolvedores na rápida escrita e publicação de aplicações. Os desenvolvedores podem implantar aplicações diretamente no registro de programas da Aleo, reduzindo o risco da plataforma.
Escalabilidade
Aleo adota um método de processamento off-chain, onde as transações são primeiramente calculadas no dispositivo do usuário e, em seguida, apenas o resultado da verificação é enviado para a blockchain. Este método aumenta significativamente a velocidade de processamento de transações e a escalabilidade do sistema, evitando congestionamentos de rede e problemas de custos elevados.
Mecanismo de Consenso
Aleo introduziu o AleoBFT, que é um mecanismo de consenso de arquitetura híbrida, combinando a finalização instantânea dos validadores com a capacidade de computação dos provadores. O AleoBFT aumentou o grau de descentralização da rede, melhorando o desempenho e a segurança.
Finalidade rápida do bloco: AleoBFT garante que cada bloco gerado seja imediatamente confirmado, melhorando a estabilidade dos nós e a experiência do usuário.
Garantia descentralizada: ao separar 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, evitando que poucos entidades monopolizem a rede.
Mecanismo de incentivo: os validadores e os provadores compartilham as recompensas de bloco; incentiva os provadores a se tornarem validadores através do staking de tokens, aumentando o grau de descentralização e a capacidade computacional da rede.
Aleo permite que os desenvolvedores criem aplicações sem restrições de gas, sendo especialmente adequado para aplicações que requerem longos períodos de execução, como o aprendizado de máquina.
Últimos desenvolvimentos
Aleo irá lançar a rede de testes incentivada no dia 1 de julho, aqui estão algumas informações importantes:
Votação do ARC-100 aprovada: a proposta relacionada a medidas de segurança, como conformidade, bloqueio de fundos na rede e atrasos na contabilização, foi aprovada e a equipe está fazendo os ajustes finais.
Programa de Incentivos para Validadores: De 1 a 15 de julho, serão atribuídos 1 milhão de pontos Aleo como recompensa. A porcentagem de pontos gerados pelos nós determinará sua parte da recompensa, e cada validador deve ganhar pelo menos 100 tokens para receber a recompensa.
Fornecimento de tokens: O fornecimento inicial é de 1,5 mil milhões de tokens, com um fornecimento circulante inicial de cerca de 10%. Esses tokens provêm principalmente da tarefa Coinbase (7500万), que será distribuída nos primeiros seis meses, incluindo recompensas para staking, execução de validadores e nós de validação.
Reset da Testnet Beta: Esta é a última reinicialização da rede, após a qual não serão adicionadas novas funcionalidades, a rede será semelhante à da mainnet.
Congelamento de código: 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 até o final do ano, e eventualmente 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.000.000 tokens, esses valores irão diminuir gradualmente ao longo do tempo.
Análise do Algoritmo Synthesis Puzzle
O núcleo do algoritmo puzzle mais recente da Aleo é chamado de Synthesis Puzzle, cujas principais características são as seguintes:
Cada epoch gera um EpochProgram comum fixo.
Ao construir um circuito de prova R1CS para a entrada e o EpochProgram, gera a correspondente atribuição R1CS (, ou seja, o testemunho ).
Usar o witness como nó folha da árvore Merkle, calcular a raiz Merkle e converter para o proof_target da solução.
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.
O EpochProgram gera números aleatórios amostrados do conjunto de instruções a partir do epoch_hash atual.
Use nonce como semente de número aleatório para gerar a entrada do EpochProgram.
Após calcular o witness, converta para a sequência de nós folha da árvore Merkle e construa uma árvore Merkle K-ary de 8 elementos com profundidade 8.
Calcular a raiz Merkle e converter para proof_target, verificar se atende ao latest_proof_target do epoch atual.
Submeta a solução e difunda-a se as condições forem atendidas.
Esta atualização faz com que o puzzle passe 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 epochs são bastante grandes. O novo algoritmo abandona os cálculos MSM e NTT anteriores, enquanto a geração de witness enfrenta grandes desafios na implementação de paralelização devido à dependência serial durante o processo.
De um modo geral, a Aleo, através deste algoritmo inovador, reforçou ainda mais a sua posição de liderança no campo da computação privada Web3, estabelecendo uma base sólida para o desenvolvimento futuro.
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.
15 Curtidas
Recompensa
15
6
Repostar
Compartilhar
Comentário
0/400
LeekCutter
· 07-13 22:17
Privacidade, o que mais há para dizer? É tudo conversa fiada.
Ver originalResponder0
CodeZeroBasis
· 07-13 15:41
Tudo é Criptografia, deixa-me tonto...
Ver originalResponder0
LuoGeMade1MillionDo
· 07-11 01:59
O dark pool da rede principal aleo está a chegar, uma grande novidade.
Ver originalResponder0
MidnightMEVeater
· 07-11 00:41
Mais uma onda de caça em dark pools chegou. A questão é saber se a computação privada pode sustentar os mineiros.
Aleo lidera a revolução da computação privada no Web3 com o lançamento da Testnet de incentivos.
Aleo: A liderança de uma nova era de computação privada na Web3
Aleo é um projeto de blockchain focado na proteção da privacidade, que utiliza a tecnologia de prova de conhecimento zero (ZKP) para alcançar maior privacidade e escalabilidade. A sua ideia central é permitir que os usuários realizem autenticação e processamento de dados sem revelar informações pessoais.
Visão Geral do Projeto
O núcleo da Aleo são as provas de conhecimento zero (ZKPs), que permitem que as transações e a execução de contratos inteligentes ocorram enquanto protegem a privacidade. Os detalhes das transações dos usuários estão ocultos por padrão, enquanto permite a divulgação seletiva quando necessário, sendo muito adequado para o desenvolvimento de aplicações DeFi.
Os principais componentes incluem:
Leo linguagem de compilação: adaptada a partir do Rust, especialmente para o desenvolvimento de aplicações de conhecimento zero (ZKApps), reduzindo a exigência de conhecimento em criptografia para os desenvolvedores.
snarkVM e snarkOS: snarkVM permite 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, e suporta a execução de funcionalidades sem permissão.
zkCloud: fornece um ambiente de computação fora da cadeia seguro e privado, suportando a interação de programação entre usuários, organizações e DAOs.
Aleo também oferece um ambiente de desenvolvimento integrado (IDE) e um kit de ferramentas de software (SDK), suportando os desenvolvedores na rápida escrita e publicação de aplicações. Os desenvolvedores podem implantar aplicações diretamente no registro de programas da Aleo, reduzindo o risco da plataforma.
Escalabilidade
Aleo adota um método de processamento off-chain, onde as transações são primeiramente calculadas no dispositivo do usuário e, em seguida, apenas o resultado da verificação é enviado para a blockchain. Este método aumenta significativamente a velocidade de processamento de transações e a escalabilidade do sistema, evitando congestionamentos de rede e problemas de custos elevados.
Mecanismo de Consenso
Aleo introduziu o AleoBFT, que é um mecanismo de consenso de arquitetura híbrida, combinando a finalização instantânea dos validadores com a capacidade de computação dos provadores. O AleoBFT aumentou o grau de descentralização da rede, melhorando o desempenho e a segurança.
Finalidade rápida do bloco: AleoBFT garante que cada bloco gerado seja imediatamente confirmado, melhorando a estabilidade dos nós e a experiência do usuário.
Garantia descentralizada: ao separar 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, evitando que poucos entidades monopolizem a rede.
Mecanismo de incentivo: os validadores e os provadores compartilham as recompensas de bloco; incentiva os provadores a se tornarem validadores através do staking de tokens, aumentando o grau de descentralização e a capacidade computacional da rede.
Aleo permite que os desenvolvedores criem aplicações sem restrições de gas, sendo especialmente adequado para aplicações que requerem longos períodos de execução, como o aprendizado de máquina.
Últimos desenvolvimentos
Aleo irá lançar a rede de testes incentivada no dia 1 de julho, aqui estão algumas informações importantes:
Votação do ARC-100 aprovada: a proposta relacionada a medidas de segurança, como conformidade, bloqueio de fundos na rede e atrasos na contabilização, foi aprovada e a equipe está fazendo os ajustes finais.
Programa de Incentivos para Validadores: De 1 a 15 de julho, serão atribuídos 1 milhão de pontos Aleo como recompensa. A porcentagem de pontos gerados pelos nós determinará sua parte da recompensa, e cada validador deve ganhar pelo menos 100 tokens para receber a recompensa.
Fornecimento de tokens: O fornecimento inicial é de 1,5 mil milhões de tokens, com um fornecimento circulante inicial de cerca de 10%. Esses tokens provêm principalmente da tarefa Coinbase (7500万), que será distribuída nos primeiros seis meses, incluindo recompensas para staking, execução de validadores e nós de validação.
Reset da Testnet Beta: Esta é a última reinicialização da rede, após a qual não serão adicionadas novas funcionalidades, a rede será semelhante à da mainnet.
Congelamento de código: 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 até o final do ano, e eventualmente 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.000.000 tokens, esses valores irão diminuir gradualmente ao longo do tempo.
Análise do Algoritmo Synthesis Puzzle
O núcleo do algoritmo puzzle mais recente da Aleo é chamado de Synthesis Puzzle, cujas principais características são as seguintes:
Cada epoch gera um EpochProgram comum fixo.
Ao construir um circuito de prova R1CS para a entrada e o EpochProgram, gera a correspondente atribuição R1CS (, ou seja, o testemunho ).
Usar o witness como nó folha da árvore Merkle, calcular a raiz Merkle e converter para o proof_target da solução.
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.
O EpochProgram gera números aleatórios amostrados do conjunto de instruções a partir do epoch_hash atual.
Use nonce como semente de número aleatório para gerar a entrada do EpochProgram.
Após calcular o witness, converta para a sequência de nós folha da árvore Merkle e construa uma árvore Merkle K-ary de 8 elementos com profundidade 8.
Calcular a raiz Merkle e converter para proof_target, verificar se atende ao latest_proof_target do epoch atual.
Submeta a solução e difunda-a se as condições forem atendidas.
Esta atualização faz com que o puzzle passe 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 epochs são bastante grandes. O novo algoritmo abandona os cálculos MSM e NTT anteriores, enquanto a geração de witness enfrenta grandes desafios na implementação de paralelização devido à dependência serial durante o processo.
De um modo geral, a Aleo, através deste algoritmo inovador, reforçou ainda mais a sua posição de liderança no campo da computação privada Web3, estabelecendo uma base sólida para o desenvolvimento futuro.