Aleo est un projet de blockchain dédié à la protection de la vie privée, utilisant la technologie des preuves à divulgation nulle de connaissance (ZKP) pour réaliser un niveau de confidentialité et d'évolutivité supérieur. La philosophie centrale de ce projet est de permettre aux utilisateurs de s'authentifier 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 (ZKPs), qui garantit que l'exécution des transactions et des contrats intelligents se fait dans le respect de la vie privée. Les détails des transactions des utilisateurs sont par défaut cachés, ce qui non seulement protège la vie privée des utilisateurs, mais permet également une divulgation sélective lorsque cela est nécessaire, ce qui est particulièrement adapté au développement des applications DeFi.
Les composants principaux incluent :
Leo Langage de programmation : basé sur 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 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é, prenant en charge les interactions de programmation 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 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 avoir besoin de dépendre de tiers, ce qui réduit le risque de la plateforme.
Scalabilité
Aleo adopte une méthode de traitement hors chaîne, où les transactions sont 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 la scalabilité du système, évitant ainsi la congestion du réseau et les coûts é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 puissance 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 quelques entités de monopoliser le réseau.
Mécanisme d'incitation : Les validateurs et les prouveurs partagent les récompenses de bloc ; cela encourage les prouveurs à devenir validateurs en mettant en jeu des tokens, augmentant 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 restriction de gaz, ce qui le rend particulièrement adapté aux applications nécessitant des temps d'exécution prolongés, comme l'apprentissage automatique.
Dernières avancées
Aleo prévoit de lancer le réseau de test incitatif le 1er juillet, voici quelques informations importantes :
ARC-100 vote approuvé : la proposition concernant les mesures de sécurité liées à la conformité, au verrouillage des fonds en ligne et aux délais de traitement des paiements a été approuvée, l'équipe procède aux ajustements finaux.
Programme d'incitation des validateurs : lancement le 1er juillet, visant à valider le nouveau mécanisme de puzzle. Le programme fonctionnera jusqu'au 15 juillet, durant lequel 1 million de points Aleo seront alloués en tant que 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 missions de Coinbase et seront distribués au cours des six premiers mois.
Réinitialisation de 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 blockchain principale.
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 à 50 dans l'année, et d'atteindre finalement 500.
Synthesis Puzzle : Analyse du nouvel algorithme
Le dernier algorithme d'Aleo s'appelle Synthesis Puzzle. Son noyau génère un EpochProgram commun fixe pour chaque epoch. En construisant un circuit de preuve R1CS pour les entrées et l'EpochProgram, il produit une assignation R1CS correspondante (c'est-à-dire un témoin) qui sert de nœud feuille dans 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 solution.
Processus d'algorithme
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 de nombre aléatoire.
Dans chaque epoch, tous les provers calculent le même EpochProgram, échantillonné à partir de l'ensemble d'instructions à l'aide du nombre aléatoire généré par le epoch_hash actuel.
Utiliser le nonce comme graine aléatoire pour générer l'entrée de l'EpochProgram.
Agréger R1CS et input correspondants à EpochProgram, effectuer le calcul de witness.
Calculez la séquence des nœuds feuilles de l'arbre Merkle après avoir calculé tous les témoins.
Calculer la racine Merkle et la convertir en proof_target de la solution, puis déterminer si cela satisfait le latest_proof_target de l'epoch actuel.
Dans le même epoch, il est possible de procéder à plusieurs calculs de solution en mettant à jour l'entrée de l'EpochProgram via l'itération du compteur.
Changements et impacts de l'exploitation minière
La nouvelle version de puzzle est passée de la génération de proof à la 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 les epochs varie considérablement. Cette mise à jour abandonne les calculs MSM et NTT précédents. De plus, le processus de génération de witness implique l'exécution d'un programme qui change avec chaque epoch, et certaines instructions présentent des dépendances d'exécution en série, ce qui rend la mise en parallèle un défi non négligeable.
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.
12 J'aime
Récompense
12
5
Partager
Commentaire
0/400
GasFeeCrybaby
· 07-25 14:40
Waouh ! Quelle plateforme d'échange peut y accéder ?
Voir l'originalRépondre0
OnchainDetectiveBing
· 07-25 14:40
Personnalité vive, ayant passé de nombreuses années dans le Blockchain, aime commenter avec un ton provocateur de questions et de doutes.
Voir l'originalRépondre0
ThreeHornBlasts
· 07-25 14:33
La confidentialité commence enfin à se réchauffer.
Voir l'originalRépondre0
GateUser-2e89a06f
· 07-25 14:30
Putain, l'air revient encore pour laver le cerveau avec un PPT.
Voir l'originalRépondre0
BearMarketGardener
· 07-25 14:21
Mining peut-il encore rapporter de l'argent, les frères ?
La blockchain privée Aleo se met à jour : la technologie ZKP et un nouveau mécanisme de consensus améliorent les performances
Aleo : Pionnier de la Blockchain de la Vie Privée
Aleo est un projet de blockchain dédié à la protection de la vie privée, utilisant la technologie des preuves à divulgation nulle de connaissance (ZKP) pour réaliser un niveau de confidentialité et d'évolutivité supérieur. La philosophie centrale de ce projet est de permettre aux utilisateurs de s'authentifier 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 (ZKPs), qui garantit que l'exécution des transactions et des contrats intelligents se fait dans le respect de la vie privée. Les détails des transactions des utilisateurs sont par défaut cachés, ce qui non seulement protège la vie privée des utilisateurs, mais permet également une divulgation sélective lorsque cela est nécessaire, ce qui est particulièrement adapté au développement des applications DeFi.
Les composants principaux incluent :
Leo Langage de programmation : basé sur 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 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é, prenant en charge les interactions de programmation 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 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 avoir besoin de dépendre de tiers, ce qui réduit le risque de la plateforme.
Scalabilité
Aleo adopte une méthode de traitement hors chaîne, où les transactions sont 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 la scalabilité du système, évitant ainsi la congestion du réseau et les coûts é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 puissance 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 quelques entités de monopoliser le réseau.
Mécanisme d'incitation : Les validateurs et les prouveurs partagent les récompenses de bloc ; cela encourage les prouveurs à devenir validateurs en mettant en jeu des tokens, augmentant 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 restriction de gaz, ce qui le rend particulièrement adapté aux applications nécessitant des temps d'exécution prolongés, comme l'apprentissage automatique.
Dernières avancées
Aleo prévoit de lancer le réseau de test incitatif le 1er juillet, voici quelques informations importantes :
ARC-100 vote approuvé : la proposition concernant les mesures de sécurité liées à la conformité, au verrouillage des fonds en ligne et aux délais de traitement des paiements a été approuvée, l'équipe procède aux ajustements finaux.
Programme d'incitation des validateurs : lancement le 1er juillet, visant à valider le nouveau mécanisme de puzzle. Le programme fonctionnera jusqu'au 15 juillet, durant lequel 1 million de points Aleo seront alloués en tant que 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 missions de Coinbase et seront distribués au cours des six premiers mois.
Réinitialisation de 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 blockchain principale.
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 à 50 dans l'année, et d'atteindre finalement 500.
Synthesis Puzzle : Analyse du nouvel algorithme
Le dernier algorithme d'Aleo s'appelle Synthesis Puzzle. Son noyau génère un EpochProgram commun fixe pour chaque epoch. En construisant un circuit de preuve R1CS pour les entrées et l'EpochProgram, il produit une assignation R1CS correspondante (c'est-à-dire un témoin) qui sert de nœud feuille dans 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 solution.
Processus d'algorithme
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 de nombre aléatoire.
Dans chaque epoch, tous les provers calculent le même EpochProgram, échantillonné à partir de l'ensemble d'instructions à l'aide du nombre aléatoire généré par le epoch_hash actuel.
Utiliser le nonce comme graine aléatoire pour générer l'entrée de l'EpochProgram.
Agréger R1CS et input correspondants à EpochProgram, effectuer le calcul de witness.
Calculez la séquence des nœuds feuilles de l'arbre Merkle après avoir calculé tous les témoins.
Calculer la racine Merkle et la convertir en proof_target de la solution, puis déterminer si cela satisfait le latest_proof_target de l'epoch actuel.
Dans le même epoch, il est possible de procéder à plusieurs calculs de solution en mettant à jour l'entrée de l'EpochProgram via l'itération du compteur.
Changements et impacts de l'exploitation minière
La nouvelle version de puzzle est passée de la génération de proof à la 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 les epochs varie considérablement. Cette mise à jour abandonne les calculs MSM et NTT précédents. De plus, le processus de génération de witness implique l'exécution d'un programme qui change avec chaque epoch, et certaines instructions présentent des dépendances d'exécution en série, ce qui rend la mise en parallèle un défi non négligeable.