Provable
Provable is the Labs company building the Aleo blockchain ecosystem, providing zero-knowledge developer infrastructure (Leo language, snarkOS, snarkVM) and the Shield privacy wallet for compliant, confidential stablecoin payments to enterprises, developers, and privacy-conscious crypto users.
- Company typePrivate
- Founded2019
- HeadquartersSacramento, United States
- Headcount11–50
- GTM typeB2B
- OfferingSoftware
What Provable does
Provable is the dedicated Labs company within the Aleo blockchain ecosystem, developing products and developer infrastructure for compliant, confidential onchain payments and privacy-preserving applications. The company operates as a vertical stack within a single L1, owning core protocol components including snarkOS (the Aleo node implementation), snarkVM (the zero-knowledge execution environment), and the Leo programming language (now v4.0.0, purpose-built for ZK circuits), along with the consumer-facing Shield wallet and the Aleo blockchain Explorer. Provable's technology centers on zero-knowledge proofs (zk-SNARKs) that encrypt balances, transaction amounts, counterparties, and gas fees by default while preserving verifiability, supplemented by novel primitives such as onchain SNARK verification opcodes, view-only functions, and dynamic records for cross-program composability.
Provable serves three primary customer segments: enterprise and institutional users deploying Shield for private stablecoin payments, treasury operations, payroll, and cross-border settlement; privacy-conscious individual crypto users seeking confidential transfers of stablecoins such as USDCx (Circle) and USAD (Paxos Labs); and Web3 developers building ZK applications on Aleo using the open-source Leo language, TypeScript SDK, Playground, ARCs (standards), and developer documentation. Distribution is primarily self-serve and product-led through shield.app, leo-lang.org, GitHub, Google Cloud Marketplace, and fiat on-ramps via Coinbase, Binance Alpha, Kraken, and Revolut; enterprise buyers are addressed through compliance integrations with TRM Labs and Chainalysis bundled into Shield.
The business model is overwhelmingly freemium and adoption-oriented: private Shield transactions are free to end users (Provable subsidizes gas via the Feemaster API), public transactions charge only standard network fees, and cross-chain swap revenue accrues to third-party providers rather than Provable. Provable Inc. is a Delaware corporation headquartered in Reno with in-person offices in San Francisco and New York City, has raised $200M in a 2024 Series B from a16z Crypto, SoftBank Vision Fund, Tiger Global, Coinbase Ventures, Samsung Next, Galaxy, Variant, and Placeholder, and acquired the Leo Wallet product from Demox Labs in November 2025. Direct revenue is not disclosed, and the company appears to be reinvesting capital into ecosystem buildout rather than near-term monetization.
Provable firmographics
Firmographics- Name
- Provable
- Legal name
- Provable Inc.
- Website
- https://provable.com
- Company type
- Private
- Founded year
- 2019
- Headcount range
- 11–50 employees
- Short description
- Provable is the Labs company building the Aleo blockchain ecosystem, providing zero-knowledge developer infrastructure (Leo language, snarkOS, snarkVM) and the Shield privacy wallet for compliant, confidential stablecoin payments to enterprises, developers, and privacy-conscious crypto users.
- Ownership category
- akta.pro rank
Provable industry classification
Industry- Product category
- Blockchain Infrastructure
- NAICS
- Software Publishers (513210), Software Publishers (5132), Computing Infrastructure Providers, Data Processing, Web Hosting, and Related Services (518210), Financial Transactions Processing, Reserve, and Clearinghouse Activities (522320)
- SIC
- Services-Prepackaged Software (7372), Finance Services (6199)
- akta.pro primary industry
- Smart Contract Frameworks & SDKs (developer kits, templates, standards) (FSAPABAB)
- akta.pro secondary industries
- Smart Contract Execution Environments (EVM/WASM, runtimes, precompiles) (FSAPABAA), Oracle Networks & Off-Chain Data (price feeds, randomness, attestation) (FSAPABAE), Smart Contract Wallets & Account Abstraction (FSADACAF), Deployment, Automation & DevOps (build pipelines, contract deployment tools) (FSAPABAH)
Keywords
Where Provable is headquartered
LocationHeadquarters
- HQ city
- Sacramento
- HQ country
- United States
- HQ region
- North America
Offices3 records
Markets served
Provable business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Personnel, Technology or R&D, Infrastructure, Marketing or Sales
Revenue model
- Transaction Fees (Public): Fees charged for public (non-private) blockchain transactions on Aleo network.
- Feemaster API (Private Transactions): Provable covers network fees for private transactions via Feemaster API; users do not pay gas for private transfers. Revenue model unclear but likely subsidized to drive adoption.
- Cross-Chain Swap Fees: Cross-chain swap feature routes through third-party protocols. Swap fees are charged by third-party providers; Provable acts as intermediary.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Freemium | Pay-as-you-go | Shield Wallet - Private transactions free |
| Freemium | Pay-as-you-go | Developer tools free |
Go-to-market motion2 records
Distribution channels5 records
Marketing channels7 records
Provable product offering
Product offeringCore offering
Provable is the Labs company within the Aleo ecosystem and develops zero-knowledge cryptography software: the Shield self-custodial privacy wallet for private stablecoin transactions, the Leo programming language for zero-knowledge applications, the blockchain Explorer, and the snarkOS/snarkVM infrastructure (node and ZK virtual machine) along with developer SDKs, Playground, and ARCs standards for building on Aleo.
Product overview
Provable is the Labs company within the Aleo ecosystem, developing products for compliant, confidential payments and creating developer tools for the Aleo blockchain. The product portfolio centers on Shield (a privacy-focused self-custodial wallet for private stablecoins), Leo (a purpose-built zero-knowledge programming language), and Explorer (a blockchain analytics tool). Developer offerings include Playground, SDK, ARCs (standards), snarkOS (node implementation), snarkVM (ZK execution VM), and documentation. In November 2025, Provable acquired Leo Wallet (now being migrated to Shield). The company drives Aleo's technical evolution through cryptographic research, protocol engineering, and advanced development tools.
Differentiator
Problem solved
Functional benefit
Products and services
- Shield Wallet Self-custodial cryptocurrency wallet built for the Aleo Network. Encrypts balances, transaction amounts, sender/receiver details, and gas fees by default using zero-knowledge proofs. Supports private stablecoins (USDCx from Circle, USAD from Paxos Labs) and enables confidential digital asset management. Available on iOS, Android, and Chrome browser extension.
- Leo Programming Language Purpose-built programming language for zero-knowledge applications on Aleo. Simplifies creation of secure, verifiable smart contracts that compile to ZK circuits. Leo v4 introduces unified fn syntax, compile-time interfaces, dynamic dispatch, dynamic records, and onchain SNARK verification.
- Explorer Blockchain explorer tool for navigating and analyzing activity on the Aleo blockchain. Provides insights into more than 12 million transactions, more than 2 million addresses, and over 200 deployed programs.
- Playground Interactive online environment for experimenting with the Leo programming language. Allows developers to explore Leo's capabilities for building private, zero-knowledge applications hands-on without local installation.
- SDK TypeScript/JavaScript SDK that simplifies building on Aleo, providing developers with tools to create privacy-focused blockchain applications. Includes a KeyStore interface for storing proving keys, WASM optimizations, and delegated proving support.
- ARCs (Aleo Request for Comments) Standards and guidelines for creating consistent, interoperable zero-knowledge applications across Aleo. Published ARC standards include ARC-20 (interoperable token standard), ARC-0046 (prover staking), and ARC-0008 (onchain SNARK verification).
- snarkOS Node implementation powering Aleo's private blockchain. Provides infrastructure to run scalable, zero-knowledge applications and handles consensus, peer-to-peer networking, and block production using hybrid Proof-of-Succinct-Work (PoSW) and AleoBFT consensus.
- snarkVM Virtual machine that executes zero-knowledge proofs on Aleo. Enables private computation and efficient, secure dApp functionality. Includes snark.verify and snark.verify.batch opcodes for onchain Varuna proof verification, enabling proof composition and cross-chain verification.
- Developer Documentation Detailed guides and resources for mastering Aleo's tools, from getting started with Leo to deploying ZK dApps. Covers language tutorials, SDK references, and development workflows.
Quantifiable outcome
- Shield launched with full stack operational - private stablecoin payments available at launch
- +1 more outcomes
Companies that use Provable
Customer profileNamed customers2 records
Segments3 records
Ideal customer profiles3 records
Provable technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
Integration11 records
AI capability5 records
Feature8 records
Provable partnerships and signals
Strategic signalPartnerships
Eleven partnerships are on record, tiered core and minor.
- TRM LabscoreTRM Labs provides compliance infrastructure and risk mitigation tools integrated into Shield wallet for enterprise users.
- ChainalysiscoreChainalysis provides compliance analytics integrated into Shield wallet for regulatory compliance.
- CirclecoreCircle issues USDCx private stablecoin available natively in Shield wallet - first tier-1 private stablecoin on any blockchain.
- Paxos LabscorePaxos Labs issues USAD privacy-preserving stablecoin available natively in Shield wallet on Aleo mainnet.
- Google CloudcoreGoogle Cloud runs a validator node on the Aleo network and integrates Aleo data into BigQuery. Enables one-click deployment of Aleo nodes via Google Cloud Marketplace.
- CoinbaseminorFiat on-ramp partner for Shield wallet connecting to traditional finance.
- Binance AlphaminorFiat on-ramp partner for Shield wallet.
- KrakenminorFiat on-ramp and exchange partner for Shield wallet.
- RevolutminorFiat on-ramp partner for Shield wallet.
- Aleo Network FoundationcoreCo-development of Shield wallet. Provable is the Labs company within the Aleo ecosystem focused on products for compliant confidential payments and developer tools.
- Demox LabsminorDemox Labs built Leo Wallet which Provable acquired in November 2025. Leo Wallet pioneered private wallet experience on Aleo.
Scale indicators6 records
Recent moves6 records
Expansion highlights7 records
Provable competitors and assessment
Company assessmentDirect peers
- Mina Protocol: Mina (formerly Coda) is a ZK-based succinct blockchain with developer tooling, similar in positioning as a ZK-native L1 with privacy properties. Competes directly for ZK developer mindshare and privacy-conscious application builders.
- Iron Fish: Iron Fish is a privacy-focused Layer-1 blockchain with its own node implementation and developer tooling, targeting similar privacy-conscious users and use cases as Aleo/Provable.
- Matter Labs (zkSync): zkSync is a leading ZK-rollup with its own developer tooling stack and ecosystem incentives. Direct competitor for ZK application developers and a benchmark Provable must outperform on developer experience.
- StarkWare: StarkWare builds Starknet, a ZK-rollup ecosystem with Cairo (a Leo-like ZK DSL) and an end-to-end developer stack. Competes for ZK application developers and for institutional ZK deployment budgets.
- Aztec Labs: Aztec operates a privacy-focused ZK L2 with Noir (a Leo-like ZK DSL) and a developer stack mirroring Provable's Aleo offering. Direct head-to-head competitor in the privacy-by-default smart contract platform category with a similar developer-tools-plus-wallet business model.
Broad incumbents
- Polygon Labs: Polygon operates Polygon zkEVM and a broader ZK portfolio, competing with Provable across both privacy use cases and general ZK dev tooling while having materially larger resources and ecosystem reach.
- Alchemy: Alchemy provides general-purpose web3 developer infrastructure (RPC, APIs, indexers) that competes with Provable's SDK/node tools at the developer-experience layer, even though Provable is ZK- and Aleo-specific.
Emerging players
- Phantom Wallet: Phantom is a leading self-custodial crypto wallet with multi-chain ambitions and a consumer UX focus. Competes with Shield at the privacy/multi-chain wallet layer as Provable expands beyond Aleo.
Others
- Aleo Network Foundation: Strategic co-development partner of Provable (not a competitor) but the entity whose protocol Provable's tooling serves. Foundation-level decisions on consensus, tokenomics, and ecosystem direction materially shape Provable's product surface.
- Demox Labs: Previously operated Leo Wallet, which Provable acquired in November 2025. The most direct historical predecessor in the Aleo wallet category; relevant for understanding acquired-user base and team continuity.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat5 records
Key risks7 records
Key highlights7 records
Customer concentration
Provable social profiles
Digital presenceProvable financial estimates
Financial estimateRevenue estimate
Valuation estimate
Provable leadership team
Management profileNumber of profiles
Profiles5 records
Provable subsidiaries and ownership
Company hierarchySubsidiaries1 record
Provable funding detail
Funding detailFunding overview
Funding rounds1 record
Investors1 record
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
Provable M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about Provable
What does Provable do?
Provable is the Labs company within the Aleo ecosystem and develops zero-knowledge cryptography software: the Shield self-custodial privacy wallet for private stablecoin transactions, the Leo programming language for zero-knowledge applications, the blockchain Explorer, and the snarkOS/snarkVM infrastructure (node and ZK virtual machine) along with developer SDKs, Playground, and ARCs standards for building on Aleo.
Is Provable a public or private company?
Provable is a private company. It is classified as venture growth investor backed.
When was Provable founded?
Provable was founded in 2019. It employs 11 to 50 people.
Where is Provable based?
Provable is headquartered in Sacramento, United States, in the North America region.
How does Provable make money?
Three revenue lines are on record. Transaction Fees (Public) is the primary driver. The others are feemaster API (Private Transactions) and cross-Chain Swap Fees.
Who are Provable's main competitors?
Direct peers on record are Mina Protocol, Iron Fish, Matter Labs (zkSync), StarkWare and Aztec Labs. Broad incumbents are Polygon Labs and Alchemy. Phantom Wallet is listed as an emerging player. Others are Aleo Network Foundation and Demox Labs.
Does Provable have an API?
No public API is recorded for Provable.
What industry is Provable in?
Provable's product category is Blockchain Infrastructure. Its primary akta.pro industry code is FSAPABAB, Smart Contract Frameworks & SDKs (developer kits, templates, standards), with a secondary code of FSAPABAA, Smart Contract Execution Environments (EVM/WASM, runtimes, precompiles). Its NAICS code is 513210 and its SIC code is 7372.