pub fn check_vk_from_zkey(
    resources_folder: &str,
    verifying_key: VerifyingKey<Curve>
) -> Result<()>