Analyse complète du projet ALEO

1. Architecture technique

Aleo est une plate-forme de blockchain couche 1 qui se concentre sur la confidentialité par défaut, en utilisant la technologie de preuve de connaissances zéro (ZKP) de pointe pour activer les applications décentralisées privées et programmables (DAPP). Ses composants techniques principaux comprennent:

• Architecture ZEXE

Aleo est construit sur Zexe, une architecture d'exécution de connaissances zéro introduite par ses fondateurs en 2018. Dans Zexe, les calculs sont exécutés hors de la chaîne et leur validité est prouvée en utilisant des zksnarks (arguments de connaissances non interactifs succincts), qui sont ensuite soumis en tête. Cette structure permet des calculs privés avec une vérifiabilité publique tout en améliorant l'évolutivité et l'efficacité.

Chaque transaction consomme et génère des «enregistrements» cryptés, similaires à un modèle UTXO. Ces enregistrements sont liés aux clés de l'utilisateur et cachés à la vue du public. Lorsqu'une transaction est exécutée, la blockchain ne révèle que le numéro de série de l'enregistrement consommé, l'engagement du nouveau dossier et un Zksnark qui prouve la validité - sans divulguer de données sous-jacentes.

• Langage de programmation LEO

Leo est un langage de programmation spécifique au domaine inspiré de la rouille (DSL) conçu pour rédiger des contrats intelligents basés sur ZKP. Les développeurs peuvent utiliser LEO pour exprimer la logique complexe comme code lisible, qui est ensuite compilé dans les circuits compatibles R1CS d'Aleo pour la génération d'épreuve Zksnark. Cela réduit considérablement la barrière cryptographique pour le développement du DAPP.

• Aleovm & Snarkvm

Les programmes LEO sont compilés sur les circuits exécutés sur Aleovm, avec SnarkVM comme backend cryptographique. SnarkVM utilise le système de prouvance Varin basé sur Marlin et prend en charge les SR universels et mises à jour (chaînes de référence structurées). Il permet la génération et la vérification Zksnark à haut débit et à usage général, avec une exécution évolutive.

• Consensus hybride: Aleobft + POSW

Aleo combine la preuve de la preuve (POS) et un nouveau mécanisme de travail de preuve de cascaute (POSW). AleoBft est son consensus de style DAG basé sur POS, garantissant une finalité rapide et déterministe. Pendant ce temps, POSW est une preuve de travail basée sur Zksnark: les provers génèrent des espoirs ZK qui répondent à un seuil de difficulté pour gagner des récompenses de bloc. Cela incite le calcul de la sécurité du réseau tout en maintenant la décentralisation.

En résumé, l'architecture d'Aleo combine l'exécution de la chaîne avec la vérification sur la chaîne, permettant une plate-forme de contrat intelligente évolutive et préservant la confidentialité avec une chaîne d'outils adaptée aux développeurs.

2. Mécanismes de confidentialité

ALEO assure les transactions privées par défaut et l'exécution du contrat à l'aide de Zksnarks. Les principales fonctionnalités de confidentialité comprennent:

• Records cryptés et preuves de connaissances zéro

Toutes les interactions utilisateur sont modélisées comme des enregistrements chiffrés. Aucune donnée publique sur les expéditeurs, les destinataires ou les montants n'est divulguée. Seuls Zksnarks prouvent que la transition entre les enregistrements est valide. Cela signifie que les observateurs ne peuvent pas déterminer quelles actions se sont produites - seulement qu'elles étaient valables en vertu des règles du contrat.

• Flexibilité de l'État public et privé

Les contrats écrits dans Leo peuvent gérer les États publics et privés, permettant une divulgation sélective. Par exemple, un DAPP de vote peut masquer les identités des électeurs lors de la publication des résultats agrégés. Cet équilibre entre confidentialité et vérifiabilité est l'une des principales innovations d'Aleo.

Le résultat est une blockchain où les soldes du compte, les appels contractuels et les états internes sont privés par défaut, faisant de la première chaîne de la première chaîne pour offrir une confidentialité programmable à grande échelle.

3. Scénarios d'application

ALEO prend en charge une large gamme de types DAPP:

