pub fn read_raw( offset: Option<i32>, srs: &NapiFqSrs, path: String, ) -> Result<VerifierIndex<FULL_ROUNDS, Pallas, SRS<Pallas>>>