Aleo: Blockchain innovante pour la protection de la vie privée et l'é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 meilleure confidentialité et une plus grande évolutivité. Son idée maîtresse est de permettre aux utilisateurs de vérifier leur identité et de traiter des données sans divulguer leurs données personnelles.
Aperçu du projet
Confidentialité
Le cœur d'Aleo est la technologie de preuve à divulgation nulle de connaissance, qui permet l'exécution des transactions et des contrats intelligents tout en préservant la confidentialité. Les détails des transactions des utilisateurs sont par défaut cachés, tout en permettant une divulgation sélective en cas de besoin, ce qui est particulièrement adapté au développement des applications DeFi. Les principaux composants comprennent :
Leo langage de programmation : spécialement conçu pour le développement d'applications à connaissance nulle, réduisant ainsi les exigences en matière de connaissances en cryptographie 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, permettant 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 multipartite.
Aleo propose également un environnement de développement intégré et un kit de développement logiciel, prenant en charge le développement et le déploiement rapides d'applications.
évolutivité
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 vérification sont téléchargés sur la Blockchain. Cela améliore considérablement la vitesse de traitement des transactions et la scalabilité du système, évitant ainsi la congestion du réseau et les frais élevés.
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. Principales caractéristiques :
Bloc rapide de finalité : assurer que chaque bloc généré est immédiatement confirmé.
Garantie décentralisée : en séparant la production de blocs de la génération de coinbase, cela empêche quelques entités de monopoliser le réseau.
Mécanisme d'incitation : les validateurs et les prouveurs partagent les récompenses de bloc, encourageant la participation au fonctionnement du réseau.
Aleo permet le développement d'applications sans restriction de gas, adaptées aux applications de longue durée comme l'apprentissage automatique.
Dernières avancées
Proposition ARC-100 adoptée : concerne les mesures de conformité et de sécurité, des ajustements finaux sont en cours.
Programme d'incitation des validateurs : démarrage le 1er juillet, se poursuivant jusqu'au 15 juillet, avec une distribution de 1 million de points Aleo comme récompense.
Approvisionnement initial et circulation : Approvisionnement initial de 1,5 milliard de jetons, circulation initiale d'environ 10 %.
Réinitialisation du réseau de test Beta : ajout de ARC-41 et de nouvelles fonctionnalités de puzzle.
Gel de code : terminé il y a une semaine.
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.
Mise à jour de l'algorithme Synthesis Puzzle
Le nouvel algorithme ne se concentre plus sur la génération des résultats de preuve zk, a éliminé le calcul MSM et NTT, et se concentre plutôt sur la génération de témoins. Processus principal :
Chaque epoch génère un EpochProgram fixe.
Utiliser le nonce comme graine aléatoire pour générer l'entrée EpochProgram.
Agréger R1CS et les entrées, 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.
Si les conditions sont remplies, soumettez la solution et diffusez-la.
Cette mise à jour fait passer le puzzle de la génération de proof à celle de la génération de witness, avec des calculs logiques cohérents au sein de chaque epoch, mais des différences importantes entre les epochs. Le nouvel algorithme pose des défis pour l'optimisation GPU, et la mise en œuvre de la parallélisation est assez difficile.
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
8
Partager
Commentaire
0/400
GateUser-2e89a06f
· Il y a 35m
Va te faire foutre, encore un ppt.
Voir l'originalRépondre0
PuzzledScholar
· Il y a 8h
Le potentiel est le potentiel, l'argent est la vérité.
Voir l'originalRépondre0
OvertimeSquid
· Il y a 8h
J'ai copié BSC, c'est ça.
Voir l'originalRépondre0
DefiEngineerJack
· Il y a 8h
meh. une autre chaîne zk prétendant à un *scalage* *optimal*. montrez-moi les preuves formelles ou dégagez.
Voir l'originalRépondre0
SandwichTrader
· Il y a 8h
Tu as encore travaillé pour rien, n'est-ce pas ?
Voir l'originalRépondre0
SingleForYears
· Il y a 8h
Pourquoi les projets de confidentialité ne peuvent-ils pas rivaliser avec Vitalik ?
Aleo Pilote Blockchain: zk-SNARKs au service de la confidentialité et de la haute évolutivité
Aleo: Blockchain innovante pour la protection de la vie privée et l'é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 meilleure confidentialité et une plus grande évolutivité. Son idée maîtresse est de permettre aux utilisateurs de vérifier leur identité et de traiter des données sans divulguer leurs données personnelles.
Aperçu du projet
Confidentialité
Le cœur d'Aleo est la technologie de preuve à divulgation nulle de connaissance, qui permet l'exécution des transactions et des contrats intelligents tout en préservant la confidentialité. Les détails des transactions des utilisateurs sont par défaut cachés, tout en permettant une divulgation sélective en cas de besoin, ce qui est particulièrement adapté au développement des applications DeFi. Les principaux composants comprennent :
Leo langage de programmation : spécialement conçu pour le développement d'applications à connaissance nulle, réduisant ainsi les exigences en matière de connaissances en cryptographie 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, permettant 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 multipartite.
Aleo propose également un environnement de développement intégré et un kit de développement logiciel, prenant en charge le développement et le déploiement rapides d'applications.
évolutivité
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 vérification sont téléchargés sur la Blockchain. Cela améliore considérablement la vitesse de traitement des transactions et la scalabilité du système, évitant ainsi la congestion du réseau et les frais élevés.
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. Principales caractéristiques :
Bloc rapide de finalité : assurer que chaque bloc généré est immédiatement confirmé.
Garantie décentralisée : en séparant la production de blocs de la génération de coinbase, cela empêche quelques entités de monopoliser le réseau.
Mécanisme d'incitation : les validateurs et les prouveurs partagent les récompenses de bloc, encourageant la participation au fonctionnement du réseau.
Aleo permet le développement d'applications sans restriction de gas, adaptées aux applications de longue durée comme l'apprentissage automatique.
Dernières avancées
Proposition ARC-100 adoptée : concerne les mesures de conformité et de sécurité, des ajustements finaux sont en cours.
Programme d'incitation des validateurs : démarrage le 1er juillet, se poursuivant jusqu'au 15 juillet, avec une distribution de 1 million de points Aleo comme récompense.
Approvisionnement initial et circulation : Approvisionnement initial de 1,5 milliard de jetons, circulation initiale d'environ 10 %.
Réinitialisation du réseau de test Beta : ajout de ARC-41 et de nouvelles fonctionnalités de puzzle.
Gel de code : terminé il y a une semaine.
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.
Mise à jour de l'algorithme Synthesis Puzzle
Le nouvel algorithme ne se concentre plus sur la génération des résultats de preuve zk, a éliminé le calcul MSM et NTT, et se concentre plutôt sur la génération de témoins. Processus principal :
Chaque epoch génère un EpochProgram fixe.
Utiliser le nonce comme graine aléatoire pour générer l'entrée EpochProgram.
Agréger R1CS et les entrées, 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.
Si les conditions sont remplies, soumettez la solution et diffusez-la.
Cette mise à jour fait passer le puzzle de la génération de proof à celle de la génération de witness, avec des calculs logiques cohérents au sein de chaque epoch, mais des différences importantes entre les epochs. Le nouvel algorithme pose des défis pour l'optimisation GPU, et la mise en œuvre de la parallélisation est assez difficile.