Cet article est un aperçu du projet Aleo, il a été écrit en lisant/regardant les documents d'Aleo, les blogs d'Aleo, les discussions d'Aleo du sommet ZK et en posant des questions sur le Discord d'Aleo.

Aleo est une blockchain L1 qui offre évolutivité et confidentialité. Pour ce faire, elle utilise des ZK-SNARKs pour vérifier les transactions. Aleo a la capacité d'exécuter des applications écrites par l'utilisateur. Une des caractéristiques d'Aleo est la confidentialité optionnelle, où un utilisateur peut :

• soit agir ouvertement, avec moins de calculs nécessaires,

• soit être privé, mais il devra faire plus de travail de son côté.

Aleo est actuellement en phase de test, mais devrait être opérationnel prochainement.

Le modèle d'Aleo est constitué de programmes, similaires aux contrats d'Ethereum. Ils ont une certaine logique prédéfinie sur la façon dont vous pouvez interagir avec eux, en invoquant des fonctions.

Chaque programme a un état, mais au lieu d'avoir un seul état, il est divisé en petits fragments, de sorte que plusieurs parties peuvent interagir avec un programme en même temps. Chaque fragment est défini par son propriétaire et un nonce aléatoire et peut en outre contenir d'autres informations, comme un solde ou l'adresse d'une maison.

Lorsque vous voulez utiliser l'état, vous le consommez, ce qui signifie que vous ne pouvez l'utiliser qu'une seule fois, puis vous générez un nouvel état avec un nouveau nonce aléatoire. Cela permet d'éviter les doubles dépenses et constitue une approche classique de l'UTXO, telle qu'utilisée dans le Bitcoin ou le ZCash.

La partie état, appelée enregistrement, peut être privée ou publique, ou seulement partiellement publique. S'il est privé, seul le propriétaire de l'enregistrement peut le voir.

En plus des enregistrements du programme, chaque programme peut avoir un stockage public, appelé mappings. Ils stockent la corrélation entre les clés et les valeurs, où la clé et la valeur sont définies par le programmeur.

Aleo a mis en place ses deux propres langages pour écrire du code.

Aleo - compilé en WASM Leo - compilé en Aleo

La société dispose en outre de plugins pour les éditeurs de texte et les IDE les plus courants, ainsi que d'un terrain de jeu où vous pouvez tester le langage.

Ils sont également en train de développer un Aleo Studio ainsi qu'un Aleo Package Manager, portant l'expérience du développeur à un niveau très élevé.

Soyez prudent avec la documentation, car elle est encore en développement et certaines parties ne sont pas à jour. Le mieux est de demander sur Discord.

Aleo fournit des scripts shell très utiles pour compiler et exécuter les deux langues, assurez-vous de les utiliser car ils sont très utiles.

Il est également important de souligner que pour développer dans Aleo, il faut connaître les primitives de la courbe elliptique, telles que l'addition de points, ainsi que les bases des groupes et des champs. Sinon, le développement risque d'être moins simple.

Aleo a des types dédiés (attention c’est un peu technique) :

1. Champ est défini par le champ sur lequel la courbe elliptique opère.

2. Groupe de points sur la courbe elliptique utilisée dans Aleo.

3. Scalars, qui sont des éléments du groupe cyclique d'ordre comme le groupe ci-dessus.

Il s'agit d'une VM qui fonctionne dans Aleo - un système d'exploitation décentralisé pour les applications privées. Il constitue l'épine dorsale d'Aleo et permet aux applications de vérifier et de stocker l'état d'une manière publiquement vérifiable.

Aleo est le nom du langage pour écrire des programmes, il ressemble à l'Assembleur par son bas niveau, mais il a aussi une certaine ressemblance avec Rust.

Vous pouvez consulter quelques exemples d'utilisation d'Aleo que nous avons réalisés et qui sont disponibles ici.

La quantité de primitives est très faible, puisque vous êtes limité aux fonctions, variables, structs et records.

Leo est un langage de niveau supérieur, qui est compilé en Aleo. C'est un langage à typage statique, ce qui signifie que vous devez définir les types des variables et des fonctions. Il s'agit également d'un langage fonctionnel, ce qui signifie que vous pouvez uniquement utiliser des fonctions comme construction.

De plus, Leo est très similaire à Rust, donc on peut facilement transférer ses connaissances de Rust à Leo. Un exemple de programme Leo peut être trouvé ici.

