Aleo : un projet de Blockchain axé sur la confidentialité et l'évolutivité
Aleo est un projet de blockchain axé sur la protection de la vie privée, utilisant la technologie de preuve à divulgation nulle de connaissance (ZKP) pour réaliser un niveau plus élevé de confidentialité et d'évolutivité. La philosophie centrale du projet est de permettre aux utilisateurs de s'authentifier et de traiter des données tout en protégeant leurs données personnelles.
Aperçu du projet
confidentialité
Le cœur d'Aleo repose sur la technologie des preuves à divulgation nulle de connaissance (ZKPs), 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 cachés, tout en permettant une divulgation sélective si nécessaire. Les composants principaux incluent :
Langage de compilation Leo : un langage spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps).
snarkVM et snarkOS : snarkVM permet d'exécuter des calculs hors chaîne, la chaîne vérifiant uniquement les résultats ; snarkOS garantit la sécurité des données et des calculs.
zkCloud : fournit un environnement de calcul hors chaîne sécurisé et privé.
Aleo propose également un IDE et un SDK, permettant aux développeurs d'écrire et de publier rapidement des applications. Les développeurs peuvent déployer des applications directement dans le registre de programmes d'Aleo.
Scalabilité
Aleo adopte un traitement hors chaîne, où les transactions sont d'abord calculées sur l'appareil de l'utilisateur, puis seules les résultats de vérification sont téléchargés sur la Blockchain. Cela améliore considérablement la vitesse de traitement des transactions et l'évolutivité du système.
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 les performances et la sécurité.
Bloc de finalité rapide : assurer que chaque bloc soit immédiatement confirmé après sa génération.
Garantie décentralisée : séparer la production de blocs et la génération de coinbase.
Mécanisme d'incitation : les validateurs et les témoins partagent la récompense de bloc.
Aleo permet aux développeurs de créer des applications sans restriction de gas, adaptées aux applications nécessitant un fonctionnement prolongé.
Derniers développements
ARC-100 vote approuvé : la proposition concernant les mesures de conformité et de sécurité a été adoptée.
Programme d'incitation des validateurs : démarré le 1er juillet, fonctionnant jusqu'au 15 juillet, distribution de 1 million de points Aleo en tant que récompense.
Approvisionnement en jetons : Approvisionnement initial de 1,5 milliard, circulation initiale d'environ 10 %.
Réinitialisation du testnet Beta : c'est la dernière réinitialisation du réseau, ajout d'ARC-41 et de nouvelles fonctionnalités de puzzle.
Gel de code : terminé il y a une semaine.
Plan d'expansion des nœuds de validation : 15 initialement, objectif d'atteindre 50 dans l'année, et finalement 500.
Analyse de l'algorithme Synthesis Puzzle
Aleo a récemment mis à jour l'algorithme puzzle, se concentrant désormais sur la génération de témoins plutôt que sur la génération de preuves zk. Le noyau du nouvel algorithme s'appelle Synthesis Puzzle, les principales étapes sont les suivantes :
Un programme Epoch commun est généré à chaque epoch.
Utiliser un nonce comme graine aléatoire pour générer l'entrée de l'EpochProgram.
Agréger le R1CS et l'input correspondants à l'EpochProgram, calculer le témoin.
Convertir le témoin en nœud feuille de l'arbre Merkle.
Calculer la racine Merkle et la convertir en proof_target.
Vérifiez si proof_target répond aux exigences de l'epoch actuel.
Soumettez la solution et diffusez-la si elle répond aux exigences.
Cette mise à jour permet de maintenir la cohérence des calculs de puzzle au sein de chaque epoch, mais les différences entre les epochs sont considérables. En raison de l'élimination des calculs MSM et NTT, tout en introduisant certaines dépendances d'exécution séquentielle, cela pose de nouveaux défis pour l'optimisation GPU et la mise en œuvre de la parallélisation.
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.
9 J'aime
Récompense
9
5
Partager
Commentaire
0/400
YieldWhisperer
· Il y a 20h
même pitch zk que tous les autres l1... je les suis depuis 2019 à vrai dire, rien de nouveau ici
Voir l'originalRépondre0
Afficher plus
MoneyBurner
· Il y a 21h
Un autre projet zk, Créer une position To the moon les frères.
Voir l'originalRépondre0
GasGuzzler
· Il y a 21h
La puissance de calcul n'est pas bon marché.
Voir l'originalRépondre0
MysteriousZhang
· Il y a 21h
Je m'en vais, c'est toujours la technologie qui est profonde.
Aleo : un projet Blockchain alliant confidentialité et évolutivité, dernières avancées et analyse de l'algorithme Synthesis Puzzle
Aleo : un projet de Blockchain axé sur la confidentialité et l'évolutivité
Aleo est un projet de blockchain axé sur la protection de la vie privée, utilisant la technologie de preuve à divulgation nulle de connaissance (ZKP) pour réaliser un niveau plus élevé de confidentialité et d'évolutivité. La philosophie centrale du projet est de permettre aux utilisateurs de s'authentifier et de traiter des données tout en protégeant leurs données personnelles.
Aperçu du projet
confidentialité
Le cœur d'Aleo repose sur la technologie des preuves à divulgation nulle de connaissance (ZKPs), 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 cachés, tout en permettant une divulgation sélective si nécessaire. Les composants principaux incluent :
Langage de compilation Leo : un langage spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps).
snarkVM et snarkOS : snarkVM permet d'exécuter des calculs hors chaîne, la chaîne vérifiant uniquement les résultats ; snarkOS garantit la sécurité des données et des calculs.
zkCloud : fournit un environnement de calcul hors chaîne sécurisé et privé.
Aleo propose également un IDE et un SDK, permettant aux développeurs d'écrire et de publier rapidement des applications. Les développeurs peuvent déployer des applications directement dans le registre de programmes d'Aleo.
Scalabilité
Aleo adopte un traitement hors chaîne, où les transactions sont d'abord calculées sur l'appareil de l'utilisateur, puis seules les résultats de vérification sont téléchargés sur la Blockchain. Cela améliore considérablement la vitesse de traitement des transactions et l'évolutivité du système.
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 les performances et la sécurité.
Bloc de finalité rapide : assurer que chaque bloc soit immédiatement confirmé après sa génération.
Garantie décentralisée : séparer la production de blocs et la génération de coinbase.
Mécanisme d'incitation : les validateurs et les témoins partagent la récompense de bloc.
Aleo permet aux développeurs de créer des applications sans restriction de gas, adaptées aux applications nécessitant un fonctionnement prolongé.
Derniers développements
ARC-100 vote approuvé : la proposition concernant les mesures de conformité et de sécurité a été adoptée.
Programme d'incitation des validateurs : démarré le 1er juillet, fonctionnant jusqu'au 15 juillet, distribution de 1 million de points Aleo en tant que récompense.
Approvisionnement en jetons : Approvisionnement initial de 1,5 milliard, circulation initiale d'environ 10 %.
Réinitialisation du testnet Beta : c'est la dernière réinitialisation du réseau, ajout d'ARC-41 et de nouvelles fonctionnalités de puzzle.
Gel de code : terminé il y a une semaine.
Plan d'expansion des nœuds de validation : 15 initialement, objectif d'atteindre 50 dans l'année, et finalement 500.
Analyse de l'algorithme Synthesis Puzzle
Aleo a récemment mis à jour l'algorithme puzzle, se concentrant désormais sur la génération de témoins plutôt que sur la génération de preuves zk. Le noyau du nouvel algorithme s'appelle Synthesis Puzzle, les principales étapes sont les suivantes :
Un programme Epoch commun est généré à chaque epoch.
Utiliser un nonce comme graine aléatoire pour générer l'entrée de l'EpochProgram.
Agréger le R1CS et l'input correspondants à l'EpochProgram, calculer le témoin.
Convertir le témoin en nœud feuille de l'arbre Merkle.
Calculer la racine Merkle et la convertir en proof_target.
Vérifiez si proof_target répond aux exigences de l'epoch actuel.
Soumettez la solution et diffusez-la si elle répond aux exigences.
Cette mise à jour permet de maintenir la cohérence des calculs de puzzle au sein de chaque epoch, mais les différences entre les epochs sont considérables. En raison de l'élimination des calculs MSM et NTT, tout en introduisant certaines dépendances d'exécution séquentielle, cela pose de nouveaux défis pour l'optimisation GPU et la mise en œuvre de la parallélisation.