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