pub fn read_raw(
offset: Option<Int>,
srs: CamlFqSrs,
path: String,
) -> Result<VerifierIndex<Pallas, OpeningProof<Pallas>>, Error>
pub fn read_raw(
offset: Option<Int>,
srs: CamlFqSrs,
path: String,
) -> Result<VerifierIndex<Pallas, OpeningProof<Pallas>>, Error>