Provable SDK
The Provable SDK provides low level tools
for building zero-knowledge applications on the Aleo
blockchain. It re-exports core protocol objects from
SnarkVM via wasm with TypeScript &
JavaScript bindings so developers who need low level control can build wallets,
servers, and CLI tools entirely in JS/TS.
Builders looking for more developer friendly interfaces should choose
Veil, a Viem like toolkit for building
browser/mobile dapps or server-side applications, scripts, and AI agents
Table of Contents
🛠️ Veil — Developer tooling and packages
📦 Packages — Provable SDK · Create-Leo-App · Aleo Wasm
⚙️ Features — Roadmap · Core · Aleo RPC · AI Agents · Networks · Runtimes
📚 Documentation — API reference, SDK guide, and tutorials
❤️ Contributors
Veil
Builders looking for more developer friendly tooling for building on Aleo should
choose Veil. Veil provides a Viem
like interface that has familiar concepts from Viem such as wallet/public
clients, actions, transport configurations, and client/action composability.
It can be used to build both browser and mobile dapps as well as server-side
applications, scripts, and AI agents.
Packages
The Provable SDK is divided into three TypeScript/JavaScript packages:
1. Provable SDK - Aleo Protocol Utilities
The official Provable SDK providing low-level Aleo protocol utilities and JavaScript/TypeScript helpers.
⚡ Get started
Start with the Provable SDK README for usage and documentation.
Source: @provablehq/sdk
2. Create-Leo-App - Zero-Knowledge Application Examples
Create-Leo-App provides runnable SDK examples for Node.js and frameworks such as React.
Source: create-leo-app
3. Aleo Wasm - Zero-Knowledge Algorithms in JavaScript + WebAssembly
Aleo Wasm is a Rust crate that compiles the Aleo source code responsible for creating and executing zero-knowledge programs into
WebAssembly.
When compiled with wasm-pack, JavaScript bindings are generated for the WebAssembly, allowing Aleo zero-knowledge programs to be used in the browser and Node.js. This package is available on NPM (linked above). The Aleo Wasm
readme provides instructions for compiling this crate and using it in JavaScript projects for those interested in building from
source.
Source: @provablehq/wasm
Features
Roadmap
The SDK feature roadmap can be found in the repo milestones below.
Core Features
Aleo RPC Features
AI Agent Support
The Provable SDK is designed to be used by AI coding agents out of the box. The repository ships with built-in agent skills (.agents/skills/), project context (.claude/), and SDK documentation (docs/) — including a step-by-step guide, API reference, and runnable examples. Together these give AI assistants the context they need to build Aleo dApps, contribute to the SDK, and generate correct code against the Rust/WASM/TypeScript stack — no manual prompting required. Compatible with any agent framework that supports skill files, including Claude Code, GitHub Copilot, and Cursor.
Networks Supported
JavaScript Runtimes & Frameworks
Full browser support with single-threaded and multi-threaded (web worker) modes — multi-threaded uses Rust-native threading via rayon for significant performance improvements during proof generation. First-class Node.js support for server-side Aleo applications, CLI tools, and backend services. Compatible with Next.js, Bun, and Deno.
📚 Documentation
| Resource | Description |
|---|
| Aleo RPC / Provable API | Documentation on interacting with the Aleo network via Provable's API & RPC endpoints. |
| SDK Guide | Core concepts for executing zero-knowledge programs, with detailed examples of how to build applications using Aleo. |
❤️ Contributors
Thanks goes to these wonderful people (emoji key):
This project follows the all-contributors specification. Contributions of any kind welcome!
