在OpenSSL文档之后,我/我想/我正在做的事情是正确的......但显然它不是。编译文件(使用gcc -g -Wall -Wextra -lssl sign.c
)不会产生错误或警告。 EVP_VerifyFinal()
始终返回0(表示检查失败)。造成这种情况的原因是什么?
static const EVP_MD * type;
unsigned char * sha(char * input)
{
EVP_MD_CTX c;
unsigned char *md;
unsigned int md_len;
md = malloc(EVP_MAX_MD_SIZE);
EVP_MD_CTX_init(&c);
EVP_DigestInit_ex(&c, type, NULL);
EVP_DigestUpdate(&c, input, strlen(input));
EVP_DigestFinal_ex(&c, md, &md_len);
EVP_MD_CTX_cleanup(&c);
return md;
}
unsigned char * sign(EVP_PKEY * key, unsigned char * data)
{
EVP_MD_CTX c;
unsigned char *sig;
unsigned int len;
EVP_MD_CTX_init(&c);
sig = malloc(EVP_PKEY_size(key));
EVP_SignInit(&c, type);
EVP_SignUpdate(&c, data, strlen((char *)data));
EVP_SignFinal(&c, sig, &len, key);
EVP_MD_CTX_cleanup(&c);
return sig;
}
int verify(EVP_PKEY * key, unsigned char * data, unsigned char * original)
{
EVP_MD_CTX c;
int ret;
EVP_MD_CTX_init(&c);
EVP_VerifyInit(&c, type);
EVP_VerifyUpdate(&c, data, (unsigned int)sizeof(data));
ret = EVP_VerifyFinal(&c, original, (unsigned int)strlen((char *)original), key);
return ret;
}
int main(void)
{
EVP_PKEY *sk, *pk;
FILE *sfd, *pfd;
unsigned char *hash, *sig;
unsigned int i;
sfd = fopen("secret.pem", "r");
pfd = fopen("public.pem", "r");
sk = PEM_read_PrivateKey(sfd, NULL, NULL, NULL);
pk = PEM_read_PUBKEY(pfd, NULL, NULL, NULL);
fclose(sfd);
fclose(pfd);
OpenSSL_add_all_digests();
type = EVP_get_digestbyname("SHA1");
hash = sha("moo");
for(i = 0; i < sizeof(hash); i++)
printf("%02x", hash[i]);
printf("\n");
sig = sign(sk, hash);
switch( verify(pk, sig, hash) )
{
case 0:
printf("Check failed.\n");
break;
case 1:
printf("Check succeeded!\n");
break;
default:
printf("Oh look, an error: %d", ERR_get_error());
break;
}
return 0;
}
答案 0 :(得分:0)
您没有传递正确的尺寸:
EVP_VerifyUpdate(&c, data, (unsigned int)sizeof(data));
由于data
定义为unsigned char *
,sizeof(data)
可能是4或8(保持指针所需的字节数)。
尝试传递您已分配的实际字节数,即EVP_PKEY_size(key)
。您必须将其传递给verify()
函数。
有可能其他东西也是错的,但这个引起了我的注意。
答案 1 :(得分:0)
我知道这是一个老问题,但是一个错误可能会让用户感到困惑。
在验证功能中,原始数据和数据应交换,原始过去到EVP_VerifyUpdate,数据到EVP_VerifyFinal。不应使用字符串长度,因为字节数组可以包含0x00作为有效值,它将被识别为“\ 0”。