Nous avons vu beaucoup d'utilisateurs s'en tenir à Aleo, car il semble être beaucoup plus développé et mature que Leo. Pourtant, nous devons noter que le débogage était très difficile, car les messages d'erreur n'étaient pas très utiles.

Les variables dans Leo sont passées par valeur, ce qui signifie que lorsque vous passez une variable à une fonction, vous passez en fait une copie de celle-ci.

Il est également possible de déployer ses programmes sur Aleo Network, en créant un nœud et en se connectant à la chaîne. Le nœud prendra beaucoup de temps à démarrer, en téléchargeant environ 1 Go de matériel de configuration pour vérifier les transitions d'état de la blockchain.

Il existe 3 types de nœuds dans le réseau Aleo :

1. Client - observe la blockchain et soumet des transactions au pool de mémoires.

2. Prover - génère des preuves de l'exécution des programmes Aleo et de l'exactitude des transactions. Pour les transactions privées, cette tâche est effectuée par le client.

3. Vérificateur - vérifie les preuves soumises à Aleo, construit les blocs et les soumet à la chaîne.

Aleo utilise la méthode de la preuve de travail succincte, où les mineurs doivent produire des preuves correctes pour les transactions, qui sont ensuite regroupées en blocs par les vérificateurs. Les blocs sont ensuite ajoutés à la blockchain.

Aleo a levé 200 millions de dollars lors d'une vente privée, mais n'a pas encore lancé de vente publique. Le montant des jetons n'est pas plafonné car le projet a décidé d'avoir une monnaie inflationniste, l'inflation diminuant avec le temps.

Les jetons sont utilisés pour acheter de la puissance de calcul, un peu comme le gaz dans Ethereum, mais ici on paie des Provers pour prouver l'exactitude de votre transaction.

Aleo gère un ensemble de programmes communautaires et de primes, pour lesquels ils ont mis de côté 5 millions de dollars.

Aleo est un projet majeur, avec une grande communauté et beaucoup d'efforts sont déployés pour faire croitre le projet. Aleo sera certainement l'un des grands acteurs de l'espace crypto, et je vous invite fortement à échanger avec les équipes pour prendre le train en marche.

Cet article est un aperçu du projet Aleo, il a été écrit en lisant/regardant les documents d'Aleo, les blogs d'Aleo, les discussions d'Aleo du sommet ZK et en posant des questions sur le Discord d'Aleo.

Aleo est une blockchain L1 qui offre évolutivité et confidentialité. Pour ce faire, elle utilise des ZK-SNARKs pour vérifier les transactions. Aleo a la capacité d'exécuter des applications écrites par l'utilisateur. Une des caractéristiques d'Aleo est la confidentialité optionnelle, où un utilisateur peut :

• soit agir ouvertement, avec moins de calculs nécessaires,

• soit être privé, mais il devra faire plus de travail de son côté.

Aleo est actuellement en phase de test, mais devrait être opérationnel prochainement.

Le modèle d'Aleo est constitué de programmes, similaires aux contrats d'Ethereum. Ils ont une certaine logique prédéfinie sur la façon dont vous pouvez interagir avec eux, en invoquant des fonctions.

Chaque programme a un état, mais au lieu d'avoir un seul état, il est divisé en petits fragments, de sorte que plusieurs parties peuvent interagir avec un programme en même temps. Chaque fragment est défini par son propriétaire et un nonce aléatoire et peut en outre contenir d'autres informations, comme un solde ou l'adresse d'une maison.

Lorsque vous voulez utiliser l'état, vous le consommez, ce qui signifie que vous ne pouvez l'utiliser qu'une seule fois, puis vous générez un nouvel état avec un nouveau nonce aléatoire. Cela permet d'éviter les doubles dépenses et constitue une approche classique de l'UTXO, telle qu'utilisée dans le Bitcoin ou le ZCash.

La partie état, appelée enregistrement, peut être privée ou publique, ou seulement partiellement publique. S'il est privé, seul le propriétaire de l'enregistrement peut le voir.

En plus des enregistrements du programme, chaque programme peut avoir un stockage public, appelé mappings. Ils stockent la corrélation entre les clés et les valeurs, où la clé et la valeur sont définies par le programmeur.

Aleo a mis en place ses deux propres langages pour écrire du code.

Aleo - compilé en WASM Leo - compilé en Aleo

