Back to Organizations
Aleo Network Foundation
Aleo Network Foundation operates Aleo, a privacy-first programmable Layer 1 network. It uses zero-knowledge technology to support private, compliant payments, stablecoins, and decentralized applications for businesses, developers, and network participants.
Distributed
Leo
Project Links
Description
Leo is a programming language for intuitive private-application development on Aleo. It provides blockchain-native syntax, robust error handling, and a private-by-default safety model for performant, reliable, and secure blockchain development. Leo also provides documentation, an in-browser Playground with sample applications, a workshop, and editor integrations for Visual Studio Code, Sublime Text 3, and IntelliJ.Category: Developer Tooling
SnarkOS
Project Links
Description
snarkOS is decentralized node software for zero-knowledge applications that verifies transactions and stores encrypted application state in a publicly verifiable manner for the Aleo network. It supports validator nodes participating in AleoBFT consensus, client nodes that maintain and validate the ledger, and prover nodes that solve the Aleo puzzle. It also provides a command-line interface, REST-server options, telemetry and metrics support, and local development-network tooling.Category: Node Software
SnarkVM
Project Links
Description
snarkVM is a Rust zkVM library for decentralized private computation. It supplies the algorithms, circuits, fields, curves, ledger, synthesizer, VM and WebAssembly components used by the Aleo stack and is actively maintained in the ProvableHQ GitHub organization.Category: Developer Tooling