Qu'est-ce que le projet de protection de la vie privée Aleo Blockchain ? La dernière interprétation complète d'Aleo

Qu'est-ce que le projet de confidentialité Aleo Blockchain ? La dernière interprétation complète d'Aleo! Aleo est un projet blockchain axé sur la protection de la vie privée, atteignant une confidentialité et une évolutivité plus élevées grâce à la technologie de preuve sans connaissance (ZKP). L'idée principale d'Aleo est de permettre aux utilisateurs d'authentifier et de traiter des données sans révéler leurs données personnelles. Alors, quel est le projet de protection de la vie privée de la blockchain Aleo ? Quelles sont les caractéristiques du projet de protection de la vie privée de la blockchain Aleo ? Quel est l’état d’avancement actuel du projet de protection de la vie privée de la blockchain Aleo ?

Aujourd'hui, l'éditeur de ce site vous a présenté les grandes lignes du projet et les derniers progrès d'Aleo, et a donné une explication détaillée de la mise à jour de l'algorithme de puzzle qui préoccupe beaucoup le marché. Les amis qui en ont besoin peuvent y jeter un œil ensemble !

Aperçu du dernier algorithme

Le réseau Aleo génère de manière aléatoire un circuit ZK toutes les heures ; les mineurs doivent essayer différentes occasions comme entrée du circuit pendant cette heure et calculer le témoin (c'est-à-dire toutes les variables du circuit). circuit, ce calcul (le processus est également appelé synthèse). Après avoir obtenu la racine de Merkle pour le témoin, il est jugé si elle répond aux exigences de difficulté d'extraction. En raison du caractère aléatoire du circuit, cet algorithme de minage n'est pas convivial pour les GPU et a de grandes difficultés à calculer l'accélération.

Contexte du financement

Aleo a réalisé un financement de série A de 28 millions de dollars américains dirigé par a16z en 2021 et un financement de série B de 200 millions de dollars américains en 2024. Les investisseurs comprennent Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures et Samsung Next, entre autres. Le tour de table valorise Aleo à 1,45 milliard de dollars.

Aperçu du projet

Confidentialité

Le cœur d'Aleo est la technologie de preuve sans connaissance (ZKP), qui permet d'effectuer des transactions et l'exécution de contrats intelligents tout en préservant la confidentialité. Les détails de la transaction de l'utilisateur, tels que l'expéditeur et le montant de la transaction, sont masqués par défaut. Cette conception protège non seulement la vie privée des utilisateurs, mais permet également une divulgation sélective lorsque cela est nécessaire, ce qui est très approprié pour le développement d'applications DeFi. Ses principaux composants comprennent :

• Langage compilé Leo : adapté sur la base du langage Rust et spécialement utilisé pour développer des applications à connaissance nulle (ZKApps), réduisant ainsi les exigences des développeurs en matière de connaissances en cryptographie.
• snarkVM et snarkOS : snarkVM permet d'effectuer des calculs hors chaîne et seuls les résultats des calculs sont vérifiés en chaîne, améliorant ainsi 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 informatique hors chaîne sécurisé et privé, prenant en charge les interactions programmatiques 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) pour aider les développeurs à écrire et publier rapidement des applications ; de plus, les développeurs peuvent déployer des applications dans le registre des programmes d'Aleo sans recourir à des tiers, réduisant ainsi la plate-forme. des risques.

Évolutivité

Aleo adopte une méthode de traitement hors chaîne. La transaction est d'abord calculée sur l'appareil de l'utilisateur pour la prouver, puis seul le résultat de la vérification est téléchargé sur la blockchain. Cette approche améliore considérablement la vitesse de traitement des transactions et l’évolutivité du système, et évite la congestion du réseau et les frais élevés similaires à ceux d’Ethereum.

Mécanisme de consensus

Aleo présente AleoBFT, un mécanisme de consensus d'architecture hybride qui combine la finalité instantanée des validateurs et la puissance de calcul des prouveurs. AleoBFT augmente non seulement la décentralisation du réseau, mais améliore également les performances et la sécurité.

• Finalité rapide des blocs : AleoBFT garantit que chaque bloc est confirmé immédiatement après la génération, améliorant ainsi la stabilité des nœuds et l'expérience utilisateur.
• Garantie décentralisée : en séparant la production de blocs de la génération de coinbase, le vérificateur est responsable de la génération des blocs et le prouveur effectue des calculs de preuve pour empêcher quelques entités de monopoliser le réseau.
• Mécanisme d'incitation : les vérificateurs et les certificateurs partagent des récompenses de bloc ; les certificateurs sont encouragés à devenir vérificateurs en jalonnant des jetons, améliorant ainsi la décentralisation et la puissance de calcul du réseau.

Aleo permet aux développeurs de créer des applications qui ne sont pas restreintes au gaz, ce qui le rend particulièrement adapté aux applications de longue durée telles que l'apprentissage automatique.

Progrès actuels

Aleo lancera le testnet incitatif le 1er juillet. Voici quelques dernières informations importantes :

• ARC-100 Voté : ARC-100 (Proposition "Meilleures pratiques de conformité pour les développeurs et opérateurs Aleo", impliquant des aspects de conformité, des mesures de sécurité telles que le verrouillage et le paiement différé des fonds sur le réseau Aleo) C'est fini et adopté. L’équipe procède aux derniers ajustements.
• Programme d'incitation aux vérificateurs : ce programme sera lancé le 1er juillet pour vérifier de nouveaux mécanismes de puzzle. Le programme se déroulera jusqu'au 15 juillet, période pendant laquelle 1 million de points Aleo seront distribués en récompense. Le pourcentage de points générés par un nœud déterminera sa part de récompenses, chaque validateur devant gagner au moins 100 jetons pour recevoir des récompenses. Les détails spécifiques n’ont pas encore été finalisés.
• Approvisionnement initial et approvisionnement en circulation : L'approvisionnement initial est de 1,5 milliard de jetons, et l'approvisionnement initial en circulation est d'environ 10 % (pas encore finalisé). Les jetons, principalement dérivés des missions Coinbase (75 millions), seront distribués au cours des six premiers mois et comprendront des récompenses pour le jalonnement, l'exécution de validateurs et la validation de nœuds.
• Réinitialisation bêta de Testnet : il s'agit de la dernière réinitialisation du réseau, aucune nouvelle fonctionnalité ne sera ajoutée une fois terminée et le réseau sera similaire au réseau principal. Réinitialisez pour ajouter ARC-41 et une nouvelle fonctionnalité de puzzle.
• Code Freeze : Le gel du code a été 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 et l'objectif est d'augmenter à 50 d'ici l'année, et à terme d'atteindre 500. Il faut 10 000 tokens pour devenir délégant et 10 millions de tokens pour devenir validateur, et ces montants vont diminuer progressivement au fil du temps.

Interprétation de la mise à jour de l'algorithme

Tout en annonçant récemment les dernières nouvelles du réseau de test, Aleo a mis à jour la dernière version de l'algorithme de puzzle. Le nouvel algorithme ne se concentre plus sur la génération de résultats de preuve zk et a supprimé MSM. et NTT (2 Le module de calcul est largement utilisé pour générer des preuves dans zk. Auparavant, les participants au testnet utilisaient des calculs pour optimiser l'efficacité de l'algorithme afin d'augmenter les revenus miniers, en se concentrant sur la génération de données intermédiaires avant de générer des preuves. Nous donnerons une brève introduction au dernier algorithme après avoir fait référence aux spécifications et au code officiels du puzzle.

Processus de consensus

Au niveau du protocole de consensus, le prouveur et le validateur dans le processus sont respectivement responsables de générer la solution du résultat du calcul et de générer le bloc, d'agréger et de conditionner la solution. Le processus est le suivant :

• Prover calcule des énigmes pour construire des solutions et les diffuse sur le réseau
• Validator regroupe les transactions et les solutions dans le nouveau bloc suivant, garantissant que le nombre de solutions ne dépasse pas la limite du consensus (MAX_SOLUTIONS)
• La légalité de la solution doit être vérifiée. L'epoch_hash est conforme au last_epoch_hash maintenu par le validateur, et son proof_target calculé est conforme au last_proof_target maintenu par le validateur dans le réseau. En même temps, le nombre de solutions contenues dans le bloc. est inférieur à la limite du consensus
• Les solutions efficaces peuvent obtenir des récompenses consensuelles

Puzzle de synthèse

La dernière version Le cœur de l'algorithme s'appelle Synthesis Puzzle. Son cœur est de générer un EpochProgram commun pour chaque époque en construisant un R1CS. circuit de preuve pour l'entrée et EpochProgram, l'affectation R1CS correspondante (c'est-à-dire le témoin mentionné par tout le monde) est générée et utilisée comme nœud feuille de l'arbre Merkle, après avoir calculé tous les nœuds feuilles, la racine Merkle est générée et convertie en. le proof_target de la solution. Le processus détaillé et les spécifications pour créer un puzzle de synthèse sont les suivants :

1. Chaque calcul de puzzle est appelé nonce, qui est construit à partir de l'adresse qui reçoit la récompense minière, de l'epoch_hash et d'un compteur de nombres aléatoires. Chaque fois que vous devez calculer un. nouvelle solution, vous pouvez passer à Mettre à jour le compteur pour obtenir un nouveau nonce

2. À chaque époque, l'EpochProgram que tous les prouveurs du réseau doivent calculer est le même. Il est échantillonné à partir de l'instruction définie par le nombre aléatoire généré par. l'epoch_hash actuel. La logique d'échantillonnage est la suivante :

• instruction L'ensemble est fixe. Chaque instruction contient une ou plusieurs opérations de calcul. Chaque instruction a un poids et un nombre d'opérations prédéfinis.
• Des nombres aléatoires sont générés en fonction de l'epoch_hash actuel. , et sont combinés à partir du jeu d'instructions en fonction des nombres aléatoires. Les poids obtiennent les instructions et les organisent dans l'ordre. Arrêtez l'échantillonnage une fois que le nombre d'opérations cumulé atteint 97.
• Composez toutes les instructions dans EpochProgram

3. une graine de nombre aléatoire pour générer l'entrée d'EpochProgram

4. Agrégez le R1CS et l'entrée correspondant à EpochProgram, et procédez au calcul du témoin (affectation R1CS)

5. Après avoir calculé tous les témoins, ces témoins seront convertis en séquence de nœuds feuilles. de l'arbre merkle correspondant. L'arbre merkle est un arbre K-ary Merkle à 8 éléments avec une profondeur de 8

6. Calculez la racine merkle et convertissez-la en proof_target de la solution, et déterminez si elle répond au last_proof_target de. l'époque actuelle. S'il est satisfait, le calcul est réussi. Soumettez l'adresse de récompense, l'epoch_hash et le compteur requis pour construire l'entrée ci-dessus comme solution et diffusez

7. Dans l'époque, l'entrée d'EpochProgram peut être mise à jour par. compteur itératif pour effectuer plusieurs calculs de solutions

Changements et impact de l'exploitation minière

Après cette mise à jour, le puzzle est passé de la génération de preuves à la génération de témoins. La logique de calcul de toutes les solutions à chaque époque est la même, mais la logique de calcul des différentes époques est assez différente.

D'après le réseau de test précédent, nous pouvons constater que de nombreuses méthodes d'optimisation se concentrent sur l'utilisation du GPU pour optimiser les calculs MSM et NTT dans la phase de génération de preuves afin d'améliorer l'efficacité du minage en même temps. , en raison de la génération de témoins Le processus est généré en exécutant un programme qui change avec l'époque, et les instructions qu'il contient auront certaines dépendances par rapport à l'exécution en série, donc réaliser la parallélisation est un grand défi.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!