A Decentralized Operating System for ZK Applications

A zkVM for Decentralized Private Computations (DPC)

Javascript & Typescript SDK for Zero-Knowledge Application Development

A Setup Ceremony for Universal SNARKs

Aleo prove benchmark scripts for testnet3 with GPU.

An open source, private, self-custodial wallet. Built on the Aleo network.

Leology is an Aleo testing framework that makes developing Leo programs faster, easier, and safer.

snops is a suite of tools that can be used to maintain Aleo network environments. The environments are defined in a manner similar to infrastructure-as-code, which means you can create repeatable infrastructure using the environment schema.

Access Aleo network from your browser using MetaMask

aleo-agent is a simple-to-use library to interact with the Aleo Network in Rust

Simple CLI and WASM tools to derive Aleo Mainnet addresses from Testnet2 private keys, and sign messages using Aleo Testnet2 private keys.

Aleo - A Virtual Machine for Zero-Knowledge Executions

Aleo 🦁 The Leo Programming Language. A Functional, Statically-Typed Language for Zero-Knowledge Applications

Aleo - A Decentralized Operating System for Zero-Knowledge Applications

Light standalone prover