pub fn prepare_verifying_key<E: MultiMillerLoop>(
    vk: &VerifyingKey<E>
) -> PreparedVerifyingKey<E>