Aleo: Une nouvelle étoile du Blockchain qui allie confidentialité et évolutivité
Aleo est un projet de Blockchain axé sur la protection de la vie privée, qui utilise la technologie des preuves à divulgation nulle de connaissance pour réaliser une plus grande confidentialité et évolutivité. La philosophie fondamentale de ce projet est de permettre aux utilisateurs de s'authentifier et de traiter des données sans divulguer leurs informations personnelles.
Aperçu du projet
confidentialité
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 protégeant la vie privée. Les détails des transactions des utilisateurs sont par défaut cachés, mais une divulgation sélective est autorisée si nécessaire. Ses principaux composants incluent :
Langage de compilation Leo : un langage spécialement conçu pour le développement d'applications à connaissance nulle ( ZKApps ), réduisant ainsi les exigences en matière de connaissances cryptographiques pour les développeurs.
snarkVM et snarkOS : snarkVM permet l'exécution de calculs hors chaîne, tandis que la chaîne ne vérifie que 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é, soutenant l'interaction de programmation entre les différentes parties.
Aleo propose également un environnement de développement intégré et un kit de développement logiciel, permettant aux développeurs d'écrire 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 adopte un 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 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 non seulement le degré de décentralisation du réseau, mais renforce également la performance et la sécurité. Ses caractéristiques incluent :
Bloc finalité rapide : assurer que chaque bloc est immédiatement confirmé après sa génération.
Garanties de décentralisation : en séparant la production de blocs et la génération de coinbase, éviter qu'un petit nombre d'entités ne monopolise le réseau.
Mécanisme d'incitation : les validateurs et les prouveurs partagent les récompenses de bloc, encourageant les prouveurs à devenir validateurs en stakant des tokens.
Aleo permet aux développeurs de créer des applications sans restrictions de gas, particulièrement adaptées aux applications nécessitant un long temps d'exécution, comme l'apprentissage automatique, etc.
Derniers développements
Aleo prévoit de lancer le réseau de test incitatif le 1er juillet, voici quelques informations importantes :
La proposition ARC-100 a été approuvée, l'équipe procède aux ajustements finaux.
Le programme d'incitation des validateurs débutera le 1er juillet et se déroulera jusqu'au 15 juillet, avec 1 million de points Aleo attribués en récompense.
L'offre initiale est de 1,5 milliard de jetons, l'offre circulante initiale est d'environ 10 %.
Après la réinitialisation de Testnet Beta, le réseau sera similaire à celui de la blockchain principale.
Le gel du code a été effectué il y a une semaine.
Plan d'expansion des nœuds de validation : 15 nœuds initiaux, objectif d'atteindre 50 nœuds dans l'année, et finalement 500 nœuds.
Interprétation 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. Le processus de l'algorithme est le suivant:
Un EpochProgram commun est généré à chaque epoch.
Utiliser nonce( pour construire l'adresse de récompense de minage, epoch_hash et le compteur aléatoire ) comme entrée.
Construire le circuit de preuve R1CS en fonction de l'EpochProgram et des entrées, générer le témoin.
Convertir le témoin en nœud feuille de l'arbre Merkle, calculer la racine Merkle.
Convertir la racine de Merkle en proof_target de la solution, puis vérifier si elle satisfait les exigences de difficulté de l'epoch actuel.
Soumettez la solution et diffusez-la si les exigences sont satisfaites.
Cette mise à jour fait passer le puzzle de la génération de preuve à la génération de témoin, la logique de calcul au sein de chaque époque étant cohérente, mais les différences entre les époques étant assez grandes. Le nouvel algorithme abandonne les calculs MSM et NTT précédents, augmentant la difficulté de mise en œuvre parallèle, ce qui pourrait avoir un impact sur les stratégies d'optimisation de minage existantes.
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.
Aleo lance le Testnet d'incitation, la Blockchain à connaissance nulle avance vers le Mainnet
Aleo: Une nouvelle étoile du Blockchain qui allie confidentialité et évolutivité
Aleo est un projet de Blockchain axé sur la protection de la vie privée, qui utilise la technologie des preuves à divulgation nulle de connaissance pour réaliser une plus grande confidentialité et évolutivité. La philosophie fondamentale de ce projet est de permettre aux utilisateurs de s'authentifier et de traiter des données sans divulguer leurs informations personnelles.
Aperçu du projet
confidentialité
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 protégeant la vie privée. Les détails des transactions des utilisateurs sont par défaut cachés, mais une divulgation sélective est autorisée si nécessaire. Ses principaux composants incluent :
Langage de compilation Leo : un langage spécialement conçu pour le développement d'applications à connaissance nulle ( ZKApps ), réduisant ainsi les exigences en matière de connaissances cryptographiques pour les développeurs.
snarkVM et snarkOS : snarkVM permet l'exécution de calculs hors chaîne, tandis que la chaîne ne vérifie que 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é, soutenant l'interaction de programmation entre les différentes parties.
Aleo propose également un environnement de développement intégré et un kit de développement logiciel, permettant aux développeurs d'écrire 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 adopte un 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 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 non seulement le degré de décentralisation du réseau, mais renforce également la performance et la sécurité. Ses caractéristiques incluent :
Bloc finalité rapide : assurer que chaque bloc est immédiatement confirmé après sa génération.
Garanties de décentralisation : en séparant la production de blocs et la génération de coinbase, éviter qu'un petit nombre d'entités ne monopolise le réseau.
Mécanisme d'incitation : les validateurs et les prouveurs partagent les récompenses de bloc, encourageant les prouveurs à devenir validateurs en stakant des tokens.
Aleo permet aux développeurs de créer des applications sans restrictions de gas, particulièrement adaptées aux applications nécessitant un long temps d'exécution, comme l'apprentissage automatique, etc.
Derniers développements
Aleo prévoit de lancer le réseau de test incitatif le 1er juillet, voici quelques informations importantes :
La proposition ARC-100 a été approuvée, l'équipe procède aux ajustements finaux.
Le programme d'incitation des validateurs débutera le 1er juillet et se déroulera jusqu'au 15 juillet, avec 1 million de points Aleo attribués en récompense.
L'offre initiale est de 1,5 milliard de jetons, l'offre circulante initiale est d'environ 10 %.
Après la réinitialisation de Testnet Beta, le réseau sera similaire à celui de la blockchain principale.
Le gel du code a été effectué il y a une semaine.
Plan d'expansion des nœuds de validation : 15 nœuds initiaux, objectif d'atteindre 50 nœuds dans l'année, et finalement 500 nœuds.
Interprétation 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. Le processus de l'algorithme est le suivant:
Un EpochProgram commun est généré à chaque epoch.
Utiliser nonce( pour construire l'adresse de récompense de minage, epoch_hash et le compteur aléatoire ) comme entrée.
Construire le circuit de preuve R1CS en fonction de l'EpochProgram et des entrées, générer le témoin.
Convertir le témoin en nœud feuille de l'arbre Merkle, calculer la racine Merkle.
Convertir la racine de Merkle en proof_target de la solution, puis vérifier si elle satisfait les exigences de difficulté de l'epoch actuel.
Soumettez la solution et diffusez-la si les exigences sont satisfaites.
Cette mise à jour fait passer le puzzle de la génération de preuve à la génération de témoin, la logique de calcul au sein de chaque époque étant cohérente, mais les différences entre les époques étant assez grandes. Le nouvel algorithme abandonne les calculs MSM et NTT précédents, augmentant la difficulté de mise en œuvre parallèle, ce qui pourrait avoir un impact sur les stratégies d'optimisation de minage existantes.