• Defi privé: Des projets comme Alphaswap et Arcane Finance démontrent le trading et la liquidité Defi avec la confidentialité complète des transactions. Cela protège les utilisateurs contre le fait de faire, améliore la sécurité et prend en charge les cas d'utilisation tels que les prêts confidentiels et les paiements de stablecoin privés.

• Identité et divulgation sélective: Les applications basées sur ZK comme ALEO Name Service (ANS) et ZPASS permettent aux utilisateurs de prouver les réclamations (par exemple, l'âge ou la citoyenneté) sans révéler des données sensibles.

• Jeux en chaîne: ALEO prend en charge les jeux à l'état caché tels que le poker ou le cuirassé en cryptant les informations des joueurs et en validant les mouvements avec les résistances à ZK.

• Écosystème de développeur: 350+ équipes se construisent sur Aleo. Les outils incluent Leo Wallet, Foxwallet, Aleo123 Explorer et Solutions transversales comme Verulink.

4. Chronologie du développement du projet

• Équipe: Fondé par Howard Wu, Collin Chin, Raymond Chu et Michael Beller. Le PDG Alex Pruden apporte une expérience militaire et VC. CTO Pratyush Mishra dirige la cryptographie.

• Financement: 28 millions de dollars (2021) et 200 millions de dollars B (2022) d'A16Z, SoftBank, Coinbase Ventures et autres.

• Issue: Quatre tests de temps mis en scène (2021-2023) avec des crédits ALEO 25M distribués comme incitations.

• MainNet: Lancé en septembre 2024, avec plus de 100 000 GPU participant à ZK-mine.

• Feuille de route: Concentrez-vous sur l'évolutivité, les outils des développeurs et les intégrations d'entreprise au cours des 24 prochains mois.

5. Tokenomics

• Fourniture et allocation: Genèse Offre de 1,5 milliard d'Aleo. Distribué: 34% d'investisseurs, 25% de communauté, 17% d'équipe, 16% de fondation, 8% partenaires.

• Modèle d'émission:

  • Posw (Provers): Commence à ~ 105 ALEO / bloc, diminue 10% par an pendant 9 ans, puis fixé à 12,5 ALEO / bloc.

  • POS (validateurs): Fixé à 23 Aleo / Block pour toujours.

• Inflation: Estimé à atteindre ~ 2,6 milliards d'ALEO en 10 ans, avec une diminution du taux d'inflation (~ 12% à ~ 2%).

• Utilitaire: Utilisé pour le gaz, le jalonnement, les récompenses, le calcul ZK et la gouvernance future.

6. Analyse des investissements

• Potentiel de marché: Résout les défis de base de Web3 - confidentialité et évolutivité - avec une demande croissante dans toutes les industries.

• Concours: Surpasse ZCash (pas de contrats intelligents), offre plus de flexibilité que MINA (pas privé par défaut) et fonctionne comme un L1 souverain contrairement à Aztec (L2).

• Avantages: Technologie de pointe, forts outils de développement, financement robuste et traction de l'écosystème.

• Risques: Examen réglementaire sur la confidentialité, la complexité Zksnark, les déverrouilles de jetons et les contraintes de performance.

• Perspectives: Profil à haut risque et à forte récompense. Solite candidate pour une exposition à long terme à l'écosystème de connaissances zéro.

Références

1. Site officiel Aleo - https://aleo.org
   

2. Docs Aleo (détails techniques) - https://developer.aleo.org

3. ZEXE: activer un calcul privé décentralisé - https://eprint.iacr.org/2018/962.pdf

4. Rapports Aleo Testnet - https://medium.com/@aleo

5. Référentiel de langage leo - https://github.com/AleoHQ/leo

6. Snarkvm github - https://github.com/AleoHQ/snarkVM
   

7. Blog de lancement Aleo Mainnet - https://www.aleo.org/post/mainnet-launch
   

8. Couverture Coindesk sur Aleo - https://www.coindesk.com/tag/aleo

9. Site officiel de Zcash - https://z.cash

10. Docs du protocole Mina - https://docs.minaprotocol.com

11. Réseau aztec - https://aztec.network

12. Arcane Finance & Alphaswap (projets écosystémiques ALEO) - https://www.aleo.org/ecosystem
    

13. Foxwallet - https://foxwallet.com

14. Aleo123 Explorer - https://aleo123.io