Aleo : Une nouvelle direction pour le Blockchain de la vie privée

Aleo est un projet de Blockchain axé sur la protection de la vie privée, qui utilise la technologie de preuve à divulgation nulle de connaissance (ZKP) pour réaliser un niveau plus élevé de confidentialité et d'évolutivité. Le principe fondamental de ce projet est de permettre aux utilisateurs de s'authentifier et de traiter des données sans divulguer leurs données personnelles.

Aperçu du projet

Confidentialité

Le cœur d'Aleo est la technologie de preuve à divulgation nulle de connaissance, permettant l'exécution des transactions et des contrats intelligents tout en protégeant la vie privée. Les détails des transactions des utilisateurs sont par défaut dissimulés, mais permettent une divulgation sélective en cas de besoin, ce qui est idéal pour le développement des applications DeFi. Les composants principaux comprennent :

1. Leo langage de compilation : un langage spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant les exigences en matière de connaissances cryptographiques pour les développeurs.

2. snarkVM et snarkOS : snarkVM permet l'exécution de calculs hors chaîne, la chaîne vérifiant uniquement les résultats, améliorant ainsi l'efficacité. snarkOS garantit la sécurité des données et des calculs, et prend en charge l'exécution de fonctionnalités sans autorisation.

3. 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é et un kit de développement logiciel, 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 adopte une méthode de traitement hors chaîne, où les transactions sont d'abord calculées sur l'appareil de l'utilisateur, 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 l'évolutivité du système, évitant ainsi les problèmes de congestion du réseau et de coûts é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 puissance de calcul des prouveurs. AleoBFT améliore le degré de décentralisation du réseau, renforçant ainsi ses performances et sa sécurité.

1. Bloc finalité rapide : assurer que chaque bloc soit immédiatement confirmé après sa génération, améliorant ainsi la stabilité des nœuds et l'expérience utilisateur.

2. Garantie décentralisée : en séparant la production de blocs et la génération de coinbase, éviter que quelques entités ne monopolisent le réseau.

3. Mécanisme d'incitation : les validateurs et les prouveurs partagent les récompenses de bloc ; encourager les prouveurs à devenir des validateurs en stakant des tokens, 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 gaz, particulièrement adaptées aux applications nécessitant un fonctionnement prolongé, comme l'apprentissage automatique.

Dernières avancées

Aleo lancera un réseau de test incitatif le 1er juillet, les informations importantes incluent :

1. Le vote sur l'ARC-100 a été approuvé, l'équipe procède aux ajustements finaux.

2. Le programme d'incitation des validateurs débutera le 1er juillet et se poursuivra jusqu'au 15 juillet, avec une distribution de 1 million de points Aleo en tant que récompense.

3. L'offre initiale est de 1,5 milliard de jetons, l'offre en circulation initiale est d'environ 10 %.

4. Le Testnet Beta a terminé la dernière réinitialisation du réseau, ajoutant la fonctionnalité ARC-41 et un nouveau puzzle.

5. Le gel du code a été terminé il y a une semaine.

6. Plan d'expansion des nœuds de validation : 15 nœuds initiaux, objectif d'atteindre 50 nœuds dans l'année, pour finalement atteindre 500 nœuds.

Analyse de l'algorithme Synthesis Puzzle

Aleo a récemment mis à jour l'algorithme puzzle, appelé Synthesis Puzzle. Le nouvel algorithme ne se concentre plus sur la génération de zk proof, mais met l'accent sur la génération de données intermédiaires witness. Le processus central de l'algorithme est le suivant :

1. Générer un EpochProgram commun à chaque epoch.

2. Utiliser nonce( composé de l'adresse de récompense de minage, epoch_hash et du compteur aléatoire comme entrée.

3. Construire le circuit de preuve R1CS en fonction de l'EpochProgram et des entrées, générer le témoin.

4. Utiliser le témoin comme nœud feuille de l'arbre Merkle, calculer la racine Merkle.

5. Convertir la racine de Merkle en proof_target de solution, vérifier si cela satisfait les exigences de l'époque actuelle.

6. Soumettez la solution et diffusez-la si les exigences sont satisfaites.

Cette mise à jour transforme le puzzle de la génération de preuves en génération de témoins, avec une logique de calcul cohérente au sein de chaque époque, mais des différences significatives entre les époques. Le nouvel algorithme a supprimé les calculs MSM et NTT précédents, augmentant la difficulté de mise en œuvre parallèle. Ce changement aura un impact significatif sur les stratégies et l'efficacité du minage.

![Interprétation du dernier algorithme d'Aleo Synthesis Puzzle : à la pointe de la révolution de la confidentialité Web3])https://img-cdn.gateio.im/webp-social/moments-248292393dc48af499b670cbe18d5eaf.webp(