Aleo: Uma nova quebra de paradigma em Blockchain de proteção de privacidade
Aleo é um projeto de blockchain dedicado à proteção da privacidade, que alcançou um nível mais elevado de privacidade e escalabilidade através da tecnologia de prova de conhecimento zero (ZKP). A filosofia 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), que permite a execução de transações e contratos inteligentes sob a proteção da privacidade. Os detalhes das transações dos usuários, como o remetente e o montante, estão ocultos por padrão. Este 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 compilação: adaptada com base em 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 assim a eficiência. snarkOS garante a segurança dos dados e cálculos, e suporta a execução de funcionalidades sem permissão.
zkCloud: fornece um ambiente de computação off-chain seguro e privado, suportando interações programáticas entre usuários, organizações e DAOs.
Aleo também oferece um Ambiente de Desenvolvimento Integrado (IDE) e um Pacote 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 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 apenas o resultado da verificação é enviado para a Blockchain. Este método melhora significativamente a velocidade de processamento das transações e a escalabilidade do sistema, evitando problemas como congestionamento da rede e altas taxas, semelhantes aos do Ethereum.
mecanismo de consenso
Aleo introduziu o AleoBFT, que é um mecanismo de consenso de arquitetura mista, combinando a finalização instantânea dos validadores com a capacidade computacional dos provadores. O AleoBFT não só aumenta o grau de descentralização da rede, como também melhora o desempenho e a segurança.
Bloco rápido de finalização: 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: 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, prevenindo a monopolização da rede por um pequeno número de entidades.
Mecanismo de incentivo: validadores e comprovadores compartilham recompensas de bloco; incentiva os comprovadores a se tornarem validadores através da aposta de tokens, aumentando assim o grau de descentralização e a capacidade computacional da rede.
Aleo permite que os desenvolvedores criem aplicações sem limitaçõ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 planeia lançar a rede de testes de incentivos a 1 de julho. Aqui estão algumas informações importantes recentes:
Proposta ARC-100 aprovada: Esta proposta envolve medidas de segurança relacionadas à conformidade, bloqueio de fundos na rede e atrasos na transferência, e a equipe está atualmente realizando ajustes finais.
Programa de incentivo para validadores: será lançado 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 milhão de pontos Aleo como recompensa.
Fornecimento de tokens: o fornecimento inicial é de 1,5 bilhões de tokens, o fornecimento inicial em circulação é de aproximadamente 10%( a ser determinado ). Esses tokens vêm principalmente da tarefa Coinbase (7500 mil ), que serão distribuídos nos primeiros seis meses, incluindo recompensas por staking, operação de validadores e nós de validação.
Testnet Beta reinicialização: Esta é a última reinicializaçã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 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 dentro de um ano, e finalmente alcançar 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
Aleo recentemente atualizou o algoritmo puzzle, o novo algoritmo não se concentra mais na geração de resultados de zk proof, mas sim na geração dos dados intermediários witness antes da prova. Abaixo está uma breve introdução ao novo algoritmo:
processo de consenso
Prover calcula puzzles, constrói soluções e as transmite para a rede.
Agregação de transações de Validator e solução para novos Blocos, garantindo que o número de soluções não exceda o limite de consenso.
A legalidade da solução precisa verificar se epoch_hash e proof_target estão de acordo com os requisitos da rede, bem como se o número de soluções no bloco está dentro do limite.
Soluções eficazes podem obter recompensas de consenso.
Mecanismo central do Synthesis Puzzle
Cada epoch gera um EpochProgram fixo, que é utilizado por todos os provadores.
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.
O EpochProgram gera um número aleatório amostrado do conjunto de instruções a partir do hash do epoch atual.
Usar nonce como semente aleatória para gerar a entrada do EpochProgram.
Agregar o R1CS e o input correspondentes ao EpochProgram, realizar o cálculo do witness.
Após calcular todos os witnesses, converta-os na sequência de nós folha da árvore merkle.
Calcular a raiz merkle e converter para proof_target da solução, verificando se atende aos requisitos do epoch atual.
Se os requisitos forem atendidos, envie a solução e faça a transmissão.
Esta atualização transforma o puzzle de geração de proof para geração de witness. A lógica de cálculo da solução é consistente dentro de cada epoch, mas há grandes diferenças entre epochs diferentes. O novo algoritmo abandona a otimização de GPU anterior para o cálculo de MSM e NTT, e, ao mesmo tempo, devido às dependências de execução serial no processo de geração de witness, a implementação da paralelização enfrenta grandes desafios.
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
7
Partilhar
Comentar
0/400
Cfrs2020
· 21h atrás
#ALEO# Vocês não olham os anúncios? O tempo de confirmação do bloco arc6 em agosto foi reduzido em 90%, a partir de 9 de setembro o ARC5 entra em vigor, e as taxas de lavagem de dinheiro caem 90%. Estamos preparando o caminho para o ecossistema.
Ver originalResponder0
0xTherapist
· 21h atrás
Privacidade é liberdade
Ver originalResponder0
tokenomics_truther
· 21h atrás
Privacidade é produtividade
Ver originalResponder0
LuoGeMade1MillionDo
· 21h atrás
Privacidade líder blockchain aleo
Ver originalResponder0
SchroedingerAirdrop
· 21h atrás
A infraestrutura de privacidade precisa de alguém para cuidar.
Atualização significativa da blockchain de privacidade Aleo: Análise do algoritmo Synthesis Puzzle e início da Testnet de incentivos
Aleo: Uma nova quebra de paradigma em Blockchain de proteção de privacidade
Aleo é um projeto de blockchain dedicado à proteção da privacidade, que alcançou um nível mais elevado de privacidade e escalabilidade através da tecnologia de prova de conhecimento zero (ZKP). A filosofia 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), que permite a execução de transações e contratos inteligentes sob a proteção da privacidade. Os detalhes das transações dos usuários, como o remetente e o montante, estão ocultos por padrão. Este 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 compilação: adaptada com base em 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 assim a eficiência. snarkOS garante a segurança dos dados e cálculos, e suporta a execução de funcionalidades sem permissão.
zkCloud: fornece um ambiente de computação off-chain seguro e privado, suportando interações programáticas entre usuários, organizações e DAOs.
Aleo também oferece um Ambiente de Desenvolvimento Integrado (IDE) e um Pacote 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 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 apenas o resultado da verificação é enviado para a Blockchain. Este método melhora significativamente a velocidade de processamento das transações e a escalabilidade do sistema, evitando problemas como congestionamento da rede e altas taxas, semelhantes aos do Ethereum.
mecanismo de consenso
Aleo introduziu o AleoBFT, que é um mecanismo de consenso de arquitetura mista, combinando a finalização instantânea dos validadores com a capacidade computacional dos provadores. O AleoBFT não só aumenta o grau de descentralização da rede, como também melhora o desempenho e a segurança.
Bloco rápido de finalização: 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: 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, prevenindo a monopolização da rede por um pequeno número de entidades.
Mecanismo de incentivo: validadores e comprovadores compartilham recompensas de bloco; incentiva os comprovadores a se tornarem validadores através da aposta de tokens, aumentando assim o grau de descentralização e a capacidade computacional da rede.
Aleo permite que os desenvolvedores criem aplicações sem limitaçõ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 planeia lançar a rede de testes de incentivos a 1 de julho. Aqui estão algumas informações importantes recentes:
Proposta ARC-100 aprovada: Esta proposta envolve medidas de segurança relacionadas à conformidade, bloqueio de fundos na rede e atrasos na transferência, e a equipe está atualmente realizando ajustes finais.
Programa de incentivo para validadores: será lançado 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 milhão de pontos Aleo como recompensa.
Fornecimento de tokens: o fornecimento inicial é de 1,5 bilhões de tokens, o fornecimento inicial em circulação é de aproximadamente 10%( a ser determinado ). Esses tokens vêm principalmente da tarefa Coinbase (7500 mil ), que serão distribuídos nos primeiros seis meses, incluindo recompensas por staking, operação de validadores e nós de validação.
Testnet Beta reinicialização: Esta é a última reinicializaçã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 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 dentro de um ano, e finalmente alcançar 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
Aleo recentemente atualizou o algoritmo puzzle, o novo algoritmo não se concentra mais na geração de resultados de zk proof, mas sim na geração dos dados intermediários witness antes da prova. Abaixo está uma breve introdução ao novo algoritmo:
processo de consenso
Prover calcula puzzles, constrói soluções e as transmite para a rede.
Agregação de transações de Validator e solução para novos Blocos, garantindo que o número de soluções não exceda o limite de consenso.
A legalidade da solução precisa verificar se epoch_hash e proof_target estão de acordo com os requisitos da rede, bem como se o número de soluções no bloco está dentro do limite.
Soluções eficazes podem obter recompensas de consenso.
Mecanismo central do Synthesis Puzzle
Cada epoch gera um EpochProgram fixo, que é utilizado por todos os provadores.
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.
O EpochProgram gera um número aleatório amostrado do conjunto de instruções a partir do hash do epoch atual.
Usar nonce como semente aleatória para gerar a entrada do EpochProgram.
Agregar o R1CS e o input correspondentes ao EpochProgram, realizar o cálculo do witness.
Após calcular todos os witnesses, converta-os na sequência de nós folha da árvore merkle.
Calcular a raiz merkle e converter para proof_target da solução, verificando se atende aos requisitos do epoch atual.
Se os requisitos forem atendidos, envie a solução e faça a transmissão.
Esta atualização transforma o puzzle de geração de proof para geração de witness. A lógica de cálculo da solução é consistente dentro de cada epoch, mas há grandes diferenças entre epochs diferentes. O novo algoritmo abandona a otimização de GPU anterior para o cálculo de MSM e NTT, e, ao mesmo tempo, devido às dependências de execução serial no processo de geração de witness, a implementação da paralelização enfrenta grandes desafios.