Analyse de l'algorithme Synthesis Puzzle de la nouvelle version d'Aleo : percée en matière de confidentialité et d'évolutivité

robot
Création du résumé en cours

Aleo : un projet de blockchain innovant axé sur la protection de la vie privée et l'évolutivité

Aleo est un projet de blockchain dédié à la protection de la vie privée, qui utilise la technologie de preuve à divulgation nulle de connaissance (ZKP) pour obtenir une plus grande confidentialité et évolutivité. La philosophie centrale du projet est de permettre aux utilisateurs de s'authentifier et de traiter des données sans révéler leurs données personnelles.

Aperçu du projet

confidentialité

La technologie clé d'Aleo est la preuve à connaissance nulle (ZKPs), ce qui permet l'exécution des transactions et des contrats intelligents tout en préservant la confidentialité. Les détails des transactions des utilisateurs, tels que l'expéditeur et le montant de la transaction, sont par défaut cachés. Ce design protège non seulement la vie privée des utilisateurs, mais permet également des divulgations sélectives lorsque cela est nécessaire, ce qui est particulièrement adapté au développement des applications de finance décentralisée (DeFi).

Les composants principaux d'Aleo incluent :

  1. Langage de compilation Leo : basé sur le langage Rust, spécifiquement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant les exigences en connaissances cryptographiques pour les développeurs.

  2. 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 assure la sécurité des données et des calculs, et permet 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 les interactions de programmation entre utilisateurs, organisations et organisations autonomes décentralisées (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. De plus, les développeurs peuvent déployer des applications dans le registre des programmes d'Aleo, sans avoir besoin de recourir à des tiers, ce qui réduit les risques liés à la plateforme.

évolutivité

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 l'évolutivité du système, évitant les problèmes de congestion du réseau et de frais élevés similaires à ceux d'Ethereum.

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é.

  1. Finalité rapide des blocs : AleoBFT assure 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.

  2. 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 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.

  3. Mécanisme d'incitation : Les validateurs et les prouveurs partagent les récompenses de bloc ; encourager les prouveurs à devenir validateurs en stakant 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 gas, ce qui est particulièrement adapté aux applications nécessitant un long temps 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 :

  1. Proposition ARC-100 adoptée : Cette proposition concerne des aspects de conformité, le verrouillage des fonds sur le réseau Aleo et des mesures de sécurité telles que les délais de traitement des paiements, l'équipe procède actuellement aux ajustements finaux.

  2. Programme d'incitation des validateurs : Ce programme débutera le 1er juillet et vise à valider le nouveau mécanisme de puzzle. Le programme se déroulera jusqu'au 15 juillet, période durant laquelle 1 million de points Aleo seront attribués en tant que récompense.

  3. 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 récompenses de tâches (75 millions), qui seront distribuées au cours des six premiers mois, tout en incluant des récompenses pour le staking, le fonctionnement des validateurs et des nœuds de validation.

  4. Mise à jour du réseau de test : La dernière réinitialisation du réseau permettra d'ajouter ARC-41 et la nouvelle fonctionnalité puzzle.

  5. Gel de code : terminé il y a une semaine.

  6. Plan d'expansion des nœuds de validation : le nombre initial de nœuds de validation est de 15, l'objectif est d'augmenter à 50 dans l'année et d'atteindre finalement 500. Devenir un délégataire nécessite 10 000 jetons, devenir un validateur nécessite 10 millions de jetons, ces montants diminueront progressivement avec le temps.

Analyse de l'algorithme Synthesis Puzzle

Le dernier algorithme puzzle d'Aleo s'appelle Synthesis Puzzle, et ses principales caractéristiques sont les suivantes :

  1. Un programme d'Epoch commun est généré à chaque epoch.

  2. Utiliser l'entrée et EpochProgram pour construire le circuit de preuve R1CS, générer l'assignation R1CS (témoin).

  3. Utiliser le témoin comme nœud feuille de l'arbre Merkle, calculer la racine Merkle et la convertir en proof_target de la solution.

  4. Chaque calcul de puzzle est appelé nonce, construit à partir de l'adresse recevant la récompense de minage, de l'epoch_hash et d'un compteur aléatoire.

  5. EpochProgram génère un nombre aléatoire échantillonné à partir de l'ensemble d'instructions à partir du hash d'epoch actuel.

  6. Utiliser le nonce comme graine de nombre aléatoire pour générer l'entrée du EpochProgram.

  7. Après avoir calculé le witness, convertissez-le en une séquence de nœuds feuilles de l'arbre Merkle, en utilisant un arbre Merkle K-aire à 8 branches de profondeur 8.

  8. Calculer la racine Merkle et la convertir en proof_target de la solution, vérifier si elle satisfait le latest_proof_target de l'epoch actuel.

  9. Il est possible de calculer plusieurs solutions en mettant à jour l'entrée de l'EpochProgram via un compteur d'itération dans le même epoch.

Cette mise à jour transforme le puzzle de la génération de preuve en génération de témoin. La logique de calcul de toutes les solutions au sein de chaque époque est cohérente, mais la logique de calcul entre différentes époques présente des différences significatives. Par rapport à l'ancienne testnet, le nouvel algorithme abandonne les calculs MSM et NTT, et la mise en œuvre de la parallélisation fait face à de nouveaux défis. Ce changement pourrait avoir un impact majeur sur les stratégies d'optimisation de minage existantes, nécessitant ainsi aux mineurs de réajuster et de s'adapter aux nouvelles caractéristiques de l'algorithme.

Interprétation du dernier algorithme Synthesis Puzzle d'Aleo : à la pointe de la révolution de la confidentialité Web3

Interprétation du dernier algorithme d'Aleo Synthesis Puzzle : leader de la révolution de la vie privée Web3

Voir l'original
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.
  • Récompense
  • 9
  • Partager
Commentaire
0/400
LuoGeMade1MillionDovip
· Il y a 9h
aleo blockchain leader à connaissance nulle. Ce cheval noir de ce bull run.
Voir l'originalRépondre0
GateUser-82086267vip
· Il y a 10h
Asseyez-vous bien, nous allons bientôt décoller To the moon 🛫
Voir l'originalRépondre0
GateUser-24197d15vip
· Il y a 11h
HODL💎
Voir l'originalRépondre0
NuggetsCityvip
· Il y a 12h
ferme HODL💎
Voir l'originalRépondre0
NuggetsCityvip
· Il y a 12h
快 entrer dans une position !🚗
Voir l'originalRépondre0
SoliditySlayervip
· Il y a 12h
Mining achetez-le !
Voir l'originalRépondre0
QuorumVotervip
· Il y a 12h
Ah, c'est vraiment trop difficile à comprendre, je ne peux pas le supporter.
Voir l'originalRépondre0
IntrovertMetaversevip
· Il y a 12h
Avec un Testnet, on peut gagner de l'argent, n'est-ce pas ?
Voir l'originalRépondre0
LiquidationSurvivorvip
· Il y a 12h
Est-ce que cette mine peut encore être exploitée ?
Voir l'originalRépondre0
Afficher plus
  • Épingler
Trader les cryptos partout et à tout moment
qrCode
Scan pour télécharger Gate app
Communauté
Français (Afrique)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)