Expand description
This module defines the read proof prover and verifier. Given a query vector q, a vector of data d, and a commitment to this data C, the prover will return an answer a and a proof that the answers correspond to the data committed in C at the specified indexes in the query.
The folding version is TBD
We call data the data vector that is stored and queried
We call answer the vector such that answer[i] = data[i] * query[i]