pub fn make_zkapp_verifier_index(vk: &VerificationKey) -> VerifierIndex<Fq>
https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/pickles/side_loaded_verification_key.ml#L206