该函数使用參数impl所提供的算法库对验证结构ctx进行设置。在调用本函数之前。參数ctx必须经过调用EVP_MD_CTX_init进行初始化。成功返回1。失败返回0。

    【EVP_VerifyUpdate】
    该函数也是一个宏定义函数，事实上际定义例如以下：
    #define EVP_VerifyUpdate(a,b,c) EVP_DigestUpdate(a,b,c)
    所以，其功能和用法跟前面介绍的EVP_DigestUpdate函数是同样的。

该函数将參数d中的cnt字节数据经过信息摘要计算后保存到ctx中。该函数能够进行多次调用，以处理很多其它的数据。

成功调用返回1，失败返回0。
    【EVP_VerifyFinal】
    该函数使用公钥pkey和ctx结构里面的信息验证sigbuf里面的数据的签名。其实。该函数先调用EVP_MD_CTX_copy_ex函数将原来的ctx拷贝一份，然后调用EVP_DigestFinal_ex函数完毕拷贝的ctx的信息摘要计算。最后才使用公钥进行签名的验证工作。
    由于该函数实际上处理的是原来ctx函数的一个拷贝，所以原来的ctx结构还能够调用EVP_VerifyUpdate和EVP_VerifyFinal函数进行很多其它的数据处理和签名验证工作。

    在使用完之后，ctx必须使用EVP_MD_CTX_cleanup函数释放内存。否则就会导致内存泄漏。

    此外，至于信息摘要算法和签名算法的关联的关系，请參照信息摘要算法部分的说明。
    该函数调用成功返回1。失败则返回0或－1。
    【EVP_VerifyInit】
    该函数使用缺省的实现算法对ctx结构进行初始化。也是一个宏定义函数，其定义例如以下：
    #define EVP_VerifyInit(a,b) EVP_DigestInit(a,b)
    所以跟EVP_DigestInit函数功能和使用方法是一样的。