Function verifier_index_to_bytes 

pub fn verifier_index_to_bytes(
    verifier: &VerifierIndex<mina_tree::::proofs::VerifierIndex::{constant#0}, <Fp<MontBackend<FrConfig, 4>, 4> as FieldWitness>::OtherCurve, SRS<<Fp<MontBackend<FrConfig, 4>, 4> as FieldWitness>::OtherCurve>>,
) -> Result<Vec<u8>, VerifierIndexToBytesError>