Aleo : un projet de Blockchain révolutionnant la confidentialité dans le Web3
Aleo est un projet de blockchain dédié à la protection de la vie privée, réalisant une meilleure confidentialité et évolutivité grâce à la technologie des preuves à divulgation nulle de connaissance (ZKP). La philosophie centrale du projet est de permettre aux utilisateurs de s'authentifier et de traiter des données sans divulguer de données personnelles.
Présentation du projet
vie privée
Le cœur d'Aleo est la technologie des preuves à connaissance nulle (ZKPs), permettant 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 une divulgation sélective lorsque nécessaire, ce qui est idéal pour le développement des applications DeFi. Ses principaux composants incluent :
Leo langage de programmation : basé sur le langage Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant ainsi les exigences en connaissances en cryptographie pour les développeurs.
snarkVM et snarkOS : snarkVM permet l'exécution de calculs hors chaîne, la chaîne ne validant 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 l'interaction 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 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 dépendre de tiers, réduisant ainsi le risque pour 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 vérification 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 les problèmes de congestion du réseau et de frais é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 capacité 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 création, 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 création 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 bloc ; ils encouragent les prouveurs à devenir validateurs en stakant des jetons, 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 restrictions de gas, ce qui les rend particulièrement adaptées aux applications nécessitant un long temps d'exécution, 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 :
Vote ARC-100 approuvé : Le vote sur le projet ARC-100 ("Meilleures pratiques de conformité pour les développeurs et opérateurs Aleo") est terminé et a été approuvé. L'équipe procède aux ajustements finaux.
Programme d'incitation des validateurs : ce programme débutera le 1er juillet et vise à vérifier le nouveau mécanisme de puzzle. Le programme fonctionnera jusqu'au 15 juillet, pendant lequel 1 million de points Aleo seront attribués en récompense. Le pourcentage de points générés par les nœuds déterminera sa part de récompense, chaque validateur doit gagner au moins 100 jetons pour obtenir une récompense.
Approvisionnement initial et approvisionnement circulant : L'approvisionnement initial est de 1,5 milliard de tokens, et l'approvisionnement circulant initial est d'environ 10 %. Ces tokens proviennent principalement des tâches de Coinbase (75 millions), qui seront distribués au cours des six premiers mois, tout en incluant des récompenses pour le staking, l'exécution 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. La réinitialisation vise à ajouter ARC-41 et de nouvelles fonctionnalités de puzzle.
Gel du code : 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, avec pour objectif d'atteindre 50 dans l'année et finalement 500. Devenir un délégué nécessite 10 000 jetons, alors que devenir un validateur nécessite 10 millions de jetons, ces montants diminueront progressivement avec le temps.
Mise à jour de l'algorithme Synthesis Puzzle
Aleo a récemment mis à jour la dernière version de l'algorithme puzzle, appelé Synthesis Puzzle. Le nouvel algorithme ne se concentre plus sur la génération des résultats de preuve zk, mais se concentre sur la génération des données intermédiaires witness avant la preuve. Voici les principales caractéristiques et le processus de l'algorithme :
Chaque epoch génère un EpochProgram commun, échantillonné à partir de l'ensemble d'instructions par le nombre aléatoire produit par le epoch_hash actuel.
Utiliser le nonce (construit à partir de l'adresse recevant la récompense de minage, de l'epoch_hash et du compteur aléatoire) comme graine aléatoire pour générer l'entrée du EpochProgram.
Agréger le R1CS et l'input correspondants à l'EpochProgram, puis effectuer le calcul du témoin.
Convertir les witnesses calculés en une séquence de nœuds feuilles de l'arbre Merkle, en construisant un arbre Merkle K-ary à 8 branches de profondeur 8.
Calculer la racine de Merkle et la convertir en proof_target de la solution, déterminer si elle satisfait le latest_proof_target de l'epoch actuel.
Si les conditions sont remplies, soumettez la solution et diffusez-la.
Cette mise à jour a fait passer le puzzle de la génération de preuve à la génération de témoin. La logique de calcul de toutes les solutions au sein de chaque epoch est cohérente, mais il y a des différences significatives dans la logique de calcul entre les epochs. Le nouvel algorithme a abandonné les calculs MSM et NTT précédents, et en raison des dépendances d'exécution sérielles présentes dans le processus de génération de témoin, la mise en œuvre de la parallélisation représente un défi non négligeable.
Dans l'ensemble, cette mise à jour algorithmique d'Aleo renforce davantage ses avantages en matière de protection de la vie privée et d'évolutivité, offrant un nouvel élan à la révolution de la vie privée Web3. Avec le développement et l'amélioration continus du projet, Aleo devrait jouer un rôle de plus en plus important dans le domaine de la protection de la vie privée sur la Blockchain.
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.
14 J'aime
Récompense
14
4
Reposter
Partager
Commentaire
0/400
GateUser-fc4fde9d
· 08-14 06:14
Fou qui réchauffe des restes de plusieurs années.
Voir l'originalRépondre0
RugDocScientist
· 08-13 23:22
zkp est vraiment bon !
Voir l'originalRépondre0
MissingSats
· 08-13 23:20
Encore de la spéculation sur zk ? Attrapez les crevettes.
Aleo mène la révolution de la vie privée Web3 : les zk-SNARKs habilitent la vie privée et l'évolutivité de la Blockchain
Aleo : un projet de Blockchain révolutionnant la confidentialité dans le Web3
Aleo est un projet de blockchain dédié à la protection de la vie privée, réalisant une meilleure confidentialité et évolutivité grâce à la technologie des preuves à divulgation nulle de connaissance (ZKP). La philosophie centrale du projet est de permettre aux utilisateurs de s'authentifier et de traiter des données sans divulguer de données personnelles.
Présentation du projet
vie privée
Le cœur d'Aleo est la technologie des preuves à connaissance nulle (ZKPs), permettant 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 une divulgation sélective lorsque nécessaire, ce qui est idéal pour le développement des applications DeFi. Ses principaux composants incluent :
Leo langage de programmation : basé sur le langage Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant ainsi les exigences en connaissances en cryptographie pour les développeurs.
snarkVM et snarkOS : snarkVM permet l'exécution de calculs hors chaîne, la chaîne ne validant 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 l'interaction 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 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 dépendre de tiers, réduisant ainsi le risque pour 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 vérification 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 les problèmes de congestion du réseau et de frais é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 capacité 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 création, 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 création 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 bloc ; ils encouragent les prouveurs à devenir validateurs en stakant des jetons, 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 restrictions de gas, ce qui les rend particulièrement adaptées aux applications nécessitant un long temps d'exécution, 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 :
Vote ARC-100 approuvé : Le vote sur le projet ARC-100 ("Meilleures pratiques de conformité pour les développeurs et opérateurs Aleo") est terminé et a été approuvé. L'équipe procède aux ajustements finaux.
Programme d'incitation des validateurs : ce programme débutera le 1er juillet et vise à vérifier le nouveau mécanisme de puzzle. Le programme fonctionnera jusqu'au 15 juillet, pendant lequel 1 million de points Aleo seront attribués en récompense. Le pourcentage de points générés par les nœuds déterminera sa part de récompense, chaque validateur doit gagner au moins 100 jetons pour obtenir une récompense.
Approvisionnement initial et approvisionnement circulant : L'approvisionnement initial est de 1,5 milliard de tokens, et l'approvisionnement circulant initial est d'environ 10 %. Ces tokens proviennent principalement des tâches de Coinbase (75 millions), qui seront distribués au cours des six premiers mois, tout en incluant des récompenses pour le staking, l'exécution 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. La réinitialisation vise à ajouter ARC-41 et de nouvelles fonctionnalités de puzzle.
Gel du code : 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, avec pour objectif d'atteindre 50 dans l'année et finalement 500. Devenir un délégué nécessite 10 000 jetons, alors que devenir un validateur nécessite 10 millions de jetons, ces montants diminueront progressivement avec le temps.
Mise à jour de l'algorithme Synthesis Puzzle
Aleo a récemment mis à jour la dernière version de l'algorithme puzzle, appelé Synthesis Puzzle. Le nouvel algorithme ne se concentre plus sur la génération des résultats de preuve zk, mais se concentre sur la génération des données intermédiaires witness avant la preuve. Voici les principales caractéristiques et le processus de l'algorithme :
Chaque epoch génère un EpochProgram commun, échantillonné à partir de l'ensemble d'instructions par le nombre aléatoire produit par le epoch_hash actuel.
Utiliser le nonce (construit à partir de l'adresse recevant la récompense de minage, de l'epoch_hash et du compteur aléatoire) comme graine aléatoire pour générer l'entrée du EpochProgram.
Agréger le R1CS et l'input correspondants à l'EpochProgram, puis effectuer le calcul du témoin.
Convertir les witnesses calculés en une séquence de nœuds feuilles de l'arbre Merkle, en construisant un arbre Merkle K-ary à 8 branches de profondeur 8.
Calculer la racine de Merkle et la convertir en proof_target de la solution, déterminer si elle satisfait le latest_proof_target de l'epoch actuel.
Si les conditions sont remplies, soumettez la solution et diffusez-la.
Cette mise à jour a fait passer le puzzle de la génération de preuve à la génération de témoin. La logique de calcul de toutes les solutions au sein de chaque epoch est cohérente, mais il y a des différences significatives dans la logique de calcul entre les epochs. Le nouvel algorithme a abandonné les calculs MSM et NTT précédents, et en raison des dépendances d'exécution sérielles présentes dans le processus de génération de témoin, la mise en œuvre de la parallélisation représente un défi non négligeable.
Dans l'ensemble, cette mise à jour algorithmique d'Aleo renforce davantage ses avantages en matière de protection de la vie privée et d'évolutivité, offrant un nouvel élan à la révolution de la vie privée Web3. Avec le développement et l'amélioration continus du projet, Aleo devrait jouer un rôle de plus en plus important dans le domaine de la protection de la vie privée sur la Blockchain.