Provable Inc.
Headquarters
San Francisco United States
About us
To redefine trust and privacy in the digital world by simplifying zero-knowledge technology for developers building secure, privacy-first applications.
Provable builds developer tools and infrastructure for private applications on Aleo, a privacy-preserving programmable blockchain. Founded in 2019 and headquartered in San Francisco, the company makes zero-knowledge cryptography accessible to developers who want to build secure, self-custodial applications without sacrificing privacy. Their mission centers on making privacy a fundamental standard rather than an afterthought in Web3. The team operates with a high-trust, privacy-first engineering culture, working closely with protocol engineers, cryptographers, and product teams to protect real users and real value in production systems.
Products
The core product suite includes Shield, a private wallet for stablecoin transfers ranging from $100 to $100 million; Leo, a programming language designed specifically for zero-knowledge applications and verifiable smart contracts; and Explorer, a blockchain analysis tool for navigating Aleo activity. Developer infrastructure includes snarkOS (a decentralized operating system), snarkVM (a virtual machine for private computations), an SDK for building on Aleo, and ARCs (Aleo Resource Contracts) for interoperable zero-knowledge applications.
Funding
Provable has raised $228 million across two main rounds. The company closed a $28 million Series A in April 2021, led by Katie Haun with participation from Coinbase Ventures and Galaxy Digital. This was followed by a $200 million Series B in February 2022, led by Kora Management LP and SoftBank Vision Fund 2, valuing the company at $1.45 billion. Notable investors include Andreessen Horowitz, Tiger Global, Samsung Next, and Slow Ventures.
Recent news
In July 2025, Provable appointed Damien G. Scott, a former executive at CoinList, as its General Counsel to lead legal, governance, and corporate strategy functions as the company scales its privacy-focused technologies.
Technology
Built primarily on Rust for protocol-level work, including the Leo programming language, snarkOS, and snarkVM. Backend infrastructure uses TypeScript with cloud deployment on AWS and GCP. Infrastructure management relies on Terraform, Ansible, Python, and Bash for automation. Security incorporates hardware security modules (HSMs) and multi-signature setups for key management. Development practices include CI/CD integration, threat modeling, and dependency security within the zero-knowledge cryptography ecosystem.
Benefits
Fully remote work with a monthly budget covering home office setup, transportation, fitness, personal well-being, and continued learning. Comprehensive top-tier healthcare coverage and unlimited vacation policy. The company funds attendance at major industry conferences and global events, plus organizes regular team off-sites and retreats. The culture emphasizes async collaboration, high trust, and secure-by-default engineering practices.