Work / Provable

Provable

Private software on Aleo, with the products and the developer tools on one site.

Web App · 2025 / Web app · Product site

Visit site
Provable homepage, privacy-first technology for digital finance
The first screen is the claim: private technology, for the next era of finance.

The problem

Provable builds private applications with zero-knowledge proofs. One reader wants to know what private means. The other is a developer who needs a language, a playground, and a way to look at the network. A single vague headline does not serve either of them.

01

The products have names

Shield is the private way to move stablecoins, from a small amount to a very large one. Leo is the language the applications are written in. They sit on the page as products, with a line on what each one is for, not as logos in a footer.

Provable Shield and Leo product sections
Shield first, then Leo. Each one says what it is before it asks you to download anything.

02

The explorer is the proof

Under Leo, the explorer is how you look at activity on Aleo. Transactions, addresses, and programs are on that block. The page points at the network instead of asking you to trust a paragraph.

Provable Leo language and the Aleo explorer
Leo, then the explorer, with the network counts beside it.

03

A developer can start here

Playground, the SDK, ARCs, snarkOS, snarkVM, and the docs. Six tools, each with one sentence on the job it does. You can see the shape of the stack before you open GitHub.

Provable developer tools: Playground, SDK, ARCs, snarkOS, snarkVM, and docs
The tools are a grid, not a link dumped in the footer.

Next project

89transfers

Palma airport transfers with the fare on the page, and nothing to pay until you get out.

Your project could be here.

If you're building something and need a design team that ships, we should talk.

Get in touch