In this Spark protocol explainer, we talk through each step of the Spark protocol. These are

• Deal ingestion
• Task sampling
• Retrieval Request
• Measurement Submission
• Evaluation of measurements
• On-chain Evaluation of checkers & rewards

In this doc, we discuss the verifiability of each step.

GitHub issue tracking this work: https://github.com/space-meridian/roadmap/issues/182

Deal Ingestion

This step is verifiable and can be rerun since all the Eligible Deals are stored on the Filecoin Blockchain.

In theory, someone should be able to recreate the exact state of the Spark Eligible Deal database by running the deal ingestor across the entire Filecoin Blockchain.

In practice, this may be tricky as we use snapshots to get hold of data around recently made deals to run the deal ingestor logic.

However, the Spark Eligible Deal Database is currently not public and so it is hard to compare a rerun to the current state of the database.

Potential Work Items

• Make the Eligible Deal Database public, verifiable, hash-linked, immutable
• Include verifiable deal expiration logic

Task Sampling

The logic for choosing the Round Retrieval task List from the Eligible Deal database is currently not verifiable. This is done at random each round using the Postgres Random function.