Aleo : Innovation Blockchain en matière de protection de la vie privée et d'évolutivité
Aleo est un projet de blockchain axé sur la protection de la vie privée, qui utilise la technologie des preuves à divulgation nulle de connaissance (ZKP) pour réaliser une meilleure confidentialité et évolutivité. La philosophie fondamentale du projet est de permettre aux utilisateurs de s'authentifier et de traiter des données sans dévoiler leurs données personnelles.
Aperçu du projet
confidentialité
Le cœur d'Aleo est la technologie de preuve à connaissance nulle (ZKPs), ce qui permet l'exécution des transactions et des contrats intelligents tout en préservant la confidentialité. Les détails des transactions des utilisateurs sont cachés par défaut, tout en permettant une divulgation sélective si nécessaire, ce qui est très adapté au développement des applications DeFi. Les principaux composants incluent :
Leo langage compilé : basé sur le langage Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant ainsi les exigences en matière de connaissances en cryptographie pour les développeurs.
snarkVM et snarkOS : snarkVM permet l'exécution de calculs hors chaîne, la chaîne ne vérifiant que les résultats des calculs, ce qui améliore l'efficacité. snarkOS garantit la sécurité des données et des calculs, et permet l'exécution de fonctionnalités sans autorisation.
zkCloud : Fournit un environnement de calcul hors chaîne sécurisé et privé, supportant l'interaction programmée entre les utilisateurs, les organisations et les DAO.
Aleo propose également un environnement de développement intégré (IDE) et un kit de développement logiciel (SDK), permettant aux développeurs d'écrire et de publier rapidement des applications. Les développeurs peuvent déployer des applications dans le registre des programmes d'Aleo sans dépendre de tiers, réduisant ainsi le risque de la plateforme.
Scalabilité
Aleo adopte une méthode de traitement off-chain, où les transactions sont d'abord calculées sur l'appareil de l'utilisateur pour générer une preuve, puis seul le résultat de la vérification est téléchargé sur la Blockchain. Cette méthode améliore considérablement la vitesse de traitement des transactions et la scalabilité du système, évitant ainsi les problèmes de congestion du réseau et de frais élevés.
Mécanisme de consensus
Aleo a introduit AleoBFT, un mécanisme de consensus à architecture hybride qui combine la finalité instantanée des validateurs et la capacité de calcul des prouveurs. AleoBFT améliore non seulement le degré de décentralisation du réseau, mais renforce également la performance et la sécurité.
Finalité rapide des blocs : AleoBFT garantit que chaque bloc est immédiatement confirmé après sa génération, améliorant ainsi la stabilité des nœuds et l'expérience utilisateur.
Garantie de décentralisation : en séparant la production de blocs de la génération de coinbase, les validateurs sont responsables de la génération des blocs, tandis que les prouveurs effectuent les calculs de preuve, empêchant ainsi un petit nombre d'entités de monopoliser le réseau.
Mécanisme d'incitation : les validateurs et les prouveurs partagent les récompenses de bloc ; encourager les prouveurs à devenir des validateurs en mettant en jeu des jetons, afin d'améliorer le degré de décentralisation et la capacité de calcul du réseau.
Aleo permet aux développeurs de créer des applications sans restrictions de gas, ce qui les rend particulièrement adaptées aux applications nécessitant des temps d'exécution prolongés, comme l'apprentissage automatique.
Derniers développements
Aleo lancera son réseau de test incitatif le 1er juillet, voici quelques informations importantes :
Vote ARC-100 approuvé : La proposition concernant les mesures de sécurité liées à la conformité, au verrouillage des fonds sur le réseau Aleo et aux délais de traitement a été approuvée.
Plan d'incitation des validateurs : Ce plan sera lancé le 1er juillet et vise à valider le nouveau mécanisme de puzzle. Le plan fonctionnera jusqu'au 15 juillet, période durant laquelle 1 million de points Aleo seront attribués en tant que récompense.
Approvisionnement en jetons : L'approvisionnement initial est de 1,5 milliard de jetons, avec un approvisionnement circulant initial d'environ 10 %. Ces jetons proviennent principalement des tâches Coinbase et de diverses récompenses.
Réinitialisation de la Testnet Beta : C'est la dernière réinitialisation du réseau, après laquelle aucune nouvelle fonctionnalité ne sera ajoutée, le réseau sera similaire à la mainnet.
Plan d'expansion des nœuds de validation : le nombre initial de nœuds de validation est de 15, l'objectif est d'augmenter ce nombre à 50 d'ici la fin de l'année, et d'atteindre finalement 500.
Interprétation de la mise à jour de l'algorithme
Le dernier cœur algorithmique d'Aleo s'appelle Synthesis Puzzle. Son cœur consiste à produire un EpochProgram commun fixe pour chaque epoch, en construisant un circuit de preuve R1CS pour l'entrée et l'EpochProgram, produisant l'affectation R1CS correspondante et en tant que nœud feuille de l'arbre Merkle. Après avoir calculé tous les nœuds feuilles, il génère la racine Merkle et la convertit en proof_target de la solution.
Processus de consensus
Prover calcule le puzzle, construit des solutions et les diffuse sur le réseau.
L'agrégation des transactions et la solution du validateur pour le prochain nouveau bloc
La légitimité de la Solution doit être vérifiée par rapport aux divers paramètres maintenus dans le réseau.
Une solution efficace peut obtenir des récompenses de consensus.
Détails du processus de Synthesis Puzzle
Chaque calcul de puzzle est appelé nonce, construit à partir de l'adresse recevant la récompense de minage, epoch_hash et du compteur de nombres aléatoires.
Dans chaque epoch, le même EpochProgram est calculé par tous les prover, échantillonné à partir de l'ensemble d'instructions par le nombre aléatoire généré par le current epoch_hash.
Utiliser le nonce comme graine aléatoire pour générer l'entrée du EpochProgram
Agréger le R1CS et l'input correspondants au EpochProgram, effectuer le calcul du témoin.
Calculer tous les witness, puis les convertir en séquence de nœuds feuilles de l'arbre Merkle.
Calculer la racine merkle et la convertir en proof_target de la solution, déterminer si cela satisfait les exigences de l'epoch actuel.
Dans le même epoch, il est possible de mettre à jour les entrées de l'EpochProgram via un compteur d'itération pour effectuer plusieurs calculs de solution.
Cette mise à jour transforme le puzzle de la génération de preuves en génération de témoins. La logique de calcul de toutes les solutions au sein de chaque époque est cohérente, mais la logique de calcul entre différentes époques présente des différences significatives. Le nouvel algorithme abandonne les calculs MSM et NTT précédents, et la mise en œuvre de la parallélisation fait face à de nouveaux défis.
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
6 J'aime
Récompense
6
7
Partager
Commentaire
0/400
GateUser-2e89a06f
· Il y a 13h
Va te faire foutre, tu craches des excréments pour arnaquer les gens.
Voir l'originalRépondre0
ETHReserveBank
· Il y a 15h
zk est vraiment une tendance.
Voir l'originalRépondre0
PrivacyMaximalist
· Il y a 15h
Toujours en train de spéculer sur la vie privée ? Je m'ennuie.
Voir l'originalRépondre0
OptionWhisperer
· Il y a 15h
C'est tellement agréable de passer du privé au public et vice versa.
Voir l'originalRépondre0
ReverseFOMOguy
· Il y a 15h
Je suis optimiste quant à cette chaîne de confidentialité, elle va To the moon !
Voir l'originalRépondre0
MonkeySeeMonkeyDo
· Il y a 15h
Même avec un revenu de 5 dollars par mois, il faut s'intéresser à ce ZKP.
Voir l'originalRépondre0
MissedTheBoat
· Il y a 15h
La confidentialité est efficace, même si on perd de l'argent, on peut toujours le cacher.
Innovation de la chaîne de confidentialité Aleo : zk-SNARKs améliorent la scalabilité, le Testnet incitatif va bientôt démarrer.
Aleo : Innovation Blockchain en matière de protection de la vie privée et d'évolutivité
Aleo est un projet de blockchain axé sur la protection de la vie privée, qui utilise la technologie des preuves à divulgation nulle de connaissance (ZKP) pour réaliser une meilleure confidentialité et évolutivité. La philosophie fondamentale du projet est de permettre aux utilisateurs de s'authentifier et de traiter des données sans dévoiler leurs données personnelles.
Aperçu du projet
confidentialité
Le cœur d'Aleo est la technologie de preuve à connaissance nulle (ZKPs), ce qui permet l'exécution des transactions et des contrats intelligents tout en préservant la confidentialité. Les détails des transactions des utilisateurs sont cachés par défaut, tout en permettant une divulgation sélective si nécessaire, ce qui est très adapté au développement des applications DeFi. Les principaux composants incluent :
Leo langage compilé : basé sur le langage Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant ainsi les exigences en matière de connaissances en cryptographie pour les développeurs.
snarkVM et snarkOS : snarkVM permet l'exécution de calculs hors chaîne, la chaîne ne vérifiant que les résultats des calculs, ce qui améliore l'efficacité. snarkOS garantit la sécurité des données et des calculs, et permet l'exécution de fonctionnalités sans autorisation.
zkCloud : Fournit un environnement de calcul hors chaîne sécurisé et privé, supportant l'interaction programmée entre les utilisateurs, les organisations et les DAO.
Aleo propose également un environnement de développement intégré (IDE) et un kit de développement logiciel (SDK), permettant aux développeurs d'écrire et de publier rapidement des applications. Les développeurs peuvent déployer des applications dans le registre des programmes d'Aleo sans dépendre de tiers, réduisant ainsi le risque de la plateforme.
Scalabilité
Aleo adopte une méthode de traitement off-chain, où les transactions sont d'abord calculées sur l'appareil de l'utilisateur pour générer une preuve, puis seul le résultat de la vérification est téléchargé sur la Blockchain. Cette méthode améliore considérablement la vitesse de traitement des transactions et la scalabilité du système, évitant ainsi les problèmes de congestion du réseau et de frais élevés.
Mécanisme de consensus
Aleo a introduit AleoBFT, un mécanisme de consensus à architecture hybride qui combine la finalité instantanée des validateurs et la capacité de calcul des prouveurs. AleoBFT améliore non seulement le degré de décentralisation du réseau, mais renforce également la performance et la sécurité.
Finalité rapide des blocs : AleoBFT garantit que chaque bloc est immédiatement confirmé après sa génération, améliorant ainsi la stabilité des nœuds et l'expérience utilisateur.
Garantie de décentralisation : en séparant la production de blocs de la génération de coinbase, les validateurs sont responsables de la génération des blocs, tandis que les prouveurs effectuent les calculs de preuve, empêchant ainsi un petit nombre d'entités de monopoliser le réseau.
Mécanisme d'incitation : les validateurs et les prouveurs partagent les récompenses de bloc ; encourager les prouveurs à devenir des validateurs en mettant en jeu des jetons, afin d'améliorer le degré de décentralisation et la capacité de calcul du réseau.
Aleo permet aux développeurs de créer des applications sans restrictions de gas, ce qui les rend particulièrement adaptées aux applications nécessitant des temps d'exécution prolongés, comme l'apprentissage automatique.
Derniers développements
Aleo lancera son réseau de test incitatif le 1er juillet, voici quelques informations importantes :
Vote ARC-100 approuvé : La proposition concernant les mesures de sécurité liées à la conformité, au verrouillage des fonds sur le réseau Aleo et aux délais de traitement a été approuvée.
Plan d'incitation des validateurs : Ce plan sera lancé le 1er juillet et vise à valider le nouveau mécanisme de puzzle. Le plan fonctionnera jusqu'au 15 juillet, période durant laquelle 1 million de points Aleo seront attribués en tant que récompense.
Approvisionnement en jetons : L'approvisionnement initial est de 1,5 milliard de jetons, avec un approvisionnement circulant initial d'environ 10 %. Ces jetons proviennent principalement des tâches Coinbase et de diverses récompenses.
Réinitialisation de la Testnet Beta : C'est la dernière réinitialisation du réseau, après laquelle aucune nouvelle fonctionnalité ne sera ajoutée, le réseau sera similaire à la mainnet.
Plan d'expansion des nœuds de validation : le nombre initial de nœuds de validation est de 15, l'objectif est d'augmenter ce nombre à 50 d'ici la fin de l'année, et d'atteindre finalement 500.
Interprétation de la mise à jour de l'algorithme
Le dernier cœur algorithmique d'Aleo s'appelle Synthesis Puzzle. Son cœur consiste à produire un EpochProgram commun fixe pour chaque epoch, en construisant un circuit de preuve R1CS pour l'entrée et l'EpochProgram, produisant l'affectation R1CS correspondante et en tant que nœud feuille de l'arbre Merkle. Après avoir calculé tous les nœuds feuilles, il génère la racine Merkle et la convertit en proof_target de la solution.
Processus de consensus
Détails du processus de Synthesis Puzzle
Cette mise à jour transforme le puzzle de la génération de preuves en génération de témoins. La logique de calcul de toutes les solutions au sein de chaque époque est cohérente, mais la logique de calcul entre différentes époques présente des différences significatives. Le nouvel algorithme abandonne les calculs MSM et NTT précédents, et la mise en œuvre de la parallélisation fait face à de nouveaux défis.