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