Aleo : un pionnier de la protection de la vie privée et de l'évolutivité
Aleo est un projet 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 plus grande confidentialité et évolutivité. Le concept central du projet est de permettre aux utilisateurs de vérifier leur identité et de traiter des données sans divulguer de données personnelles.
Aperçu du projet
confidentialité
Le cœur d'Aleo est la technologie des preuves à divulgation nulle de connaissance (ZKPs), permettant 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 comprennent :
Leo langage de compilation : adapté du langage Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant les exigences en connaissances cryptographiques pour les développeurs.
snarkVM et snarkOS : snarkVM permet l'exécution des calculs hors chaîne, la chaîne vérifiant uniquement 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 utilisateurs, organisations et 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, ce qui réduit les risques liés à la plateforme.
évolutivité
Aleo utilise un traitement off-chain, 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 la congestion du réseau et des 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 les performances 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.
Garanties décentralisées : En séparant la production de blocs de la génération de coinbase, les validateurs sont responsables de la génération de 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 stakant des jetons, améliorant ainsi 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 une longue durée d'exécution, comme l'apprentissage automatique.
Dernières avancées
Aleo lancera son réseau de test incitatif le 1er juillet, voici quelques informations importantes à jour :
Vote ARC-100 approuvé : La proposition concernant la conformité, le verrouillage des fonds en ligne et les mesures de sécurité telles que les délais de dépôt a été approuvée, l'équipe est en train de procéder aux ajustements finaux.
Programme d'incitation des validateurs : fonctionnant du 1er au 15 juillet, avec 1 million de points Aleo distribués en récompense. Le pourcentage de points générés par le nœud déterminera sa part de récompense, chaque validateur devant gagner au moins 100 jetons pour obtenir une 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 (75 millions), qui seront distribués au cours des six premiers mois, et incluent les récompenses pour le staking, l'exécution des validateurs et la validation des nœuds.
Réinitialisation de la 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'atteindre 50 au cours de l'année, et finalement d'atteindre 500. Devenir un délégué nécessite 10 000 jetons, tandis que devenir un validateurs nécessite 10 millions de jetons, ces montants diminuant progressivement au fil du temps.
Analyse de l'algorithme Synthesis Puzzle
Le cœur de l'algorithme de la dernière version d'Aleo est appelé Synthesis Puzzle. Son principe est de générer un EpochProgram commun fixe pour chaque epoch, en construisant un circuit de preuve R1CS pour les entrées et l'EpochProgram, produisant la correspondante attribution R1CS (c'est-à-dire le témoin) 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.
Le processus détaillé de construction du Synthesis Puzzle est le suivant :
Chaque calcul de puzzle est appelé nonce, construit à partir de l'adresse recevant la récompense de minage, de l'epoch_hash et du compteur aléatoire.
Dans chaque epoch, tous les provers calculent le même EpochProgram, échantillonné à partir de l'ensemble d'instructions à l'aide des nombres aléatoires générés par le hash de l'epoch actuel.
Utiliser le nonce comme graine de nombre aléatoire pour générer l'entrée d'EpochProgram.
Agréger le R1CS et l'input correspondants à EpochProgram, puis effectuer le calcul du témoin.
Calculez tous les témoins, puis convertissez-les en séquence de nœuds feuilles de l'arbre Merkle.
Calculer la racine Merkle et la convertir en proof_target de la solution, puis vérifier si elle satisfait le latest_proof_target de l'epoch actuel.
Dans une même epoch, il est possible d'effectuer plusieurs calculs de solution en mettant à jour l'entrée du EpochProgram via un compteur d'itération.
Cette mise à jour transforme le puzzle de génération de proof en génération 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 présente des différences importantes. Le nouvel algorithme abandonne les calculs MSM et NTT précédents, et en raison des relations de dépendance dans le processus de génération de witness, la mise en œuvre de la parallélisation présente certains 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.
15 J'aime
Récompense
15
5
Partager
Commentaire
0/400
LuoGeMade1MillionDo
· Il y a 11h
aleo est le leader de la zone des connaissances nulles, avec un potentiel énorme pour l'avenir.
Voir l'originalRépondre0
GateUser-330c4008
· Il y a 12h
Ce jeton repose sur la publicité soi-disant privée, en réalité Ethereum va bientôt utiliser les zk-SNARKs.
Voir l'originalRépondre0
GasFeeWhisperer
· Il y a 13h
Une grande percée dans la technologie de la confidentialité.
Voir l'originalRépondre0
LiquidityWitch
· Il y a 13h
Je suis optimiste sur les chaînes de blocs de confidentialité l'année prochaine.
La blockchain privée Aleo va bientôt lancer un Testnet incitatif, la technologie zk-SNARKs ouvre la voie à une nouvelle ère.
Aleo : un pionnier de la protection de la vie privée et de l'évolutivité
Aleo est un projet 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 plus grande confidentialité et évolutivité. Le concept central du projet est de permettre aux utilisateurs de vérifier leur identité et de traiter des données sans divulguer de données personnelles.
Aperçu du projet
confidentialité
Le cœur d'Aleo est la technologie des preuves à divulgation nulle de connaissance (ZKPs), permettant 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 comprennent :
Leo langage de compilation : adapté du langage Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant les exigences en connaissances cryptographiques pour les développeurs.
snarkVM et snarkOS : snarkVM permet l'exécution des calculs hors chaîne, la chaîne vérifiant uniquement 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 utilisateurs, organisations et 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, ce qui réduit les risques liés à la plateforme.
évolutivité
Aleo utilise un traitement off-chain, 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 la congestion du réseau et des 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 les performances 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.
Garanties décentralisées : En séparant la production de blocs de la génération de coinbase, les validateurs sont responsables de la génération de 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 stakant des jetons, améliorant ainsi 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 une longue durée d'exécution, comme l'apprentissage automatique.
Dernières avancées
Aleo lancera son réseau de test incitatif le 1er juillet, voici quelques informations importantes à jour :
Vote ARC-100 approuvé : La proposition concernant la conformité, le verrouillage des fonds en ligne et les mesures de sécurité telles que les délais de dépôt a été approuvée, l'équipe est en train de procéder aux ajustements finaux.
Programme d'incitation des validateurs : fonctionnant du 1er au 15 juillet, avec 1 million de points Aleo distribués en récompense. Le pourcentage de points générés par le nœud déterminera sa part de récompense, chaque validateur devant gagner au moins 100 jetons pour obtenir une 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 (75 millions), qui seront distribués au cours des six premiers mois, et incluent les récompenses pour le staking, l'exécution des validateurs et la validation des nœuds.
Réinitialisation de la 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'atteindre 50 au cours de l'année, et finalement d'atteindre 500. Devenir un délégué nécessite 10 000 jetons, tandis que devenir un validateurs nécessite 10 millions de jetons, ces montants diminuant progressivement au fil du temps.
Analyse de l'algorithme Synthesis Puzzle
Le cœur de l'algorithme de la dernière version d'Aleo est appelé Synthesis Puzzle. Son principe est de générer un EpochProgram commun fixe pour chaque epoch, en construisant un circuit de preuve R1CS pour les entrées et l'EpochProgram, produisant la correspondante attribution R1CS (c'est-à-dire le témoin) 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.
Le processus détaillé de construction du Synthesis Puzzle est le suivant :
Chaque calcul de puzzle est appelé nonce, construit à partir de l'adresse recevant la récompense de minage, de l'epoch_hash et du compteur aléatoire.
Dans chaque epoch, tous les provers calculent le même EpochProgram, échantillonné à partir de l'ensemble d'instructions à l'aide des nombres aléatoires générés par le hash de l'epoch actuel.
Utiliser le nonce comme graine de nombre aléatoire pour générer l'entrée d'EpochProgram.
Agréger le R1CS et l'input correspondants à EpochProgram, puis effectuer le calcul du témoin.
Calculez tous les témoins, puis convertissez-les en séquence de nœuds feuilles de l'arbre Merkle.
Calculer la racine Merkle et la convertir en proof_target de la solution, puis vérifier si elle satisfait le latest_proof_target de l'epoch actuel.
Dans une même epoch, il est possible d'effectuer plusieurs calculs de solution en mettant à jour l'entrée du EpochProgram via un compteur d'itération.
Cette mise à jour transforme le puzzle de génération de proof en génération 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 présente des différences importantes. Le nouvel algorithme abandonne les calculs MSM et NTT précédents, et en raison des relations de dépendance dans le processus de génération de witness, la mise en œuvre de la parallélisation présente certains défis.