pub fn process_verify(args: VerifyArgs) -> Result<()>