Aleo : une Blockchain innovante utilisant la technologie zk-SNARKs pour la protection de la vie privée
Aleo est un projet de blockchain axé sur la protection de la vie privée, utilisant la technologie zk-SNARKs (ZKP) pour améliorer la confidentialité et l'évolutivité. L'idée principale du projet est de permettre aux utilisateurs de s'authentifier et de traiter des données sans divulguer d'informations personnelles.
Derniers progrès du projet
Le réseau Aleo génère un circuit ZK aléatoire chaque heure. Les mineurs doivent essayer différentes nonce comme entrée pour le circuit dans cette heure, calculer le witness(, c'est-à-dire toutes les variables dans le circuit, ce processus est également appelé synthèse), déterminer la racine Merkle du witness et ensuite vérifier si cela satisfait aux exigences de difficulté minière. En raison du caractère aléatoire du circuit, cet algorithme de minage n'est pas convivial pour les GPU et présente de grands défis en matière d'accélération des calculs.
Situation de financement
Aleo a complété un financement de série A de 28 millions de dollars en 2021, mené par a16z. En 2024, la société a également terminé un financement de série B de 200 millions de dollars, avec des investisseurs tels que Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures et Samsung Next. Ce tour de financement a porté la valorisation d'Aleo à 1,45 milliard de dollars.
Caractéristiques principales du projet
Protection de la vie privée
Aleo est au cœur de la technologie des zk-SNARKs (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 masqués par défaut. Ce design protège non seulement la vie privée des utilisateurs, mais permet également une divulgation sélective si nécessaire, ce qui est idéal pour le développement des applications DeFi.
Les composants principaux comprennent :
Leo langage de compilation : adapté du langage Rust, spécialement conçu pour développer des zk-SNARKs (ZKApps), réduisant les exigences en 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 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é, soutenant l'interaction programmée 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. Les développeurs peuvent déployer des applications dans le registre des programmes d'Aleo sans dépendre de tiers, réduisant ainsi le risque sur 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 la validation sont téléchargés sur la Blockchain. Cette méthode augmente considérablement la vitesse de traitement des transactions et l'évolutivité du système, évitant ainsi les congestions réseau et les coûts élevés similaires à ceux d'Ethereum.
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 non seulement le degré de décentralisation du réseau, mais renforce également les performances et la sécurité.
Finalité rapide des Blocs : AleoBFT garantit que chaque Bloc est confirmé immédiatement après sa création, améliorant ainsi la stabilité des nœuds et l'expérience utilisateur.
Garantie décentralisée : en séparant la production de blocs de la génération de coinbase, les validateurs sont responsables de la génération de 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 ; encourager les prouveurs à devenir des validateurs en stakant des tokens, afin d'améliorer 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 une longue durée d'exécution, comme l'apprentissage automatique.
Dernières évolutions
Vote ARC-100 approuvé : la proposition concernant les mesures de sécurité liées à la conformité, au verrouillage des fonds sur le réseau Aleo et aux délais de traitement a été approuvée, l'équipe procède à des ajustements finaux.
Programme d'incitation des validateurs : débutera le 1er juillet, visant à valider le nouveau mécanisme de puzzle. Le programme fonctionnera jusqu'au 15 juillet, période durant laquelle 1 million de points Aleo seront attribués en tant que récompense.
Approvisionnement en jetons : l'approvisionnement initial est de 1,5 milliard de jetons, l'approvisionnement en circulation initial est d'environ 10%( et n'est pas encore définitivement déterminé). Ces jetons proviennent principalement des tâches de Coinbase(7500 millions), qui seront distribués au cours des six premiers mois, tout en incluant des récompenses pour le staking, l'exploitation 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 à la blockchain principale.
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 au cours de l'année, et d'atteindre finalement 500. Pour devenir délégataire, il faut 10 000 jetons, et pour devenir validateur, il faut 10 millions de jetons, ces montants diminueront progressivement avec le temps.
Analyse de l'algorithme Synthesis Puzzle
Le dernier algorithme puzzle d'Aleo est appelé Synthesis Puzzle, et ses principales caractéristiques sont les suivantes :
Chaque epoch produit un EpochProgram commun de manière fixe.
En construisant un circuit de preuve R1CS pour l'entrée et EpochProgram, générez l'affectation R1CS correspondante (, c'est-à-dire le témoin ), et utilisez-le comme nœud feuille de l'arbre Merkle.
Calculer la racine de Merkle après avoir généré tous les nœuds feuilles et la convertir en proof_target de la solution.
Chaque calcul de puzzle est appelé nonce, construit à partir de l'adresse recevant la récompense de minage, de l'epoch_hash et du compteur de nombre aléatoire.
EpochProgram extrait un nombre aléatoire généré par le epoch_hash actuel à partir de l'ensemble d'instructions.
Utiliser le nonce comme graine de nombre aléatoire pour générer l'entrée du EpochProgram.
Agréger les R1CS et les inputs correspondants à EpochProgram, puis effectuer le calcul des témoins.
Calculer la racine merkle et vérifier si elle satisfait le latest_proof_target de l'epoch actuel.
Cette mise à jour fait passer le puzzle de la génération de proof à la génération de witness, la logique de calcul de toutes les solutions dans chaque epoch est cohérente, mais la logique de calcul entre les epochs est très différente. Le nouvel algorithme abandonne les calculs MSM et NTT précédents, ce qui constitue un nouveau défi pour l'optimisation GPU. En raison de certaines dépendances d'exécution sérielle dans le processus de génération de witness, la mise en œuvre de la parallélisation pose également 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
6
Partager
Commentaire
0/400
ExpectationFarmer
· Il y a 19h
Mining est vraiment trop difficile, non ?
Voir l'originalRépondre0
ShitcoinConnoisseur
· Il y a 19h
zk est si populaire, achetez-en un peu pour vous rassurer.
Voir l'originalRépondre0
ChainDoctor
· Il y a 19h
C'est encore monté au ciel, hein ?
Voir l'originalRépondre0
GateUser-5b799ff7
· Il y a 19h
c'est vieux
Voir l'originalRépondre0
LuoGeMade1MillionDo
· Il y a 19h
Je suis impressionné, c'est incroyablement bien, tant d'institutions majeures, une capitalisation boursière d'un milliard est trop basse 😍😍😍
Aleo a terminé un financement avec une valorisation de 1,45 milliard de dollars, la technologie zk-SNARKs en tête du Web3.
Aleo : une Blockchain innovante utilisant la technologie zk-SNARKs pour la protection de la vie privée
Aleo est un projet de blockchain axé sur la protection de la vie privée, utilisant la technologie zk-SNARKs (ZKP) pour améliorer la confidentialité et l'évolutivité. L'idée principale du projet est de permettre aux utilisateurs de s'authentifier et de traiter des données sans divulguer d'informations personnelles.
Derniers progrès du projet
Le réseau Aleo génère un circuit ZK aléatoire chaque heure. Les mineurs doivent essayer différentes nonce comme entrée pour le circuit dans cette heure, calculer le witness(, c'est-à-dire toutes les variables dans le circuit, ce processus est également appelé synthèse), déterminer la racine Merkle du witness et ensuite vérifier si cela satisfait aux exigences de difficulté minière. En raison du caractère aléatoire du circuit, cet algorithme de minage n'est pas convivial pour les GPU et présente de grands défis en matière d'accélération des calculs.
Situation de financement
Aleo a complété un financement de série A de 28 millions de dollars en 2021, mené par a16z. En 2024, la société a également terminé un financement de série B de 200 millions de dollars, avec des investisseurs tels que Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures et Samsung Next. Ce tour de financement a porté la valorisation d'Aleo à 1,45 milliard de dollars.
Caractéristiques principales du projet
Protection de la vie privée
Aleo est au cœur de la technologie des zk-SNARKs (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 masqués par défaut. Ce design protège non seulement la vie privée des utilisateurs, mais permet également une divulgation sélective si nécessaire, ce qui est idéal pour le développement des applications DeFi.
Les composants principaux comprennent :
Leo langage de compilation : adapté du langage Rust, spécialement conçu pour développer des zk-SNARKs (ZKApps), réduisant les exigences en 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 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é, soutenant l'interaction programmée 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. Les développeurs peuvent déployer des applications dans le registre des programmes d'Aleo sans dépendre de tiers, réduisant ainsi le risque sur 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 la validation sont téléchargés sur la Blockchain. Cette méthode augmente considérablement la vitesse de traitement des transactions et l'évolutivité du système, évitant ainsi les congestions réseau et les coûts élevés similaires à ceux d'Ethereum.
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 non seulement le degré de décentralisation du réseau, mais renforce également les performances et la sécurité.
Finalité rapide des Blocs : AleoBFT garantit que chaque Bloc est confirmé immédiatement après sa création, améliorant ainsi la stabilité des nœuds et l'expérience utilisateur.
Garantie décentralisée : en séparant la production de blocs de la génération de coinbase, les validateurs sont responsables de la génération de 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 ; encourager les prouveurs à devenir des validateurs en stakant des tokens, afin d'améliorer 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 une longue durée d'exécution, comme l'apprentissage automatique.
Dernières évolutions
Vote ARC-100 approuvé : la proposition concernant les mesures de sécurité liées à la conformité, au verrouillage des fonds sur le réseau Aleo et aux délais de traitement a été approuvée, l'équipe procède à des ajustements finaux.
Programme d'incitation des validateurs : débutera le 1er juillet, visant à valider le nouveau mécanisme de puzzle. Le programme fonctionnera jusqu'au 15 juillet, période durant laquelle 1 million de points Aleo seront attribués en tant que récompense.
Approvisionnement en jetons : l'approvisionnement initial est de 1,5 milliard de jetons, l'approvisionnement en circulation initial est d'environ 10%( et n'est pas encore définitivement déterminé). Ces jetons proviennent principalement des tâches de Coinbase(7500 millions), qui seront distribués au cours des six premiers mois, tout en incluant des récompenses pour le staking, l'exploitation 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 à la blockchain principale.
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 au cours de l'année, et d'atteindre finalement 500. Pour devenir délégataire, il faut 10 000 jetons, et pour devenir validateur, il faut 10 millions de jetons, ces montants diminueront progressivement avec le temps.
Analyse de l'algorithme Synthesis Puzzle
Le dernier algorithme puzzle d'Aleo est appelé Synthesis Puzzle, et ses principales caractéristiques sont les suivantes :
Chaque epoch produit un EpochProgram commun de manière fixe.
En construisant un circuit de preuve R1CS pour l'entrée et EpochProgram, générez l'affectation R1CS correspondante (, c'est-à-dire le témoin ), et utilisez-le comme nœud feuille de l'arbre Merkle.
Calculer la racine de Merkle après avoir généré tous les nœuds feuilles et la convertir en proof_target de la solution.
Chaque calcul de puzzle est appelé nonce, construit à partir de l'adresse recevant la récompense de minage, de l'epoch_hash et du compteur de nombre aléatoire.
EpochProgram extrait un nombre aléatoire généré par le epoch_hash actuel à partir de l'ensemble d'instructions.
Utiliser le nonce comme graine de nombre aléatoire pour générer l'entrée du EpochProgram.
Agréger les R1CS et les inputs correspondants à EpochProgram, puis effectuer le calcul des témoins.
Calculer la racine merkle et vérifier si elle satisfait le latest_proof_target de l'epoch actuel.
Cette mise à jour fait passer le puzzle de la génération de proof à la génération de witness, la logique de calcul de toutes les solutions dans chaque epoch est cohérente, mais la logique de calcul entre les epochs est très différente. Le nouvel algorithme abandonne les calculs MSM et NTT précédents, ce qui constitue un nouveau défi pour l'optimisation GPU. En raison de certaines dépendances d'exécution sérielle dans le processus de génération de witness, la mise en œuvre de la parallélisation pose également un défi considérable.