name: Aleo
categories:
  - infrastructure
description: The World's First IDE for Zero-Knowledge Proofs ✨️**ZK**
product_readiness: testnet, mainnet coming in July 2023
links:
  web: https://www.aleo.studio
  github: https://github.com/AleoHQ