Olá amigos, Olá a todos! Dou as boas-vindas ao meu canal, entre em contato com o Sr. Atlas. O artigo de hoje será dedicado a um projeto único e muito promissor que conta com muito apoio, tanto do lado dos usuários quanto do lado dos investidores, e este é o Aleo . E para ser mais preciso, nesta edição

revisaremos as últimas notícias sobre este projeto . Aconselho você a ler este artigo até o fim, pois: As informações são interessantes e confiáveis, e você, meu caro, é o primeiro a saber disso. Então vamos!

☯️Pedido da equipe:

Temos o prazer de anunciar a segunda fase do Aleo Testnet 3! Nesta versão, implantaremos muitos dos principais recursos descritos em nosso roteiro original para Testnet 3, como a implantação e execução de programas definidos pelo usuário e um quebra-cabeça para conduzir o desenvolvimento do hardware de verificação zkSNARK.

Então, amigos, agora vocês entenderam: O lançamento vai ser bem interessante :)

Para aprofundar um pouco mais o momento, sugiro começar pelo básico…

☯️ O que é Aleo?

Aleo é um novo blockchain de nível 1 que usa criptografia de conhecimento zero para permitir aplicativos descentralizados escaláveis ​​e privados.

‌ Equipe Aleo, entenda que em sua arquitetura (programas) não são executados em cadeia; em vez disso, os usuários executam o programa offline e publicam zkSNARKs (provas curtas de conhecimento zero) na cadeia que comprovam a execução correta de maneira a preservar a privacidade.

A próxima etapa realizada pela cadeia é verificar provas curtas por vez (independente) do tempo de execução do programa.

Mas ! Se tudo desse certo, o projeto já estaria cotado na bolsa

‌ O plano funciona 100% bem, exceto por um pequeno bug: criar uma prova de execução correta do programa com conhecimento zero pode ser muitas vezes mais caro do que apenas executar o programa diretamente. Para muitos aplicativos úteis (como pagamentos), essa sobrecarga pode ser gerenciada mesmo ao verificar em um dispositivo comum, como um telefone celular ou laptop.

Quando usamos aplicativos com uso mais intensivo de computação, como aprendizado de máquina, jogos ou autenticação, a sobrecarga de verificação em dispositivos padrão pode ser proibitiva

E isso, por sua vez, torna esses casos de uso inatingíveis.

Claro que o momento não é agradável o suficiente, mas vou continuar, porque:

‌No entanto, o design da Aleo permite que os clientes escolham se devem ou não terceirizar a geração de provas para um “serviço de validação” de terceiros , que pode ter mais recursos de computação para ajudar a calcular zkSNARKs para cálculos maiores.

Por exemplo:

​​como processadores com muitos núcleos, grande quantidade de RAM ou até hardware especial para verificação.

Só então, o problema passa a ser estimular o desenvolvimento de melhores arquiteturas de evidências. Resolver este último problema é uma das principais motivações por trás do desenvolvimento do novo algoritmo de consenso da Aleo, AleoBFT. Em um alto nível, AleoBFT é uma arquitetura híbrida que usa proof-of-stake para obter finalização instantânea para confirmação de bloco e também usa um quebra-cabeça coinbase proof-of-work que recompensa o desenvolvimento de métodos mais rápidos para gerar provas.

Assinantes, também estamos com vocês, vamos mergulhar com mais clareza nos detalhes dessa cifra. Então…

☯️SOBRE o Coinbase Puzzle?

‌ O quebra-cabeça coinbase é um quebra-cabeça de prova de trabalho projetado para impulsionar o desenvolvimento de software e hardware mais rápidos para gerar provas de conhecimento zero.

Isso é?

Para conseguir isso, nosso quebra-cabeça coinbase tem dois recursos exclusivos (nos quais focaremos primeiro).

Recursos exclusivos:

‌_Função_criptográfica:

⚡️ao contrário do PoW tradicional que você encontraria em Bitcoin ou Ethereum, o quebra-cabeça da base de moedas requer a criação de procedimentos eficientes para algoritmos “úteis” para os principais subcomponentes da validação do zkSNARK.

‌ _Feature_Economy:

⚡️Ao contrário do PoW tradicional, onde cada bloco pode conter apenas uma solução de quebra-cabeça válida, nosso quebra-cabeça coinbase aceita várias soluções válidas por bloco, evitando que o vencedor leve tudo e levando a uma distribuição mais ampla de recompensas de prova.

Amigos, agora precisamos voltar nossa atenção 100% para o desenho do quebra-cabeça, referente a parte criptográfica, então:

☯️Design de quebra-cabeça?

A primeira coisa para a qual voltaremos nossa atenção é: Guia rápido de design do zkSNARK.

⚡️O tempo para criar uma prova em zkSNARKs modernos é dominado pelo tempo para verificar dois subcomponentes: o IOP polinomial e o esquema de comprometimento polinomial.

Ou seja , esse quebra-cabeça coinbase estimula efetivamente a aceleração desses subcomponentes.

Se observarmos o fluxo do protocolo, que consiste em duas etapas, perceberemos:

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (1) Geração de soluções (Prover)

Para criar uma variante de solução, o verificador gera (a partir de um elemento único) e multiplica um polinômio aleatório e, em seguida, corrige o polinômio do produto resultante usando um esquema de compromisso polinomial (esquema KZG10, em nosso caso). Esse compromisso resultante é então hash e, se esse hash corresponder à complexidade de destino, é uma solução válida que pode ser enviada ao agregador (juntamente com uma prova de pontuação para agregação eficiente).

Mesmo assim , o quebra-cabeça resultante é composto por 2 elementos de grupo e 1 elemento de campo, um endereço e um nonce, e pode ser verificado nas multiplicações e pareamentos de campos D, onde D é o grau do polinômio gerado.

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (2) Agregação de soluções válidas (BFT Leader)

Embora uma solução de quebra-cabeça válida possa ser verificada por qualquer pessoa, adicionar cada solução de quebra-cabeça à cadeia aumentará o estado.

Para evitar isso nesta fase, este quebra-cabeça coinbase permite que o líder do BFT colete soluções válidas. A equipe não entrará em detalhes sobre como isso é feito, mas o resultado geral é que o armazenamento em rede depende do custo de n + 1 elementos de array, e 1 elemento de array é uma melhoria significativa. Como benefício colateral, a verificação do quebra-cabeça também é mais rápida.

Bem, amigos, depois de tanta informação, proponho resumir tudo. Então..

☯️RESUMO:

Com base em nossa discussão, AleoBFT é um novo mecanismo de consenso que combina finalidade de prova de participação com um poderoso mecanismo de incentivo de prova de trabalho. Se você pegar nosso caso, o quebra-cabeça coinbase estimula a aceleração da prova zkSNARK. Acho este trabalho útil porque transfere diretamente para a execução de qualquer outro programa no Aleo.

Com base nisso, espera-se com esse mecanismo estimular um forte ecossistema de verificação que beneficie os usuários do Aleo reduzindo custos e latência do aplicativo (é definitivamente legal, concordo)

​​Incentivo motivacional?

E por fim, para os mais pacientes, preparei boas notícias. Uma vez que esta fase do teste de rede será incentivada. E isso, por sua vez, pode ser qualquer coisa (então aconselho você a passar por este testnet)

Amigos, terei tudo sobre isso. Fiquei feliz em ser útil para você. Nos vemos novamente na próxima edição!

Aleo :

Site | Twitter | discórdia | GitHub