pub fn generate_record( proof: &Proof<BabyBearPoseidon2Config>, ) -> (DeferredVerifyPvsRecord<F>, Vec<[F; 16]>, Vec<[F; 16]>, Vec<usize>)