norm arg: add test vector for sign bit malleability

R is point at infinity but sign is != 0
This commit is contained in:
Jonas Nick
2023-03-01 13:02:36 +00:00
parent c0de361fc5
commit f5e4b16f0f
2 changed files with 8 additions and 0 deletions

View File

@@ -635,6 +635,7 @@ void norm_arg_verify_vectors(void) {
CHECK(IDX_TO_TEST(8));
CHECK(IDX_TO_TEST(9));
CHECK(IDX_TO_TEST(10));
CHECK(IDX_TO_TEST(11));
CHECK(alloc == scratch->alloc_size);
secp256k1_scratch_space_destroy(ctx, scratch);