Aleo : nouvelle percée dans le Blockchain de protection de la vie privée
Aleo est un projet de blockchain dédié à la protection de la vie privée, qui a atteint un niveau plus élevé de confidentialité et d'évolutivité grâce à la technologie de preuve à connaissance nulle (ZKP). La philosophie centrale de ce projet est de permettre aux utilisateurs de valider leur identité et de traiter des données tout en protégeant leurs données personnelles.
Aperçu du projet
vie privée
Le cœur d'Aleo est 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, tels que l'expéditeur et le montant, sont par défaut cachés. Ce design non seulement protège la vie privée des utilisateurs, mais permet également une divulgation sélective lorsque cela est nécessaire, ce qui est particulièrement adapté au développement des applications DeFi. Les principaux composants incluent :
Leo langage de compilation : basé sur Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant 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, la chaîne ne vérifiant que les résultats, ce qui améliore 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 : fournit un environnement de calcul hors chaîne sécurisé et privé, prenant en charge l'interaction de programmation entre les utilisateurs, les organisations et les 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. Les développeurs peuvent déployer des applications dans le registre des programmes d'Aleo sans dépendre de tiers, ce qui réduit les risques liés à la plateforme.
évolutivité
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 la scalabilité 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 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 ses performances et sa sécurité.
Finalité rapide des blocs : AleoBFT garantit 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.
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 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 ; cela encourage les prouveurs à devenir des validateurs en engageant des tokens, ce qui améliore 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 le rend particulièrement adapté aux applications nécessitant un long temps d'exécution, comme l'apprentissage automatique.
Dernières avancées
Aleo prévoit de lancer un réseau de test incitatif le 1er juillet, voici quelques informations importantes :
Proposition ARC-100 adoptée : cette proposition concerne les aspects de conformité, le verrouillage des fonds en ligne et les mesures de sécurité telles que les délais de paiement, l'équipe effectue actuellement les ajustements finaux.
Programme d'incitation des validateurs : débutera le 1er juillet, visant à 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 récompense.
Fourniture de tokens : L'approvisionnement initial est de 1,5 milliard de tokens, l'approvisionnement en circulation initial est d'environ 10 %( à déterminer). Ces tokens proviennent principalement des tâches de Coinbase(7500 mille), qui seront distribués au cours des six premiers mois, incluant des récompenses pour le staking, le fonctionnement des validateurs et des nœuds de validation.
Réinitialisation de la Testnet Beta : c'est la dernière réinitialisation du réseau, après quoi 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'augmenter à 50 dans l'année, et d'atteindre finalement 500. Devenir un délégué nécessite 10 000 tokens, devenir un validateur nécessite 10 millions de tokens, ces montants diminueront progressivement avec le temps.
Analyse de l'algorithme Synthesis Puzzle
Aleo a récemment mis à jour l'algorithme puzzle, le nouvel algorithme ne se concentre plus sur la génération des résultats de preuve zk, mais se concentre plutôt sur la génération des données intermédiaires witness avant la preuve. Voici une brève introduction au nouvel algorithme :
Processus de consensus
Prover calcule des puzzles, construit des solutions et les diffuse dans le réseau.
L'agrégation des transactions des validateurs et la solution pour le nouveau bloc, assurant que le nombre de solutions ne dépasse pas la limite de consensus.
La légitimité de la Solution doit être vérifiée pour s'assurer que son epoch_hash et proof_target sont conformes aux exigences du réseau, ainsi que le nombre de solutions dans le block qui doit être dans la limite.
Une solution efficace peut obtenir des récompenses de consensus.
Mécanisme de base de Synthesis Puzzle
Chaque epoch génère un EpochProgram fixe, utilisé par tous les prover.
Chaque calcul de puzzle est appelé nonce, constitué de l'adresse recevant la récompense de minage, de epoch_hash et du compteur de nombre aléatoire.
EpochProgram génère un nombre aléatoire échantillonné à partir de l'ensemble d'instructions à partir du hash d'epoch actuel.
Utiliser le nonce comme graine aléatoire pour générer l'entrée du EpochProgram.
Agréger le R1CS et l'input correspondants au EpochProgram, puis effectuer le calcul du witness.
Après avoir calculé tous les witnesses, convertissez-les en une séquence de nœuds feuilles de l'arbre merkle.
Calculer la racine merkle et la convertir en proof_target de la solution, déterminer si elle satisfait les exigences de l'epoch actuel.
Si les exigences sont satisfaites, soumettez la solution et diffusez-la.
Cette mise à jour transforme le puzzle de la génération de proof en génération de witness. La logique de calcul des solutions au sein de chaque epoch reste cohérente, mais il existe de grandes différences entre les epochs. Le nouvel algorithme abandonne les optimisations GPU précédemment ciblées sur le calcul MSM et NTT, et en raison des relations de dépendance dans le processus de génération de witness, la mise en œuvre du parallélisme représente un défi considérable.
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.
10 J'aime
Récompense
10
7
Partager
Commentaire
0/400
Cfrs2020
· Il y a 18h
#ALEO# Vous ne regardez pas du tout les annonces ? Le temps de confirmation du bloc arc6 en août a été réduit de 90 %, l'ARC5 entrera en vigueur le 9 septembre, et les frais de blanchiment de capitaux ont diminué de 90 %. Cela pave la voie pour l'écosystème.
Voir l'originalRépondre0
0xTherapist
· Il y a 18h
La vie privée c'est la liberté
Voir l'originalRépondre0
tokenomics_truther
· Il y a 18h
La vie privée est une productivité.
Voir l'originalRépondre0
LuoGeMade1MillionDo
· Il y a 18h
chaîne publique leader de la confidentialité aleo
Voir l'originalRépondre0
SchroedingerAirdrop
· Il y a 18h
L'infrastructure de la vie privée a besoin de quelqu'un pour s'en occuper.
Mise à jour majeure de la blockchain privée Aleo : Analyse de l'algorithme Synthesis Puzzle et lancement du Testnet d'incitation
Aleo : nouvelle percée dans le Blockchain de protection de la vie privée
Aleo est un projet de blockchain dédié à la protection de la vie privée, qui a atteint un niveau plus élevé de confidentialité et d'évolutivité grâce à la technologie de preuve à connaissance nulle (ZKP). La philosophie centrale de ce projet est de permettre aux utilisateurs de valider leur identité et de traiter des données tout en protégeant leurs données personnelles.
Aperçu du projet
vie privée
Le cœur d'Aleo est 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, tels que l'expéditeur et le montant, sont par défaut cachés. Ce design non seulement protège la vie privée des utilisateurs, mais permet également une divulgation sélective lorsque cela est nécessaire, ce qui est particulièrement adapté au développement des applications DeFi. Les principaux composants incluent :
Leo langage de compilation : basé sur Rust, spécialement conçu pour le développement d'applications à connaissance nulle (ZKApps), réduisant 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, la chaîne ne vérifiant que les résultats, ce qui améliore 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 : fournit un environnement de calcul hors chaîne sécurisé et privé, prenant en charge l'interaction de programmation entre les utilisateurs, les organisations et les 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. Les développeurs peuvent déployer des applications dans le registre des programmes d'Aleo sans dépendre de tiers, ce qui réduit les risques liés à la plateforme.
évolutivité
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 la scalabilité 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 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 ses performances et sa sécurité.
Finalité rapide des blocs : AleoBFT garantit 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.
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 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 ; cela encourage les prouveurs à devenir des validateurs en engageant des tokens, ce qui améliore 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 le rend particulièrement adapté aux applications nécessitant un long temps d'exécution, comme l'apprentissage automatique.
Dernières avancées
Aleo prévoit de lancer un réseau de test incitatif le 1er juillet, voici quelques informations importantes :
Proposition ARC-100 adoptée : cette proposition concerne les aspects de conformité, le verrouillage des fonds en ligne et les mesures de sécurité telles que les délais de paiement, l'équipe effectue actuellement les ajustements finaux.
Programme d'incitation des validateurs : débutera le 1er juillet, visant à 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 récompense.
Fourniture de tokens : L'approvisionnement initial est de 1,5 milliard de tokens, l'approvisionnement en circulation initial est d'environ 10 %( à déterminer). Ces tokens proviennent principalement des tâches de Coinbase(7500 mille), qui seront distribués au cours des six premiers mois, incluant des récompenses pour le staking, le fonctionnement des validateurs et des nœuds de validation.
Réinitialisation de la Testnet Beta : c'est la dernière réinitialisation du réseau, après quoi 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'augmenter à 50 dans l'année, et d'atteindre finalement 500. Devenir un délégué nécessite 10 000 tokens, devenir un validateur nécessite 10 millions de tokens, ces montants diminueront progressivement avec le temps.
Analyse de l'algorithme Synthesis Puzzle
Aleo a récemment mis à jour l'algorithme puzzle, le nouvel algorithme ne se concentre plus sur la génération des résultats de preuve zk, mais se concentre plutôt sur la génération des données intermédiaires witness avant la preuve. Voici une brève introduction au nouvel algorithme :
Processus de consensus
Prover calcule des puzzles, construit des solutions et les diffuse dans le réseau.
L'agrégation des transactions des validateurs et la solution pour le nouveau bloc, assurant que le nombre de solutions ne dépasse pas la limite de consensus.
La légitimité de la Solution doit être vérifiée pour s'assurer que son epoch_hash et proof_target sont conformes aux exigences du réseau, ainsi que le nombre de solutions dans le block qui doit être dans la limite.
Une solution efficace peut obtenir des récompenses de consensus.
Mécanisme de base de Synthesis Puzzle
Chaque epoch génère un EpochProgram fixe, utilisé par tous les prover.
Chaque calcul de puzzle est appelé nonce, constitué de l'adresse recevant la récompense de minage, de epoch_hash et du compteur de nombre aléatoire.
EpochProgram génère un nombre aléatoire échantillonné à partir de l'ensemble d'instructions à partir du hash d'epoch actuel.
Utiliser le nonce comme graine aléatoire pour générer l'entrée du EpochProgram.
Agréger le R1CS et l'input correspondants au EpochProgram, puis effectuer le calcul du witness.
Après avoir calculé tous les witnesses, convertissez-les en une séquence de nœuds feuilles de l'arbre merkle.
Calculer la racine merkle et la convertir en proof_target de la solution, déterminer si elle satisfait les exigences de l'epoch actuel.
Si les exigences sont satisfaites, soumettez la solution et diffusez-la.
Cette mise à jour transforme le puzzle de la génération de proof en génération de witness. La logique de calcul des solutions au sein de chaque epoch reste cohérente, mais il existe de grandes différences entre les epochs. Le nouvel algorithme abandonne les optimisations GPU précédemment ciblées sur le calcul MSM et NTT, et en raison des relations de dépendance dans le processus de génération de witness, la mise en œuvre du parallélisme représente un défi considérable.