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