Function make_proof_data

pub fn make_proof_data<T, let ProofLen: u32, let VkLen: u32>(
    public_inputs: T,
    vk_index: u32,
) -> ProofData<T, ProofLen, VkLen>