Aleo: Blockchain inovador para proteção de privacidade e escalabilidade
Aleo é um projeto de blockchain focado na proteção da privacidade, que utiliza a tecnologia de prova de conhecimento zero para alcançar maior privacidade e escalabilidade. A sua ideia central é permitir que os usuários realizem a verificação de identidade e o processamento de dados sem revelar dados pessoais.
Visão Geral do Projeto
Privacidade
O núcleo da Aleo é a tecnologia de prova de conhecimento zero, que permite que a execução de transações e contratos inteligentes ocorra sob a premissa de manter a privacidade. Os detalhes das transações dos usuários são ocultados por padrão, enquanto permitem a divulgação seletiva quando necessário, sendo muito adequada para o desenvolvimento de aplicações DeFi. Os principais componentes incluem:
Leo linguagem de programação: especialmente concebida para o desenvolvimento de aplicações de conhecimento zero, reduzindo a necessidade de conhecimentos de criptografia para os desenvolvedores.
snarkVM e snarkOS: o snarkVM permite a execução de cálculos fora da cadeia, validando apenas os resultados na cadeia, melhorando a eficiência. O snarkOS garante a segurança dos dados e cálculos, permitindo a execução de funcionalidades sem permissão.
zkCloud: fornece um ambiente de computação off-chain seguro e privado, suportando interações de programação entre várias partes.
Aleo também oferece um ambiente de desenvolvimento integrado e um kit de ferramentas de desenvolvimento de software, suportando o desenvolvimento e a implementação rápida de aplicações.
Escalabilidade
Aleo adota um método 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. Isso aumenta significativamente a velocidade de processamento das transações e a escalabilidade do sistema, evitando congestionamentos de rede e altas taxas.
Mecanismo de Consenso
Aleo introduziu o AleoBFT, um mecanismo de consenso de arquitetura híbrida que combina a finalização instantânea dos validadores e a capacidade de computação dos provadores. Principais características:
Bloco de finalização rápida: garantir que cada bloco gerado seja imediatamente confirmado.
Garantia descentralizada: ao separar a produção de blocos da geração de coinbase, evita-se que poucas entidades monopolizem a rede.
Mecanismo de incentivo: validadores e provadores compartilham recompensas de bloco, incentivando a participação na operação da rede.
Aleo permite o desenvolvimento de aplicações sem limitações de gas, adequadas para aplicações de longa duração como aprendizado de máquina.
Últimos desenvolvimentos
Proposta ARC-100 aprovada: envolve medidas de conformidade e segurança, atualmente em ajustes finais.
Plano de incentivos para validadores: iniciado em 1 de julho, até 15 de julho, será distribuído 1 milhão de pontos Aleo como recompensa.
Oferta inicial e circulação: a oferta inicial é de 1.5 bilhões de tokens, a circulação inicial é de cerca de 10%.
Reinício da rede de testes Beta: Adição da ARC-41 e nova funcionalidade de puzzle.
Congelamento de código: concluído há uma semana.
Expansão de nós de validação: 15 nós iniciais, objetivo de aumentar para 50 dentro de um ano, e eventualmente alcançar 500.
Atualização do algoritmo Synthesis Puzzle
O novo algoritmo não se concentra mais na geração de resultados de zk proof, removeu os cálculos de MSM e NTT, e passou a focar na geração de testemunhas. Processo principal:
Cada epoch gera um EpochProgram fixo.
Usar nonce como semente aleatória para gerar a entrada do EpochProgram.
Agregar R1CS e entrada, calcular witness.
Converter o witness em nós folha da árvore Merkle.
Calcular a raiz Merkle e converter para proof_target.
Se as condições forem atendidas, envie a solução e a transmita.
Esta atualização faz com que o puzzle passe de gerar proof para gerar witness, com cálculos lógicos consistentes dentro de cada epoch, mas com grandes diferenças entre epochs. O novo algoritmo traz desafios de otimização para GPU, tornando a implementação de paralelização um pouco difícil.
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
7
Compartilhar
Comentário
0/400
PuzzledScholar
· 4h atrás
Potencial é potencial, mas dinheiro é a verdade.
Ver originalResponder0
OvertimeSquid
· 4h atrás
Copiou bsc, isso é
Ver originalResponder0
DefiEngineerJack
· 4h atrás
meh. mais uma cadeia zk a reivindicar escalonamento *otimizado*. mostra-me as provas formais ou desaparece.
Ver originalResponder0
SandwichTrader
· 4h atrás
Já trabalhou em vão, não é?
Ver originalResponder0
SingleForYears
· 4h atrás
Por que os projetos de privacidade não conseguem superar o V神?
Aleo Pilot Blockchain: zk-SNARKs promovem privacidade e alta escalabilidade
Aleo: Blockchain inovador para proteção de privacidade e escalabilidade
Aleo é um projeto de blockchain focado na proteção da privacidade, que utiliza a tecnologia de prova de conhecimento zero para alcançar maior privacidade e escalabilidade. A sua ideia central é permitir que os usuários realizem a verificação de identidade e o processamento de dados sem revelar dados pessoais.
Visão Geral do Projeto
Privacidade
O núcleo da Aleo é a tecnologia de prova de conhecimento zero, que permite que a execução de transações e contratos inteligentes ocorra sob a premissa de manter a privacidade. Os detalhes das transações dos usuários são ocultados por padrão, enquanto permitem a divulgação seletiva quando necessário, sendo muito adequada para o desenvolvimento de aplicações DeFi. Os principais componentes incluem:
Leo linguagem de programação: especialmente concebida para o desenvolvimento de aplicações de conhecimento zero, reduzindo a necessidade de conhecimentos de criptografia para os desenvolvedores.
snarkVM e snarkOS: o snarkVM permite a execução de cálculos fora da cadeia, validando apenas os resultados na cadeia, melhorando a eficiência. O snarkOS garante a segurança dos dados e cálculos, permitindo a execução de funcionalidades sem permissão.
zkCloud: fornece um ambiente de computação off-chain seguro e privado, suportando interações de programação entre várias partes.
Aleo também oferece um ambiente de desenvolvimento integrado e um kit de ferramentas de desenvolvimento de software, suportando o desenvolvimento e a implementação rápida de aplicações.
Escalabilidade
Aleo adota um método 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. Isso aumenta significativamente a velocidade de processamento das transações e a escalabilidade do sistema, evitando congestionamentos de rede e altas taxas.
Mecanismo de Consenso
Aleo introduziu o AleoBFT, um mecanismo de consenso de arquitetura híbrida que combina a finalização instantânea dos validadores e a capacidade de computação dos provadores. Principais características:
Bloco de finalização rápida: garantir que cada bloco gerado seja imediatamente confirmado.
Garantia descentralizada: ao separar a produção de blocos da geração de coinbase, evita-se que poucas entidades monopolizem a rede.
Mecanismo de incentivo: validadores e provadores compartilham recompensas de bloco, incentivando a participação na operação da rede.
Aleo permite o desenvolvimento de aplicações sem limitações de gas, adequadas para aplicações de longa duração como aprendizado de máquina.
Últimos desenvolvimentos
Proposta ARC-100 aprovada: envolve medidas de conformidade e segurança, atualmente em ajustes finais.
Plano de incentivos para validadores: iniciado em 1 de julho, até 15 de julho, será distribuído 1 milhão de pontos Aleo como recompensa.
Oferta inicial e circulação: a oferta inicial é de 1.5 bilhões de tokens, a circulação inicial é de cerca de 10%.
Reinício da rede de testes Beta: Adição da ARC-41 e nova funcionalidade de puzzle.
Congelamento de código: concluído há uma semana.
Expansão de nós de validação: 15 nós iniciais, objetivo de aumentar para 50 dentro de um ano, e eventualmente alcançar 500.
Atualização do algoritmo Synthesis Puzzle
O novo algoritmo não se concentra mais na geração de resultados de zk proof, removeu os cálculos de MSM e NTT, e passou a focar na geração de testemunhas. Processo principal:
Cada epoch gera um EpochProgram fixo.
Usar nonce como semente aleatória para gerar a entrada do EpochProgram.
Agregar R1CS e entrada, calcular witness.
Converter o witness em nós folha da árvore Merkle.
Calcular a raiz Merkle e converter para proof_target.
Se as condições forem atendidas, envie a solução e a transmita.
Esta atualização faz com que o puzzle passe de gerar proof para gerar witness, com cálculos lógicos consistentes dentro de cada epoch, mas com grandes diferenças entre epochs. O novo algoritmo traz desafios de otimização para GPU, tornando a implementação de paralelização um pouco difícil.