La société dispose en outre de plugins pour les éditeurs de texte et les IDE les plus courants, ainsi que d'un terrain de jeu où vous pouvez tester le langage.

Ils sont également en train de développer un Aleo Studio ainsi qu'un Aleo Package Manager, portant l'expérience du développeur à un niveau très élevé.

Soyez prudent avec la documentation, car elle est encore en développement et certaines parties ne sont pas à jour. Le mieux est de demander sur Discord.

Aleo fournit des scripts shell très utiles pour compiler et exécuter les deux langues, assurez-vous de les utiliser car ils sont très utiles.

Il est également important de souligner que pour développer dans Aleo, il faut connaître les primitives de la courbe elliptique, telles que l'addition de points, ainsi que les bases des groupes et des champs. Sinon, le développement risque d'être moins simple.

Aleo a des types dédiés (attention c’est un peu technique) :

1. Champ est défini par le champ sur lequel la courbe elliptique opère.

2. Groupe de points sur la courbe elliptique utilisée dans Aleo.

3. Scalars, qui sont des éléments du groupe cyclique d'ordre comme le groupe ci-dessus.

Il s'agit d'une VM qui fonctionne dans Aleo - un système d'exploitation décentralisé pour les applications privées. Il constitue l'épine dorsale d'Aleo et permet aux applications de vérifier et de stocker l'état d'une manière publiquement vérifiable.

Aleo est le nom du langage pour écrire des programmes, il ressemble à l'Assembleur par son bas niveau, mais il a aussi une certaine ressemblance avec Rust.

Vous pouvez consulter quelques exemples d'utilisation d'Aleo que nous avons réalisés et qui sont disponibles ici.

La quantité de primitives est très faible, puisque vous êtes limité aux fonctions, variables, structs et records.

Leo est un langage de niveau supérieur, qui est compilé en Aleo. C'est un langage à typage statique, ce qui signifie que vous devez définir les types des variables et des fonctions. Il s'agit également d'un langage fonctionnel, ce qui signifie que vous pouvez uniquement utiliser des fonctions comme construction.

De plus, Leo est très similaire à Rust, donc on peut facilement transférer ses connaissances de Rust à Leo. Un exemple de programme Leo peut être trouvé ici.

Nous avons vu beaucoup d'utilisateurs s'en tenir à Aleo, car il semble être beaucoup plus développé et mature que Leo. Pourtant, nous devons noter que le débogage était très difficile, car les messages d'erreur n'étaient pas très utiles.

Les variables dans Leo sont passées par valeur, ce qui signifie que lorsque vous passez une variable à une fonction, vous passez en fait une copie de celle-ci.

Il est également possible de déployer ses programmes sur Aleo Network, en créant un nœud et en se connectant à la chaîne. Le nœud prendra beaucoup de temps à démarrer, en téléchargeant environ 1 Go de matériel de configuration pour vérifier les transitions d'état de la blockchain.

Il existe 3 types de nœuds dans le réseau Aleo :

1. Client - observe la blockchain et soumet des transactions au pool de mémoires.

2. Prover - génère des preuves de l'exécution des programmes Aleo et de l'exactitude des transactions. Pour les transactions privées, cette tâche est effectuée par le client.

3. Vérificateur - vérifie les preuves soumises à Aleo, construit les blocs et les soumet à la chaîne.

Aleo utilise la méthode de la preuve de travail succincte, où les mineurs doivent produire des preuves correctes pour les transactions, qui sont ensuite regroupées en blocs par les vérificateurs. Les blocs sont ensuite ajoutés à la blockchain.

Aleo a levé 200 millions de dollars lors d'une vente privée, mais n'a pas encore lancé de vente publique. Le montant des jetons n'est pas plafonné car le projet a décidé d'avoir une monnaie inflationniste, l'inflation diminuant avec le temps.

Les jetons sont utilisés pour acheter de la puissance de calcul, un peu comme le gaz dans Ethereum, mais ici on paie des Provers pour prouver l'exactitude de votre transaction.

Aleo gère un ensemble de programmes communautaires et de primes, pour lesquels ils ont mis de côté 5 millions de dollars.

Aleo est un projet majeur, avec une grande communauté et beaucoup d'efforts sont déployés pour faire croitre le projet. Aleo sera certainement l'un des grands acteurs de l'espace crypto, et je vous invite fortement à échanger avec les équipes pour prendre le train en marche.