Provable builds developer tools and infrastructure for secure, private applications on Aleo, including Shield, Leo, Explorer, SDK, ARCs, snarkOS, and snarkVM.

Products & media

Shield Wallet

A self-custodial privacy wallet for holding and moving assets on Aleo while keeping balances, account history, and ownership confidential.

Leo

A purpose-built programming language for writing private, verifiable smart contracts and zero-knowledge applications on the Aleo network.

Provable SDK

A JavaScript and TypeScript toolkit for building browser and web applications that create, execute, and interact with private Aleo programs.

Shield Swap

A confidential on-chain trading platform that protects participant identity and portfolio history while keeping market state visible and generating compliance records.

Provable Explorer

A block explorer for searching and analyzing Aleo transactions, blocks, programs, addresses, validators, provers, and live network activity.

snarkOS

An open-source operating system for running Aleo nodes, validating transactions, participating in consensus, and maintaining the private blockchain.

Team

1 person across company lists

Founders

1 person

List

Jobs