Aleo: Uma nova direção para a Blockchain de privacidade

Aleo é um projeto de blockchain dedicado à proteção da privacidade, que utiliza a tecnologia de prova de conhecimento zero (ZKP) para alcançar maiores níveis de privacidade e escalabilidade. A ideia 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 é a tecnologia de provas de zero conhecimento, que permite que a execução de transações e contratos inteligentes ocorra enquanto protege a privacidade. Os detalhes das transações dos usuários são ocultos por padrão, mas permitem a divulgação seletiva quando necessário, sendo muito adequado para o desenvolvimento de aplicações DeFi. Os principais componentes incluem:

1. Linguagem de compilação Leo: uma linguagem projetada para o desenvolvimento de aplicações de conhecimento zero (ZKApps), que reduz os requisitos de conhecimento de criptografia para os desenvolvedores.

2. 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 cálculos, e suporta a execução de funcionalidades sem permissão.

3. zkCloud: fornece um ambiente de computação off-chain seguro e privado, suportando interações de programação entre usuários, organizações e DAOs.

Aleo também oferece um ambiente de desenvolvimento integrado e um kit de ferramentas de desenvolvimento de software, suportando os desenvolvedores a escrever e publicar aplicações rapidamente. Os desenvolvedores podem implantar aplicações no registro de programas da Aleo, sem depender de terceiros, reduzindo o risco da plataforma.

Escalabilidade

Aleo utiliza um método de processamento fora da cadeia, onde as transações são primeiro 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 das transações e a escalabilidade do sistema, evitando problemas de congestionamento da rede e custos elevados.

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 aumenta o grau de descentralização da rede, melhorando o desempenho e a segurança.

1. Bloco finalização rápida: garantir que cada bloco gerado seja imediatamente confirmado, melhorando a estabilidade dos nós e a experiência do usuário.

2. Garantia descentralizada: ao separar a produção de blocos e a geração de coinbase, evita-se que poucas entidades monopolizem a rede.

3. Mecanismo de incentivo: validadores e provadores compartilham recompensas de bloco; incentiva os provadores a se tornarem validadores através da aposta 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, especialmente adequadas para aplicações que precisam de funcionar durante longos períodos, como o aprendizado de máquina.

Últimos desenvolvimentos

Aleo lançará uma rede de testes incentivada em 1 de julho, informações importantes incluem:

1. Votação do ARC-100 aprovada, a equipe está fazendo os ajustes finais.

2. O programa de incentivos para validadores será lançado a 1 de julho e funcionará até 15 de julho, distribuindo 1 milhão de pontos Aleo como recompensa.

3. A oferta inicial é de 1,5 mil milhões de tokens, com uma oferta circulante inicial de cerca de 10%.

4. A Testnet Beta concluiu a última redefinição da rede, adicionando a ARC-41 e uma nova funcionalidade de puzzle.

5. O congelamento do código foi concluído há uma semana.

6. Plano de expansão de nós de validação: 15 nós iniciais, com o objetivo de aumentar para 50 ao longo do ano, e finalmente atingir 500.

Análise do algoritmo Synthesis Puzzle

Aleo atualizou recentemente o algoritmo puzzle, chamado Synthesis Puzzle. O novo algoritmo não se concentra mais na geração de zk proof, mas sim na geração de dados intermediários witness. O fluxo central do algoritmo é o seguinte:

1. Gera um EpochProgram comum a cada epoch.

2. Usar nonce( composto pelo endereço da recompensa de mineração, epoch_hash e o contador aleatório como entrada.

3. Construir o circuito de prova R1CS com base no EpochProgram e na entrada, gerando testemunha.

4. Utilize o witness como nó folha da árvore Merkle, calcule a raiz Merkle.

5. Converter a raiz de Merkle em proof_target da solução, verificando se atende aos requisitos do epoch atual.

6. Se atender aos requisitos, envie a solução e faça a transmissão.

Esta atualização faz com que o puzzle passe de gerar proof para gerar witness, a lógica de cálculo dentro de cada epoch é consistente, mas há grandes diferenças entre epochs diferentes. O novo algoritmo removeu os cálculos MSM e NTT anteriores, aumentando a dificuldade da implementação paralela. Essa mudança terá um impacto significativo nas estratégias e eficiência de mineração.

![Interpretação do mais recente algoritmo Synthesis Puzzle da Aleo: liderando a revolução da privacidade no Web3])https://img-cdn.gateio.im/webp-social/moments-248292393dc48af499b670cbe18d5eaf.webp(