Verifiable storage, AI compute, and networking in one protocol. Every byte proven. Every inference verifiable.
Storage networks can't verify compute. Compute networks can't prove storage. Neither can route traffic. Prova solves all three.
INT8 quantized inference is deterministic. When nodes disagree, binary search finds the diverging layer in O(log L) steps. Under 2% verification cost.
PDP for fast onboarding (minutes), TEE for instant storage (seconds), optional PoRep for cold archival. Math is the foundation, hardware the optimization.
Real IPv6 addresses for every VM. HTTP/HTTPS over IPv4 via SNI. Bandwidth metering on-chain. Your server is as reachable as one on AWS.
No multipliers, no privileged data. Every byte earns equally. Three reward streams split by demand across storage, compute, and network.
Stake, pay, challenge, govern, and burn. A working utility token with protocol-level demand.
| Allocation | % |
|---|---|
| Network mining | 55% |
| Team & founders | 15% |
| Public sale (ICO) | 10% |
| Ecosystem grants | 10% |
| Community & airdrop | 5% |
| Seed round | 3% |
| Liquidity | 2% |
| Parameter | Value |
|---|---|
| Total supply | 1,000,000,000 |
| Base price | $0.05 |
| FDV at launch | $50,000,000 |
| Team cliff | 18 months |
| TGE unlock | 10% |
| Fee burn | 50% |
| Halvings | 5 (~20 years) |
63K lines of Rust across 4 crates. 1,690 tests. 23 protocol specs. QBP designed and validated. PDP integration. GPU determinism confirmed on RTX 5080 and RTX 6000.
ERC-20 deployment. Public ICO with multi-token crowdsale. Website and whitepaper v0.2 with networking layer.
IPv6 networking layer. Real TCP/QUIC connectivity. Live GPU inference. Developer SDK. Testnet operator program.
External audit. Formal verification of bisection protocol. TEE enclave prototype. Bug bounty program.
Genesis block. All three layers active. 1:1 swap from ERC-20 to native PROVA. Exchange listings. Ecosystem grants.
The proofs work. The contracts are auditable. The code is open.