Glossary
Aleo
Un Layer-1 privacy-first où chaque transaction est une preuve à divulgation nulle générée côté client, avec un DSL maison (Leo) pour écrire des smart contracts privés.
Aleo est un Layer-1 conçu autour du calcul programmable privé. Chaque transaction est une preuve SNARK générée localement sur l'appareil de l'utilisateur ; la chaîne ne voit et ne vérifie que des preuves, jamais les entrées ou l'état du contrat sous-jacents.
Les développeurs écrivent les contrats en Leo, un DSL au goût de Rust qui compile en forme de circuit. Aleo embarque une émission native du token ALEO, un consensus PoSW et une marketplace décentralisée de prouveurs. Le compromis est que l'exécution entièrement privée a un coût de performance réel — le proving est lent comparé à une VM publique.