Provable

Truly Private · Truly Private · Truly Private · Truly Private · Truly Private · Truly Private · Truly Private · Truly Private · Truly Private · Truly Private · Truly Private · Truly Private

Truly Personal · Truly Personal · Truly Personal · Truly Personal · Truly Personal · Truly Personal · Truly Personal · Truly Personal · Truly Personal · Truly Personal · Truly Personal · Truly Personal

Scroll to Explore

Want to build the future of privacy?

Work on privacy-first technology that enables secure, self-custodial solutions for the next era of digital finance.

Unlock the potential ofzero-knowledge technology. Provable equips developers to build secure, private applications on Aleo,redefining trust and empowering digital privacy.

Our Products

Leo

A purpose-built language for zero-knowledge applications, simplifying the creation of secure, verifiable smart contracts.

Start building

Explorer

Gain insights with Provable’s Explorer, a tool to seamlessly navigate and analyze activity on the Aleo blockchain.

Transactions

12M+

Addresses

2M+

Programs

200+

Launch Explorer

DEVELOPER TOOLS

View GitHub

Playground

Experiment with Leo in a hands-on Playground, exploring its capabilities for building private, zero-knowledge apps.

SDK

Our SDK simplifies building on Aleo, providing developers with the tools needed to create privacy-focused blockchain apps.

ARCs

Access ARCs—standards and guidelines for creating consistent, interoperable zero-knowledge applications across Aleo.

snarkOS

snarkOS powers Aleo's private blockchain, offering the infrastructure to run scalable, ZK applications seamlessly.

snarkVM

snarkVM executes zero-knowledge proofs, enabling private computation and efficient, secure dApp functionality on Aleo.

Developer Docs

Access detailed guides and resources to master Aleo's tools, from getting started with Leo to deploying ZK dApps.

Latest from the Blog

View All

announcements

Aleo Network Foundation and Provable Collaborate with Google Cloud to Scale the Layer 1 ZK Privacy-Focused Network

articles

How to use zero-knowledge to coordinate economic entities

articles

Unlocking verifiable machine learning models in AI with Provable's zkML transpiler

articles

Loan decisions with neural networks using Leo

ABOUT US

At Provable, our mission is to redefine trust and privacy in the digital world.

Join US

By creating tools that simplify the complexities of zero-knowledge technology, we empower developers to build applications that prioritize security, user control, and scalability. We envision a future where privacy is not an afterthought but a fundamental standard, enabling a more secure and equitable Web3.

Our commitment extends beyond technology to fostering a vibrant, collaborative community of innovators. Through accessible resources, thoughtful design, and a focus on developer success, we aim to bridge the gap between cutting-edge blockchain technology and real-world applications. Together, we’re not just building tools—we’re shaping the foundation for a private, decentralized future.

OUR PARTNERS

OUR INVESTORS