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