Get Started with Proven

From zero to certified in 5 steps. Follow along with the interactive terminal preview.

Step 1 of 520% complete

1Install Proven

2Initialize CA

3First Compute

4Verify Receipt

5Certify & Register

Step 1: Install Proven

Get the CLI on your machine

Proven is distributed as a Rust crate. One command installs the CLI globally, giving you access to all verification and certification tools.

Command

$ cargo install proven-cli

proven-terminal

$ cargo install pr▊

Requires Rust 1.75+ (install via rustup.rs)

Binary installs to ~/.cargo/bin/proven

Works on macOS, Linux, and Windows (WSL)

No external dependencies — pure Rust

Pro Tip

Proven compiles to a single binary with zero runtime dependencies. Verification runs in milliseconds, not minutes.

Proven verification runs in milliseconds — 10,000x faster than re-running the computation.