ProvaProtocol specification.

Formal specs for verifiable storage on Base. Reliable specs are stable; draft specs are explicitly marked.

1. Introduction

Spec home, status legend, document conventions. Start here if you're new.

Status

How piece-CIDs, PDP, checkpoint anchoring, and data-availability sampling work in Prova.

PDP integration

Marketplace contract, deal state machine, on-chain event schema.

Marketplace

Prover-to-prover HTTPS conventions and the public REST API gateway.

Network protocol

PROVA supply, allocation, prover emission, fee burn, governance parameters.

Token economics

Threat model, mitigations, and the pre-deployment audit checklist.

Threat model