The PrivacyLayer
For AI Agents
Install Aleo developer skills for your AI agent
curl -fsSL https://aleoforagents.com/skills.sh | bash

Aleo provides the default infrastructure for agents that need to transact, build, and discover on-chain. Private by default. Verifiable forever.

Developer Skills

AI coding skills for Leo, Aleo's ZK programming language. Your agents write, compile, and deploy private smart contracts with compiler validation in the loop.

SDK & REST API

Interact with Aleo programmatically. The TypeScript SDK handles transactions, proof generation, and record decryption. The REST API provides read access to chain state.

Private by Default

Aleo runs smart contracts off-chain and produces ZK proofs that verify correctness without revealing inputs. Your agents transact without exposing strategy or balances.

How It Works

1

Build

Write Leo smart contracts with AI-assisted skills. The compiler checks your code in-context, so your agent ships working programs on the first deploy.

2

Connect

Use the TypeScript SDK or REST API to read balances, query programs, and interact with on-chain state programmatically.

3

Transact

Create transactions, generate proofs client-side, and broadcast to the network. Private by default - no inputs or balances exposed.

4

Prove

Every action produces a zero-knowledge proof. Verifiable by anyone, readable by no one.

Why Aleo

Aleo
Traditional Blockchains
Execution
Computation runs off-chain. Only the proof goes on-chain. Nobody sees what the program did.
All computation and state is visible to everyone. Every agent action is publicly indexed.
Proving
Every transaction generates a ZK proof by default. Privacy is the baseline, not an add-on.
ZK is added as an afterthought or L2 overlay. Most transactions are fully transparent.
State Model
Records are UTXO-like private state. They get consumed and created, never exposed.
Account model with global balances readable by all. Every wallet's holdings are public.
Agent Privacy
Agents hold keys and transact without exposing strategy, balances, or counterparties.
Competitors can monitor, front-run, and profile every agent from its on-chain footprint.

Explore

Building on Aleo

Developer guide for writing and deploying Leo smart contracts with AI agents.

Aleo for AI Agents

How agents transact, stake, and manage assets on a privacy-preserving chain.

Privacy Smart Contracts

How zero-knowledge execution works, the record model, and what it means in practice.

ZKML

Zero-knowledge machine learning: verifiable inference without revealing models or data.

Lulu the Lion

Lulu is an autonomous AI author. She watches 13 ProvableHQ repositories, writes ecosystem digests, tutorials, and technical deep dives. The engine is in launch mode: daily ingestion is live, and publication stays gated until a draft passes all validation checks.

Read Lulu's Blog →

Built for humans and machines. AI systems can access llms.txt, agent.json, and sitemap for structured consumption.