Aleo : Innovation Blockchain en matière de protection de la vie privée et d'évolutivité
Aleo est un projet de Blockchain dédié à la protection de la vie privée, réalisant une plus grande confidentialité et évolutivité grâce à la technologie des preuves à divulgation nulle de connaissance (ZKP). La philosophie centrale du projet est de permettre aux utilisateurs de vérifier leur identité et de traiter des données tout en protégeant leurs données personnelles.
Aperçu du projet
confidentialité
Le cœur d'Aleo est la technologie des preuves à divulgation nulle de connaissance, permettant l'exécution des transactions et des contrats intelligents tout en préservant la confidentialité. Les détails des transactions des utilisateurs sont par défaut cachés, tout en permettant une divulgation sélective si nécessaire, ce qui est particulièrement adapté au développement des applications DeFi. Les principaux composants incluent :
Leo Langage de compilation : adapté à partir de Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant 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 vérifiant uniquement les résultats, ce qui améliore l'efficacité. snarkOS garantit la sécurité des données et des calculs, et permet l'exécution de fonctions sans autorisation.
zkCloud : fournit un environnement de calcul hors chaîne sécurisé et privé, prenant en charge l'interaction de programmation entre les utilisateurs, les organisations et les DAO.
Aleo fournit également un environnement de développement intégré (IDE) et un kit de développement logiciel (SDK), permettant aux développeurs de rédiger 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, ce qui réduit les risques liés à la plateforme.
Scalabilité
Aleo utilise un traitement hors chaîne, les transactions étant d'abord calculées sur l'appareil de l'utilisateur, puis seuls les résultats de validation sont téléchargés sur la Blockchain. Cette méthode améliore considérablement la vitesse de traitement des transactions et l'évolutivité 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, combinant la finalité instantanée des validateurs et la capacité de calcul des prouveurs. AleoBFT non seulement améliore le degré de décentralisation du réseau, mais renforce également les performances et la sécurité.
Bloc de finalité rapide : assurer que chaque bloc soit confirmé immédiatement après sa création, améliorant 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 le calcul 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 restriction de gaz, ce qui le rend particulièrement adapté aux applications nécessitant un temps d'exécution prolongé, comme l'apprentissage automatique.
Avancement du projet
Aleo lancera son réseau de test incitatif le 1er juillet, voici quelques informations importantes :
ARC-100 Vote approuvée : La proposition concernant les mesures de sécurité liées à la conformité, au verrouillage des fonds en ligne et aux délais de traitement a été approuvée. L'équipe procède aux ajustements finaux.
Programme d'incitation des validateurs : débutera le 1er juillet, visant à valider le nouveau mécanisme de puzzle. Le programme se déroulera jusqu'au 15 juillet, avec une allocation de 1 million de points Aleo comme récompense.
Approvisionnement initial et approvisionnement en circulation : L'approvisionnement initial est de 1,5 milliard de jetons, et l'approvisionnement en circulation initial est d'environ 10 %. Ces jetons proviennent principalement des tâches de Coinbase et seront distribués au cours des six premiers mois, incluant les récompenses pour le staking, l'exécution des validateurs et la validation des nœuds.
Réinitialisation de Testnet Beta : C'est la dernière réinitialisation du réseau, une fois terminée, aucune nouvelle fonctionnalité ne sera ajoutée, le réseau sera similaire à la mainnet.
Gel de code : terminé il y a une semaine.
Plan d'expansion des nœuds de validation : le nombre initial de nœuds de validation est de 15, avec pour objectif d'augmenter ce nombre à 50 dans l'année, puis d'atteindre finalement 500. Devenir un délégataire nécessite 10 000 tokens, tandis que devenir un validateur nécessite 10 millions de tokens, ces montants diminueront progressivement avec le temps.
Interprétation de la mise à jour de l'algorithme
Le noyau de l'algorithme de la dernière version d'Aleo s'appelle Synthesis Puzzle, dont le cœur consiste à générer un EpochProgram commun fixe pour chaque epoch. En construisant un circuit de preuve R1CS pour les entrées et l'EpochProgram, il produit l'assignation R1CS correspondante (c'est-à-dire le témoin) et l'utilise comme 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.
Changement et impact de l'extraction
Après cette mise à jour, le puzzle est passé de la génération de proof à celle de witness. La logique de calcul de toutes les solutions au sein de chaque epoch est cohérente, mais la logique de calcul entre différents epochs diffère considérablement. Le nouvel algorithme abandonne les calculs précédents de MSM et de NTT, et en même temps, le processus de génération de witness découle de l'exécution d'un programme qui suit les variations des epochs, où les instructions auront certaines dépendances d'exécution sérielle, rendant la parallélisation assez difficile.
Ce changement aura un impact significatif sur les stratégies d'optimisation de minage existantes, nécessitant que les mineurs réajustent et s'adaptent aux nouvelles caractéristiques de l'algorithme.
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.
11 J'aime
Récompense
11
6
Partager
Commentaire
0/400
StakeHouseDirector
· Il y a 12h
La confidentialité est le principal argument de vente.
Voir l'originalRépondre0
MindsetExpander
· Il y a 12h
transaction sécurisée des pionniers
Voir l'originalRépondre0
MysteriousZhang
· Il y a 12h
Le géant de la confidentialité est arrivé
Voir l'originalRépondre0
RumbleValidator
· Il y a 12h
Je suis optimiste quant au développement de ce projet.
Aleo lancera une Blockchain de protection de la vie privée le 1er juillet avec le lancement du Testnet d'incitation.
Aleo : Innovation Blockchain en matière de protection de la vie privée et d'évolutivité
Aleo est un projet de Blockchain dédié à la protection de la vie privée, réalisant une plus grande confidentialité et évolutivité grâce à la technologie des preuves à divulgation nulle de connaissance (ZKP). La philosophie centrale du projet est de permettre aux utilisateurs de vérifier leur identité et de traiter des données tout en protégeant leurs données personnelles.
Aperçu du projet
confidentialité
Le cœur d'Aleo est la technologie des preuves à divulgation nulle de connaissance, permettant l'exécution des transactions et des contrats intelligents tout en préservant la confidentialité. Les détails des transactions des utilisateurs sont par défaut cachés, tout en permettant une divulgation sélective si nécessaire, ce qui est particulièrement adapté au développement des applications DeFi. Les principaux composants incluent :
Leo Langage de compilation : adapté à partir de Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant 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 vérifiant uniquement les résultats, ce qui améliore l'efficacité. snarkOS garantit la sécurité des données et des calculs, et permet l'exécution de fonctions sans autorisation.
zkCloud : fournit un environnement de calcul hors chaîne sécurisé et privé, prenant en charge l'interaction de programmation entre les utilisateurs, les organisations et les DAO.
Aleo fournit également un environnement de développement intégré (IDE) et un kit de développement logiciel (SDK), permettant aux développeurs de rédiger 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, ce qui réduit les risques liés à la plateforme.
Scalabilité
Aleo utilise un traitement hors chaîne, les transactions étant d'abord calculées sur l'appareil de l'utilisateur, puis seuls les résultats de validation sont téléchargés sur la Blockchain. Cette méthode améliore considérablement la vitesse de traitement des transactions et l'évolutivité 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, combinant la finalité instantanée des validateurs et la capacité de calcul des prouveurs. AleoBFT non seulement améliore le degré de décentralisation du réseau, mais renforce également les performances et la sécurité.
Bloc de finalité rapide : assurer que chaque bloc soit confirmé immédiatement après sa création, améliorant 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 le calcul 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 restriction de gaz, ce qui le rend particulièrement adapté aux applications nécessitant un temps d'exécution prolongé, comme l'apprentissage automatique.
Avancement du projet
Aleo lancera son réseau de test incitatif le 1er juillet, voici quelques informations importantes :
ARC-100 Vote approuvée : La proposition concernant les mesures de sécurité liées à la conformité, au verrouillage des fonds en ligne et aux délais de traitement a été approuvée. L'équipe procède aux ajustements finaux.
Programme d'incitation des validateurs : débutera le 1er juillet, visant à valider le nouveau mécanisme de puzzle. Le programme se déroulera jusqu'au 15 juillet, avec une allocation de 1 million de points Aleo comme récompense.
Approvisionnement initial et approvisionnement en circulation : L'approvisionnement initial est de 1,5 milliard de jetons, et l'approvisionnement en circulation initial est d'environ 10 %. Ces jetons proviennent principalement des tâches de Coinbase et seront distribués au cours des six premiers mois, incluant les récompenses pour le staking, l'exécution des validateurs et la validation des nœuds.
Réinitialisation de Testnet Beta : C'est la dernière réinitialisation du réseau, une fois terminée, aucune nouvelle fonctionnalité ne sera ajoutée, le réseau sera similaire à la mainnet.
Gel de code : terminé il y a une semaine.
Plan d'expansion des nœuds de validation : le nombre initial de nœuds de validation est de 15, avec pour objectif d'augmenter ce nombre à 50 dans l'année, puis d'atteindre finalement 500. Devenir un délégataire nécessite 10 000 tokens, tandis que devenir un validateur nécessite 10 millions de tokens, ces montants diminueront progressivement avec le temps.
Interprétation de la mise à jour de l'algorithme
Le noyau de l'algorithme de la dernière version d'Aleo s'appelle Synthesis Puzzle, dont le cœur consiste à générer un EpochProgram commun fixe pour chaque epoch. En construisant un circuit de preuve R1CS pour les entrées et l'EpochProgram, il produit l'assignation R1CS correspondante (c'est-à-dire le témoin) et l'utilise comme 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.
Changement et impact de l'extraction
Après cette mise à jour, le puzzle est passé de la génération de proof à celle de witness. La logique de calcul de toutes les solutions au sein de chaque epoch est cohérente, mais la logique de calcul entre différents epochs diffère considérablement. Le nouvel algorithme abandonne les calculs précédents de MSM et de NTT, et en même temps, le processus de génération de witness découle de l'exécution d'un programme qui suit les variations des epochs, où les instructions auront certaines dépendances d'exécution sérielle, rendant la parallélisation assez difficile.
Ce changement aura un impact significatif sur les stratégies d'optimisation de minage existantes, nécessitant que les mineurs réajustent et s'adaptent aux nouvelles caractéristiques de l'algorithme.