Layer 1 Protocol

Prove everything.

Verifiable storage and AI compute in one protocol. Every byte is proven. Every inference is verifiable. No trust required.

63K
Lines of Rust
1,690
Tests Passing
22
Specifications
0
Trust Assumptions
Core Technology

Two problems. One protocol.

Storage networks can't verify compute. Compute networks can't prove storage. Prova does both with math, not trust.

Compute

Quantized Bisection Proofs

INT8 quantized inference is deterministic. When nodes disagree, binary search finds the diverging layer in O(log L) steps. Verify one layer, not the whole model. Under 2% compute cost.

Storage — Baseline

Provable Data Possession

Merkle proofs over raw data. No sealing, no GPU-hours to onboard. Data in minutes, proven continuously. Logarithmic gas from 100 to 10K roots.

Storage — Fast Path

TEE-Attested Proofs

Hardware-managed encryption, unique replicas per machine. Onboarding in seconds. Open-source enclave, chain-versioned. Falls back to PDP if hardware is compromised.

Economics

1 Byte = 1 Byte

No multipliers. No privileged data. Every byte earns equally. Dual rewards split between storage and compute by demand. 50% fee burn post-halving.

Token

PROVA

Stake. Pay. Challenge. Govern. Burn. Not a governance wrapper. A working utility token with protocol-level demand.

Allocation%
Network mining45%
Public sale15%
Team & founders15%
Ecosystem grants10%
Early backers7%
Liquidity5%
Reserve3%
ParameterValue
Total supply1,000,000,000
ICO price$0.015
FDV at launch$15,000,000
Team cliff12 months
TGE unlock25%
Fee burn50%
Halvings7 (~14 years)

Acquire PROVA

ETH
USDC
USDT
DAI
WBTC
ETH
You receive 0 PROVA
Roadmap

Code first. Promises second.

Q1 2026 — Done

Foundation

63K lines of Rust. 1,690 tests. 22 specs. QBP protocol designed and validated. PDP integration. Node, SDK, CLI. GPU determinism confirmed on RTX 5080 and RTX 6000.

Q2 2026 — Active

Token & Community

ERC-20 deployment. Seed round. Public ICO. Multi-token crowdsale. Website. Whitepaper. Community.

Q3 2026

Public Testnet

Real networking (TCP/QUIC). Persistent state. Live GPU inference integration. Developer SDK. Testnet operator program.

Q4 2026

Security

External audit. Formal verification of bisection protocol. TEE enclave prototype. Stress testing. Bug bounty.

Q1 2027

Mainnet

Genesis. 1:1 swap from ERC-20 to native PROVA. Exchange listings. Ecosystem grants. The machine turns on.

63,000 lines of working code.
Not a pitch deck.

The proofs work. The contracts are auditable. The code is open.

Join the Sale Verify Yourself