//?derived?from?goldboar‘s?program:?http://download.csdn.net/detail/goldboar/3833072

#include?“sm2_custom.h“
#include?
#include?
#include?

/*********************************************************/
int?BNPrintf（BIGNUM*?bn）
{
??char?*p=NULL;
??p=BN_bn2hex（bn）;
??printf（“%s“p）;
??OPENSSL_free（p）;
??return?0;
}

/*********************************************************/
int?sm2_do_verify（const?unsigned?char?*dgst
	??????????????int?dgst_len
				??const?ECDSA_SIG?*sig
				??EC_KEY?*eckey）
{
??int?ret=（-1）?i;
??BN_CTX?*ctx;
??BIGNUM?*order?*R?*m?*X?*t;
??EC_POINT?*point=NULL;
??const?EC_GROUP?*group=NULL;
??const?EC_POINT?*pub_key=NULL;

/*?check?input?values?*/
??if?（?（!eckey）?||?（?!（group?=?EC_KEY_get0_group（eckey））?）?||
	????????（?!（pub_key?=?EC_KEY_get0_public_key（eckey））?）?||?（!sig）?）
	return?ret;

??if?（?!（ctx?=?BN_CTX_new（））?）
	return?ret;
??BN_CTX_start（ctx）;
??order?=?BN_CTX_get（ctx）;	
??R?=?BN_CTX_get（ctx）;
??t?=?BN_CTX_get（ctx）;
??m?=?BN_CTX_get（ctx）;
??X?=?BN_CTX_get（ctx）;
??if?（?（!order）?||?（!R）?||?（!t）?||?（!m）?||?（!X）?）
	goto?clean_memory;

??if?（?!（EC_GROUP_get_order（group?order?ctx））?）
	goto?clean_memory;

??if?（?BN_is_zero（sig->r）????????????||?BN_is_negative（sig->r）?||?
	???（BN_ucmp（sig->r?order）?>=?0）?||?BN_is_zero（sig->s）?????||
	???BN_is_negative（sig->s）????????||?（BN_ucmp（sig->s?order）?>=?0）?）
??{
	ret=0;??/*?signature?is?invalid?*/
	goto?clean_memory;
??}

//t?=（r+s）?mod?n
??if?（?!（BN_mod_add_quick（t?sig->s?sig->rorder））?）
	goto?clean_memory;
??if?（?BN_is_zero（t）?）
??{
	ret=0;??/*?signature?is?invalid?*/
	goto?clean_memory;
??}

#ifdef?_DEBUG
??printf（“\nsig->r?=?0x“）;
??BNPrintf（sig->r）;
??printf（“\n“）;
??printf（“sig->s?=?0x“）;
??BNPrintf（sig->s）;
??printf（“\n“）;
??printf（“\nt?=?0x“）;
??BNPrintf（t）;
??printf（“\n“）;
#endif

//point?=?s*G+t*PA
??if?（?!（point?=?EC_POINT_new（group））?）
	goto?clean_memory;
??if?（?!（EC_POINT_mul（group?point?sig->s?pub_key?t?ctx））?）
	goto?clean_memory;
??if?（?EC_METHOD_get_field_type（EC_GROUP_method_of（group））?==?NID_X9_62_prime_field?）
??{
	if?（?!（EC_POINT_get_affine_coordinates_GFp（group?point?X?NULL?ctx））?）
	??goto?clean_memory;
??}
??else?/*?NID_X9_62_characteristic_two_field?*/
??{
	if?（?!（EC_POINT_get_affine_coordinates_GF2m（group?point?X?NULL?ctx））?）
	??goto?clean_memory;
??}
	
??i?=?BN_num_bits（order）;
#ifdef?_DEBUG
??printf（“EC?order?=?%d?bits\n“?i）;
#endif

/*?Need?to?truncate?digest?if?it?is?too?long:?first?truncate?whole?bytes.	*/
??if?（?（8?*?dgst_len）?>?i?）
????dgst_len?=?（i?+?7）/8;
??if?（?!（BN_bin2bn（dgst?dgst_len?m））?）
	goto?clean_memory;
/*?If?still?too?long?truncate?remaining?bits?with?a?shift?*/
??if?（?（（8?*?dgst_len）?>?i）?&&?（!（BN_rshift（m?m?8?-?（i?&?0x7））））?）
	goto?clean_memory;

/*?R?=?m?+?X?mod?order?*/
??if?（?!（BN_mod_add_quick（R?m?X?order））?）
	goto?clean_memory;

#ifdef?_DEBUG
??printf（