Aleo : Leader de la nouvelle ère du calcul privé Web3
Aleo est un projet de blockchain axé sur la protection de la vie privée, réalisant une plus grande confidentialité et évolutivité grâce à la technologie des preuves à divulgation nulle de connaissance (ZKP). Son idée centrale est de permettre aux utilisateurs de s'identifier et de traiter des données sans révéler de données personnelles.
Aperçu du projet
Le cœur d'Aleo est la technologie des preuves à divulgation nulle de connaissance (ZKPs), qui permet 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, cachés, tout en permettant une divulgation sélective lorsque cela est nécessaire, ce qui est très adapté au développement des applications DeFi.
Les principaux composants comprennent :
Leo langage de programmation : basé sur Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant les exigences de connaissance en cryptographie pour les développeurs.
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.
zkCloud : offre 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 directement des applications dans le registre des programmes d'Aleo, réduisant ainsi le risque de la plateforme.
Scalabilité
Aleo utilise un traitement off-chain, 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 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 qui combine la finalité instantanée des validateurs et la puissance de calcul des prouveurs. AleoBFT améliore le degré de décentralisation du réseau, renforce 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 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, les validateurs sont responsables de la génération des 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 blocs ; inciter 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 limites de gaz, ce qui les rend particulièrement adaptées aux applications nécessitant un long temps d'exécution, comme l'apprentissage automatique.
Derniers développements
Aleo lancera son réseau de test incitatif le 1er juillet. Voici quelques informations importantes à jour :
Vote ARC-100 approuvé : La proposition concernant les mesures de sécurité liées à la conformité, au verrouillage des fonds en ligne et aux délais de crédit a été approuvée, l'équipe est en train de procéder aux ajustements finaux.
Programme d'incitation des validateurs : Du 1er au 15 juillet, 1 million de points Aleo seront attribués en tant que récompense. Le pourcentage de points générés par le nœud déterminera sa part de récompense, chaque validateur doit gagner au moins 100 jetons pour pouvoir obtenir une récompense.
Offre de jetons : l'offre initiale est de 1,5 milliard de jetons, avec une offre en circulation initiale d'environ 10 %. Ces jetons proviennent principalement de la tâche Coinbase (7500万), qui sera distribuée au cours des six premiers mois, tout en incluant les récompenses pour le staking, l'exploitation de validateurs et la validation de nœuds.
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 au 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, l'objectif est d'atteindre 50 d'ici la fin de l'année, et finalement d'atteindre 500. Devenir délégué nécessite 10 000 jetons, devenir 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 est appelé Synthesis Puzzle, et ses principales caractéristiques sont les suivantes :
Un EpochProgram commun est généré à chaque epoch.
En construisant un circuit de preuve R1CS pour les entrées et EpochProgram, générez l'affectation R1CS correspondante (, à savoir le témoin ).
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.
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.
EpochProgram génère un nombre aléatoire échantillonné à partir de l'ensemble des instructions à partir de l'epoch_hash actuel.
Utiliser un nonce comme graine aléatoire pour générer l'entrée d'EpochProgram.
Après avoir calculé le témoin, convertissez-le en une séquence de nœuds feuilles d'arbre Merkle et construisez un arbre Merkle K-ary à 8 branches de profondeur 8.
Calculer la racine Merkle et la convertir en proof_target, vérifier si elle satisfait le latest_proof_target de l'epoch actuel.
Soumettez la solution et diffusez-la si les conditions sont remplies.
Cette mise à jour fait passer le puzzle de la génération de preuves à celle de la génération de témoins. La logique de calcul des solutions est cohérente au sein de chaque époque, mais les différences de logique de calcul entre les époques sont assez importantes. Le nouvel algorithme abandonne les calculs MSM et NTT précédents, et en même temps, en raison des dépendances sérielles dans le processus de génération de témoins, la mise en œuvre de la parallélisation fait face à de grands défis.
Dans l'ensemble, Aleo a renforcé sa position de leader dans le domaine du calcul privé Web3 grâce à cet algorithme innovant, posant ainsi une base solide pour le développement futur.
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
6
Reposter
Partager
Commentaire
0/400
LeekCutter
· 07-13 22:17
La vie privée, qu'est-ce qu'on peut en dire, c'est du vent.
Voir l'originalRépondre0
CodeZeroBasis
· 07-13 15:41
Tout cela est tellement cryptographie que ça donne le vertige...
Voir l'originalRépondre0
LuoGeMade1MillionDo
· 07-11 01:59
Le dark pool du mainnet aleo arrive, une grosse vague.
Voir l'originalRépondre0
MidnightMEVeater
· 07-11 00:41
Une nouvelle vague de chasse dans les dark pools arrive. La question clé est de savoir si le calcul privé peut nourrir les mineurs.
Aleo mène la révolution de l'informatique privée Web3 en lançant le Testnet d'incitation.
Aleo : Leader de la nouvelle ère du calcul privé Web3
Aleo est un projet de blockchain axé sur la protection de la vie privée, réalisant une plus grande confidentialité et évolutivité grâce à la technologie des preuves à divulgation nulle de connaissance (ZKP). Son idée centrale est de permettre aux utilisateurs de s'identifier et de traiter des données sans révéler de données personnelles.
Aperçu du projet
Le cœur d'Aleo est la technologie des preuves à divulgation nulle de connaissance (ZKPs), qui permet 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, cachés, tout en permettant une divulgation sélective lorsque cela est nécessaire, ce qui est très adapté au développement des applications DeFi.
Les principaux composants comprennent :
Leo langage de programmation : basé sur Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant les exigences de connaissance en cryptographie pour les développeurs.
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.
zkCloud : offre 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 directement des applications dans le registre des programmes d'Aleo, réduisant ainsi le risque de la plateforme.
Scalabilité
Aleo utilise un traitement off-chain, 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 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 qui combine la finalité instantanée des validateurs et la puissance de calcul des prouveurs. AleoBFT améliore le degré de décentralisation du réseau, renforce 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 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, les validateurs sont responsables de la génération des 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 blocs ; inciter 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 limites de gaz, ce qui les rend particulièrement adaptées aux applications nécessitant un long temps d'exécution, comme l'apprentissage automatique.
Derniers développements
Aleo lancera son réseau de test incitatif le 1er juillet. Voici quelques informations importantes à jour :
Vote ARC-100 approuvé : La proposition concernant les mesures de sécurité liées à la conformité, au verrouillage des fonds en ligne et aux délais de crédit a été approuvée, l'équipe est en train de procéder aux ajustements finaux.
Programme d'incitation des validateurs : Du 1er au 15 juillet, 1 million de points Aleo seront attribués en tant que récompense. Le pourcentage de points générés par le nœud déterminera sa part de récompense, chaque validateur doit gagner au moins 100 jetons pour pouvoir obtenir une récompense.
Offre de jetons : l'offre initiale est de 1,5 milliard de jetons, avec une offre en circulation initiale d'environ 10 %. Ces jetons proviennent principalement de la tâche Coinbase (7500万), qui sera distribuée au cours des six premiers mois, tout en incluant les récompenses pour le staking, l'exploitation de validateurs et la validation de nœuds.
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 au 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, l'objectif est d'atteindre 50 d'ici la fin de l'année, et finalement d'atteindre 500. Devenir délégué nécessite 10 000 jetons, devenir 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 est appelé Synthesis Puzzle, et ses principales caractéristiques sont les suivantes :
Un EpochProgram commun est généré à chaque epoch.
En construisant un circuit de preuve R1CS pour les entrées et EpochProgram, générez l'affectation R1CS correspondante (, à savoir le témoin ).
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.
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.
EpochProgram génère un nombre aléatoire échantillonné à partir de l'ensemble des instructions à partir de l'epoch_hash actuel.
Utiliser un nonce comme graine aléatoire pour générer l'entrée d'EpochProgram.
Après avoir calculé le témoin, convertissez-le en une séquence de nœuds feuilles d'arbre Merkle et construisez un arbre Merkle K-ary à 8 branches de profondeur 8.
Calculer la racine Merkle et la convertir en proof_target, vérifier si elle satisfait le latest_proof_target de l'epoch actuel.
Soumettez la solution et diffusez-la si les conditions sont remplies.
Cette mise à jour fait passer le puzzle de la génération de preuves à celle de la génération de témoins. La logique de calcul des solutions est cohérente au sein de chaque époque, mais les différences de logique de calcul entre les époques sont assez importantes. Le nouvel algorithme abandonne les calculs MSM et NTT précédents, et en même temps, en raison des dépendances sérielles dans le processus de génération de témoins, la mise en œuvre de la parallélisation fait face à de grands défis.
Dans l'ensemble, Aleo a renforcé sa position de leader dans le domaine du calcul privé Web3 grâce à cet algorithme innovant, posant ainsi une base solide pour le développement futur.