Storage Proof API -> Satellite
Storage Proof API manages proof workflows and writes verified historical facts into Satellite. From the app perspective:- You request proof-backed data.
- The pipeline verifies data against block commitments.
- Verified facts become readable through Satellite contract functions.
Data Structure Indexer -> off-chain visibility for Satellite data structures
Data Structure Indexer API is the off-chain companion for accumulator/remapper access. It provides queryable access to data structures and metadata such as:- MMR-related roots/peaks/proof data,
- remapper lookup helpers,
- and other proof-oriented indexing primitives.
HDP -> computation on top of committed history
HDP executes proof-backed computation over historical chain data. Its verification model relies on header commitments and proof chains rooted in MMR-backed history. In other words, the blocks and proofs HDP consumes are tied to the same Satellite commitment layer. This linkage is central to HDP soundness:- historical facts are validated against committed roots,
- those roots are anchored in Satellite MMR state,
- and resulting computations can be authenticated through fact-registry flows.
Why this matters for trust
Together, these layers separate concerns cleanly:- index and fetch off-chain efficiently,
- verify and anchor on-chain,
- compute with proof constraints.

