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