RPGF nomination - Aleo for their work on Leo, ZK developer grants, FOSS trusted setup and more

I would like to nominate the hard-working, dedicated engineers and researchers at twitter.com/AleoHQ for their work on Aleo, and Leo, and their dedication to FOSS in general.

Aleo is a Zero-Knowledge stack for building private applications using an architecture different to Anoma, but with aligned goals of privacy-by-default opportunities for everyone on the web. The team has developed several important technologies in order to help us all achieve this goal. This list includes but is not limited to Leo, a programming language to ease the process of compiling zero knowledge proofs, for both experienced developers and beginners alike. They also provide an open-source trusted setup ceremony, which inspired Namada’s own trusted setup recently.