Aleo é um projeto de blockchain dedicado à proteção da privacidade, utilizando a tecnologia de prova de conhecimento zero (ZKP) para alcançar níveis mais elevados de privacidade e escalabilidade. A ideia central do projeto é permitir que os usuários realizem autenticação e processamento de dados enquanto protegem suas informações pessoais.
Visão geral do projeto
Privacidade
O núcleo da Aleo é a tecnologia de provas de conhecimento zero (ZKPs), garantindo que a execução de transações e contratos inteligentes ocorra mantendo a privacidade. Os detalhes das transações dos usuários são, por padrão, ocultos, e esse design não só 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 DeFi.
Os principais componentes incluem:
Leo linguagem de programação: adaptada a partir de 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 dos cálculos na cadeia, melhorando a eficiência. snarkOS garante a segurança dos dados e cálculos, permitindo a execução de funções sem licença.
zkCloud: fornece um ambiente de computação off-chain seguro e privado, suportando a interação programática entre usuários, organizações e DAOs.
Aleo também oferece um ambiente de desenvolvimento integrado (IDE) e um kit de ferramentas de desenvolvimento de software (SDK), 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 assim o risco da plataforma.
Escalabilidade
Aleo adotou uma abordagem de processamento off-chain, onde as transações são inicialmente calculadas no dispositivo do usuário e apenas os resultados da verificação são enviados para a Blockchain. Essa abordagem aumenta significativamente a velocidade de processamento das transações e a escalabilidade do sistema, evitando congestionamentos na rede e 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 computacional dos provadores. O AleoBFT não apenas 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 coinbase, os validadores são responsáveis pela geração de blocos, enquanto os provadores realizam o cálculo de provas, prevenindo a monopolização da rede por um pequeno número de entidades.
Mecanismo de incentivo: os validadores e os comprovadores partilham as recompensas do bloco; incentivam os comprovadores a tornarem-se 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 que não estão sujeitas a limitações de gas, sendo especialmente adequadas para aplicações que requerem longos períodos de execução, como aprendizado de máquina.
Últimos desenvolvimentos
Aleo planeia lançar a rede de testes incentivada a 1 de julho, abaixo estão algumas informações importantes recentes:
Votação da ARC-100 aprovada: a proposta envolvendo questões de conformidade, bloqueio de fundos na rede e medidas de segurança como atrasos na contabilização foi aprovada, e a equipe está realizando os ajustes finais.
Programa de incentivos para validadores: começará a 1 de julho, com o objetivo de validar o novo mecanismo de puzzle. O programa irá decorrer até 15 de julho, durante o qual serão atribuídos 1.000.000 de pontos Aleo como recompensa.
Fornecimento inicial e fornecimento em circulação: O fornecimento inicial é de 1,5 mil milhões de tokens, e o fornecimento em circulação inicial é de cerca de 10%. Estes tokens provêm principalmente de tarefas do Coinbase, que serão distribuídos nos primeiros seis meses.
Testnet Beta Reconfiguração: Esta é a última reconfiguração da rede, após a qual não serão adicionadas novas funcionalidades, a rede será semelhante à 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 dentro do ano e, finalmente, alcançar 500.
Synthesis Puzzle: Análise de novo algoritmo
O núcleo do algoritmo mais recente da Aleo é chamado de Synthesis Puzzle, cujo cerne é gerar um EpochProgram comum fixo para cada epoch, construindo um circuito de prova R1CS para a entrada e o EpochProgram, gerando a correspondente atribuição R1CS (ou seja, witness) e como nós folha da árvore Merkle. Após calcular todos os nós folha, é gerada a raiz Merkle e convertida no proof_target da solução.
Fluxo do algoritmo
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 número aleatório counter.
Em cada epoch, todos os provers calculam o EpochProgram da mesma forma, amostrando o número aleatório gerado pelo epoch_hash atual a partir do conjunto de instruções.
Usar nonce como semente de número aleatório para gerar a entrada do EpochProgram.
Agregar o R1CS correspondente ao EpochProgram e a entrada, e realizar o cálculo do witness.
Calcule todos os witness e, em seguida, converta-os na sequência de nós folha da árvore Merkle.
Calcular a raiz Merkle e converter para o proof_target da solução, verificar se atende ao latest_proof_target da época atual.
No mesmo epoch, é possível realizar múltiplos cálculos de solução ao atualizar a entrada do EpochProgram através da iteração do counter.
Mudanças e Impactos da Mineração
A nova versão do puzzle foi alterada de gerar proof para gerar witness. A lógica de cálculo de todas as soluções dentro de cada epoch é consistente, mas há grandes diferenças na lógica de cálculo entre diferentes epochs. Esta atualização abandonou os cálculos MSM e NTT anteriores. Além disso, como o processo de geração de witness envolve a execução de um programa que varia com o epoch, algumas instruções têm dependências de execução serial, o que apresentará desafios significativos para a implementação de 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.
10 gostos
Recompensa
10
5
Partilhar
Comentar
0/400
GasFeeCrybaby
· 18h atrás
Uau! Qual exchange pode listar?
Ver originalResponder0
OnchainDetectiveBing
· 18h atrás
Personalidade perspicaz, com vários anos de experiência na Blockchain, gosta de comentar com um tom agressivo de perguntas retóricas e dúvidas.
Ver originalResponder0
ThreeHornBlasts
· 18h atrás
A privacidade finalmente começou a aquecer.
Ver originalResponder0
GateUser-2e89a06f
· 18h atrás
Aquela merda de ar vem novamente para lavar o cérebro com ppt.
Aleo blockchain de privacidade é atualizada novamente: a tecnologia ZKP e um novo mecanismo de consenso melhoram o desempenho
Aleo: Pioneiro da Blockchain de Privacidade
Aleo é um projeto de blockchain dedicado à proteção da privacidade, utilizando a tecnologia de prova de conhecimento zero (ZKP) para alcançar níveis mais elevados de privacidade e escalabilidade. A ideia central do projeto é permitir que os usuários realizem autenticação e processamento de dados enquanto protegem suas informações pessoais.
Visão geral do projeto
Privacidade
O núcleo da Aleo é a tecnologia de provas de conhecimento zero (ZKPs), garantindo que a execução de transações e contratos inteligentes ocorra mantendo a privacidade. Os detalhes das transações dos usuários são, por padrão, ocultos, e esse design não só 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 DeFi.
Os principais componentes incluem:
Leo linguagem de programação: adaptada a partir de 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 dos cálculos na cadeia, melhorando a eficiência. snarkOS garante a segurança dos dados e cálculos, permitindo a execução de funções sem licença.
zkCloud: fornece um ambiente de computação off-chain seguro e privado, suportando a interação programática entre usuários, organizações e DAOs.
Aleo também oferece um ambiente de desenvolvimento integrado (IDE) e um kit de ferramentas de desenvolvimento de software (SDK), 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 assim o risco da plataforma.
Escalabilidade
Aleo adotou uma abordagem de processamento off-chain, onde as transações são inicialmente calculadas no dispositivo do usuário e apenas os resultados da verificação são enviados para a Blockchain. Essa abordagem aumenta significativamente a velocidade de processamento das transações e a escalabilidade do sistema, evitando congestionamentos na rede e 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 computacional dos provadores. O AleoBFT não apenas 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 coinbase, os validadores são responsáveis pela geração de blocos, enquanto os provadores realizam o cálculo de provas, prevenindo a monopolização da rede por um pequeno número de entidades.
Mecanismo de incentivo: os validadores e os comprovadores partilham as recompensas do bloco; incentivam os comprovadores a tornarem-se 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 que não estão sujeitas a limitações de gas, sendo especialmente adequadas para aplicações que requerem longos períodos de execução, como aprendizado de máquina.
Últimos desenvolvimentos
Aleo planeia lançar a rede de testes incentivada a 1 de julho, abaixo estão algumas informações importantes recentes:
Votação da ARC-100 aprovada: a proposta envolvendo questões de conformidade, bloqueio de fundos na rede e medidas de segurança como atrasos na contabilização foi aprovada, e a equipe está realizando os ajustes finais.
Programa de incentivos para validadores: começará a 1 de julho, com o objetivo de validar o novo mecanismo de puzzle. O programa irá decorrer até 15 de julho, durante o qual serão atribuídos 1.000.000 de pontos Aleo como recompensa.
Fornecimento inicial e fornecimento em circulação: O fornecimento inicial é de 1,5 mil milhões de tokens, e o fornecimento em circulação inicial é de cerca de 10%. Estes tokens provêm principalmente de tarefas do Coinbase, que serão distribuídos nos primeiros seis meses.
Testnet Beta Reconfiguração: Esta é a última reconfiguração da rede, após a qual não serão adicionadas novas funcionalidades, a rede será semelhante à 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 dentro do ano e, finalmente, alcançar 500.
Synthesis Puzzle: Análise de novo algoritmo
O núcleo do algoritmo mais recente da Aleo é chamado de Synthesis Puzzle, cujo cerne é gerar um EpochProgram comum fixo para cada epoch, construindo um circuito de prova R1CS para a entrada e o EpochProgram, gerando a correspondente atribuição R1CS (ou seja, witness) e como nós folha da árvore Merkle. Após calcular todos os nós folha, é gerada a raiz Merkle e convertida no proof_target da solução.
Fluxo do algoritmo
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 número aleatório counter.
Em cada epoch, todos os provers calculam o EpochProgram da mesma forma, amostrando o número aleatório gerado pelo epoch_hash atual a partir do conjunto de instruções.
Usar nonce como semente de número aleatório para gerar a entrada do EpochProgram.
Agregar o R1CS correspondente ao EpochProgram e a entrada, e realizar o cálculo do witness.
Calcule todos os witness e, em seguida, converta-os na sequência de nós folha da árvore Merkle.
Calcular a raiz Merkle e converter para o proof_target da solução, verificar se atende ao latest_proof_target da época atual.
No mesmo epoch, é possível realizar múltiplos cálculos de solução ao atualizar a entrada do EpochProgram através da iteração do counter.
Mudanças e Impactos da Mineração
A nova versão do puzzle foi alterada de gerar proof para gerar witness. A lógica de cálculo de todas as soluções dentro de cada epoch é consistente, mas há grandes diferenças na lógica de cálculo entre diferentes epochs. Esta atualização abandonou os cálculos MSM e NTT anteriores. Além disso, como o processo de geração de witness envolve a execução de um programa que varia com o epoch, algumas instruções têm dependências de execução serial, o que apresentará desafios significativos para a implementação de paralelização.