Provable builds developer tools and infrastructure for secure, private applications on Aleo, including Shield, Leo, Explorer, SDK, ARCs, snarkOS, and snarkVM.
Products & media
A self-custodial privacy wallet for holding and moving assets on Aleo while keeping balances, account history, and ownership confidential.
A purpose-built programming language for writing private, verifiable smart contracts and zero-knowledge applications on the Aleo network.
A JavaScript and TypeScript toolkit for building browser and web applications that create, execute, and interact with private Aleo programs.
A confidential on-chain trading platform that protects participant identity and portfolio history while keeping market state visible and generating compliance records.
A block explorer for searching and analyzing Aleo transactions, blocks, programs, addresses, validators, provers, and live network activity.
An open-source operating system for running Aleo nodes, validating transactions, participating in consensus, and maintaining the private blockchain.
Team
Founders
1 person